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-3729774-1338729383/watcher-3729774-1338729383 -o /tmp/evaluation-result-3729774-1338729383/solver-3729774-1338729383 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3729774-1338729383.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.00 2.04 1.96 3/194 9412
/proc/meminfo: memFree=26409952/32873844 swapFree=6608/6608
[pid=9412] ppid=9410 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/9412/stat : 9412 (java) R 9410 9412 3621 0 -1 4202496 1015 0 0 0 0 0 0 0 20 0 1 0 339062772 23793664 743 33554432000 1073741824 1073778376 140733798719168 140733798708232 140362201738852 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 5809 754 553 9 0 128 0
[startup+0.0617009 s]
/proc/loadavg: 2.00 2.04 1.96 3/194 9412
/proc/meminfo: memFree=26409952/32873844 swapFree=6608/6608
[pid=9412] ppid=9410 vsize=2648548 CPUtime=0.05 cores=1,3,5,7
/proc/9412/stat : 9412 (java) S 9410 9412 3621 0 -1 4202496 3806 0 1 0 4 1 0 0 20 0 18 0 339062772 2712113152 5526 33554432000 1073741824 1073778376 140733798719168 140733798710304 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 662137 5526 1755 9 0 652835 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648548
[startup+0.100235 s]
/proc/loadavg: 2.00 2.04 1.96 3/194 9412
/proc/meminfo: memFree=26409952/32873844 swapFree=6608/6608
[pid=9412] ppid=9410 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/9412/stat : 9412 (java) S 9410 9412 3621 0 -1 4202496 4720 0 1 0 9 2 0 0 20 0 18 0 339062772 2712133632 6950 33554432000 1073741824 1073778376 140733798719168 140733798710304 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 662142 6951 2127 9 0 652835 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2648568
[startup+0.300185 s]
/proc/loadavg: 2.00 2.04 1.96 3/194 9412
/proc/meminfo: memFree=26409952/32873844 swapFree=6608/6608
[pid=9412] ppid=9410 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/9412/stat : 9412 (java) S 9410 9412 3621 0 -1 4202496 7157 0 1 0 50 2 0 0 20 0 19 0 339062772 2780295168 9271 33554432000 1073741824 1073778376 140733798719168 140733798710304 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 678783 9271 2230 9 0 669476 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2715132
[startup+0.700197 s]
/proc/loadavg: 2.00 2.04 1.96 3/194 9412
/proc/meminfo: memFree=26409952/32873844 swapFree=6608/6608
[pid=9412] ppid=9410 vsize=2715132 CPUtime=1.28 cores=1,3,5,7
/proc/9412/stat : 9412 (java) S 9410 9412 3621 0 -1 4202496 10257 0 1 0 125 3 0 0 20 0 19 0 339062772 2780295168 10828 33554432000 1073741824 1073778376 140733798719168 140733798710304 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 678783 10828 2240 9 0 669476 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 2715132
[startup+1.50071 s]
/proc/loadavg: 2.08 2.05 1.96 3/213 9431
/proc/meminfo: memFree=26372936/32873844 swapFree=6608/6608
[pid=9412] ppid=9410 vsize=2715132 CPUtime=2.12 cores=1,3,5,7
/proc/9412/stat : 9412 (java) S 9410 9412 3621 0 -1 4202496 10321 0 1 0 209 3 0 0 20 0 19 0 339062772 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140733798710304 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 678783 12265 2242 9 0 669476 0
[pid=9412/tid=9414] ppid=9410 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/9412/task/9414/stat : 9414 (java) R 9410 9412 3621 0 -1 4202560 2766 0 1 0 146 1 0 0 20 0 19 0 339062773 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362193748696 140362031577220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9415] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9415/stat : 9415 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362178198056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9416] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9416/stat : 9416 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362177145256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9417] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9417/stat : 9417 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362176092456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9418] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9418/stat : 9418 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362175039656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9419] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9419/stat : 9419 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362173987880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9420] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9420/stat : 9420 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362172935080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9421] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9421/stat : 9421 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362171882280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9422] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9422/stat : 9422 (java) S 9410 9412 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362170829480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9423] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9423/stat : 9423 (java) S 9410 9412 3621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362158418408 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9424] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9424/stat : 9424 (java) S 9410 9412 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362157364472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9425] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9425/stat : 9425 (java) S 9410 9412 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362156311560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9426] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9426/stat : 9426 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062777 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362155260048 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9427] ppid=9410 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/9412/task/9427/stat : 9427 (java) S 9410 9412 3621 0 -1 4202560 3284 0 0 0 32 1 0 0 20 0 19 0 339062778 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362154208184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9428] ppid=9410 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/9412/task/9428/stat : 9428 (java) S 9410 9412 3621 0 -1 4202560 3072 0 0 0 28 0 0 0 20 0 19 0 339062778 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362153155384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9429] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9429/stat : 9429 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062778 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362152102776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9430] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9430/stat : 9430 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062778 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362151050184 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9431] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9431/stat : 9431 (java) S 9410 9412 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339062799 2780295168 12265 33554432000 1073741824 1073778376 140733798719168 140362149995688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 2715132
[startup+3.10079 s]
/proc/loadavg: 2.08 2.05 1.96 3/213 9431
/proc/meminfo: memFree=26364992/32873844 swapFree=6608/6608
[pid=9412] ppid=9410 vsize=2715132 CPUtime=3.73 cores=1,3,5,7
/proc/9412/stat : 9412 (java) S 9410 9412 3621 0 -1 4202496 10326 0 1 0 369 4 0 0 20 0 19 0 339062772 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140733798710304 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 678783 14825 2242 9 0 669476 0
[pid=9412/tid=9414] ppid=9410 vsize=2715132 CPUtime=3.07 cores=1,3,5,7
/proc/9412/task/9414/stat : 9414 (java) R 9410 9412 3621 0 -1 4202560 2771 0 1 0 305 2 0 0 20 0 19 0 339062773 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362193748360 140362031565794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9415] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9415/stat : 9415 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362178198056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9416] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9416/stat : 9416 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362177145256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9417] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9417/stat : 9417 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362176092456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9418] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9418/stat : 9418 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362175039656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9419] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9419/stat : 9419 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362173987880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9420] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9420/stat : 9420 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362172935080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9421] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9421/stat : 9421 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362171882280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9422] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9422/stat : 9422 (java) S 9410 9412 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362170829480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9423] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9423/stat : 9423 (java) S 9410 9412 3621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362158418408 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9424] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9424/stat : 9424 (java) S 9410 9412 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362157364472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9425] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9425/stat : 9425 (java) S 9410 9412 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362156311560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9426] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9426/stat : 9426 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062777 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362155260048 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9427] ppid=9410 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/9412/task/9427/stat : 9427 (java) S 9410 9412 3621 0 -1 4202560 3284 0 0 0 32 1 0 0 20 0 19 0 339062778 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362154208184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9428] ppid=9410 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/9412/task/9428/stat : 9428 (java) S 9410 9412 3621 0 -1 4202560 3072 0 0 0 28 0 0 0 20 0 19 0 339062778 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362153155384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9429] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9429/stat : 9429 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062778 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362152102776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9430] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9430/stat : 9430 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062778 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362151050184 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9431] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9431/stat : 9431 (java) S 9410 9412 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339062799 2780295168 14825 33554432000 1073741824 1073778376 140733798719168 140362149995688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 2715132
[startup+6.30078 s]
/proc/loadavg: 2.07 2.05 1.96 3/213 9431
/proc/meminfo: memFree=26352456/32873844 swapFree=6608/6608
[pid=9412] ppid=9410 vsize=2715132 CPUtime=6.94 cores=1,3,5,7
/proc/9412/stat : 9412 (java) S 9410 9412 3621 0 -1 4202496 10341 0 1 0 690 4 0 0 20 0 19 0 339062772 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140733798710304 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 678783 17280 2244 9 0 669476 0
[pid=9412/tid=9414] ppid=9410 vsize=2715132 CPUtime=6.26 cores=1,3,5,7
/proc/9412/task/9414/stat : 9414 (java) R 9410 9412 3621 0 -1 4202560 2778 0 1 0 624 2 0 0 20 0 19 0 339062773 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362193748248 140362031565646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9415] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9415/stat : 9415 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362178198056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9416] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9416/stat : 9416 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362177145256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9417] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9417/stat : 9417 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362176092456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9418] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9418/stat : 9418 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362175039656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9419] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9419/stat : 9419 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362173987880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9420] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9420/stat : 9420 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362172935080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9421] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9421/stat : 9421 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362171882280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9422] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9422/stat : 9422 (java) S 9410 9412 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362170829480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9423] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9423/stat : 9423 (java) S 9410 9412 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362158418408 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9424] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9424/stat : 9424 (java) S 9410 9412 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362157364472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9425] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9425/stat : 9425 (java) S 9410 9412 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362156311560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9426] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9426/stat : 9426 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062777 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362155260048 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9427] ppid=9410 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/9412/task/9427/stat : 9427 (java) S 9410 9412 3621 0 -1 4202560 3290 0 0 0 33 1 0 0 20 0 19 0 339062778 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362154208184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9428] ppid=9410 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/9412/task/9428/stat : 9428 (java) S 9410 9412 3621 0 -1 4202560 3072 0 0 0 28 0 0 0 20 0 19 0 339062778 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362153155384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9429] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9429/stat : 9429 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062778 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362152102776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9430] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9430/stat : 9430 (java) S 9410 9412 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 339062778 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362151050184 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9431] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9431/stat : 9431 (java) S 9410 9412 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339062799 2780295168 17280 33554432000 1073741824 1073778376 140733798719168 140362149995688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
/proc/9412/task/9422/stat : 9422 (java) S 9410 9412 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362170829480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9423] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9423/stat : 9423 (java) S 9410 9412 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362158418408 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9424] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9424/stat : 9424 (java) S 9410 9412 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362157364472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9425] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9425/stat : 9425 (java) S 9410 9412 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362156311560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9426] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9426/stat : 9426 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062777 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362155260048 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9427] ppid=9410 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/9412/task/9427/stat : 9427 (java) S 9410 9412 3621 0 -1 4202560 3294 0 0 0 38 1 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362154208184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9428] ppid=9410 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/9412/task/9428/stat : 9428 (java) S 9410 9412 3621 0 -1 4202560 3072 0 0 0 28 0 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362153155384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9429] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9429/stat : 9429 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362152102776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9430] ppid=9410 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/9412/task/9430/stat : 9430 (java) S 9410 9412 3621 0 -1 4202560 6 0 0 0 1 2 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362151050184 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9431] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9431/stat : 9431 (java) S 9410 9412 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339062799 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362149995688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 77.46
Current children cumulated vsize (KiB) 2715132
[startup+77.5008 s]
/proc/loadavg: 2.02 2.04 1.96 3/213 9431
/proc/meminfo: memFree=26224708/32873844 swapFree=6608/6608
[pid=9412] ppid=9410 vsize=2715132 CPUtime=78.26 cores=1,3,5,7
/proc/9412/stat : 9412 (java) S 9410 9412 3621 0 -1 4202496 10407 0 1 0 7817 9 0 0 20 0 19 0 339062772 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140733798710304 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 678783 42880 2244 9 0 669476 0
[pid=9412/tid=9414] ppid=9410 vsize=2715132 CPUtime=77.27 cores=1,3,5,7
/proc/9412/task/9414/stat : 9414 (java) R 9410 9412 3621 0 -1 4202560 2835 0 1 0 7722 5 0 0 20 0 19 0 339062773 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362193748472 140362031580037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9415] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9415/stat : 9415 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362178198056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9416] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9416/stat : 9416 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362177145256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9417] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9417/stat : 9417 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362176092456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9418] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9418/stat : 9418 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362175039656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9419] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9419/stat : 9419 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362173987880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9420] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9420/stat : 9420 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362172935080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9421] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9421/stat : 9421 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362171882280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9422] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9422/stat : 9422 (java) S 9410 9412 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362170829480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9423] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9423/stat : 9423 (java) S 9410 9412 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362158418408 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9424] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9424/stat : 9424 (java) S 9410 9412 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362157364472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9425] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9425/stat : 9425 (java) S 9410 9412 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362156311560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9426] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9426/stat : 9426 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062777 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362155260048 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9427] ppid=9410 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/9412/task/9427/stat : 9427 (java) S 9410 9412 3621 0 -1 4202560 3294 0 0 0 38 1 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362154208184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9428] ppid=9410 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/9412/task/9428/stat : 9428 (java) S 9410 9412 3621 0 -1 4202560 3072 0 0 0 28 0 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362153155384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9429] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9429/stat : 9429 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362152102776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9430] ppid=9410 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/9412/task/9430/stat : 9430 (java) S 9410 9412 3621 0 -1 4202560 6 0 0 0 1 2 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362151050184 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9431] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9431/stat : 9431 (java) S 9410 9412 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339062799 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362149995688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 78.26
Current children cumulated vsize (KiB) 2715132
[startup+77.9008 s]
/proc/loadavg: 2.02 2.04 1.96 3/213 9431
/proc/meminfo: memFree=26224708/32873844 swapFree=6608/6608
[pid=9412] ppid=9410 vsize=2715132 CPUtime=78.66 cores=1,3,5,7
/proc/9412/stat : 9412 (java) S 9410 9412 3621 0 -1 4202496 10407 0 1 0 7857 9 0 0 20 0 19 0 339062772 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140733798710304 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 678783 42880 2244 9 0 669476 0
[pid=9412/tid=9414] ppid=9410 vsize=2715132 CPUtime=77.67 cores=1,3,5,7
/proc/9412/task/9414/stat : 9414 (java) R 9410 9412 3621 0 -1 4202560 2835 0 1 0 7762 5 0 0 20 0 19 0 339062773 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362193748472 140362031580037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9415] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9415/stat : 9415 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362178198056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9416] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9416/stat : 9416 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362177145256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9417] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9417/stat : 9417 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362176092456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9418] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9418/stat : 9418 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362175039656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9419] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9419/stat : 9419 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362173987880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9420] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9420/stat : 9420 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362172935080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9421] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9421/stat : 9421 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362171882280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9422] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9422/stat : 9422 (java) S 9410 9412 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362170829480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9423] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9423/stat : 9423 (java) S 9410 9412 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362158418408 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9424] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9424/stat : 9424 (java) S 9410 9412 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362157364472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9425] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9425/stat : 9425 (java) S 9410 9412 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362156311560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9426] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9426/stat : 9426 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062777 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362155260048 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9427] ppid=9410 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/9412/task/9427/stat : 9427 (java) S 9410 9412 3621 0 -1 4202560 3294 0 0 0 38 1 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362154208184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9428] ppid=9410 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/9412/task/9428/stat : 9428 (java) S 9410 9412 3621 0 -1 4202560 3072 0 0 0 28 0 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362153155384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9429] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9429/stat : 9429 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362152102776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9430] ppid=9410 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/9412/task/9430/stat : 9430 (java) S 9410 9412 3621 0 -1 4202560 6 0 0 0 1 2 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362151050184 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9431] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9431/stat : 9431 (java) S 9410 9412 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339062799 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362149995688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 78.66
Current children cumulated vsize (KiB) 2715132
[startup+78.0008 s]
/proc/loadavg: 2.02 2.04 1.96 3/213 9431
/proc/meminfo: memFree=26224708/32873844 swapFree=6608/6608
[pid=9412] ppid=9410 vsize=2715132 CPUtime=78.76 cores=1,3,5,7
/proc/9412/stat : 9412 (java) S 9410 9412 3621 0 -1 4202496 10407 0 1 0 7867 9 0 0 20 0 19 0 339062772 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140733798710304 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9412/statm: 678783 42880 2244 9 0 669476 0
[pid=9412/tid=9414] ppid=9410 vsize=2715132 CPUtime=77.78 cores=1,3,5,7
/proc/9412/task/9414/stat : 9414 (java) R 9410 9412 3621 0 -1 4202560 2835 0 1 0 7773 5 0 0 20 0 19 0 339062773 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362193748472 140362031580037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9415] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9415/stat : 9415 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362178198056 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9416] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9416/stat : 9416 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362177145256 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9417] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9417/stat : 9417 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362176092456 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9418] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9418/stat : 9418 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362175039656 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9419] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9419/stat : 9419 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362173987880 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9420] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9420/stat : 9420 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362172935080 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9412/tid=9421] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9421/stat : 9421 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362171882280 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9422] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9422/stat : 9422 (java) S 9410 9412 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339062774 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362170829480 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9423] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9423/stat : 9423 (java) S 9410 9412 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362158418408 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9424] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9424/stat : 9424 (java) S 9410 9412 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362157364472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9425] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9425/stat : 9425 (java) S 9410 9412 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339062775 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362156311560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9426] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9426/stat : 9426 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062777 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362155260048 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9427] ppid=9410 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/9412/task/9427/stat : 9427 (java) S 9410 9412 3621 0 -1 4202560 3294 0 0 0 38 1 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362154208184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9412/tid=9428] ppid=9410 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/9412/task/9428/stat : 9428 (java) S 9410 9412 3621 0 -1 4202560 3072 0 0 0 28 0 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362153155384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9429] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9429/stat : 9429 (java) S 9410 9412 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362152102776 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9412/tid=9430] ppid=9410 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/9412/task/9430/stat : 9430 (java) S 9410 9412 3621 0 -1 4202560 6 0 0 0 1 2 0 0 20 0 19 0 339062778 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362151050184 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9412/tid=9431] ppid=9410 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/9412/task/9431/stat : 9431 (java) S 9410 9412 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339062799 2780295168 42880 33554432000 1073741824 1073778376 140733798719168 140362149995688 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 78.76
Current children cumulated vsize (KiB) 2715132
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9412 and gives
# childrusage.ru_utime.tv_sec=78
# childrusage.ru_utime.tv_usec=539060
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=132979
# CPU time returned by wait4() is 78.672
# while last known CPU time is 78.76
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 78.0938
CPU time (s): 78.76
CPU user time (s): 78.67
CPU system time (s): 0.09
CPU usage (%): 100.853
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.5391
system time used= 0.132979
maximum resident set size= 173784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10464
page faults= 1
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1936
involuntary context switches= 119
runsolver used 0.489925 second user time and 0.698893 second system time
The end