runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459257-1307135552/watcher-3459257-1307135552 -o /tmp/evaluation-result-3459257-1307135552/solver-3459257-1307135552 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459257-1307135552.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.06 2.17 2/418 4332
/proc/meminfo: memFree=30013824/32950904 swapFree=56615552/67111528
[pid=4332] ppid=4330 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/4332/stat : 4332 (java) S 4330 4332 31595 0 -1 4202496 2248 0 1 0 0 0 0 0 25 0 2 0 825154938 13833195520 1950 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/4332/statm: 3377245 1964 906 9 0 3368401 0
[pid=4332/tid=4333] ppid=4330 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4333/stat : 4333 (java) R 4330 4332 31595 0 -1 4202560 4778 0 1 0 0 0 0 0 25 0 2 0 825154939 13850947584 5594 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.10579 s]
/proc/loadavg: 2.10 2.06 2.17 2/418 4332
/proc/meminfo: memFree=30013824/32950904 swapFree=56615552/67111528
[pid=4332] ppid=4330 vsize=13622044 CPUtime=0.11 cores=1,3,5,7
/proc/4332/stat : 4332 (java) S 4330 4332 31595 0 -1 4202496 15632 0 1 0 9 2 0 0 25 0 18 0 825154938 13948973056 15285 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4332/statm: 3405511 15285 2093 9 0 3396245 0
[pid=4332/tid=4333] ppid=4330 vsize=13622044 CPUtime=0.09 cores=1,3,5,7
/proc/4332/task/4333/stat : 4333 (java) R 4330 4332 31595 0 -1 4202560 13680 0 1 0 8 1 0 0 25 0 18 0 825154939 13948973056 15285 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 46912504003976 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622044
[startup+0.200775 s]
/proc/loadavg: 2.10 2.06 2.17 2/418 4332
/proc/meminfo: memFree=30013824/32950904 swapFree=56615552/67111528
[pid=4332] ppid=4330 vsize=13622044 CPUtime=0.27 cores=1,3,5,7
/proc/4332/stat : 4332 (java) S 4330 4332 31595 0 -1 4202496 16560 0 1 0 25 2 0 0 25 0 18 0 825154938 13948973056 16136 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4332/statm: 3405511 16137 2181 9 0 3396245 0
[pid=4332/tid=4333] ppid=4330 vsize=13622044 CPUtime=0.19 cores=1,3,5,7
/proc/4332/task/4333/stat : 4333 (java) R 4330 4332 31595 0 -1 4202560 14263 0 1 0 17 2 0 0 25 0 18 0 825154939 13948973056 16137 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 47397145328467 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13622044
[startup+0.300756 s]
/proc/loadavg: 2.10 2.06 2.17 2/418 4332
/proc/meminfo: memFree=30013824/32950904 swapFree=56615552/67111528
[pid=4332] ppid=4330 vsize=13624744 CPUtime=0.48 cores=1,3,5,7
/proc/4332/stat : 4332 (java) S 4330 4332 31595 0 -1 4202496 18595 0 1 0 46 2 0 0 25 0 19 0 825154938 13951737856 17872 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4332/statm: 3406186 17873 2210 9 0 3396920 0
[pid=4332/tid=4333] ppid=4330 vsize=13624744 CPUtime=0.29 cores=1,3,5,7
/proc/4332/task/4333/stat : 4333 (java) R 4330 4332 31595 0 -1 4202560 15419 0 1 0 27 2 0 0 25 0 19 0 825154939 13951737856 17873 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 46912505546259 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13624744
[startup+0.700683 s]
/proc/loadavg: 2.10 2.06 2.17 2/418 4332
/proc/meminfo: memFree=30013824/32950904 swapFree=56615552/67111528
[pid=4332] ppid=4330 vsize=13625576 CPUtime=1.2 cores=1,3,5,7
/proc/4332/stat : 4332 (java) S 4330 4332 31595 0 -1 4202496 21638 0 1 0 117 3 0 0 25 0 19 0 825154938 13952589824 19263 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4332/statm: 3406394 19263 2252 9 0 3397128 0
[pid=4332/tid=4333] ppid=4330 vsize=13625576 CPUtime=0.67 cores=1,3,5,7
/proc/4332/task/4333/stat : 4333 (java) R 4330 4332 31595 0 -1 4202560 15706 0 1 0 65 2 0 0 25 0 19 0 825154939 13952589824 19263 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 46912505166908 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 13625576
[startup+1.50154 s]
/proc/loadavg: 2.09 2.05 2.16 3/437 4351
/proc/meminfo: memFree=29943212/32950904 swapFree=56615552/67111528
[pid=4332] ppid=4330 vsize=13625576 CPUtime=2.03 cores=1,3,5,7
/proc/4332/stat : 4332 (java) S 4330 4332 31595 0 -1 4202496 22145 0 1 0 200 3 0 0 25 0 19 0 825154938 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4332/statm: 3406394 19767 2252 9 0 3397128 0
[pid=4332/tid=4333] ppid=4330 vsize=13625576 CPUtime=1.44 cores=1,3,5,7
/proc/4332/task/4333/stat : 4333 (java) R 4330 4332 31595 0 -1 4202560 15709 0 1 0 142 2 0 0 25 0 19 0 825154939 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 46912505769388 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4332/tid=4335] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4335/stat : 4335 (java) S 4330 4332 31595 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 825154941 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
[pid=4332/tid=4336] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4336/stat : 4336 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825154941 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4337] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4337/stat : 4337 (java) S 4330 4332 31595 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 825154941 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4338] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4338/stat : 4338 (java) S 4330 4332 31595 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825154941 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4339] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4339/stat : 4339 (java) S 4330 4332 31595 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 825154941 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4340] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4340/stat : 4340 (java) S 4330 4332 31595 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 825154941 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
[pid=4332/tid=4341] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4341/stat : 4341 (java) S 4330 4332 31595 0 -1 4202560 207 0 0 0 0 0 0 0 16 0 19 0 825154941 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4342] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4342/stat : 4342 (java) S 4330 4332 31595 0 -1 4202560 93 0 0 0 0 0 0 0 16 0 19 0 825154941 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4343] ppid=4330 vsize=13625576 CPUtime=0.03 cores=1,3,5,7
/proc/4332/task/4343/stat : 4343 (java) S 4330 4332 31595 0 -1 4202560 471 0 0 0 3 0 0 0 16 0 19 0 825154942 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 0 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4344] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4344/stat : 4344 (java) S 4330 4332 31595 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825154942 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4345] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4345/stat : 4345 (java) S 4330 4332 31595 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825154942 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4346] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4346/stat : 4346 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290703281 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4347] ppid=4330 vsize=13625576 CPUtime=0.27 cores=1,3,5,7
/proc/4332/task/4347/stat : 4347 (java) S 4330 4332 31595 0 -1 4202560 2119 0 0 0 27 0 0 0 17 0 19 0 825154944 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4348] ppid=4330 vsize=13625576 CPUtime=0.25 cores=1,3,5,7
/proc/4332/task/4348/stat : 4348 (java) S 4330 4332 31595 0 -1 4202560 2154 0 0 0 25 0 0 0 18 0 19 0 825154944 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4349] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4349/stat : 4349 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4350] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4350/stat : 4350 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825154944 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4351] ppid=4330 vsize=13625576 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4351/stat : 4351 (java) S 4330 4332 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825154968 13952589824 19767 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 13625576
[startup+3.10131 s]
/proc/loadavg: 2.09 2.05 2.16 3/437 4351
/proc/meminfo: memFree=29940980/32950904 swapFree=56615552/67111528
[pid=4332] ppid=4330 vsize=13625932 CPUtime=3.66 cores=1,3,5,7
/proc/4332/stat : 4332 (java) S 4330 4332 31595 0 -1 4202496 22662 0 1 0 363 3 0 0 25 0 19 0 825154938 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4332/statm: 3406483 20281 2252 9 0 3397217 0
[pid=4332/tid=4333] ppid=4330 vsize=13625932 CPUtime=2.99 cores=1,3,5,7
/proc/4332/task/4333/stat : 4333 (java) R 4330 4332 31595 0 -1 4202560 15711 0 1 0 297 2 0 0 25 0 19 0 825154939 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 46912505643381 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4332/tid=4335] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4335/stat : 4335 (java) S 4330 4332 31595 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4336] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4336/stat : 4336 (java) S 4330 4332 31595 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4337] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4337/stat : 4337 (java) S 4330 4332 31595 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4338] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4338/stat : 4338 (java) S 4330 4332 31595 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4339] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4339/stat : 4339 (java) S 4330 4332 31595 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4340] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4340/stat : 4340 (java) S 4330 4332 31595 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
[pid=4332/tid=4341] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4341/stat : 4341 (java) S 4330 4332 31595 0 -1 4202560 220 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4342] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4342/stat : 4342 (java) S 4330 4332 31595 0 -1 4202560 118 0 0 0 0 0 0 0 16 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4343] ppid=4330 vsize=13625932 CPUtime=0.08 cores=1,3,5,7
/proc/4332/task/4343/stat : 4343 (java) S 4330 4332 31595 0 -1 4202560 676 0 0 0 8 0 0 0 16 0 19 0 825154942 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 0 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4344] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4344/stat : 4344 (java) S 4330 4332 31595 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825154942 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4345] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4345/stat : 4345 (java) S 4330 4332 31595 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825154942 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4346] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4346/stat : 4346 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290703281 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4347] ppid=4330 vsize=13625932 CPUtime=0.29 cores=1,3,5,7
/proc/4332/task/4347/stat : 4347 (java) S 4330 4332 31595 0 -1 4202560 2211 0 0 0 29 0 0 0 15 0 19 0 825154944 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4348] ppid=4330 vsize=13625932 CPUtime=0.25 cores=1,3,5,7
/proc/4332/task/4348/stat : 4348 (java) S 4330 4332 31595 0 -1 4202560 2155 0 0 0 25 0 0 0 15 0 19 0 825154944 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4349] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4349/stat : 4349 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4350] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4350/stat : 4350 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825154944 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4351] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4351/stat : 4351 (java) S 4330 4332 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825154968 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 13625932
Solver just ended. Dumping a history of the last processes samples
[startup+3.20129 s]
/proc/loadavg: 2.09 2.05 2.16 3/437 4351
/proc/meminfo: memFree=29940980/32950904 swapFree=56615552/67111528
[pid=4332] ppid=4330 vsize=13625932 CPUtime=3.76 cores=1,3,5,7
/proc/4332/stat : 4332 (java) S 4330 4332 31595 0 -1 4202496 22662 0 1 0 373 3 0 0 25 0 19 0 825154938 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4332/statm: 3406483 20281 2252 9 0 3397217 0
[pid=4332/tid=4333] ppid=4330 vsize=13625932 CPUtime=3.09 cores=1,3,5,7
/proc/4332/task/4333/stat : 4333 (java) R 4330 4332 31595 0 -1 4202560 15711 0 1 0 307 2 0 0 25 0 19 0 825154939 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 46912505631933 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4332/tid=4335] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4335/stat : 4335 (java) S 4330 4332 31595 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4336] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4336/stat : 4336 (java) S 4330 4332 31595 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4337] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4337/stat : 4337 (java) S 4330 4332 31595 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4338] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4338/stat : 4338 (java) S 4330 4332 31595 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4339] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4339/stat : 4339 (java) S 4330 4332 31595 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4340] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4340/stat : 4340 (java) S 4330 4332 31595 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
[pid=4332/tid=4341] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4341/stat : 4341 (java) S 4330 4332 31595 0 -1 4202560 220 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4342] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4342/stat : 4342 (java) S 4330 4332 31595 0 -1 4202560 118 0 0 0 0 0 0 0 16 0 19 0 825154941 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4343] ppid=4330 vsize=13625932 CPUtime=0.08 cores=1,3,5,7
/proc/4332/task/4343/stat : 4343 (java) S 4330 4332 31595 0 -1 4202560 676 0 0 0 8 0 0 0 16 0 19 0 825154942 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 0 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4344] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4344/stat : 4344 (java) S 4330 4332 31595 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825154942 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4345] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4345/stat : 4345 (java) S 4330 4332 31595 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825154942 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4346] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4346/stat : 4346 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290703281 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4347] ppid=4330 vsize=13625932 CPUtime=0.29 cores=1,3,5,7
/proc/4332/task/4347/stat : 4347 (java) S 4330 4332 31595 0 -1 4202560 2211 0 0 0 29 0 0 0 15 0 19 0 825154944 13952954368 20281 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/4332/task/4335/stat : 4335 (java) S 4330 4332 31595 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4336] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4336/stat : 4336 (java) S 4330 4332 31595 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4337] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4337/stat : 4337 (java) S 4330 4332 31595 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4338] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4338/stat : 4338 (java) S 4330 4332 31595 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4339] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4339/stat : 4339 (java) S 4330 4332 31595 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4340] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4340/stat : 4340 (java) S 4330 4332 31595 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
[pid=4332/tid=4341] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4341/stat : 4341 (java) S 4330 4332 31595 0 -1 4202560 220 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4342] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4342/stat : 4342 (java) S 4330 4332 31595 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4343] ppid=4330 vsize=13625932 CPUtime=0.09 cores=1,3,5,7
/proc/4332/task/4343/stat : 4343 (java) S 4330 4332 31595 0 -1 4202560 751 0 0 0 9 0 0 0 16 0 19 0 825154942 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 0 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4344] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4344/stat : 4344 (java) S 4330 4332 31595 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825154942 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4345] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4345/stat : 4345 (java) S 4330 4332 31595 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825154942 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4346] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4346/stat : 4346 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290703281 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4347] ppid=4330 vsize=13625932 CPUtime=0.29 cores=1,3,5,7
/proc/4332/task/4347/stat : 4347 (java) S 4330 4332 31595 0 -1 4202560 2211 0 0 0 29 0 0 0 15 0 19 0 825154944 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4348] ppid=4330 vsize=13625932 CPUtime=0.25 cores=1,3,5,7
/proc/4332/task/4348/stat : 4348 (java) S 4330 4332 31595 0 -1 4202560 2155 0 0 0 25 0 0 0 15 0 19 0 825154944 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4349] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4349/stat : 4349 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4350] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4350/stat : 4350 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825154944 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4351] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4351/stat : 4351 (java) S 4330 4332 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825154968 13952954368 20359 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 13625932
[startup+4.40102 s]
/proc/loadavg: 2.09 2.05 2.16 3/437 4351
/proc/meminfo: memFree=29939352/32950904 swapFree=56615552/67111528
[pid=4332] ppid=4330 vsize=13625932 CPUtime=4.97 cores=1,3,5,7
/proc/4332/stat : 4332 (java) S 4330 4332 31595 0 -1 4202496 22744 0 1 0 494 3 0 0 25 0 19 0 825154938 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4332/statm: 3406483 20360 2252 9 0 3397217 0
[pid=4332/tid=4333] ppid=4330 vsize=13625932 CPUtime=4.27 cores=1,3,5,7
/proc/4332/task/4333/stat : 4333 (java) R 4330 4332 31595 0 -1 4202560 15714 0 1 0 425 2 0 0 25 0 19 0 825154939 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 46912505631964 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4332/tid=4335] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4335/stat : 4335 (java) S 4330 4332 31595 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4336] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4336/stat : 4336 (java) S 4330 4332 31595 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4337] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4337/stat : 4337 (java) S 4330 4332 31595 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4338] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4338/stat : 4338 (java) S 4330 4332 31595 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4339] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4339/stat : 4339 (java) S 4330 4332 31595 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4340] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4340/stat : 4340 (java) S 4330 4332 31595 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
[pid=4332/tid=4341] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4341/stat : 4341 (java) S 4330 4332 31595 0 -1 4202560 220 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4342] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4342/stat : 4342 (java) S 4330 4332 31595 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4343] ppid=4330 vsize=13625932 CPUtime=0.11 cores=1,3,5,7
/proc/4332/task/4343/stat : 4343 (java) S 4330 4332 31595 0 -1 4202560 751 0 0 0 11 0 0 0 16 0 19 0 825154942 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 0 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4344] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4344/stat : 4344 (java) S 4330 4332 31595 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825154942 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4345] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4345/stat : 4345 (java) S 4330 4332 31595 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825154942 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4346] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4346/stat : 4346 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290703281 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4347] ppid=4330 vsize=13625932 CPUtime=0.29 cores=1,3,5,7
/proc/4332/task/4347/stat : 4347 (java) S 4330 4332 31595 0 -1 4202560 2211 0 0 0 29 0 0 0 15 0 19 0 825154944 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4348] ppid=4330 vsize=13625932 CPUtime=0.25 cores=1,3,5,7
/proc/4332/task/4348/stat : 4348 (java) S 4330 4332 31595 0 -1 4202560 2155 0 0 0 25 0 0 0 15 0 19 0 825154944 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4349] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4349/stat : 4349 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4350] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4350/stat : 4350 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825154944 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4351] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4351/stat : 4351 (java) S 4330 4332 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825154968 13952954368 20360 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 13625932
[startup+4.60105 s]
/proc/loadavg: 2.09 2.05 2.16 3/437 4351
/proc/meminfo: memFree=29939352/32950904 swapFree=56615552/67111528
[pid=4332] ppid=4330 vsize=13625932 CPUtime=5.17 cores=1,3,5,7
/proc/4332/stat : 4332 (java) S 4330 4332 31595 0 -1 4202496 22746 0 1 0 514 3 0 0 25 0 19 0 825154938 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4332/statm: 3406483 20361 2253 9 0 3397217 0
[pid=4332/tid=4333] ppid=4330 vsize=13625932 CPUtime=4.46 cores=1,3,5,7
/proc/4332/task/4333/stat : 4333 (java) R 4330 4332 31595 0 -1 4202560 15715 0 1 0 444 2 0 0 25 0 19 0 825154939 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 46912505631265 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4332/tid=4335] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4335/stat : 4335 (java) S 4330 4332 31595 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4336] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4336/stat : 4336 (java) S 4330 4332 31595 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4337] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4337/stat : 4337 (java) S 4330 4332 31595 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4338] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4338/stat : 4338 (java) S 4330 4332 31595 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4339] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4339/stat : 4339 (java) S 4330 4332 31595 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4340] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4340/stat : 4340 (java) S 4330 4332 31595 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
[pid=4332/tid=4341] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4341/stat : 4341 (java) S 4330 4332 31595 0 -1 4202560 220 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4342] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4342/stat : 4342 (java) S 4330 4332 31595 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4343] ppid=4330 vsize=13625932 CPUtime=0.11 cores=1,3,5,7
/proc/4332/task/4343/stat : 4343 (java) S 4330 4332 31595 0 -1 4202560 752 0 0 0 11 0 0 0 16 0 19 0 825154942 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 0 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4344] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4344/stat : 4344 (java) S 4330 4332 31595 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825154942 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4345] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4345/stat : 4345 (java) S 4330 4332 31595 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825154942 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4346] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4346/stat : 4346 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290703281 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4347] ppid=4330 vsize=13625932 CPUtime=0.3 cores=1,3,5,7
/proc/4332/task/4347/stat : 4347 (java) S 4330 4332 31595 0 -1 4202560 2211 0 0 0 30 0 0 0 15 0 19 0 825154944 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4348] ppid=4330 vsize=13625932 CPUtime=0.25 cores=1,3,5,7
/proc/4332/task/4348/stat : 4348 (java) S 4330 4332 31595 0 -1 4202560 2155 0 0 0 25 0 0 0 15 0 19 0 825154944 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4349] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4349/stat : 4349 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4350] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4350/stat : 4350 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825154944 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4351] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4351/stat : 4351 (java) S 4330 4332 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825154968 13952954368 20361 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.17
Current children cumulated vsize (KiB) 13625932
[startup+4.70097 s]
/proc/loadavg: 2.09 2.05 2.16 3/437 4351
/proc/meminfo: memFree=29939352/32950904 swapFree=56615552/67111528
[pid=4332] ppid=4330 vsize=13625932 CPUtime=5.3 cores=1,3,5,7
/proc/4332/stat : 4332 (java) S 4330 4332 31595 0 -1 4202496 22782 0 1 0 526 4 0 0 25 0 19 0 825154938 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4332/statm: 3406483 20365 2253 9 0 3397217 0
[pid=4332/tid=4333] ppid=4330 vsize=13625932 CPUtime=4.56 cores=1,3,5,7
/proc/4332/task/4333/stat : 4333 (java) R 4330 4332 31595 0 -1 4202560 15716 0 1 0 454 2 0 0 25 0 19 0 825154939 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 46912505631403 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4332/tid=4335] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4335/stat : 4335 (java) S 4330 4332 31595 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4336] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4336/stat : 4336 (java) S 4330 4332 31595 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4337] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4337/stat : 4337 (java) S 4330 4332 31595 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4338] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4338/stat : 4338 (java) S 4330 4332 31595 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4339] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4339/stat : 4339 (java) S 4330 4332 31595 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4340] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4340/stat : 4340 (java) S 4330 4332 31595 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
[pid=4332/tid=4341] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4341/stat : 4341 (java) S 4330 4332 31595 0 -1 4202560 220 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4342] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4342/stat : 4342 (java) S 4330 4332 31595 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 825154941 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4343] ppid=4330 vsize=13625932 CPUtime=0.11 cores=1,3,5,7
/proc/4332/task/4343/stat : 4343 (java) S 4330 4332 31595 0 -1 4202560 752 0 0 0 11 0 0 0 16 0 19 0 825154942 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 0 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4344] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4344/stat : 4344 (java) S 4330 4332 31595 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825154942 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4345] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4345/stat : 4345 (java) S 4330 4332 31595 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825154942 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4346] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4346/stat : 4346 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290703281 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4347] ppid=4330 vsize=13625932 CPUtime=0.32 cores=1,3,5,7
/proc/4332/task/4347/stat : 4347 (java) S 4330 4332 31595 0 -1 4202560 2213 0 0 0 32 0 0 0 15 0 19 0 825154944 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4348] ppid=4330 vsize=13625932 CPUtime=0.26 cores=1,3,5,7
/proc/4332/task/4348/stat : 4348 (java) S 4330 4332 31595 0 -1 4202560 2188 0 0 0 26 0 0 0 15 0 19 0 825154944 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 7 0 0 0
[pid=4332/tid=4349] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4349/stat : 4349 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825154944 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290695577 0 4 0 16800975 18446604461634163968 0 0 -1 1 0 0 0
[pid=4332/tid=4350] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4350/stat : 4350 (java) S 4330 4332 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825154944 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 4 0 16800975 18446604461634163968 0 0 -1 5 0 0 0
[pid=4332/tid=4351] ppid=4330 vsize=13625932 CPUtime=0 cores=1,3,5,7
/proc/4332/task/4351/stat : 4351 (java) S 4330 4332 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825154968 13952954368 20365 33554432000 1073741824 1073778376 140736580667456 18446744073709551615 237290696192 0 4 0 16800975 18446604461634163968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 13625932
Child status: 20
Real time (s): 4.75257
CPU time (s): 5.36418
CPU user time (s): 5.31919
CPU system time (s): 0.044993
CPU usage (%): 112.869
Max. virtual memory (cumulated for all children) (KiB): 13625932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.31919
system time used= 0.044993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22813
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 550
involuntary context switches= 154
runsolver used 0.020996 second user time and 0.050992 second system time
The end