runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108300820/gj-user-solver-1.0/rand408.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand408.cudf /home/misc2010/tmp/201108300820/gj-user-solver-1.0/rand408.cudf.user-upgrades.result +sum(installedsize) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.13 1.07 1.01 1/37 6213
/proc/meminfo: memFree=979584/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=3016 CPUtime=0
/proc/6213/stat : 6213 (runsolver) D 6212 6213 2160 34817 2160 4202560 72 0 0 0 0 0 0 0 23 0 1 0 53039480 3088384 93 1283457024 134512640 134586868 4289121200 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/6213/statm: 754 93 62 19 0 53 0

[startup+0.140608 s]
/proc/loadavg: 1.13 1.07 1.01 1/37 6213
/proc/meminfo: memFree=979584/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.20461 s]
/proc/loadavg: 1.13 1.07 1.01 1/37 6213
/proc/meminfo: memFree=979584/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.304697 s]
/proc/loadavg: 1.13 1.07 1.01 1/37 6213
/proc/meminfo: memFree=979584/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.704659 s]
/proc/loadavg: 1.13 1.07 1.01 1/37 6213
/proc/meminfo: memFree=979584/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+1.50469 s]
/proc/loadavg: 1.13 1.07 1.01 4/47 6223
/proc/meminfo: memFree=952040/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=411556 CPUtime=0.29
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 9360 0 233 0 27 2 0 0 23 0 9 0 53039482 421433344 8838 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 102889 8838 2900 10 0 97037 0
[pid=6215/tid=6216] ppid=6213 vsize=411556 CPUtime=0.15
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 3474 0 146 0 15 0 0 0 19 0 9 0 53039504 421433344 8838 1283457024 134512640 134550932 4286861728 18446744073709551615 4115426241 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=411556 CPUtime=0.09
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 4560 0 28 0 8 1 0 0 16 0 9 0 53039527 421433344 8838 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=411556 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 53039532 421433344 8838 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=411556 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 53039532 421433344 8838 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=411556 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 53039550 421433344 8838 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=411556 CPUtime=0.03
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 440 0 5 0 3 0 0 0 19 0 9 0 53039550 421433344 8838 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=411556 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 53039550 421433344 8838 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=411556 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 17 0 9 0 53039550 421433344 8838 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 414124

[startup+3.10909 s]
/proc/loadavg: 1.13 1.07 1.01 3/47 6223
/proc/meminfo: memFree=879824/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=411688 CPUtime=1.76
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 35750 0 233 0 166 10 0 0 23 0 9 0 53039482 421568512 35228 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 102922 35228 2900 10 0 97070 0
[pid=6215/tid=6216] ppid=6213 vsize=411688 CPUtime=0.69
/proc/6215/task/6216/stat : 6216 (java) D 6213 6213 2160 34817 2160 4202560 9174 0 146 0 67 2 0 0 20 0 9 0 53039504 421568512 35228 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446744071564332000 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=411688 CPUtime=1.02
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 25241 0 28 0 95 7 0 0 16 0 9 0 53039527 421568512 35228 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=411688 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 53039532 421568512 35228 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=411688 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 53039532 421568512 35228 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=411688 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 53039550 421568512 35228 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=411688 CPUtime=0.04
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 449 0 5 0 4 0 0 0 15 0 9 0 53039550 421568512 35228 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=411688 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 53039550 421568512 35228 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=411688 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 9 0 53039550 421568512 35228 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 414256
heavy processes:

[startup+6.30592 s]
/proc/loadavg: 1.20 1.08 1.01 3/47 6223
/proc/meminfo: memFree=673280/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=423832 CPUtime=4.53
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 72859 0 233 0 434 19 0 0 23 0 9 0 53039482 434003968 72337 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 105958 72337 2900 10 0 100106 0
[pid=6215/tid=6216] ppid=6213 vsize=423832 CPUtime=1.61
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 13638 0 146 0 157 4 0 0 18 0 9 0 53039504 434003968 72337 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=423832 CPUtime=2.87
/proc/6215/task/6217/stat : 6217 (java) R 6213 6213 2160 34817 2160 4202560 57886 0 28 0 272 15 0 0 16 0 9 0 53039527 434003968 72337 1283457024 134512640 134550932 4286861728 18446744073709551615 4151063968 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=423832 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 53039532 434003968 72337 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=423832 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 53039532 434003968 72337 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=423832 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 53039550 434003968 72337 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=423832 CPUtime=0.04
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 449 0 5 0 4 0 0 0 15 0 9 0 53039550 434003968 72337 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=423832 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 53039550 434003968 72337 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=423832 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 9 0 53039550 434003968 72337 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 426400
heavy processes:

