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-3730528-1338735012/watcher-3730528-1338735012 -o /tmp/evaluation-result-3730528-1338735012/solver-3730528-1338735012 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3730528-1338735012.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.95 2.00 1.99 3/195 11671
/proc/meminfo: memFree=30192164/32873844 swapFree=7116/7116
[pid=11671] ppid=11669 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/11671/stat : 11671 (java6) D 11669 11671 2614 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 339626085 9515008 176 33554432000 1073741824 1073778376 140734609289440 140734609272168 240565175184 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/11671/statm: 2323 176 133 9 0 71 0
[startup+0.0518689 s]
/proc/loadavg: 1.95 2.00 1.99 3/195 11671
/proc/meminfo: memFree=30192164/32873844 swapFree=7116/7116
[pid=11671] ppid=11669 vsize=2315716 CPUtime=0.03 cores=1,3,5,7
/proc/11671/stat : 11671 (java) S 11669 11671 2614 0 -1 4202496 3673 0 1 0 2 1 0 0 20 0 13 0 339626085 2371293184 4880 33554432000 1073741824 1073778376 140735902099376 140735902090512 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11671/statm: 578929 4880 1693 9 0 569630 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2315716
[startup+0.100339 s]
/proc/loadavg: 1.95 2.00 1.99 3/195 11671
/proc/meminfo: memFree=30192164/32873844 swapFree=7116/7116
[pid=11671] ppid=11669 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/11671/stat : 11671 (java) S 11669 11671 2614 0 -1 4202496 4080 0 1 0 6 1 0 0 20 0 18 0 339626085 2712133632 5798 33554432000 1073741824 1073778376 140735902099376 140735902090512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11671/statm: 662142 5798 1933 9 0 652835 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568
[startup+0.300293 s]
/proc/loadavg: 1.95 2.00 1.99 3/195 11671
/proc/meminfo: memFree=30192164/32873844 swapFree=7116/7116
[pid=11671] ppid=11669 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/11671/stat : 11671 (java) S 11669 11671 2614 0 -1 4202496 7180 0 1 0 48 2 0 0 20 0 19 0 339626085 2780295168 8569 33554432000 1073741824 1073778376 140735902099376 140735902090512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11671/statm: 678783 8569 2223 9 0 669476 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2715132
[startup+0.700256 s]
/proc/loadavg: 1.95 2.00 1.99 3/195 11671
/proc/meminfo: memFree=30192164/32873844 swapFree=7116/7116
[pid=11671] ppid=11669 vsize=2715132 CPUtime=0.94 cores=1,3,5,7
/proc/11671/stat : 11671 (java) S 11669 11671 2614 0 -1 4202496 7186 0 1 0 92 2 0 0 20 0 19 0 339626085 2780295168 9086 33554432000 1073741824 1073778376 140735902099376 140735902090512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11671/statm: 678783 9086 2227 9 0 669476 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 2715132
[startup+1.50068 s]
/proc/loadavg: 1.95 2.00 1.99 3/214 11690
/proc/meminfo: memFree=30162656/32873844 swapFree=7116/7116
[pid=11671] ppid=11669 vsize=2715132 CPUtime=1.8 cores=1,3,5,7
/proc/11671/stat : 11671 (java) S 11669 11671 2614 0 -1 4202496 7200 0 1 0 178 2 0 0 20 0 19 0 339626085 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 140735902090512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11671/statm: 678783 10121 2229 9 0 669476 0
[pid=11671/tid=11673] ppid=11669 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/11671/task/11673/stat : 11673 (java) R 11669 11671 2614 0 -1 4202560 2746 0 1 0 145 1 0 0 20 0 19 0 339626086 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643263228664 139643094197587 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11674] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11674/stat : 11674 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643247679656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11675] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11675/stat : 11675 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643246627112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11676] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11676/stat : 11676 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643245574568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11671/tid=11677] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11677/stat : 11677 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643244522024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11678] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11678/stat : 11678 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643243469480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11671/tid=11679] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11679/stat : 11679 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643242416936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11680] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11680/stat : 11680 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643241364392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11681] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11681/stat : 11681 (java) S 11669 11671 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643240311848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11682] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11682/stat : 11682 (java) S 11669 11671 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339626089 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643227900008 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11683] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11683/stat : 11683 (java) S 11669 11671 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339626089 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643226846328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11684] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11684/stat : 11684 (java) S 11669 11671 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339626089 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643225793672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11685] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11685/stat : 11685 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626092 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643224742416 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11686] ppid=11669 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/11671/task/11686/stat : 11686 (java) S 11669 11671 2614 0 -1 4202560 1845 0 0 0 19 0 0 0 20 0 19 0 339626092 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643223689784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11687] ppid=11669 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/11671/task/11687/stat : 11687 (java) S 11669 11671 2614 0 -1 4202560 1415 0 0 0 12 0 0 0 20 0 19 0 339626092 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643222637240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11688] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11688/stat : 11688 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626092 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643221584888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11689] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11689/stat : 11689 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626092 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643220532552 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11690] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11690/stat : 11690 (java) S 11669 11671 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339626102 2780295168 10121 33554432000 1073741824 1073778376 140735902099376 139643219477288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 2715132
[startup+3.10069 s]
/proc/loadavg: 1.95 2.00 1.99 3/214 11690
/proc/meminfo: memFree=30158064/32873844 swapFree=7116/7116
[pid=11671] ppid=11669 vsize=2715132 CPUtime=3.4 cores=1,3,5,7
/proc/11671/stat : 11671 (java) S 11669 11671 2614 0 -1 4202496 7203 0 1 0 338 2 0 0 20 0 19 0 339626085 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 140735902090512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11671/statm: 678783 11145 2229 9 0 669476 0
[pid=11671/tid=11673] ppid=11669 vsize=2715132 CPUtime=3.05 cores=1,3,5,7
/proc/11671/task/11673/stat : 11673 (java) R 11669 11671 2614 0 -1 4202560 2749 0 1 0 304 1 0 0 20 0 19 0 339626086 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643263228480 139643094221073 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11674] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11674/stat : 11674 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643247679656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11675] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11675/stat : 11675 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643246627112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11676] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11676/stat : 11676 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643245574568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11671/tid=11677] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11677/stat : 11677 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643244522024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11678] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11678/stat : 11678 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643243469480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11671/tid=11679] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11679/stat : 11679 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643242416936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11680] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11680/stat : 11680 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643241364392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11681] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11681/stat : 11681 (java) S 11669 11671 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643240311848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11682] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11682/stat : 11682 (java) S 11669 11671 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339626089 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643227900008 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11683] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11683/stat : 11683 (java) S 11669 11671 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339626089 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643226846328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11684] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11684/stat : 11684 (java) S 11669 11671 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339626089 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643225793672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11685] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11685/stat : 11685 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626092 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643224742416 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11686] ppid=11669 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/11671/task/11686/stat : 11686 (java) S 11669 11671 2614 0 -1 4202560 1845 0 0 0 19 0 0 0 20 0 19 0 339626092 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643223689784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11687] ppid=11669 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/11671/task/11687/stat : 11687 (java) S 11669 11671 2614 0 -1 4202560 1415 0 0 0 12 0 0 0 20 0 19 0 339626092 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643222637240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11688] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11688/stat : 11688 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626092 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643221584888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11689] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11689/stat : 11689 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626092 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643220532552 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11690] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11690/stat : 11690 (java) S 11669 11671 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339626102 2780295168 11145 33554432000 1073741824 1073778376 140735902099376 139643219477288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 2715132
[startup+6.3008 s]
/proc/loadavg: 1.95 2.00 1.99 3/214 11690
/proc/meminfo: memFree=30149500/32873844 swapFree=7116/7116
[pid=11671] ppid=11669 vsize=2715132 CPUtime=6.61 cores=1,3,5,7
/proc/11671/stat : 11671 (java) S 11669 11671 2614 0 -1 4202496 7208 0 1 0 659 2 0 0 20 0 19 0 339626085 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 140735902090512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11671/statm: 678783 12518 2230 9 0 669476 0
[pid=11671/tid=11673] ppid=11669 vsize=2715132 CPUtime=6.24 cores=1,3,5,7
/proc/11671/task/11673/stat : 11673 (java) R 11669 11671 2614 0 -1 4202560 2753 0 1 0 623 1 0 0 20 0 19 0 339626086 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643263230392 139643094262917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11674] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11674/stat : 11674 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643247679656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11675] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11675/stat : 11675 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643246627112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11676] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11676/stat : 11676 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643245574568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11671/tid=11677] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11677/stat : 11677 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643244522024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11678] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11678/stat : 11678 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643243469480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11671/tid=11679] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11679/stat : 11679 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643242416936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11680] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11680/stat : 11680 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643241364392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11681] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11681/stat : 11681 (java) S 11669 11671 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643240311848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11682] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11682/stat : 11682 (java) S 11669 11671 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339626089 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643227900008 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11683] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11683/stat : 11683 (java) S 11669 11671 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339626089 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643226846328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11684] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11684/stat : 11684 (java) S 11669 11671 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339626089 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643225793672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11685] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11685/stat : 11685 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626092 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643224742416 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11686] ppid=11669 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/11671/task/11686/stat : 11686 (java) S 11669 11671 2614 0 -1 4202560 1845 0 0 0 19 0 0 0 20 0 19 0 339626092 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643223689784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11687] ppid=11669 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/11671/task/11687/stat : 11687 (java) S 11669 11671 2614 0 -1 4202560 1415 0 0 0 12 0 0 0 20 0 19 0 339626092 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643222637240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11688] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11688/stat : 11688 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626092 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643221584888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11689] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11689/stat : 11689 (java) S 11669 11671 2614 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 339626092 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643220532552 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11690] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11690/stat : 11690 (java) S 11669 11671 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339626102 2780295168 12518 33554432000 1073741824 1073778376 140735902099376 139643219477288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.61
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
[startup+6.70068 s]
/proc/loadavg: 1.95 2.00 1.99 3/214 11690
/proc/meminfo: memFree=30147576/32873844 swapFree=7116/7116
[pid=11671] ppid=11669 vsize=2715132 CPUtime=7.01 cores=1,3,5,7
/proc/11671/stat : 11671 (java) S 11669 11671 2614 0 -1 4202496 7209 0 1 0 699 2 0 0 20 0 19 0 339626085 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 140735902090512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11671/statm: 678783 13030 2230 9 0 669476 0
[pid=11671/tid=11673] ppid=11669 vsize=2715132 CPUtime=6.64 cores=1,3,5,7
/proc/11671/task/11673/stat : 11673 (java) R 11669 11671 2614 0 -1 4202560 2754 0 1 0 663 1 0 0 20 0 19 0 339626086 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643263230392 139643094262917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11674] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11674/stat : 11674 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643247679656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11675] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11675/stat : 11675 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643246627112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11676] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11676/stat : 11676 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643245574568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11671/tid=11677] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11677/stat : 11677 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626087 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643244522024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11678] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11678/stat : 11678 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643243469480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11671/tid=11679] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11679/stat : 11679 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643242416936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11680] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11680/stat : 11680 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643241364392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11681] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11681/stat : 11681 (java) S 11669 11671 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339626088 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643240311848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11682] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11682/stat : 11682 (java) S 11669 11671 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339626089 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643227900008 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11683] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11683/stat : 11683 (java) S 11669 11671 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339626089 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643226846328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11684] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11684/stat : 11684 (java) S 11669 11671 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339626089 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643225793672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11685] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11685/stat : 11685 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626092 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643224742416 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11686] ppid=11669 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/11671/task/11686/stat : 11686 (java) S 11669 11671 2614 0 -1 4202560 1845 0 0 0 19 0 0 0 20 0 19 0 339626092 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643223689784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11687] ppid=11669 vsize=2715132 CPUtime=0.12 cores=1,3,5,7
/proc/11671/task/11687/stat : 11687 (java) S 11669 11671 2614 0 -1 4202560 1415 0 0 0 12 0 0 0 20 0 19 0 339626092 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643222637240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11688] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11688/stat : 11688 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339626092 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643221584888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11689] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11689/stat : 11689 (java) S 11669 11671 2614 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 339626092 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643220532552 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11690] ppid=11669 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11690/stat : 11690 (java) S 11669 11671 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339626102 2780295168 13030 33554432000 1073741824 1073778376 140735902099376 139643219477288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 2715132
[startup+6.90074 s]
/proc/loadavg: 1.95 2.00 1.99 3/214 11690
/proc/meminfo: memFree=30147576/32873844 swapFree=7116/7116
[pid=11671] ppid=11669 vsize=2781696 CPUtime=7.22 cores=1,3,5,7
/proc/11671/stat : 11671 (java) S 11669 11671 2614 0 -1 4202496 7291 0 1 0 720 2 0 0 20 0 20 0 339626085 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 140735902090512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11671/statm: 695424 13623 2246 9 0 686117 0
[pid=11671/tid=11673] ppid=11669 vsize=2781696 CPUtime=6.82 cores=1,3,5,7
/proc/11671/task/11673/stat : 11673 (java) S 11669 11671 2614 0 -1 4202560 2764 0 1 0 681 1 0 0 20 0 20 0 339626086 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643263230680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11674] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11674/stat : 11674 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339626087 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643247679656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11675] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11675/stat : 11675 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339626087 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643246627112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11676] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11676/stat : 11676 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339626087 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643245574568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11671/tid=11677] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11677/stat : 11677 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339626087 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643244522024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11678] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11678/stat : 11678 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339626088 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643243469480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11671/tid=11679] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11679/stat : 11679 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339626088 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643242416936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11680] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11680/stat : 11680 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339626088 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643241364392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11671/tid=11681] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11681/stat : 11681 (java) S 11669 11671 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339626088 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643240311848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11682] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11682/stat : 11682 (java) S 11669 11671 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339626089 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643227900008 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11683] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11683/stat : 11683 (java) S 11669 11671 2614 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 339626089 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643226846328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11684] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11684/stat : 11684 (java) S 11669 11671 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339626089 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643225793672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11685] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11685/stat : 11685 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339626092 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643224742416 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11686] ppid=11669 vsize=2781696 CPUtime=0.21 cores=1,3,5,7
/proc/11671/task/11686/stat : 11686 (java) R 11669 11671 2614 0 -1 4202560 1902 0 0 0 21 0 0 0 20 0 20 0 339626092 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643223689664 139643270204709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11687] ppid=11669 vsize=2781696 CPUtime=0.12 cores=1,3,5,7
/proc/11671/task/11687/stat : 11687 (java) S 11669 11671 2614 0 -1 4202560 1415 0 0 0 12 0 0 0 20 0 20 0 339626092 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643222637240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11688] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11688/stat : 11688 (java) S 11669 11671 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339626092 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643221584888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11671/tid=11689] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11689/stat : 11689 (java) S 11669 11671 2614 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339626092 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643220532552 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11671/tid=11690] ppid=11669 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11671/task/11690/stat : 11690 (java) S 11669 11671 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339626102 2848456704 13623 33554432000 1073741824 1073778376 140735902099376 139643219477288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 2781696
Child status: 10
Real time (s): 6.9145
CPU time (s): 7.2429
CPU user time (s): 7.19091
CPU system time (s): 0.051992
CPU usage (%): 104.749
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.19091
system time used= 0.051992
maximum resident set size= 54520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7303
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= 432
involuntary context switches= 57
runsolver used 0.028995 second user time and 0.073988 second system time
The end