runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3457189-1307217673/watcher-3457189-1307217673 -o /tmp/evaluation-result-3457189-1307217673/solver-3457189-1307217673 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457189-1307217673.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.97 1.68 2/344 548
/proc/meminfo: memFree=24062268/32951124 swapFree=67056304/67111528
[pid=548] ppid=546 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/548/stat : 548 (java) S 546 548 326 0 -1 4202496 427 0 0 0 0 0 0 0 21 0 1 0 911997869 9318400 172 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260015472263 0 2147483391 4096 0 18446744071699199166 0 0 17 3 0 0 0
/proc/548/statm: 2275 172 132 9 0 67 0
[pid=548/tid=549] ppid=546 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/548/task/549/stat : 549 (java) R 546 548 326 0 -1 4202560 2946 0 1 0 0 0 0 0 23 0 2 0 911997869 10694979584 3763 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.027594 s]
/proc/loadavg: 1.85 1.97 1.68 2/344 548
/proc/meminfo: memFree=24062268/32951124 swapFree=67056304/67111528
[pid=548] ppid=546 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/548/stat : 548 (java) S 546 548 326 0 -1 4202496 10716 0 1 0 1 1 0 0 21 0 10 0 911997869 10705932288 10414 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/548/statm: 2613753 10414 1515 9 0 2604501 0
[pid=548/tid=549] ppid=546 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/548/task/549/stat : 549 (java) R 546 548 326 0 -1 4202560 9593 0 1 0 0 1 0 0 25 0 10 0 911997869 10705932288 10414 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 47579376237705 0 4 0 16784584 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.100583 s]
/proc/loadavg: 1.85 1.97 1.68 2/344 548
/proc/meminfo: memFree=24062268/32951124 swapFree=67056304/67111528
[pid=548] ppid=546 vsize=10540000 CPUtime=0.11 cores=1,3,5,7
/proc/548/stat : 548 (java) S 546 548 326 0 -1 4202496 13106 0 1 0 9 2 0 0 21 0 18 0 911997869 10792960000 12802 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/548/statm: 2635000 12802 2092 9 0 2625734 0
[pid=548/tid=549] ppid=546 vsize=10540000 CPUtime=0.09 cores=1,3,5,7
/proc/548/task/549/stat : 549 (java) R 546 548 326 0 -1 4202560 11209 0 1 0 7 2 0 0 25 0 18 0 911997869 10792960000 12802 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 47579372826794 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540000
[startup+0.300546 s]
/proc/loadavg: 1.85 1.97 1.68 2/344 548
/proc/meminfo: memFree=24062268/32951124 swapFree=67056304/67111528
[pid=548] ppid=546 vsize=10541948 CPUtime=0.5 cores=1,3,5,7
/proc/548/stat : 548 (java) S 546 548 326 0 -1 4202496 16121 0 1 0 48 2 0 0 21 0 18 0 911997869 10794954752 15493 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/548/statm: 2635487 15493 2201 9 0 2626221 0
[pid=548/tid=549] ppid=546 vsize=10541948 CPUtime=0.29 cores=1,3,5,7
/proc/548/task/549/stat : 549 (java) R 546 548 326 0 -1 4202560 13147 0 1 0 27 2 0 0 25 0 18 0 911997869 10794954752 15493 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 46912505175805 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10541948
[startup+0.700475 s]
/proc/loadavg: 1.85 1.97 1.68 2/344 548
/proc/meminfo: memFree=24062268/32951124 swapFree=67056304/67111528
[pid=548] ppid=546 vsize=10550852 CPUtime=1.49 cores=1,3,5,7
/proc/548/stat : 548 (java) S 546 548 326 0 -1 4202496 33811 0 1 0 143 6 0 0 21 0 19 0 911997869 10804072448 30257 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/548/statm: 2637713 30257 2230 9 0 2628447 0
[pid=548/tid=549] ppid=546 vsize=10550852 CPUtime=0.68 cores=1,3,5,7
/proc/548/task/549/stat : 549 (java) R 546 548 326 0 -1 4202560 23763 0 1 0 64 4 0 0 25 0 19 0 911997869 10804072448 30257 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 46912505815629 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10550852
[startup+1.50133 s]
/proc/loadavg: 2.26 2.05 1.71 4/363 567
/proc/meminfo: memFree=23461712/32951124 swapFree=67056304/67111528
[pid=548] ppid=546 vsize=10552004 CPUtime=2.87 cores=1,3,5,7
/proc/548/stat : 548 (java) S 546 548 326 0 -1 4202496 121493 0 1 0 270 17 0 0 21 0 19 0 911997869 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/548/statm: 2638001 114504 2233 9 0 2628735 0
[pid=548/tid=549] ppid=546 vsize=10552004 CPUtime=1.48 cores=1,3,5,7
/proc/548/task/549/stat : 549 (java) R 546 548 326 0 -1 4202560 107304 0 1 0 134 14 0 0 25 0 19 0 911997869 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 46912505735136 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=548/tid=551] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/551/stat : 551 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911997871 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=552] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/552/stat : 552 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=553] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/553/stat : 553 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=554] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/554/stat : 554 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=555] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/555/stat : 555 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=556] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/556/stat : 556 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=557] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/557/stat : 557 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=558] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/558/stat : 558 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=559] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/559/stat : 559 (java) S 546 548 326 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911997872 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 0 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=560] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/560/stat : 560 (java) S 546 548 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911997872 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=561] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/561/stat : 561 (java) S 546 548 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911997872 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=562] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/562/stat : 562 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032219569 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=563] ppid=546 vsize=10552004 CPUtime=0.57 cores=1,3,5,7
/proc/548/task/563/stat : 563 (java) S 546 548 326 0 -1 4202560 5797 0 0 0 56 1 0 0 15 0 19 0 911997874 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=564] ppid=546 vsize=10552004 CPUtime=0.8 cores=1,3,5,7
/proc/548/task/564/stat : 564 (java) S 546 548 326 0 -1 4202560 7231 0 0 0 79 1 0 0 16 0 19 0 911997874 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 5 0 0 0
[pid=548/tid=565] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/565/stat : 565 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=566] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/566/stat : 566 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911997874 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=567] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/567/stat : 567 (java) S 546 548 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911997909 10805252096 114504 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 10552004
[startup+3.10107 s]
/proc/loadavg: 2.26 2.05 1.71 3/364 568
/proc/meminfo: memFree=22642312/32951124 swapFree=67056304/67111528
[pid=548] ppid=546 vsize=10552004 CPUtime=4.5 cores=1,3,5,7
/proc/548/stat : 548 (java) S 546 548 326 0 -1 4202496 305983 0 1 0 409 41 0 0 21 0 19 0 911997869 10805252096 298994 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/548/statm: 2638001 298999 2236 9 0 2628735 0
[pid=548/tid=549] ppid=546 vsize=10552004 CPUtime=3.07 cores=1,3,5,7
/proc/548/task/549/stat : 549 (java) R 546 548 326 0 -1 4202560 291803 0 1 0 269 38 0 0 25 0 19 0 911997869 10805252096 299005 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 46912506125516 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=548/tid=551] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/551/stat : 551 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911997871 10805252096 299009 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=552] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/552/stat : 552 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 299012 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=553] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/553/stat : 553 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 299014 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=554] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/554/stat : 554 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 299016 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=555] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/555/stat : 555 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 299018 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=556] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/556/stat : 556 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 299021 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=557] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/557/stat : 557 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 299024 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=558] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/558/stat : 558 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997871 10805252096 299029 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=559] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/559/stat : 559 (java) S 546 548 326 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911997872 10805252096 299034 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 0 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=560] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/560/stat : 560 (java) S 546 548 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911997872 10805252096 299037 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=561] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/561/stat : 561 (java) S 546 548 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911997872 10805252096 299041 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=562] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/562/stat : 562 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10805252096 299044 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032219569 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=563] ppid=546 vsize=10552004 CPUtime=0.57 cores=1,3,5,7
/proc/548/task/563/stat : 563 (java) S 546 548 326 0 -1 4202560 5797 0 0 0 56 1 0 0 15 0 19 0 911997874 10805252096 299048 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=564] ppid=546 vsize=10552004 CPUtime=0.84 cores=1,3,5,7
/proc/548/task/564/stat : 564 (java) S 546 548 326 0 -1 4202560 7234 0 0 0 83 1 0 0 15 0 19 0 911997874 10805252096 299051 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 5 0 0 0
[pid=548/tid=565] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/565/stat : 565 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10805252096 299054 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=566] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/566/stat : 566 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911997874 10805252096 299058 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=567] ppid=546 vsize=10552004 CPUtime=0 cores=1,3,5,7
/proc/548/task/567/stat : 567 (java) S 546 548 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911997909 10805252096 299060 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 10552004
[startup+6.30149 s]
/proc/loadavg: 2.32 2.07 1.72 3/364 568
/proc/meminfo: memFree=19999608/32951124 swapFree=67056304/67111528
[pid=548] ppid=546 vsize=10549636 CPUtime=7.8 cores=1,3,5,7
/proc/548/stat : 548 (java) S 546 548 326 0 -1 4202496 567009 0 1 0 710 70 0 0 21 0 19 0 911997869 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/548/statm: 2637409 559336 2263 9 0 2628143 0
[pid=548/tid=549] ppid=546 vsize=10549636 CPUtime=6.21 cores=1,3,5,7
/proc/548/task/549/stat : 549 (java) R 546 548 326 0 -1 4202560 548184 0 1 0 554 67 0 0 20 0 19 0 911997869 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 46912505815629 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=548/tid=551] ppid=546 vsize=10549636 CPUtime=0.01 cores=1,3,5,7
/proc/548/task/551/stat : 551 (java) S 546 548 326 0 -1 4202560 1131 0 0 0 1 0 0 0 18 0 19 0 911997871 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=552] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/552/stat : 552 (java) S 546 548 326 0 -1 4202560 743 0 0 0 0 0 0 0 18 0 19 0 911997871 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=553] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/553/stat : 553 (java) S 546 548 326 0 -1 4202560 277 0 0 0 0 0 0 0 18 0 19 0 911997871 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=554] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/554/stat : 554 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 911997871 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=555] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/555/stat : 555 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 911997871 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=556] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/556/stat : 556 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911997871 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=557] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/557/stat : 557 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911997871 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=558] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/558/stat : 558 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 911997871 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=559] ppid=546 vsize=10549636 CPUtime=0.03 cores=1,3,5,7
/proc/548/task/559/stat : 559 (java) S 546 548 326 0 -1 4202560 2469 0 0 0 3 0 0 0 16 0 19 0 911997872 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 0 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=560] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/560/stat : 560 (java) S 546 548 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911997872 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=561] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/561/stat : 561 (java) S 546 548 326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911997872 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=562] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/562/stat : 562 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032219569 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=563] ppid=546 vsize=10549636 CPUtime=0.58 cores=1,3,5,7
/proc/548/task/563/stat : 563 (java) S 546 548 326 0 -1 4202560 5805 0 0 0 57 1 0 0 15 0 19 0 911997874 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=564] ppid=546 vsize=10549636 CPUtime=0.91 cores=1,3,5,7
/proc/548/task/564/stat : 564 (java) S 546 548 326 0 -1 4202560 7242 0 0 0 90 1 0 0 15 0 19 0 911997874 10802827264 559336 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=548/tid=558] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/558/stat : 558 (java) S 546 548 326 0 -1 4202560 391 0 0 0 0 0 0 0 16 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=559] ppid=546 vsize=10549636 CPUtime=0.03 cores=1,3,5,7
/proc/548/task/559/stat : 559 (java) S 546 548 326 0 -1 4202560 2469 0 0 0 3 0 0 0 15 0 19 0 911997872 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 0 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=560] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/560/stat : 560 (java) S 546 548 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911997872 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=561] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/561/stat : 561 (java) S 546 548 326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911997872 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=562] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/562/stat : 562 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032219569 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=563] ppid=546 vsize=10549636 CPUtime=0.58 cores=1,3,5,7
/proc/548/task/563/stat : 563 (java) S 546 548 326 0 -1 4202560 5805 0 0 0 57 1 0 0 15 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=564] ppid=546 vsize=10549636 CPUtime=0.91 cores=1,3,5,7
/proc/548/task/564/stat : 564 (java) S 546 548 326 0 -1 4202560 7242 0 0 0 90 1 0 0 15 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 5 0 0 0
[pid=548/tid=565] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/565/stat : 565 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=566] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/566/stat : 566 (java) S 546 548 326 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=567] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/567/stat : 567 (java) S 546 548 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911997909 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.21
Current children cumulated vsize (KiB) 10549636
Solver just ended. Dumping a history of the last processes samples
[startup+14.313 s]
/proc/loadavg: 2.29 2.06 1.72 3/364 568
/proc/meminfo: memFree=18735968/32951124 swapFree=67056304/67111528
[pid=548] ppid=546 vsize=10549636 CPUtime=15.82 cores=1,3,5,7
/proc/548/stat : 548 (java) S 546 548 326 0 -1 4202496 670687 0 1 0 1500 82 0 0 21 0 19 0 911997869 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/548/statm: 2637409 663013 2263 9 0 2628143 0
[pid=548/tid=549] ppid=546 vsize=10549636 CPUtime=14.22 cores=1,3,5,7
/proc/548/task/549/stat : 549 (java) R 546 548 326 0 -1 4202560 651093 0 1 0 1343 79 0 0 25 0 19 0 911997869 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 46912505778999 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=548/tid=551] ppid=546 vsize=10549636 CPUtime=0.01 cores=1,3,5,7
/proc/548/task/551/stat : 551 (java) S 546 548 326 0 -1 4202560 1131 0 0 0 1 0 0 0 18 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=552] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/552/stat : 552 (java) S 546 548 326 0 -1 4202560 743 0 0 0 0 0 0 0 18 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=553] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/553/stat : 553 (java) S 546 548 326 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=554] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/554/stat : 554 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=555] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/555/stat : 555 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=556] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/556/stat : 556 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=557] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/557/stat : 557 (java) S 546 548 326 0 -1 4202560 380 0 0 0 0 0 0 0 16 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=558] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/558/stat : 558 (java) S 546 548 326 0 -1 4202560 391 0 0 0 0 0 0 0 16 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=559] ppid=546 vsize=10549636 CPUtime=0.03 cores=1,3,5,7
/proc/548/task/559/stat : 559 (java) S 546 548 326 0 -1 4202560 2469 0 0 0 3 0 0 0 15 0 19 0 911997872 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 0 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=560] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/560/stat : 560 (java) S 546 548 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911997872 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=561] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/561/stat : 561 (java) S 546 548 326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911997872 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=562] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/562/stat : 562 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032219569 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=563] ppid=546 vsize=10549636 CPUtime=0.58 cores=1,3,5,7
/proc/548/task/563/stat : 563 (java) S 546 548 326 0 -1 4202560 5805 0 0 0 57 1 0 0 15 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=564] ppid=546 vsize=10549636 CPUtime=0.91 cores=1,3,5,7
/proc/548/task/564/stat : 564 (java) S 546 548 326 0 -1 4202560 7242 0 0 0 90 1 0 0 15 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 5 0 0 0
[pid=548/tid=565] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/565/stat : 565 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=566] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/566/stat : 566 (java) S 546 548 326 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=567] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/567/stat : 567 (java) S 546 548 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911997909 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 15.82
Current children cumulated vsize (KiB) 10549636
[startup+14.701 s]
/proc/loadavg: 2.29 2.06 1.72 3/364 568
/proc/meminfo: memFree=18735968/32951124 swapFree=67056304/67111528
[pid=548] ppid=546 vsize=10549636 CPUtime=16.21 cores=1,3,5,7
/proc/548/stat : 548 (java) S 546 548 326 0 -1 4202496 670687 0 1 0 1539 82 0 0 21 0 19 0 911997869 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/548/statm: 2637409 663013 2263 9 0 2628143 0
[pid=548/tid=549] ppid=546 vsize=10549636 CPUtime=14.6 cores=1,3,5,7
/proc/548/task/549/stat : 549 (java) R 546 548 326 0 -1 4202560 651093 0 1 0 1381 79 0 0 25 0 19 0 911997869 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 46912505776906 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=548/tid=551] ppid=546 vsize=10549636 CPUtime=0.01 cores=1,3,5,7
/proc/548/task/551/stat : 551 (java) S 546 548 326 0 -1 4202560 1131 0 0 0 1 0 0 0 18 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=552] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/552/stat : 552 (java) S 546 548 326 0 -1 4202560 743 0 0 0 0 0 0 0 18 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=553] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/553/stat : 553 (java) S 546 548 326 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=554] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/554/stat : 554 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=555] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/555/stat : 555 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=556] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/556/stat : 556 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=557] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/557/stat : 557 (java) S 546 548 326 0 -1 4202560 380 0 0 0 0 0 0 0 16 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=558] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/558/stat : 558 (java) S 546 548 326 0 -1 4202560 391 0 0 0 0 0 0 0 16 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=559] ppid=546 vsize=10549636 CPUtime=0.03 cores=1,3,5,7
/proc/548/task/559/stat : 559 (java) S 546 548 326 0 -1 4202560 2469 0 0 0 3 0 0 0 15 0 19 0 911997872 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 0 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=560] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/560/stat : 560 (java) S 546 548 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911997872 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=561] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/561/stat : 561 (java) S 546 548 326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911997872 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=562] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/562/stat : 562 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032219569 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=563] ppid=546 vsize=10549636 CPUtime=0.58 cores=1,3,5,7
/proc/548/task/563/stat : 563 (java) S 546 548 326 0 -1 4202560 5805 0 0 0 57 1 0 0 15 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=564] ppid=546 vsize=10549636 CPUtime=0.91 cores=1,3,5,7
/proc/548/task/564/stat : 564 (java) S 546 548 326 0 -1 4202560 7242 0 0 0 90 1 0 0 15 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 5 0 0 0
[pid=548/tid=565] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/565/stat : 565 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=566] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/566/stat : 566 (java) S 546 548 326 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=567] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/567/stat : 567 (java) S 546 548 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911997909 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 16.21
Current children cumulated vsize (KiB) 10549636
[startup+15.1009 s]
/proc/loadavg: 2.29 2.06 1.72 3/364 568
/proc/meminfo: memFree=18735968/32951124 swapFree=67056304/67111528
[pid=548] ppid=546 vsize=10549636 CPUtime=16.61 cores=1,3,5,7
/proc/548/stat : 548 (java) S 546 548 326 0 -1 4202496 670687 0 1 0 1579 82 0 0 21 0 19 0 911997869 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/548/statm: 2637409 663013 2263 9 0 2628143 0
[pid=548/tid=549] ppid=546 vsize=10549636 CPUtime=15 cores=1,3,5,7
/proc/548/task/549/stat : 549 (java) R 546 548 326 0 -1 4202560 651093 0 1 0 1421 79 0 0 25 0 19 0 911997869 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 46912505747596 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=548/tid=551] ppid=546 vsize=10549636 CPUtime=0.01 cores=1,3,5,7
/proc/548/task/551/stat : 551 (java) S 546 548 326 0 -1 4202560 1131 0 0 0 1 0 0 0 18 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=552] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/552/stat : 552 (java) S 546 548 326 0 -1 4202560 743 0 0 0 0 0 0 0 18 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=553] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/553/stat : 553 (java) S 546 548 326 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=554] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/554/stat : 554 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=555] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/555/stat : 555 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=556] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/556/stat : 556 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=557] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/557/stat : 557 (java) S 546 548 326 0 -1 4202560 380 0 0 0 0 0 0 0 16 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=558] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/558/stat : 558 (java) S 546 548 326 0 -1 4202560 391 0 0 0 0 0 0 0 16 0 19 0 911997871 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=559] ppid=546 vsize=10549636 CPUtime=0.03 cores=1,3,5,7
/proc/548/task/559/stat : 559 (java) S 546 548 326 0 -1 4202560 2469 0 0 0 3 0 0 0 15 0 19 0 911997872 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 0 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=560] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/560/stat : 560 (java) S 546 548 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911997872 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=561] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/561/stat : 561 (java) S 546 548 326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911997872 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=562] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/562/stat : 562 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032219569 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=563] ppid=546 vsize=10549636 CPUtime=0.58 cores=1,3,5,7
/proc/548/task/563/stat : 563 (java) S 546 548 326 0 -1 4202560 5805 0 0 0 57 1 0 0 15 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
[pid=548/tid=564] ppid=546 vsize=10549636 CPUtime=0.91 cores=1,3,5,7
/proc/548/task/564/stat : 564 (java) S 546 548 326 0 -1 4202560 7242 0 0 0 90 1 0 0 15 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 5 0 0 0
[pid=548/tid=565] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/565/stat : 565 (java) S 546 548 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032211865 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=566] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/566/stat : 566 (java) S 546 548 326 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 911997874 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 4 0 16800975 18446604461533052992 0 0 -1 7 0 0 0
[pid=548/tid=567] ppid=546 vsize=10549636 CPUtime=0 cores=1,3,5,7
/proc/548/task/567/stat : 567 (java) S 546 548 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911997909 10802827264 663013 33554432000 1073741824 1073778376 140734721505104 18446744073709551615 260032212480 0 4 0 16800975 18446604461533052992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 16.61
Current children cumulated vsize (KiB) 10549636
[startup+15.201 s]
/proc/loadavg: 2.29 2.06 1.72 3/364 568
/proc/meminfo: memFree=18735968/32951124 swapFree=67056304/67111528
[pid=548] ppid=546 vsize=0 CPUtime=16.72 cores=1,3,5,7
/proc/548/stat : 548 (java) Z 546 548 326 0 -1 4203548 670710 0 1 0 1585 87 0 0 18 0 2 0 911997869 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/548/statm: 0 0 0 0 0 0 0
[pid=548/tid=565] ppid=546 vsize=0 CPUtime=0.04 cores=1,3,5,7
/proc/548/task/565/stat : 565 (java) R 546 548 326 0 -1 4203588 1 0 0 0 0 4 0 0 18 0 2 0 911997874 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16.72
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 15.2614
CPU time (s): 16.7864
CPU user time (s): 15.8556
CPU system time (s): 0.930858
CPU usage (%): 109.993
Max. virtual memory (cumulated for all children) (KiB): 10556188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.8556
system time used= 0.930858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670710
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 711
involuntary context switches= 246
runsolver used 0.06099 second user time and 0.120981 second system time
The end