[startup+12.7062 s]
/proc/loadavg: 1.26 1.10 1.02 2/48 6224
/proc/meminfo: memFree=658664/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=412064 CPUtime=10.77
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 96115 0 240 0 1048 29 0 0 23 0 10 0 53039482 421953536 70457 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 103016 70457 2917 10 0 97161 0
[pid=6215/tid=6216] ppid=6213 vsize=412064 CPUtime=3.5
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 13904 0 153 0 346 4 0 0 20 0 10 0 53039504 421953536 70457 1283457024 134512640 134550932 4286861728 18446744073709551615 4115737781 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=412064 CPUtime=7.16
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 80793 0 28 0 692 24 0 0 16 0 10 0 53039527 421953536 70457 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53039532 421953536 70457 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 15 0 10 0 53039532 421953536 70457 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53039550 421953536 70457 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=412064 CPUtime=0.09
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 527 0 5 0 9 0 0 0 15 0 10 0 53039550 421953536 70457 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 53039550 421953536 70457 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 53039550 421953536 70457 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6224] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 53040593 421953536 70457 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.77
Current children cumulated vsize (KiB) 414632

[startup+25.5092 s]
/proc/loadavg: 1.28 1.11 1.02 2/48 6224
/proc/meminfo: memFree=658664/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=412064 CPUtime=23.57
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 96119 0 240 0 2328 29 0 0 23 0 10 0 53039482 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 103016 70461 2919 10 0 97161 0
[pid=6215/tid=6216] ppid=6213 vsize=412064 CPUtime=16.28
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 13904 0 153 0 1624 4 0 0 25 0 10 0 53039504 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4115737781 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=412064 CPUtime=7.18
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 80795 0 28 0 694 24 0 0 15 0 10 0 53039527 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53039532 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 15 0 10 0 53039532 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53039550 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=412064 CPUtime=0.09
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 529 0 5 0 9 0 0 0 15 0 10 0 53039550 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 53039550 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 53039550 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6224] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 53040593 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.57
Current children cumulated vsize (KiB) 414632

[startup+51.1043 s]
/proc/loadavg: 1.18 1.10 1.02 2/48 6224
/proc/meminfo: memFree=658604/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=412064 CPUtime=49.16
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 96119 0 240 0 4887 29 0 0 23 0 10 0 53039482 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 103016 70461 2919 10 0 97161 0
[pid=6215/tid=6216] ppid=6213 vsize=412064 CPUtime=41.83
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 13904 0 153 0 4179 4 0 0 25 0 10 0 53039504 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4115737781 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=412064 CPUtime=7.22
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 80795 0 28 0 698 24 0 0 15 0 10 0 53039527 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53039532 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 15 0 10 0 53039532 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53039550 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=412064 CPUtime=0.09
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 529 0 5 0 9 0 0 0 15 0 10 0 53039550 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 53039550 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 53039550 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6224] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 53040593 421953536 70461 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.16
Current children cumulated vsize (KiB) 414632

[startup+102.305 s]
/proc/loadavg: 1.08 1.08 1.02 2/49 6230
/proc/meminfo: memFree=657924/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=412064 CPUtime=100.31
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 96122 0 240 0 10002 29 0 0 23 0 10 0 53039482 421953536 70464 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 103016 70464 2919 10 0 97161 0
[pid=6215/tid=6216] ppid=6213 vsize=412064 CPUtime=92.78
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 13904 0 153 0 9274 4 0 0 25 0 10 0 53039504 421953536 70464 1283457024 134512640 134550932 4286861728 18446744073709551615 4115737765 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=412064 CPUtime=7.42
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 80795 0 28 0 718 24 0 0 15 0 10 0 53039527 421953536 70464 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53039532 421953536 70464 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 15 0 10 0 53039532 421953536 70464 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53039550 421953536 70464 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=412064 CPUtime=0.09
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 532 0 5 0 9 0 0 0 15 0 10 0 53039550 421953536 70464 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 53039550 421953536 70464 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 53039550 421953536 70464 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6224] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 53040593 421953536 70464 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.31
Current children cumulated vsize (KiB) 414632

