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-3456764-1307642274/watcher-3456764-1307642274 -o /tmp/evaluation-result-3456764-1307642274/solver-3456764-1307642274 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456764-1307642274.opb
running on 4 cores: 0,2,4,6
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.98 2.00 1.98 1/175 10519
/proc/meminfo: memFree=32207428/32950928 swapFree=67054696/67111528
[pid=10519] ppid=10517 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/10519/stat : 10519 (java) R 10517 10519 9650 0 -1 4202496 950 0 0 0 0 0 0 0 25 0 1 0 331836820 23580672 694 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218875602408 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10519/statm: 5757 694 511 9 0 124 0
[startup+0.039665 s]
/proc/loadavg: 1.98 2.00 1.98 1/175 10519
/proc/meminfo: memFree=32207428/32950928 swapFree=67054696/67111528
[pid=10519] ppid=10517 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/10519/stat : 10519 (java) S 10517 10519 9650 0 -1 4202496 11124 0 1 0 2 1 0 0 25 0 13 0 331836820 10718699520 10821 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/10519/statm: 2616870 10822 1653 9 0 2607618 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100681 s]
/proc/loadavg: 1.98 2.00 1.98 1/175 10519
/proc/meminfo: memFree=32207428/32950928 swapFree=67054696/67111528
[pid=10519] ppid=10517 vsize=10540348 CPUtime=0.1 cores=0,2,4,6
/proc/10519/stat : 10519 (java) S 10517 10519 9650 0 -1 4202496 12980 0 1 0 9 1 0 0 25 0 18 0 331836820 10793316352 12677 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10519/statm: 2635087 12677 2093 9 0 2625821 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540348
[startup+0.309577 s]
/proc/loadavg: 1.98 2.00 1.98 1/175 10519
/proc/meminfo: memFree=32207428/32950928 swapFree=67054696/67111528
[pid=10519] ppid=10517 vsize=10548332 CPUtime=0.56 cores=0,2,4,6
/proc/10519/stat : 10519 (java) S 10517 10519 9650 0 -1 4202496 23559 0 1 0 53 3 0 0 25 0 18 0 331836820 10801491968 20969 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10519/statm: 2637083 20970 2202 9 0 2627817 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10548332
[startup+0.700566 s]
/proc/loadavg: 1.98 2.00 1.98 1/175 10519
/proc/meminfo: memFree=32207428/32950928 swapFree=67054696/67111528
[pid=10519] ppid=10517 vsize=10553928 CPUtime=1.5 cores=0,2,4,6
/proc/10519/stat : 10519 (java) S 10517 10519 9650 0 -1 4202496 35820 0 1 0 145 5 0 0 25 0 19 0 331836820 10807222272 31223 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10519/statm: 2638482 31223 2224 9 0 2629216 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10553928
[startup+1.50144 s]
/proc/loadavg: 1.98 2.00 1.98 7/213 10593
/proc/meminfo: memFree=31975304/32950928 swapFree=67054696/67111528
[pid=10519] ppid=10517 vsize=10555192 CPUtime=2.53 cores=0,2,4,6
/proc/10519/stat : 10519 (java) S 10517 10519 9650 0 -1 4202496 73062 0 1 0 242 11 0 0 25 0 19 0 331836820 10808516608 68464 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10519/statm: 2638798 68467 2227 9 0 2629532 0
[pid=10519/tid=10521] ppid=10517 vsize=10555192 CPUtime=1.48 cores=0,2,4,6
/proc/10519/task/10521/stat : 10521 (java) R 10517 10519 9650 0 -1 4202560 59998 0 1 0 140 8 0 0 18 0 19 0 331836821 10808516608 68468 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 46912505566333 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10519/tid=10522] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10522/stat : 10522 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 68470 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10523] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10523/stat : 10523 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 68471 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10524] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10524/stat : 10524 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 68473 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10525] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10525/stat : 10525 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 68475 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10526] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10526/stat : 10526 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 68476 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10527] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10527/stat : 10527 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 68478 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10528] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10528/stat : 10528 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 68479 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10529] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10529/stat : 10529 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 68481 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10530] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10530/stat : 10530 (java) S 10517 10519 9650 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 331836823 10808516608 68482 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 0 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10531] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10531/stat : 10531 (java) S 10517 10519 9650 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 331836824 10808516608 68484 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10532] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10532/stat : 10532 (java) S 10517 10519 9650 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 331836824 10808516608 68486 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10533] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10533/stat : 10533 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10808516608 68488 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892388785 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10534] ppid=10517 vsize=10555192 CPUtime=0.53 cores=0,2,4,6
/proc/10519/task/10534/stat : 10534 (java) S 10517 10519 9650 0 -1 4202560 7593 0 0 0 52 1 0 0 15 0 19 0 331836826 10808516608 68489 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
[pid=10519/tid=10535] ppid=10517 vsize=10555192 CPUtime=0.5 cores=0,2,4,6
/proc/10519/task/10535/stat : 10535 (java) S 10517 10519 9650 0 -1 4202560 4315 0 0 0 50 0 0 0 15 0 19 0 331836826 10808516608 68491 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10536] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10536/stat : 10536 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10808516608 68492 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10537] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10537/stat : 10537 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 331836826 10808516608 68493 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 6 0 0 0
[pid=10519/tid=10541] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10541/stat : 10541 (java) S 10517 10519 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331836862 10808516608 68495 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 10555192
[startup+3.10115 s]
/proc/loadavg: 1.98 2.00 1.98 4/214 10594
/proc/meminfo: memFree=31629088/32950928 swapFree=67054696/67111528
[pid=10519] ppid=10517 vsize=10555192 CPUtime=4.27 cores=0,2,4,6
/proc/10519/stat : 10519 (java) S 10517 10519 9650 0 -1 4202496 145071 0 1 0 407 20 0 0 25 0 19 0 331836820 10808516608 140473 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10519/statm: 2638798 140473 2227 9 0 2629532 0
[pid=10519/tid=10521] ppid=10517 vsize=10555192 CPUtime=3.08 cores=0,2,4,6
/proc/10519/task/10521/stat : 10521 (java) R 10517 10519 9650 0 -1 4202560 131966 0 1 0 290 18 0 0 21 0 19 0 331836821 10808516608 140474 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 46912505696359 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10519/tid=10522] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10522/stat : 10522 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 140474 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10523] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10523/stat : 10523 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 140474 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10524] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10524/stat : 10524 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 140474 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10525] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10525/stat : 10525 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 140475 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10526] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10526/stat : 10526 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 140475 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10527] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10527/stat : 10527 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 140475 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10528] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10528/stat : 10528 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 140476 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10529] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10529/stat : 10529 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 140476 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10530] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10530/stat : 10530 (java) S 10517 10519 9650 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 331836823 10808516608 140476 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 0 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10531] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10531/stat : 10531 (java) S 10517 10519 9650 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 331836824 10808516608 140477 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10532] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10532/stat : 10532 (java) S 10517 10519 9650 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 331836824 10808516608 140478 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10533] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10533/stat : 10533 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10808516608 140478 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892388785 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10534] ppid=10517 vsize=10555192 CPUtime=0.66 cores=0,2,4,6
/proc/10519/task/10534/stat : 10534 (java) S 10517 10519 9650 0 -1 4202560 7631 0 0 0 65 1 0 0 15 0 19 0 331836826 10808516608 140479 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
[pid=10519/tid=10535] ppid=10517 vsize=10555192 CPUtime=0.51 cores=0,2,4,6
/proc/10519/task/10535/stat : 10535 (java) S 10517 10519 9650 0 -1 4202560 4315 0 0 0 51 0 0 0 15 0 19 0 331836826 10808516608 140480 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10536] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10536/stat : 10536 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10808516608 140481 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10537] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10537/stat : 10537 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 331836826 10808516608 140481 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 6 0 0 0
[pid=10519/tid=10541] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10541/stat : 10541 (java) S 10517 10519 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331836862 10808516608 140481 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 10555192
[startup+6.30159 s]
/proc/loadavg: 1.98 2.00 1.98 3/214 10594
/proc/meminfo: memFree=30673592/32950928 swapFree=67054696/67111528
[pid=10519] ppid=10517 vsize=10555192 CPUtime=7.54 cores=0,2,4,6
/proc/10519/stat : 10519 (java) S 10517 10519 9650 0 -1 4202496 206093 0 1 0 726 28 0 0 25 0 19 0 331836820 10808516608 201252 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10519/statm: 2638798 201252 2228 9 0 2629532 0
[pid=10519/tid=10521] ppid=10517 vsize=10555192 CPUtime=6.28 cores=0,2,4,6
/proc/10519/task/10521/stat : 10521 (java) R 10517 10519 9650 0 -1 4202560 192983 0 1 0 602 26 0 0 21 0 19 0 331836821 10808516608 201252 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 46912505674584 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10519/tid=10522] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10522/stat : 10522 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 201252 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10523] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10523/stat : 10523 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 201252 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10524] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10524/stat : 10524 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 201253 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10525] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10525/stat : 10525 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 201253 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10526] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10526/stat : 10526 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 201253 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10527] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10527/stat : 10527 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 201253 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10528] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10528/stat : 10528 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 201253 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10529] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10529/stat : 10529 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836822 10808516608 201253 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10530] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10530/stat : 10530 (java) S 10517 10519 9650 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 331836823 10808516608 201253 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 0 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10531] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10531/stat : 10531 (java) S 10517 10519 9650 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 331836824 10808516608 201253 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10532] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10532/stat : 10532 (java) S 10517 10519 9650 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 331836824 10808516608 201253 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10533] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10533/stat : 10533 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10808516608 201254 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892388785 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10534] ppid=10517 vsize=10555192 CPUtime=0.72 cores=0,2,4,6
/proc/10519/task/10534/stat : 10534 (java) S 10517 10519 9650 0 -1 4202560 7634 0 0 0 71 1 0 0 15 0 19 0 331836826 10808516608 201254 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
[pid=10519/tid=10535] ppid=10517 vsize=10555192 CPUtime=0.52 cores=0,2,4,6
/proc/10519/task/10535/stat : 10535 (java) S 10517 10519 9650 0 -1 4202560 4315 0 0 0 52 0 0 0 15 0 19 0 331836826 10808516608 201255 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10536] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10536/stat : 10536 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10808516608 201255 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10537] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10537/stat : 10537 (java) S 10517 10519 9650 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 331836826 10808516608 201255 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10541] ppid=10517 vsize=10555192 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10541/stat : 10541 (java) S 10517 10519 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331836862 10808516608 201255 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 10555192
[startup+12.7015 s]
################
# More data... #
################
/proc/10519/task/10531/stat : 10531 (java) S 10517 10519 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 331836824 10805129216 911962 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10532] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10532/stat : 10532 (java) S 10517 10519 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 331836824 10805129216 911962 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10533] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10533/stat : 10533 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10805129216 911962 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892388785 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10534] ppid=10517 vsize=10551884 CPUtime=0.91 cores=0,2,4,6
/proc/10519/task/10534/stat : 10534 (java) S 10517 10519 9650 0 -1 4202560 7675 0 0 0 90 1 0 0 15 0 19 0 331836826 10805129216 911962 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
[pid=10519/tid=10535] ppid=10517 vsize=10551884 CPUtime=0.67 cores=0,2,4,6
/proc/10519/task/10535/stat : 10535 (java) S 10517 10519 9650 0 -1 4202560 4331 0 0 0 67 0 0 0 15 0 19 0 331836826 10805129216 911962 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10536] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10536/stat : 10536 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10805129216 911962 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10537] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10537/stat : 10537 (java) S 10517 10519 9650 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 331836826 10805129216 911962 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10541] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10541/stat : 10541 (java) S 10517 10519 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331836862 10805129216 911962 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1665.72
Current children cumulated vsize (KiB) 10551884
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 10652
/proc/meminfo: memFree=24807784/32950928 swapFree=67054696/67111528
[pid=10519] ppid=10517 vsize=10551884 CPUtime=1725.84 cores=0,2,4,6
/proc/10519/stat : 10519 (java) S 10517 10519 9650 0 -1 4202496 920667 0 1 0 172474 110 0 0 25 0 19 0 331836820 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10519/statm: 2637971 913599 2243 9 0 2628705 0
[pid=10519/tid=10521] ppid=10517 vsize=10551884 CPUtime=1721.39 cores=0,2,4,6
/proc/10519/task/10521/stat : 10521 (java) R 10517 10519 9650 0 -1 4202560 849877 0 1 0 172043 96 0 0 25 0 19 0 331836821 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 46912505856903 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10519/tid=10522] ppid=10517 vsize=10551884 CPUtime=0.36 cores=0,2,4,6
/proc/10519/task/10522/stat : 10522 (java) S 10517 10519 9650 0 -1 4202560 7490 0 0 0 35 1 0 0 16 0 19 0 331836822 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10523] ppid=10517 vsize=10551884 CPUtime=0.34 cores=0,2,4,6
/proc/10519/task/10523/stat : 10523 (java) S 10517 10519 9650 0 -1 4202560 6633 0 0 0 33 1 0 0 16 0 19 0 331836822 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10524] ppid=10517 vsize=10551884 CPUtime=0.35 cores=0,2,4,6
/proc/10519/task/10524/stat : 10524 (java) S 10517 10519 9650 0 -1 4202560 7972 0 0 0 34 1 0 0 16 0 19 0 331836822 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
[pid=10519/tid=10525] ppid=10517 vsize=10551884 CPUtime=0.31 cores=0,2,4,6
/proc/10519/task/10525/stat : 10525 (java) S 10517 10519 9650 0 -1 4202560 5651 0 0 0 30 1 0 0 15 0 19 0 331836822 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10526] ppid=10517 vsize=10551884 CPUtime=0.37 cores=0,2,4,6
/proc/10519/task/10526/stat : 10526 (java) S 10517 10519 9650 0 -1 4202560 8507 0 0 0 36 1 0 0 15 0 19 0 331836822 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 6 0 0 0
[pid=10519/tid=10527] ppid=10517 vsize=10551884 CPUtime=0.3 cores=0,2,4,6
/proc/10519/task/10527/stat : 10527 (java) S 10517 10519 9650 0 -1 4202560 5855 0 0 0 29 1 0 0 15 0 19 0 331836822 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
[pid=10519/tid=10528] ppid=10517 vsize=10551884 CPUtime=0.37 cores=0,2,4,6
/proc/10519/task/10528/stat : 10528 (java) S 10517 10519 9650 0 -1 4202560 7491 0 0 0 36 1 0 0 15 0 19 0 331836822 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10529] ppid=10517 vsize=10551884 CPUtime=0.32 cores=0,2,4,6
/proc/10519/task/10529/stat : 10529 (java) S 10517 10519 9650 0 -1 4202560 7829 0 0 0 32 0 0 0 16 0 19 0 331836822 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 6 0 0 0
[pid=10519/tid=10530] ppid=10517 vsize=10551884 CPUtime=0.02 cores=0,2,4,6
/proc/10519/task/10530/stat : 10530 (java) S 10517 10519 9650 0 -1 4202560 103 0 0 0 1 1 0 0 15 0 19 0 331836823 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 0 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10531] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10531/stat : 10531 (java) S 10517 10519 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 331836824 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10532] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10532/stat : 10532 (java) S 10517 10519 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 331836824 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10533] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10533/stat : 10533 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892388785 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10534] ppid=10517 vsize=10551884 CPUtime=0.91 cores=0,2,4,6
/proc/10519/task/10534/stat : 10534 (java) S 10517 10519 9650 0 -1 4202560 7675 0 0 0 90 1 0 0 15 0 19 0 331836826 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
[pid=10519/tid=10535] ppid=10517 vsize=10551884 CPUtime=0.67 cores=0,2,4,6
/proc/10519/task/10535/stat : 10535 (java) S 10517 10519 9650 0 -1 4202560 4331 0 0 0 67 0 0 0 15 0 19 0 331836826 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10536] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10536/stat : 10536 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10537] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10537/stat : 10537 (java) S 10517 10519 9650 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 331836826 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10541] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10541/stat : 10541 (java) S 10517 10519 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331836862 10805129216 913599 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1725.84
Current children cumulated vsize (KiB) 10551884
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/214 10654
/proc/meminfo: memFree=24776252/32950928 swapFree=67054696/67111528
[pid=10519] ppid=10517 vsize=10551884 CPUtime=1785.98 cores=0,2,4,6
/proc/10519/stat : 10519 (java) S 10517 10519 9650 0 -1 4202496 921890 0 1 0 178487 111 0 0 25 0 19 0 331836820 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10519/statm: 2637971 914774 2243 9 0 2628705 0
[pid=10519/tid=10521] ppid=10517 vsize=10551884 CPUtime=1781.33 cores=0,2,4,6
/proc/10519/task/10521/stat : 10521 (java) R 10517 10519 9650 0 -1 4202560 849886 0 1 0 178037 96 0 0 25 0 19 0 331836821 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 46912505857286 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10519/tid=10522] ppid=10517 vsize=10551884 CPUtime=0.39 cores=0,2,4,6
/proc/10519/task/10522/stat : 10522 (java) S 10517 10519 9650 0 -1 4202560 7552 0 0 0 38 1 0 0 16 0 19 0 331836822 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
[pid=10519/tid=10523] ppid=10517 vsize=10551884 CPUtime=0.35 cores=0,2,4,6
/proc/10519/task/10523/stat : 10523 (java) S 10517 10519 9650 0 -1 4202560 6674 0 0 0 34 1 0 0 15 0 19 0 331836822 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 6 0 0 0
[pid=10519/tid=10524] ppid=10517 vsize=10551884 CPUtime=0.39 cores=0,2,4,6
/proc/10519/task/10524/stat : 10524 (java) S 10517 10519 9650 0 -1 4202560 8230 0 0 0 38 1 0 0 16 0 19 0 331836822 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10525] ppid=10517 vsize=10551884 CPUtime=0.33 cores=0,2,4,6
/proc/10519/task/10525/stat : 10525 (java) S 10517 10519 9650 0 -1 4202560 5822 0 0 0 32 1 0 0 15 0 19 0 331836822 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10526] ppid=10517 vsize=10551884 CPUtime=0.4 cores=0,2,4,6
/proc/10519/task/10526/stat : 10526 (java) S 10517 10519 9650 0 -1 4202560 8728 0 0 0 39 1 0 0 16 0 19 0 331836822 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 6 0 0 0
[pid=10519/tid=10527] ppid=10517 vsize=10551884 CPUtime=0.32 cores=0,2,4,6
/proc/10519/task/10527/stat : 10527 (java) S 10517 10519 9650 0 -1 4202560 5913 0 0 0 31 1 0 0 16 0 19 0 331836822 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10528] ppid=10517 vsize=10551884 CPUtime=0.39 cores=0,2,4,6
/proc/10519/task/10528/stat : 10528 (java) S 10517 10519 9650 0 -1 4202560 7850 0 0 0 38 1 0 0 15 0 19 0 331836822 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 6 0 0 0
[pid=10519/tid=10529] ppid=10517 vsize=10551884 CPUtime=0.35 cores=0,2,4,6
/proc/10519/task/10529/stat : 10529 (java) S 10517 10519 9650 0 -1 4202560 7867 0 0 0 35 0 0 0 15 0 19 0 331836822 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10530] ppid=10517 vsize=10551884 CPUtime=0.03 cores=0,2,4,6
/proc/10519/task/10530/stat : 10530 (java) S 10517 10519 9650 0 -1 4202560 107 0 0 0 2 1 0 0 15 0 19 0 331836823 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 0 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10531] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10531/stat : 10531 (java) S 10517 10519 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 331836824 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10532] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10532/stat : 10532 (java) S 10517 10519 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 331836824 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10533] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10533/stat : 10533 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892388785 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10534] ppid=10517 vsize=10551884 CPUtime=0.91 cores=0,2,4,6
/proc/10519/task/10534/stat : 10534 (java) S 10517 10519 9650 0 -1 4202560 7675 0 0 0 90 1 0 0 15 0 19 0 331836826 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
[pid=10519/tid=10535] ppid=10517 vsize=10551884 CPUtime=0.67 cores=0,2,4,6
/proc/10519/task/10535/stat : 10535 (java) S 10517 10519 9650 0 -1 4202560 4331 0 0 0 67 0 0 0 15 0 19 0 331836826 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10536] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10536/stat : 10536 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10537] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10537/stat : 10537 (java) S 10517 10519 9650 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 331836826 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10541] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10541/stat : 10541 (java) S 10517 10519 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331836862 10805129216 914774 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1785.98
Current children cumulated vsize (KiB) 10551884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.31 s]
/proc/loadavg: 2.00 2.02 2.00 4/217 10657
/proc/meminfo: memFree=24776096/32950928 swapFree=67054696/67111528
[pid=10519] ppid=10517 vsize=10551884 CPUtime=1800.01 cores=0,2,4,6
/proc/10519/stat : 10519 (java) S 10517 10519 9650 0 -1 4202496 921902 0 1 0 179890 111 0 0 25 0 19 0 331836820 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10519/statm: 2637971 914781 2243 9 0 2628705 0
[pid=10519/tid=10521] ppid=10517 vsize=10551884 CPUtime=1795.33 cores=0,2,4,6
/proc/10519/task/10521/stat : 10521 (java) R 10517 10519 9650 0 -1 4202560 849887 0 1 0 179437 96 0 0 25 0 19 0 331836821 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 46912505748688 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10519/tid=10522] ppid=10517 vsize=10551884 CPUtime=0.39 cores=0,2,4,6
/proc/10519/task/10522/stat : 10522 (java) S 10517 10519 9650 0 -1 4202560 7552 0 0 0 38 1 0 0 16 0 19 0 331836822 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10523] ppid=10517 vsize=10551884 CPUtime=0.35 cores=0,2,4,6
/proc/10519/task/10523/stat : 10523 (java) S 10517 10519 9650 0 -1 4202560 6674 0 0 0 34 1 0 0 15 0 19 0 331836822 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 6 0 0 0
[pid=10519/tid=10524] ppid=10517 vsize=10551884 CPUtime=0.39 cores=0,2,4,6
/proc/10519/task/10524/stat : 10524 (java) S 10517 10519 9650 0 -1 4202560 8230 0 0 0 38 1 0 0 15 0 19 0 331836822 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10525] ppid=10517 vsize=10551884 CPUtime=0.33 cores=0,2,4,6
/proc/10519/task/10525/stat : 10525 (java) S 10517 10519 9650 0 -1 4202560 5822 0 0 0 32 1 0 0 15 0 19 0 331836822 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10526] ppid=10517 vsize=10551884 CPUtime=0.41 cores=0,2,4,6
/proc/10519/task/10526/stat : 10526 (java) S 10517 10519 9650 0 -1 4202560 8733 0 0 0 40 1 0 0 16 0 19 0 331836822 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 6 0 0 0
[pid=10519/tid=10527] ppid=10517 vsize=10551884 CPUtime=0.32 cores=0,2,4,6
/proc/10519/task/10527/stat : 10527 (java) S 10517 10519 9650 0 -1 4202560 5913 0 0 0 31 1 0 0 15 0 19 0 331836822 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10528] ppid=10517 vsize=10551884 CPUtime=0.4 cores=0,2,4,6
/proc/10519/task/10528/stat : 10528 (java) S 10517 10519 9650 0 -1 4202560 7851 0 0 0 39 1 0 0 16 0 19 0 331836822 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
[pid=10519/tid=10529] ppid=10517 vsize=10551884 CPUtime=0.36 cores=0,2,4,6
/proc/10519/task/10529/stat : 10529 (java) S 10517 10519 9650 0 -1 4202560 7868 0 0 0 36 0 0 0 16 0 19 0 331836822 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10530] ppid=10517 vsize=10551884 CPUtime=0.03 cores=0,2,4,6
/proc/10519/task/10530/stat : 10530 (java) S 10517 10519 9650 0 -1 4202560 110 0 0 0 2 1 0 0 15 0 19 0 331836823 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 0 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10531] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10531/stat : 10531 (java) S 10517 10519 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 331836824 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10532] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10532/stat : 10532 (java) S 10517 10519 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 331836824 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10533] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10533/stat : 10533 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892388785 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10534] ppid=10517 vsize=10551884 CPUtime=0.91 cores=0,2,4,6
/proc/10519/task/10534/stat : 10534 (java) S 10517 10519 9650 0 -1 4202560 7675 0 0 0 90 1 0 0 15 0 19 0 331836826 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
[pid=10519/tid=10535] ppid=10517 vsize=10551884 CPUtime=0.67 cores=0,2,4,6
/proc/10519/task/10535/stat : 10535 (java) S 10517 10519 9650 0 -1 4202560 4331 0 0 0 67 0 0 0 15 0 19 0 331836826 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10536] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10536/stat : 10536 (java) S 10517 10519 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331836826 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381081 0 4 0 16800975 18446604453864480832 0 0 -1 0 0 0 0
[pid=10519/tid=10537] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10537/stat : 10537 (java) S 10517 10519 9650 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 331836826 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 4 0 0 0
[pid=10519/tid=10541] ppid=10517 vsize=10551884 CPUtime=0 cores=0,2,4,6
/proc/10519/task/10541/stat : 10541 (java) S 10517 10519 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331836862 10805129216 914781 33554432000 1073741824 1073778376 140735799085664 18446744073709551615 218892381696 0 4 0 16800975 18446604453864480832 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10551884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.41 s]
/proc/loadavg: 2.00 2.02 2.00 4/217 10657
/proc/meminfo: memFree=24776096/32950928 swapFree=67054696/67111528
[pid=10519] ppid=10517 vsize=0 CPUtime=1800.13 cores=0,2,4,6
/proc/10519/stat : 10519 (java) Z 10517 10519 9650 0 -1 4203548 921936 0 1 0 179897 116 0 0 17 0 2 0 331836820 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10519/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.49
CPU time (s): 1800.23
CPU user time (s): 1798.98
CPU system time (s): 1.24981
CPU usage (%): 100.208
Max. virtual memory (cumulated for all children) (KiB): 10555192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.24981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 921936
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= 40984
involuntary context switches= 22467
runsolver used 3.2665 second user time and 6.549 second system time
The end