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-3730073-1338731347/watcher-3730073-1338731347 -o /tmp/evaluation-result-3730073-1338731347/solver-3730073-1338731347 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3730073-1338731347.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.06 2.01 2.00 3/194 10400
/proc/meminfo: memFree=26046672/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10400/stat : 10400 (java6) D 10398 10400 3621 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 339259322 9515008 184 33554432000 1073741824 1073778376 140734631183008 140734631174232 213419453879 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/10400/statm: 2323 184 142 9 0 71 0
[startup+0.0554129 s]
/proc/loadavg: 2.06 2.01 2.00 3/194 10400
/proc/meminfo: memFree=26046672/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=2315716 CPUtime=0.03 cores=1,3,5,7
/proc/10400/stat : 10400 (java) S 10398 10400 3621 0 -1 4202496 3698 0 1 0 3 0 0 0 20 0 13 0 339259322 2371293184 4905 33554432000 1073741824 1073778376 140733561400880 140733561392016 213422997565 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10400/statm: 578929 4905 1708 9 0 569630 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2315716
[startup+0.100294 s]
/proc/loadavg: 2.06 2.01 2.00 3/194 10400
/proc/meminfo: memFree=26046672/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/10400/stat : 10400 (java) S 10398 10400 3621 0 -1 4202496 4699 0 1 0 8 1 0 0 20 0 18 0 339259322 2712133632 6415 33554432000 1073741824 1073778376 140733561400880 140733561392016 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10400/statm: 662142 6415 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300297 s]
/proc/loadavg: 2.06 2.01 2.00 3/194 10400
/proc/meminfo: memFree=26046672/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=2648568 CPUtime=0.48 cores=1,3,5,7
/proc/10400/stat : 10400 (java) S 10398 10400 3621 0 -1 4202496 6164 0 1 0 47 1 0 0 20 0 18 0 339259322 2712133632 9343 33554432000 1073741824 1073778376 140733561400880 140733561392016 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10400/statm: 662142 9343 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2648568
[startup+0.700283 s]
/proc/loadavg: 2.06 2.01 2.00 3/194 10400
/proc/meminfo: memFree=26046672/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=2648568 CPUtime=1.14 cores=1,3,5,7
/proc/10400/stat : 10400 (java) S 10398 10400 3621 0 -1 4202496 9478 0 1 0 109 5 0 0 20 0 18 0 339259322 2712133632 49985 33554432000 1073741824 1073778376 140733561400880 140733561392016 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10400/statm: 662142 49985 2233 9 0 652835 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 2648568
[startup+1.50076 s]
/proc/loadavg: 2.05 2.01 2.00 3/212 10418
/proc/meminfo: memFree=25707680/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=2648568 CPUtime=2.03 cores=1,3,5,7
/proc/10400/stat : 10400 (java) S 10398 10400 3621 0 -1 4202496 9606 0 1 0 192 11 0 0 20 0 18 0 339259322 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140733561392016 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10400/statm: 662142 95574 2249 9 0 652835 0
[pid=10400/tid=10402] ppid=10398 vsize=2648568 CPUtime=1.42 cores=1,3,5,7
/proc/10400/task/10402/stat : 10402 (java) R 10398 10400 3621 0 -1 4202560 2913 0 1 0 135 7 0 0 20 0 18 0 339259323 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513166696528 213423023373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10403] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10403/stat : 10403 (java) S 10398 10400 3621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 339259324 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513151155240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10404] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10404/stat : 10404 (java) S 10398 10400 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 339259324 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513150102440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10405] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10405/stat : 10405 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259324 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513149049640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10406] ppid=10398 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/10400/task/10406/stat : 10406 (java) S 10398 10400 3621 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 339259324 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513147996840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10407] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10407/stat : 10407 (java) S 10398 10400 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 339259324 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513146944040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10408] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10408/stat : 10408 (java) S 10398 10400 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 339259324 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513145891240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10409] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10409/stat : 10409 (java) S 10398 10400 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339259324 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513144838440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10410] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10410/stat : 10410 (java) S 10398 10400 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339259324 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513025976488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10411] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10411/stat : 10411 (java) S 10398 10400 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339259325 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513013779432 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10412] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10412/stat : 10412 (java) S 10398 10400 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339259326 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513012725496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10413] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10413/stat : 10413 (java) S 10398 10400 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339259326 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513011672584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10414] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10414/stat : 10414 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140513010621072 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10415] ppid=10398 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/10400/task/10415/stat : 10415 (java) S 10398 10400 3621 0 -1 4202560 2553 0 0 0 21 0 0 0 20 0 18 0 339259328 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140512271002040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10416] ppid=10398 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/10400/task/10416/stat : 10416 (java) S 10398 10400 3621 0 -1 4202560 2914 0 0 0 23 0 0 0 20 0 18 0 339259328 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140512269949240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10417] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10417/stat : 10417 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140512268896632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10418] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10418/stat : 10418 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 95574 33554432000 1073741824 1073778376 140733561400880 140512267844040 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 2648568
[startup+3.10075 s]
/proc/loadavg: 2.05 2.01 2.00 3/212 10418
/proc/meminfo: memFree=25643192/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=2648568 CPUtime=4.07 cores=1,3,5,7
/proc/10400/stat : 10400 (java) S 10398 10400 3621 0 -1 4202496 9774 0 1 0 387 20 0 0 20 0 18 0 339259322 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140733561392016 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10400/statm: 662142 115560 2251 9 0 652835 0
[pid=10400/tid=10402] ppid=10398 vsize=2648568 CPUtime=2.86 cores=1,3,5,7
/proc/10400/task/10402/stat : 10402 (java) R 10398 10400 3621 0 -1 4202560 2916 0 1 0 278 8 0 0 20 0 18 0 339259323 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513166704216 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10403] ppid=10398 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/10400/task/10403/stat : 10403 (java) S 10398 10400 3621 0 -1 4202560 35 0 0 0 9 2 0 0 20 0 18 0 339259324 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513151155240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10404] ppid=10398 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/10400/task/10404/stat : 10404 (java) S 10398 10400 3621 0 -1 4202560 24 0 0 0 5 2 0 0 20 0 18 0 339259324 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513150102440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10405] ppid=10398 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/10400/task/10405/stat : 10405 (java) S 10398 10400 3621 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 18 0 339259324 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513149049640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10406] ppid=10398 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/10400/task/10406/stat : 10406 (java) S 10398 10400 3621 0 -1 4202560 41 0 0 0 8 2 0 0 20 0 18 0 339259324 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513147996840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10407] ppid=10398 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/10400/task/10407/stat : 10407 (java) S 10398 10400 3621 0 -1 4202560 26 0 0 0 8 1 0 0 20 0 18 0 339259324 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513146944040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10408] ppid=10398 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/10400/task/10408/stat : 10408 (java) S 10398 10400 3621 0 -1 4202560 21 0 0 0 5 1 0 0 20 0 18 0 339259324 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513145891240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10409] ppid=10398 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/10400/task/10409/stat : 10409 (java) S 10398 10400 3621 0 -1 4202560 24 0 0 0 7 1 0 0 20 0 18 0 339259324 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513144838440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10410] ppid=10398 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/10400/task/10410/stat : 10410 (java) S 10398 10400 3621 0 -1 4202560 19 0 0 0 5 2 0 0 20 0 18 0 339259324 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513025976488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10411] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10411/stat : 10411 (java) S 10398 10400 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339259325 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513013779432 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10412] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10412/stat : 10412 (java) S 10398 10400 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339259326 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513012725496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10413] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10413/stat : 10413 (java) S 10398 10400 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339259326 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513011672584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10414] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10414/stat : 10414 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140513010621072 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10415] ppid=10398 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/10400/task/10415/stat : 10415 (java) S 10398 10400 3621 0 -1 4202560 2553 0 0 0 21 0 0 0 20 0 18 0 339259328 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140512271002040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10416] ppid=10398 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/10400/task/10416/stat : 10416 (java) S 10398 10400 3621 0 -1 4202560 2916 0 0 0 23 0 0 0 20 0 18 0 339259328 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140512269949240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10417] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10417/stat : 10417 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140512268896632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10418] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10418/stat : 10418 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 115560 33554432000 1073741824 1073778376 140733561400880 140512267844040 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 2648568
[startup+6.30067 s]
/proc/loadavg: 2.05 2.01 2.00 10/212 10418
/proc/meminfo: memFree=25524096/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=2648568 CPUtime=8.41 cores=1,3,5,7
/proc/10400/stat : 10400 (java) S 10398 10400 3621 0 -1 4202496 10324 0 1 0 812 29 0 0 20 0 18 0 339259322 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140733561392016 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10400/statm: 662142 140216 2251 9 0 652835 0
[pid=10400/tid=10402] ppid=10398 vsize=2648568 CPUtime=5.65 cores=1,3,5,7
/proc/10400/task/10402/stat : 10402 (java) R 10398 10400 3621 0 -1 4202560 2922 0 1 0 556 9 0 0 20 0 18 0 339259323 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513166696688 140513026433835 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10403] ppid=10398 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/10400/task/10403/stat : 10403 (java) S 10398 10400 3621 0 -1 4202560 101 0 0 0 20 3 0 0 20 0 18 0 339259324 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513151155240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10404] ppid=10398 vsize=2648568 CPUtime=0.25 cores=1,3,5,7
/proc/10400/task/10404/stat : 10404 (java) S 10398 10400 3621 0 -1 4202560 69 0 0 0 22 3 0 0 20 0 18 0 339259324 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513150102440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10405] ppid=10398 vsize=2648568 CPUtime=0.24 cores=1,3,5,7
/proc/10400/task/10405/stat : 10405 (java) S 10398 10400 3621 0 -1 4202560 105 0 0 0 22 2 0 0 20 0 18 0 339259324 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513149049640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10406] ppid=10398 vsize=2648568 CPUtime=0.25 cores=1,3,5,7
/proc/10400/task/10406/stat : 10406 (java) S 10398 10400 3621 0 -1 4202560 100 0 0 0 21 4 0 0 20 0 18 0 339259324 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513147996840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10407] ppid=10398 vsize=2648568 CPUtime=0.43 cores=1,3,5,7
/proc/10400/task/10407/stat : 10407 (java) S 10398 10400 3621 0 -1 4202560 97 0 0 0 40 3 0 0 20 0 18 0 339259324 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513146944040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10408] ppid=10398 vsize=2648568 CPUtime=0.27 cores=1,3,5,7
/proc/10400/task/10408/stat : 10408 (java) S 10398 10400 3621 0 -1 4202560 91 0 0 0 24 3 0 0 20 0 18 0 339259324 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513145891240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10409] ppid=10398 vsize=2648568 CPUtime=0.26 cores=1,3,5,7
/proc/10400/task/10409/stat : 10409 (java) S 10398 10400 3621 0 -1 4202560 78 0 0 0 24 2 0 0 20 0 18 0 339259324 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513144838440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10410] ppid=10398 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/10400/task/10410/stat : 10410 (java) S 10398 10400 3621 0 -1 4202560 110 0 0 0 21 2 0 0 20 0 18 0 339259324 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513025976488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10411] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10411/stat : 10411 (java) S 10398 10400 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339259325 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513013779432 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10412] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10412/stat : 10412 (java) S 10398 10400 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339259326 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513012725496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10413] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10413/stat : 10413 (java) S 10398 10400 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339259326 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513011672584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10414] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10414/stat : 10414 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140513010621072 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10415] ppid=10398 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/10400/task/10415/stat : 10415 (java) S 10398 10400 3621 0 -1 4202560 2553 0 0 0 21 0 0 0 20 0 18 0 339259328 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140512271002040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10416] ppid=10398 vsize=2648568 CPUtime=0.25 cores=1,3,5,7
/proc/10400/task/10416/stat : 10416 (java) S 10398 10400 3621 0 -1 4202560 2916 0 0 0 25 0 0 0 20 0 18 0 339259328 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140512269949240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10417] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10417/stat : 10417 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140512268896632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10418] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10418/stat : 10418 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 140216 33554432000 1073741824 1073778376 140733561400880 140512267844040 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.41
Current children cumulated vsize (KiB) 2648568
Solver just ended. Dumping a history of the last processes samples
[startup+9.50081 s]
/proc/loadavg: 2.05 2.01 2.00 3/212 10418
/proc/meminfo: memFree=25403824/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=2648568 CPUtime=12.95 cores=1,3,5,7
/proc/10400/stat : 10400 (java) S 10398 10400 3621 0 -1 4202496 10929 0 1 0 1252 43 0 0 20 0 18 0 339259322 2712133632 168269 33554432000 1073741824 1073778376 140733561400880 140733561392016 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
/proc/loadavg: 2.05 2.01 2.00 5/212 10418
/proc/meminfo: memFree=25382848/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=2648568 CPUtime=14 cores=1,3,5,7
/proc/10400/stat : 10400 (java) S 10398 10400 3621 0 -1 4202496 11014 0 1 0 1356 44 0 0 20 0 18 0 339259322 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140733561392016 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10400/statm: 662142 170648 2251 9 0 652835 0
[pid=10400/tid=10402] ppid=10398 vsize=2648568 CPUtime=9.08 cores=1,3,5,7
/proc/10400/task/10402/stat : 10402 (java) R 10398 10400 3621 0 -1 4202560 2930 0 1 0 898 10 0 0 20 0 18 0 339259323 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513166697024 213423023373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10403] ppid=10398 vsize=2648568 CPUtime=0.44 cores=1,3,5,7
/proc/10400/task/10403/stat : 10403 (java) S 10398 10400 3621 0 -1 4202560 166 0 0 0 40 4 0 0 20 0 18 0 339259324 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513151155240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10404] ppid=10398 vsize=2648568 CPUtime=0.5 cores=1,3,5,7
/proc/10400/task/10404/stat : 10404 (java) S 10398 10400 3621 0 -1 4202560 145 0 0 0 45 5 0 0 20 0 18 0 339259324 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513150102440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10405] ppid=10398 vsize=2648568 CPUtime=0.45 cores=1,3,5,7
/proc/10400/task/10405/stat : 10405 (java) S 10398 10400 3621 0 -1 4202560 182 0 0 0 42 3 0 0 20 0 18 0 339259324 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513149049640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10406] ppid=10398 vsize=2648568 CPUtime=0.58 cores=1,3,5,7
/proc/10400/task/10406/stat : 10406 (java) S 10398 10400 3621 0 -1 4202560 192 0 0 0 53 5 0 0 20 0 18 0 339259324 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513147996840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10407] ppid=10398 vsize=2648568 CPUtime=0.69 cores=1,3,5,7
/proc/10400/task/10407/stat : 10407 (java) S 10398 10400 3621 0 -1 4202560 171 0 0 0 65 4 0 0 20 0 18 0 339259324 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513146944040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10408] ppid=10398 vsize=2648568 CPUtime=0.52 cores=1,3,5,7
/proc/10400/task/10408/stat : 10408 (java) S 10398 10400 3621 0 -1 4202560 183 0 0 0 48 4 0 0 20 0 18 0 339259324 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513145891240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10409] ppid=10398 vsize=2648568 CPUtime=0.58 cores=1,3,5,7
/proc/10400/task/10409/stat : 10409 (java) S 10398 10400 3621 0 -1 4202560 164 0 0 0 54 4 0 0 20 0 18 0 339259324 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513144838440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10410] ppid=10398 vsize=2648568 CPUtime=0.53 cores=1,3,5,7
/proc/10400/task/10410/stat : 10410 (java) S 10398 10400 3621 0 -1 4202560 230 0 0 0 49 4 0 0 20 0 18 0 339259324 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513025976488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10411] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10411/stat : 10411 (java) S 10398 10400 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339259325 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513013779432 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10412] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10412/stat : 10412 (java) S 10398 10400 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339259326 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513012725496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10413] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10413/stat : 10413 (java) S 10398 10400 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339259326 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513011672584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10414] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10414/stat : 10414 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140513010621072 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10415] ppid=10398 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/10400/task/10415/stat : 10415 (java) S 10398 10400 3621 0 -1 4202560 2553 0 0 0 21 0 0 0 20 0 18 0 339259328 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140512271002040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10416] ppid=10398 vsize=2648568 CPUtime=0.25 cores=1,3,5,7
/proc/10400/task/10416/stat : 10416 (java) S 10398 10400 3621 0 -1 4202560 2916 0 0 0 25 0 0 0 20 0 18 0 339259328 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140512269949240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10417] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10417/stat : 10417 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140512268896632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10418] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10418/stat : 10418 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 170648 33554432000 1073741824 1073778376 140733561400880 140512267844040 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 14
Current children cumulated vsize (KiB) 2648568
[startup+10.7008 s]
/proc/loadavg: 2.05 2.01 2.00 5/212 10418
/proc/meminfo: memFree=25382848/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=2648568 CPUtime=14.92 cores=1,3,5,7
/proc/10400/stat : 10400 (java) S 10398 10400 3621 0 -1 4202496 16641 0 1 0 1445 47 0 0 20 0 18 0 339259322 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140733561392016 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10400/statm: 662142 176232 2259 9 0 652835 0
[pid=10400/tid=10402] ppid=10398 vsize=2648568 CPUtime=9.4 cores=1,3,5,7
/proc/10400/task/10402/stat : 10402 (java) R 10398 10400 3621 0 -1 4202560 2939 0 1 0 930 10 0 0 20 0 18 0 339259323 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513166697008 213423023373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10403] ppid=10398 vsize=2648568 CPUtime=0.46 cores=1,3,5,7
/proc/10400/task/10403/stat : 10403 (java) S 10398 10400 3621 0 -1 4202560 187 0 0 0 42 4 0 0 20 0 18 0 339259324 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513151155240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10404] ppid=10398 vsize=2648568 CPUtime=0.52 cores=1,3,5,7
/proc/10400/task/10404/stat : 10404 (java) S 10398 10400 3621 0 -1 4202560 164 0 0 0 47 5 0 0 20 0 18 0 339259324 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513150102440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10405] ppid=10398 vsize=2648568 CPUtime=0.47 cores=1,3,5,7
/proc/10400/task/10405/stat : 10405 (java) S 10398 10400 3621 0 -1 4202560 198 0 0 0 44 3 0 0 20 0 18 0 339259324 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513149049640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10406] ppid=10398 vsize=2648568 CPUtime=0.65 cores=1,3,5,7
/proc/10400/task/10406/stat : 10406 (java) S 10398 10400 3621 0 -1 4202560 198 0 0 0 59 6 0 0 20 0 18 0 339259324 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513147996840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10407] ppid=10398 vsize=2648568 CPUtime=0.72 cores=1,3,5,7
/proc/10400/task/10407/stat : 10407 (java) S 10398 10400 3621 0 -1 4202560 201 0 0 0 67 5 0 0 20 0 18 0 339259324 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513146944040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10408] ppid=10398 vsize=2648568 CPUtime=0.58 cores=1,3,5,7
/proc/10400/task/10408/stat : 10408 (java) S 10398 10400 3621 0 -1 4202560 187 0 0 0 54 4 0 0 20 0 18 0 339259324 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513145891240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10409] ppid=10398 vsize=2648568 CPUtime=0.61 cores=1,3,5,7
/proc/10400/task/10409/stat : 10409 (java) S 10398 10400 3621 0 -1 4202560 172 0 0 0 56 5 0 0 20 0 18 0 339259324 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513144838440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10410] ppid=10398 vsize=2648568 CPUtime=0.55 cores=1,3,5,7
/proc/10400/task/10410/stat : 10410 (java) S 10398 10400 3621 0 -1 4202560 240 0 0 0 51 4 0 0 20 0 18 0 339259324 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513025976488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10411] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10411/stat : 10411 (java) S 10398 10400 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339259325 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513013779432 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10412] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10412/stat : 10412 (java) S 10398 10400 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339259326 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513012725496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10413] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10413/stat : 10413 (java) S 10398 10400 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339259326 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513011672584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10414] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10414/stat : 10414 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140513010621072 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10415] ppid=10398 vsize=2648568 CPUtime=0.44 cores=1,3,5,7
/proc/10400/task/10415/stat : 10415 (java) R 10398 10400 3621 0 -1 4202560 6906 0 0 0 42 2 0 0 20 0 18 0 339259328 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140512270979192 140513170822610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10416] ppid=10398 vsize=2648568 CPUtime=0.34 cores=1,3,5,7
/proc/10400/task/10416/stat : 10416 (java) S 10398 10400 3621 0 -1 4202560 4067 0 0 0 34 0 0 0 20 0 18 0 339259328 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140512269949240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10417] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10417/stat : 10417 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140512268896632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10418] ppid=10398 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10418/stat : 10418 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339259328 2712133632 176232 33554432000 1073741824 1073778376 140733561400880 140512267844040 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 14.92
Current children cumulated vsize (KiB) 2648568
[startup+11.1007 s]
/proc/loadavg: 2.04 2.01 2.00 3/212 10418
/proc/meminfo: memFree=25351456/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=2715132 CPUtime=15.64 cores=1,3,5,7
/proc/10400/stat : 10400 (java) S 10398 10400 3621 0 -1 4202496 17231 0 1 0 1516 48 0 0 20 0 19 0 339259322 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140733561392016 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10400/statm: 678783 178427 2264 9 0 669476 0
[pid=10400/tid=10402] ppid=10398 vsize=2715132 CPUtime=9.73 cores=1,3,5,7
/proc/10400/task/10402/stat : 10402 (java) R 10398 10400 3621 0 -1 4202560 2943 0 1 0 963 10 0 0 20 0 19 0 339259323 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513166696984 140513026648173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10403] ppid=10398 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/10400/task/10403/stat : 10403 (java) S 10398 10400 3621 0 -1 4202560 196 0 0 0 44 4 0 0 20 0 19 0 339259324 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513151155240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10404] ppid=10398 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/10400/task/10404/stat : 10404 (java) S 10398 10400 3621 0 -1 4202560 168 0 0 0 50 5 0 0 20 0 19 0 339259324 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513150102440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10405] ppid=10398 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/10400/task/10405/stat : 10405 (java) S 10398 10400 3621 0 -1 4202560 201 0 0 0 47 3 0 0 20 0 19 0 339259324 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513149049640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10406] ppid=10398 vsize=2715132 CPUtime=0.67 cores=1,3,5,7
/proc/10400/task/10406/stat : 10406 (java) S 10398 10400 3621 0 -1 4202560 200 0 0 0 61 6 0 0 20 0 19 0 339259324 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513147996840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10407] ppid=10398 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/10400/task/10407/stat : 10407 (java) S 10398 10400 3621 0 -1 4202560 206 0 0 0 70 5 0 0 20 0 19 0 339259324 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513146944040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10408] ppid=10398 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/10400/task/10408/stat : 10408 (java) S 10398 10400 3621 0 -1 4202560 199 0 0 0 57 4 0 0 20 0 19 0 339259324 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513145891240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10409] ppid=10398 vsize=2715132 CPUtime=0.68 cores=1,3,5,7
/proc/10400/task/10409/stat : 10409 (java) S 10398 10400 3621 0 -1 4202560 177 0 0 0 63 5 0 0 20 0 19 0 339259324 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513144838440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10410] ppid=10398 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/10400/task/10410/stat : 10410 (java) S 10398 10400 3621 0 -1 4202560 252 0 0 0 55 4 0 0 20 0 19 0 339259324 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513025976488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10411] ppid=10398 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10411/stat : 10411 (java) S 10398 10400 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339259325 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513013779432 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10412] ppid=10398 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10412/stat : 10412 (java) S 10398 10400 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339259326 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513012725496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10413] ppid=10398 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10413/stat : 10413 (java) S 10398 10400 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339259326 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513011672584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10414] ppid=10398 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10414/stat : 10414 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339259328 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140513010621072 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10415] ppid=10398 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/10400/task/10415/stat : 10415 (java) R 10398 10400 3621 0 -1 4202560 7184 0 0 0 50 2 0 0 20 0 19 0 339259328 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140512271002040 140513172686140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10416] ppid=10398 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/10400/task/10416/stat : 10416 (java) R 10398 10400 3621 0 -1 4202560 4314 0 0 0 40 0 0 0 20 0 19 0 339259328 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140512269926488 140513174461175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10417] ppid=10398 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10417/stat : 10417 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339259328 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140512268896632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10418] ppid=10398 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10418/stat : 10418 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339259328 2780295168 178427 33554432000 1073741824 1073778376 140733561400880 140512267844040 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 15.64
Current children cumulated vsize (KiB) 2715132
[startup+11.2007 s]
/proc/loadavg: 2.04 2.01 2.00 3/212 10418
/proc/meminfo: memFree=25351456/32873844 swapFree=6608/6608
[pid=10400] ppid=10398 vsize=2715132 CPUtime=15.95 cores=1,3,5,7
/proc/10400/stat : 10400 (java) S 10398 10400 3621 0 -1 4202496 18815 0 1 0 1546 49 0 0 20 0 19 0 339259322 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140733561392016 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10400/statm: 678783 178657 2267 9 0 669476 0
[pid=10400/tid=10402] ppid=10398 vsize=2715132 CPUtime=9.83 cores=1,3,5,7
/proc/10400/task/10402/stat : 10402 (java) R 10398 10400 3621 0 -1 4202560 2943 0 1 0 973 10 0 0 20 0 19 0 339259323 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513166696984 140513026841237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10403] ppid=10398 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/10400/task/10403/stat : 10403 (java) S 10398 10400 3621 0 -1 4202560 196 0 0 0 44 4 0 0 20 0 19 0 339259324 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513151155240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10404] ppid=10398 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/10400/task/10404/stat : 10404 (java) S 10398 10400 3621 0 -1 4202560 168 0 0 0 50 5 0 0 20 0 19 0 339259324 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513150102440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10405] ppid=10398 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/10400/task/10405/stat : 10405 (java) S 10398 10400 3621 0 -1 4202560 201 0 0 0 47 3 0 0 20 0 19 0 339259324 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513149049640 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10406] ppid=10398 vsize=2715132 CPUtime=0.67 cores=1,3,5,7
/proc/10400/task/10406/stat : 10406 (java) S 10398 10400 3621 0 -1 4202560 200 0 0 0 61 6 0 0 20 0 19 0 339259324 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513147996840 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10407] ppid=10398 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/10400/task/10407/stat : 10407 (java) S 10398 10400 3621 0 -1 4202560 206 0 0 0 70 5 0 0 20 0 19 0 339259324 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513146944040 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10408] ppid=10398 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/10400/task/10408/stat : 10408 (java) S 10398 10400 3621 0 -1 4202560 199 0 0 0 57 4 0 0 20 0 19 0 339259324 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513145891240 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10409] ppid=10398 vsize=2715132 CPUtime=0.68 cores=1,3,5,7
/proc/10400/task/10409/stat : 10409 (java) S 10398 10400 3621 0 -1 4202560 177 0 0 0 63 5 0 0 20 0 19 0 339259324 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513144838440 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10410] ppid=10398 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/10400/task/10410/stat : 10410 (java) S 10398 10400 3621 0 -1 4202560 252 0 0 0 55 4 0 0 20 0 19 0 339259324 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513025976488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10400/tid=10411] ppid=10398 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10411/stat : 10411 (java) S 10398 10400 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339259325 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513013779432 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10412] ppid=10398 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10412/stat : 10412 (java) S 10398 10400 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339259326 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513012725496 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10413] ppid=10398 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10413/stat : 10413 (java) S 10398 10400 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339259326 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513011672584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10414] ppid=10398 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10414/stat : 10414 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339259328 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140513010621072 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10415] ppid=10398 vsize=2715132 CPUtime=0.62 cores=1,3,5,7
/proc/10400/task/10415/stat : 10415 (java) R 10398 10400 3621 0 -1 4202560 7204 0 0 0 60 2 0 0 20 0 19 0 339259328 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140512271002040 140513170794502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10400/tid=10416] ppid=10398 vsize=2715132 CPUtime=0.5 cores=1,3,5,7
/proc/10400/task/10416/stat : 10416 (java) R 10398 10400 3621 0 -1 4202560 5878 0 0 0 48 2 0 0 20 0 19 0 339259328 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140512269927264 140513168514129 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10400/tid=10417] ppid=10398 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10417/stat : 10417 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339259328 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140512268896632 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10400/tid=10418] ppid=10398 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10400/task/10418/stat : 10418 (java) S 10398 10400 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339259328 2780295168 178657 33554432000 1073741824 1073778376 140733561400880 140512267844040 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 15.95
Current children cumulated vsize (KiB) 2715132
Child status: 10
Real time (s): 11.2663
CPU time (s): 16.1305
CPU user time (s): 15.5096
CPU system time (s): 0.620905
CPU usage (%): 143.175
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.5096
system time used= 0.620905
maximum resident set size= 716332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19808
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= 1213
involuntary context switches= 7494
runsolver used 0.042993 second user time and 0.105983 second system time
The end