[startup+162.311 s]
/proc/loadavg: 1.03 1.06 1.01 2/48 6235
/proc/meminfo: memFree=657816/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=412064 CPUtime=160.27
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 96123 0 240 0 15998 29 0 0 23 0 10 0 53039482 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 103016 70465 2919 10 0 97161 0
[pid=6215/tid=6216] ppid=6213 vsize=412064 CPUtime=152.42
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 13904 0 153 0 15238 4 0 0 25 0 10 0 53039504 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4115737756 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=412064 CPUtime=7.75
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 80795 0 28 0 751 24 0 0 15 0 10 0 53039527 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53039532 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 15 0 10 0 53039532 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=412064 CPUtime=0.09
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 533 0 5 0 9 0 0 0 15 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6224] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 53040593 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160.27
Current children cumulated vsize (KiB) 414632

[startup+222.311 s]
/proc/loadavg: 1.01 1.05 1.00 2/47 6235
/proc/meminfo: memFree=657824/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=412064 CPUtime=220.26
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 96123 0 240 0 21997 29 0 0 23 0 10 0 53039482 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 103016 70465 2919 10 0 97161 0
[pid=6215/tid=6216] ppid=6213 vsize=412064 CPUtime=212.37
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 13904 0 153 0 21233 4 0 0 25 0 10 0 53039504 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4115737765 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=412064 CPUtime=7.78
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 80795 0 28 0 754 24 0 0 15 0 10 0 53039527 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53039532 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 15 0 10 0 53039532 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=412064 CPUtime=0.09
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 533 0 5 0 9 0 0 0 15 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6224] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 53040593 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 220.26
Current children cumulated vsize (KiB) 414632

[startup+282.314 s]
/proc/loadavg: 1.00 1.04 1.00 2/47 6235
/proc/meminfo: memFree=657824/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=412064 CPUtime=280.19
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 96123 0 240 0 27989 30 0 0 23 0 10 0 53039482 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 103016 70465 2919 10 0 97161 0
[pid=6215/tid=6216] ppid=6213 vsize=412064 CPUtime=272.09
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 13904 0 153 0 27205 4 0 0 25 0 10 0 53039504 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4115737756 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=412064 CPUtime=7.98
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 80795 0 28 0 774 24 0 0 15 0 10 0 53039527 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53039532 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 15 0 10 0 53039532 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=412064 CPUtime=0.09
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 533 0 5 0 9 0 0 0 15 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6224] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 53040593 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 280.19
Current children cumulated vsize (KiB) 414632

Solver just ended. Dumping a history of the last processes samples

[startup+283.204 s]
/proc/loadavg: 1.00 1.04 1.00 2/47 6235
/proc/meminfo: memFree=657824/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=412064 CPUtime=281.08
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 96123 0 240 0 28078 30 0 0 23 0 10 0 53039482 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 103016 70465 2919 10 0 97161 0
[pid=6215/tid=6216] ppid=6213 vsize=412064 CPUtime=272.98
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 13904 0 153 0 27294 4 0 0 25 0 10 0 53039504 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4115737765 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=412064 CPUtime=7.98
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 80795 0 28 0 774 24 0 0 15 0 10 0 53039527 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53039532 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 15 0 10 0 53039532 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=412064 CPUtime=0.09
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 533 0 5 0 9 0 0 0 15 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6224] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 53040593 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.08
Current children cumulated vsize (KiB) 414632

[startup+284.804 s]
/proc/loadavg: 1.00 1.04 1.00 2/47 6235
/proc/meminfo: memFree=657824/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=412064 CPUtime=282.68
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 96123 0 240 0 28238 30 0 0 23 0 10 0 53039482 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 103016 70465 2919 10 0 97161 0
[pid=6215/tid=6216] ppid=6213 vsize=412064 CPUtime=274.58
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 13904 0 153 0 27454 4 0 0 25 0 10 0 53039504 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4115737765 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=412064 CPUtime=7.98
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 80795 0 28 0 774 24 0 0 15 0 10 0 53039527 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53039532 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 15 0 10 0 53039532 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=412064 CPUtime=0.09
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 533 0 5 0 9 0 0 0 15 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6224] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 53040593 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.68
Current children cumulated vsize (KiB) 414632

