runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3744537-1338812482/watcher-3744537-1338812482 -o /tmp/evaluation-result-3744537-1338812482/solver-3744537-1338812482 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3744537-1338812482.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: 1.81 2.11 2.80 3/172 3097
/proc/meminfo: memFree=27145424/32873844 swapFree=7116/7116
[pid=3097] ppid=3095 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/3097/stat : 3097 (java6) R 3095 3097 32548 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 347373252 278528 33 33554432000 1073741824 1073778376 140734238135488 140734238132664 227132140839 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3097/statm: 68 33 25 9 0 25 0
[startup+0.0827101 s]
/proc/loadavg: 1.81 2.11 2.80 3/172 3097
/proc/meminfo: memFree=27145424/32873844 swapFree=7116/7116
[pid=3097] ppid=3095 vsize=2583000 CPUtime=0.04 cores=1,3,5,7
/proc/3097/stat : 3097 (java) S 3095 3097 32548 0 -1 4202496 3775 0 1 0 3 1 0 0 20 0 18 0 347373252 2644992000 5494 33554432000 1073741824 1073778376 140735921569824 140735921560960 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3097/statm: 645750 5494 1745 9 0 636451 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2583000
[startup+0.100338 s]
/proc/loadavg: 1.81 2.11 2.80 3/172 3097
/proc/meminfo: memFree=27145424/32873844 swapFree=7116/7116
[pid=3097] ppid=3095 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/3097/stat : 3097 (java) S 3095 3097 32548 0 -1 4202496 3862 0 1 0 5 1 0 0 20 0 18 0 347373252 2712133632 5581 33554432000 1073741824 1073778376 140735921569824 140735921560960 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3097/statm: 662142 5581 1772 9 0 652835 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2648568
[startup+0.30025 s]
/proc/loadavg: 1.81 2.11 2.80 3/172 3097
/proc/meminfo: memFree=27145424/32873844 swapFree=7116/7116
[pid=3097] ppid=3095 vsize=2648568 CPUtime=0.47 cores=1,3,5,7
/proc/3097/stat : 3097 (java) S 3095 3097 32548 0 -1 4202496 6301 0 1 0 45 2 0 0 20 0 18 0 347373252 2712133632 9435 33554432000 1073741824 1073778376 140735921569824 140735921560960 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3097/statm: 662142 9435 2216 9 0 652835 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2648568
[startup+0.700276 s]
/proc/loadavg: 1.81 2.11 2.80 3/172 3097
/proc/meminfo: memFree=27145424/32873844 swapFree=7116/7116
[pid=3097] ppid=3095 vsize=2715132 CPUtime=1.54 cores=1,3,5,7
/proc/3097/stat : 3097 (java) S 3095 3097 32548 0 -1 4202496 13817 0 1 0 150 4 0 0 20 0 19 0 347373252 2780295168 20819 33554432000 1073741824 1073778376 140735921569824 140735921560960 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3097/statm: 678783 20819 2256 9 0 669476 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 2715132
[startup+1.50077 s]
/proc/loadavg: 1.81 2.11 2.80 3/211 3143
/proc/meminfo: memFree=26825768/32873844 swapFree=7116/7116
[pid=3097] ppid=3095 vsize=2715132 CPUtime=2.59 cores=1,3,5,7
/proc/3097/stat : 3097 (java) S 3095 3097 32548 0 -1 4202496 14958 0 1 0 250 9 0 0 20 0 19 0 347373252 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140735921560960 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3097/statm: 678783 82595 2260 9 0 669476 0
[pid=3097/tid=3099] ppid=3095 vsize=2715132 CPUtime=1.45 cores=1,3,5,7
/proc/3097/task/3099/stat : 3099 (java) R 3095 3097 32548 0 -1 4202560 2901 0 1 0 138 7 0 0 20 0 19 0 347373254 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273648464328 140273515049367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3097/tid=3100] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3100/stat : 3100 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273514441640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3101] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3101/stat : 3101 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273513389096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3102] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3102/stat : 3102 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273512336040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3097/tid=3103] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3103/stat : 3103 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273511283496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3097/tid=3104] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3104/stat : 3104 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273510230440 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3105] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3105/stat : 3105 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273509177896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3097/tid=3106] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3106/stat : 3106 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273508124840 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3107] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3107/stat : 3107 (java) S 3095 3097 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273507072296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3108] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3108/stat : 3108 (java) S 3095 3097 32548 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 347373257 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273024744296 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3109] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3109/stat : 3109 (java) S 3095 3097 32548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 347373258 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273023690616 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3110] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3110/stat : 3110 (java) S 3095 3097 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347373258 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273022637448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3111] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3111/stat : 3111 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373261 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273021586192 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3112] ppid=3095 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/3097/task/3112/stat : 3112 (java) S 3095 3097 32548 0 -1 4202560 7198 0 0 0 51 2 0 0 20 0 19 0 347373261 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273020533048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3113] ppid=3095 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/3097/task/3113/stat : 3113 (java) S 3095 3097 32548 0 -1 4202560 3664 0 0 0 57 2 0 0 20 0 19 0 347373261 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273019480504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3114] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3114/stat : 3114 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373261 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273018427640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3115] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3115/stat : 3115 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373261 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273017375304 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3143] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3143/stat : 3143 (java) S 3095 3097 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347373292 2780295168 82595 33554432000 1073741824 1073778376 140735921569824 140273016321576 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 2715132
[startup+3.10078 s]
/proc/loadavg: 1.82 2.10 2.79 3/211 3143
/proc/meminfo: memFree=26321768/32873844 swapFree=7116/7116
[pid=3097] ppid=3095 vsize=2715132 CPUtime=4.33 cores=1,3,5,7
/proc/3097/stat : 3097 (java) S 3095 3097 32548 0 -1 4202496 15024 0 1 0 422 11 0 0 20 0 19 0 347373252 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140735921560960 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3097/statm: 678783 96447 2273 9 0 669476 0
[pid=3097/tid=3099] ppid=3095 vsize=2715132 CPUtime=3.02 cores=1,3,5,7
/proc/3097/task/3099/stat : 3099 (java) R 3095 3097 32548 0 -1 4202560 2927 0 1 0 295 7 0 0 20 0 19 0 347373254 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273648463264 140273515181911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3097/tid=3100] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3100/stat : 3100 (java) S 3095 3097 32548 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273514441640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3101] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3101/stat : 3101 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273513389096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3102] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3102/stat : 3102 (java) S 3095 3097 32548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273512336040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3097/tid=3103] ppid=3095 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/3097/task/3103/stat : 3103 (java) S 3095 3097 32548 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 347373256 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273511283496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3097/tid=3104] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3104/stat : 3104 (java) S 3095 3097 32548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273510230440 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3105] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3105/stat : 3105 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273509177896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3097/tid=3106] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3106/stat : 3106 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273508124840 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3097/tid=3107] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3107/stat : 3107 (java) S 3095 3097 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273507072296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3108] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3108/stat : 3108 (java) S 3095 3097 32548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 347373257 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273024744296 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3109] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3109/stat : 3109 (java) S 3095 3097 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347373258 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273023690616 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3110] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3110/stat : 3110 (java) S 3095 3097 32548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347373258 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273022637448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3111] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3111/stat : 3111 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373261 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273021586192 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3112] ppid=3095 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/3097/task/3112/stat : 3112 (java) S 3095 3097 32548 0 -1 4202560 7198 0 0 0 51 2 0 0 20 0 19 0 347373261 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273020533048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3113] ppid=3095 vsize=2715132 CPUtime=0.66 cores=1,3,5,7
/proc/3097/task/3113/stat : 3113 (java) S 3095 3097 32548 0 -1 4202560 3672 0 0 0 64 2 0 0 20 0 19 0 347373261 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273019480504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3114] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3114/stat : 3114 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373261 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273018427640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3115] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3115/stat : 3115 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373261 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273017375304 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3143] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3143/stat : 3143 (java) S 3095 3097 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347373292 2780295168 96447 33554432000 1073741824 1073778376 140735921569824 140273016321576 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 2715132
[startup+6.3008 s]
/proc/loadavg: 1.82 2.10 2.79 3/213 3145
/proc/meminfo: memFree=26235164/32873844 swapFree=7116/7116
[pid=3097] ppid=3095 vsize=2715132 CPUtime=7.61 cores=1,3,5,7
/proc/3097/stat : 3097 (java) S 3095 3097 32548 0 -1 4202496 15038 0 1 0 749 12 0 0 20 0 19 0 347373252 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140735921560960 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3097/statm: 678783 96185 2273 9 0 669476 0
[pid=3097/tid=3099] ppid=3095 vsize=2715132 CPUtime=6.19 cores=1,3,5,7
/proc/3097/task/3099/stat : 3099 (java) R 3095 3097 32548 0 -1 4202560 2932 0 1 0 612 7 0 0 20 0 19 0 347373254 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273648464392 140273515104590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3097/tid=3100] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3100/stat : 3100 (java) S 3095 3097 32548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273514441640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3101] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3101/stat : 3101 (java) S 3095 3097 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273513389096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3102] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3102/stat : 3102 (java) S 3095 3097 32548 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273512336040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3097/tid=3103] ppid=3095 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/3097/task/3103/stat : 3103 (java) S 3095 3097 32548 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273511283496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3104] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3104/stat : 3104 (java) S 3095 3097 32548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273510230440 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3105] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3105/stat : 3105 (java) S 3095 3097 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273509177896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3097/tid=3106] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3106/stat : 3106 (java) S 3095 3097 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273508124840 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3097/tid=3107] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3107/stat : 3107 (java) S 3095 3097 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273507072296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3108] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3108/stat : 3108 (java) S 3095 3097 32548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 347373257 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273024744296 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3109] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3109/stat : 3109 (java) S 3095 3097 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347373258 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273023690616 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3110] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3110/stat : 3110 (java) S 3095 3097 32548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347373258 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273022637448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3111] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3111/stat : 3111 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373261 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273021586192 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3112] ppid=3095 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/3097/task/3112/stat : 3112 (java) S 3095 3097 32548 0 -1 4202560 7198 0 0 0 53 2 0 0 20 0 19 0 347373261 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273020533048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3113] ppid=3095 vsize=2715132 CPUtime=0.67 cores=1,3,5,7
/proc/3097/task/3113/stat : 3113 (java) S 3095 3097 32548 0 -1 4202560 3672 0 0 0 65 2 0 0 20 0 19 0 347373261 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273019480504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3114] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3114/stat : 3114 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373261 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273018427640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3115] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3115/stat : 3115 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373261 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273017375304 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3143] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3143/stat : 3143 (java) S 3095 3097 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347373292 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273016321576 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
[startup+6.70079 s]
/proc/loadavg: 1.82 2.10 2.79 3/213 3145
/proc/meminfo: memFree=26235420/32873844 swapFree=7116/7116
[pid=3097] ppid=3095 vsize=2715132 CPUtime=8.02 cores=1,3,5,7
/proc/3097/stat : 3097 (java) S 3095 3097 32548 0 -1 4202496 15039 0 1 0 790 12 0 0 20 0 19 0 347373252 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140735921560960 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3097/statm: 678783 96185 2273 9 0 669476 0
[pid=3097/tid=3099] ppid=3095 vsize=2715132 CPUtime=6.58 cores=1,3,5,7
/proc/3097/task/3099/stat : 3099 (java) R 3095 3097 32548 0 -1 4202560 2933 0 1 0 651 7 0 0 20 0 19 0 347373254 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273648463232 140273515178742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3097/tid=3100] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3100/stat : 3100 (java) S 3095 3097 32548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273514441640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3101] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3101/stat : 3101 (java) S 3095 3097 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273513389096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3102] ppid=3095 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/3097/task/3102/stat : 3102 (java) S 3095 3097 32548 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273512336040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3097/tid=3103] ppid=3095 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/3097/task/3103/stat : 3103 (java) S 3095 3097 32548 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273511283496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3104] ppid=3095 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/3097/task/3104/stat : 3104 (java) S 3095 3097 32548 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273510230440 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3105] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3105/stat : 3105 (java) S 3095 3097 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273509177896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3097/tid=3106] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3106/stat : 3106 (java) S 3095 3097 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273508124840 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3097/tid=3107] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3107/stat : 3107 (java) S 3095 3097 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 347373256 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273507072296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3108] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3108/stat : 3108 (java) S 3095 3097 32548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 347373257 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273024744296 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3109] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3109/stat : 3109 (java) S 3095 3097 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 347373258 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273023690616 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3110] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3110/stat : 3110 (java) S 3095 3097 32548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 347373258 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273022637448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3111] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3111/stat : 3111 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373261 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273021586192 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3112] ppid=3095 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/3097/task/3112/stat : 3112 (java) S 3095 3097 32548 0 -1 4202560 7198 0 0 0 53 2 0 0 20 0 19 0 347373261 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273020533048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3113] ppid=3095 vsize=2715132 CPUtime=0.67 cores=1,3,5,7
/proc/3097/task/3113/stat : 3113 (java) S 3095 3097 32548 0 -1 4202560 3672 0 0 0 65 2 0 0 20 0 19 0 347373261 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273019480504 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3114] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3114/stat : 3114 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373261 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273018427640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3115] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3115/stat : 3115 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 347373261 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273017375304 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3143] ppid=3095 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3143/stat : 3143 (java) S 3095 3097 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 347373292 2780295168 96185 33554432000 1073741824 1073778376 140735921569824 140273016321576 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.02
Current children cumulated vsize (KiB) 2715132
[startup+7.10093 s]
/proc/loadavg: 1.82 2.10 2.79 3/213 3145
/proc/meminfo: memFree=26235420/32873844 swapFree=7116/7116
[pid=3097] ppid=3095 vsize=2781696 CPUtime=8.44 cores=1,3,5,7
/proc/3097/stat : 3097 (java) S 3095 3097 32548 0 -1 4202496 15052 0 1 0 832 12 0 0 20 0 18 0 347373252 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140735921560960 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3097/statm: 695424 96194 2275 9 0 686117 0
[pid=3097/tid=3099] ppid=3095 vsize=2781696 CPUtime=6.96 cores=1,3,5,7
/proc/3097/task/3099/stat : 3099 (java) S 3095 3097 32548 0 -1 4202560 2935 0 1 0 689 7 0 0 20 0 18 0 347373254 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273648464888 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3097/tid=3100] ppid=3095 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3100/stat : 3100 (java) S 3095 3097 32548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 18 0 347373256 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273514441640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3101] ppid=3095 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3101/stat : 3101 (java) S 3095 3097 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 347373256 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273513389096 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3102] ppid=3095 vsize=2781696 CPUtime=0.01 cores=1,3,5,7
/proc/3097/task/3102/stat : 3102 (java) S 3095 3097 32548 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 347373256 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273512336040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3097/tid=3103] ppid=3095 vsize=2781696 CPUtime=0.02 cores=1,3,5,7
/proc/3097/task/3103/stat : 3103 (java) S 3095 3097 32548 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 347373256 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273511283496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3104] ppid=3095 vsize=2781696 CPUtime=0.01 cores=1,3,5,7
/proc/3097/task/3104/stat : 3104 (java) S 3095 3097 32548 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 347373256 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273510230440 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3105] ppid=3095 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3105/stat : 3105 (java) S 3095 3097 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 347373256 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273509177896 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3097/tid=3106] ppid=3095 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3106/stat : 3106 (java) S 3095 3097 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 347373256 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273508124840 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3097/tid=3107] ppid=3095 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3107/stat : 3107 (java) S 3095 3097 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 347373256 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273507072296 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3108] ppid=3095 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3108/stat : 3108 (java) S 3095 3097 32548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 347373257 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273024743848 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3109] ppid=3095 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3109/stat : 3109 (java) S 3095 3097 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347373258 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273023690616 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3110] ppid=3095 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3110/stat : 3110 (java) S 3095 3097 32548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347373258 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273022637448 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3111] ppid=3095 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3111/stat : 3111 (java) S 3095 3097 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 347373261 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273021585736 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3097/tid=3112] ppid=3095 vsize=2781696 CPUtime=0.57 cores=1,3,5,7
/proc/3097/task/3112/stat : 3112 (java) S 3095 3097 32548 0 -1 4202560 7199 0 0 0 55 2 0 0 20 0 18 0 347373261 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273020519288 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3097/tid=3113] ppid=3095 vsize=2781696 CPUtime=0.69 cores=1,3,5,7
/proc/3097/task/3113/stat : 3113 (java) S 3095 3097 32548 0 -1 4202560 3672 0 0 0 67 2 0 0 20 0 18 0 347373261 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273019456968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3114] ppid=3095 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3114/stat : 3114 (java) S 3095 3097 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347373261 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273018427640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3097/tid=3143] ppid=3095 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/3097/task/3143/stat : 3143 (java) S 3095 3097 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 347373292 2848456704 96194 33554432000 1073741824 1073778376 140735921569824 140273016321576 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.44
Current children cumulated vsize (KiB) 2781696
Child status: 30
Real time (s): 7.10808
CPU time (s): 8.50371
CPU user time (s): 8.27174
CPU system time (s): 0.231964
CPU usage (%): 119.634
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.27174
system time used= 0.231964
maximum resident set size= 387840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15052
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 541
involuntary context switches= 548
runsolver used 0.022996 second user time and 0.074988 second system time
The end