[startup+285.605 s]
/proc/loadavg: 1.00 1.04 1.00 2/47 6235
/proc/meminfo: memFree=657824/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=412064 CPUtime=283.48
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 96123 0 240 0 28318 30 0 0 23 0 10 0 53039482 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 103016 70465 2919 10 0 97161 0
[pid=6215/tid=6216] ppid=6213 vsize=412064 CPUtime=275.38
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 13904 0 153 0 27534 4 0 0 25 0 10 0 53039504 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4115737756 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=412064 CPUtime=7.98
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 80795 0 28 0 774 24 0 0 15 0 10 0 53039527 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 53039532 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 15 0 10 0 53039532 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=412064 CPUtime=0.09
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 533 0 5 0 9 0 0 0 15 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 10 0 53039550 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6224] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 53040593 421953536 70465 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.48
Current children cumulated vsize (KiB) 414632

[startup+286.005 s]
/proc/loadavg: 1.00 1.04 1.00 2/46 6235
/proc/meminfo: memFree=657832/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=412064 CPUtime=283.88
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 96124 0 240 0 28358 30 0 0 23 0 9 0 53039482 421953536 70466 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 103016 70466 2920 10 0 97161 0
[pid=6215/tid=6216] ppid=6213 vsize=412064 CPUtime=275.78
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 2160 34817 2160 4202560 13904 0 153 0 27574 4 0 0 25 0 9 0 53039504 421953536 70466 1283457024 134512640 134550932 4286861728 18446744073709551615 4115911756 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=412064 CPUtime=7.98
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 80795 0 28 0 774 24 0 0 15 0 9 0 53039527 421953536 70466 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 53039532 421953536 70466 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 15 0 9 0 53039532 421953536 70466 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 53039550 421953536 70466 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=412064 CPUtime=0.09
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 533 0 5 0 9 0 0 0 15 0 9 0 53039550 421953536 70466 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 53039550 421953536 70466 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 9 0 53039550 421953536 70466 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.88
Current children cumulated vsize (KiB) 414632

[startup+286.102 s]
/proc/loadavg: 1.00 1.04 1.00 2/46 6235
/proc/meminfo: memFree=657832/1048576 swapFree=0/0
[pid=6213] ppid=6212 vsize=2568 CPUtime=0
/proc/6213/stat : 6213 (gj-user-solver-) S 6212 6213 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 24 0 1 0 53039480 2629632 270 1283457024 134512640 135304128 4289326240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6213/statm: 642 270 229 194 0 29 0
[pid=6215] ppid=6213 vsize=412064 CPUtime=283.96
/proc/6215/stat : 6215 (java) S 6213 6213 2160 34817 2160 4202496 96135 0 240 0 28365 31 0 0 23 0 9 0 53039482 421953536 70477 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6215/statm: 103016 70477 2920 10 0 97161 0
[pid=6215/tid=6216] ppid=6213 vsize=412064 CPUtime=275.84
/proc/6215/task/6216/stat : 6216 (java) S 6213 6213 2160 34817 2160 4202560 13904 0 153 0 27580 4 0 0 25 0 9 0 53039504 421953536 70477 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6217] ppid=6213 vsize=412064 CPUtime=7.98
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 2160 34817 2160 4202560 80795 0 28 0 774 24 0 0 15 0 9 0 53039527 421953536 70477 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6218] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 53039532 421953536 70477 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6219] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 15 0 9 0 53039532 421953536 70477 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6220] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 53039550 421953536 70477 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6221] ppid=6213 vsize=412064 CPUtime=0.11
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 2160 34817 2160 4202560 544 0 5 0 10 1 0 0 16 0 9 0 53039550 421953536 70477 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6222] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 53039550 421953536 70477 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=6215/tid=6223] ppid=6213 vsize=412064 CPUtime=0
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 15 0 9 0 53039550 421953536 70477 1283457024 134512640 134550932 4286861728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.96
Current children cumulated vsize (KiB) 414632

Child status: 0
Real time (s): 286.148
CPU time (s): 283.974
CPU user time (s): 283.654
CPU system time (s): 0.32002
CPU usage (%): 99.2402
Max. virtual memory (cumulated for all children) (KiB): 439468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.654
system time used= 0.32002
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96522
page faults= 240
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6367
involuntary context switches= 8793

runsolver used 0 second user time and 0 second system time

The end