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-3453953-1307194662/watcher-3453953-1307194662 -o /tmp/evaluation-result-3453953-1307194662/solver-3453953-1307194662 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453953-1307194662.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.87 2.29 2.96 3/458 13592
/proc/meminfo: memFree=24504704/32951124 swapFree=50923800/67111528
[pid=13592] ppid=13590 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13592 9722 0 -1 4202496 4252 0 1 0 0 0 0 0 25 0 2 0 811881819 10694979584 3955 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13592/statm: 2611079 3967 917 9 0 2602235 0
[pid=13592/tid=13593] ppid=13590 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) R 13590 13592 9722 0 -1 4202560 5693 0 1 0 0 0 0 0 25 0 2 0 811881819 10694979584 6509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.073278 s]
/proc/loadavg: 1.87 2.29 2.96 3/458 13592
/proc/meminfo: memFree=24504704/32951124 swapFree=50923800/67111528
[pid=13592] ppid=13590 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13592 9722 0 -1 4202496 11936 0 1 0 5 2 0 0 25 0 18 0 811881819 10724442112 11633 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13592/statm: 2618272 11635 1754 9 0 2609006 0
[pid=13592/tid=13593] ppid=13590 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) R 13590 13592 9722 0 -1 4202560 10764 0 1 0 4 1 0 0 25 0 18 0 811881819 10724442112 11636 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 46917199094531 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088
[startup+0.100257 s]
/proc/loadavg: 1.87 2.29 2.96 3/458 13592
/proc/meminfo: memFree=24504704/32951124 swapFree=50923800/67111528
[pid=13592] ppid=13590 vsize=10540408 CPUtime=0.1 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13592 9722 0 -1 4202496 13112 0 1 0 8 2 0 0 25 0 18 0 811881819 10793377792 12809 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13592/statm: 2635102 12810 2092 9 0 2625836 0
[pid=13592/tid=13593] ppid=13590 vsize=10540408 CPUtime=0.08 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) R 13590 13592 9722 0 -1 4202560 11197 0 1 0 7 1 0 0 18 0 18 0 811881819 10793377792 12810 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 46917203589971 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540408
[startup+0.300185 s]
/proc/loadavg: 1.87 2.29 2.96 3/458 13592
/proc/meminfo: memFree=24504704/32951124 swapFree=50923800/67111528
[pid=13592] ppid=13590 vsize=10541864 CPUtime=0.46 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13592 9722 0 -1 4202496 15592 0 1 0 43 3 0 0 25 0 18 0 811881819 10794868736 15032 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13592/statm: 2635466 15033 2208 9 0 2626200 0
[pid=13592/tid=13593] ppid=13590 vsize=10541864 CPUtime=0.29 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) R 13590 13592 9722 0 -1 4202560 12863 0 1 0 27 2 0 0 18 0 18 0 811881819 10794868736 15033 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541864
[startup+0.701107 s]
/proc/loadavg: 1.87 2.29 2.96 3/458 13592
/proc/meminfo: memFree=24504704/32951124 swapFree=50923800/67111528
[pid=13592] ppid=13590 vsize=10560992 CPUtime=1.72 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13592 9722 0 -1 4202496 34105 0 1 0 166 6 0 0 25 0 20 0 811881819 10814455808 29382 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13592/statm: 2640248 29382 2231 9 0 2630982 0
[pid=13592/tid=13593] ppid=13590 vsize=10560992 CPUtime=0.54 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) S 13590 13592 9722 0 -1 4202560 17076 0 1 0 51 3 0 0 19 0 20 0 811881819 10814455808 29382 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 10560992
[startup+1.50101 s]
/proc/loadavg: 1.87 2.29 2.96 5/477 13614
/proc/meminfo: memFree=24183960/32951124 swapFree=50923800/67111528
[pid=13592] ppid=13590 vsize=10563660 CPUtime=2.45 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13592 9722 0 -1 4202496 36238 0 1 0 239 6 0 0 25 0 19 0 811881819 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13592/statm: 2640915 30240 2239 9 0 2631649 0
[pid=13592/tid=13593] ppid=13590 vsize=10563660 CPUtime=0.55 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) S 13590 13592 9722 0 -1 4202560 17167 0 1 0 52 3 0 0 17 0 19 0 811881819 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13595] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811881821 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13596] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13596/stat : 13596 (java) S 13590 13592 9722 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811881821 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13597] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13597/stat : 13597 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811881821 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13598] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13598/stat : 13598 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811881821 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13599] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811881821 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13600] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811881821 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13601] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811881821 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13602] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811881821 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13603] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) S 13590 13592 9722 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 19 0 811881822 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13604] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13592 9722 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811881822 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13605] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13592 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811881822 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13606] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811881825 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13607] ppid=13590 vsize=10563660 CPUtime=0.81 cores=1,3,5,7
/proc/13592/task/13607/stat : 13607 (java) S 13590 13592 9722 0 -1 4202560 7590 0 0 0 80 1 0 0 18 0 19 0 811881825 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13608] ppid=13590 vsize=10563660 CPUtime=0.76 cores=1,3,5,7
/proc/13592/task/13608/stat : 13608 (java) S 13590 13592 9722 0 -1 4202560 9167 0 0 0 75 1 0 0 25 0 19 0 811881825 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13609] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13609/stat : 13609 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811881825 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13610] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13610/stat : 13610 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811881825 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13613] ppid=13590 vsize=10563660 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13613/stat : 13613 (java) S 13590 13592 9722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811881877 10817187840 30240 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 10563660
[startup+3.10569 s]
/proc/loadavg: 1.87 2.29 2.96 5/480 13623
/proc/meminfo: memFree=24037864/32951124 swapFree=50923800/67111528
[pid=13592] ppid=13590 vsize=10572560 CPUtime=3.74 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13592 9722 0 -1 4202496 47129 0 1 0 366 8 0 0 25 0 22 0 811881819 10826301440 39471 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13592/statm: 2643140 39473 2243 9 0 2633874 0
[pid=13592/tid=13593] ppid=13590 vsize=10572560 CPUtime=0.56 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) S 13590 13592 9722 0 -1 4202560 17436 0 1 0 53 3 0 0 17 0 22 0 811881819 10826301440 39474 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13595] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881821 10826301440 39475 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13596] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13596/stat : 13596 (java) S 13590 13592 9722 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811881821 10826301440 39475 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13597] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13597/stat : 13597 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881821 10826301440 39476 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13598] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13598/stat : 13598 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881821 10826301440 39477 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13599] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881821 10826301440 39478 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13600] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881821 10826301440 39479 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13601] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881821 10826301440 39480 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13602] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881821 10826301440 39481 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13603] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) S 13590 13592 9722 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 811881822 10826301440 39481 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13604] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13592 9722 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811881822 10826301440 39482 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13605] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13592 9722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811881822 10826301440 39483 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13606] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881825 10826301440 39484 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13607] ppid=13590 vsize=10572560 CPUtime=1.27 cores=1,3,5,7
/proc/13592/task/13607/stat : 13607 (java) S 13590 13592 9722 0 -1 4202560 11090 0 0 0 126 1 0 0 15 0 22 0 811881825 10826301440 39485 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13608] ppid=13590 vsize=10572560 CPUtime=1.11 cores=1,3,5,7
/proc/13592/task/13608/stat : 13608 (java) R 13590 13592 9722 0 -1 4202560 9649 0 0 0 110 1 0 0 15 0 22 0 811881825 10826301440 39486 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270338076368 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13592/tid=13609] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13609/stat : 13609 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881825 10826301440 39487 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13610] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13610/stat : 13610 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811881825 10826301440 39487 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13613] ppid=13590 vsize=10572560 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13613/stat : 13613 (java) S 13590 13592 9722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811881877 10826301440 39488 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 10572560
[startup+6.301 s]
/proc/loadavg: 2.20 2.35 2.98 4/480 13638
/proc/meminfo: memFree=23481208/32951124 swapFree=50923800/67111528
[pid=13592] ppid=13590 vsize=10567956 CPUtime=8.61 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13592 9722 0 -1 4202496 232113 0 1 0 834 27 0 0 25 0 22 0 811881819 10821586944 223404 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13592/statm: 2641989 223407 2270 9 0 2632723 0
[pid=13592/tid=13593] ppid=13590 vsize=10567956 CPUtime=0.57 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) S 13590 13592 9722 0 -1 4202560 17636 0 1 0 54 3 0 0 15 0 22 0 811881819 10821586944 223409 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13595] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811881821 10821586944 223410 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13596] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13596/stat : 13596 (java) S 13590 13592 9722 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811881821 10821586944 223412 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13597] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13597/stat : 13597 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811881821 10821586944 223414 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13598] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13598/stat : 13598 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811881821 10821586944 223415 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13599] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13592 9722 0 -1 4202560 793 0 0 0 0 0 0 0 18 0 22 0 811881821 10821586944 223417 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13600] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13592 9722 0 -1 4202560 646 0 0 0 0 0 0 0 18 0 22 0 811881821 10821586944 223418 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13601] ppid=13590 vsize=10567956 CPUtime=0.01 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13592 9722 0 -1 4202560 1123 0 0 0 1 0 0 0 18 0 22 0 811881821 10821586944 223420 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
[pid=13592/tid=13602] ppid=13590 vsize=10567956 CPUtime=0.01 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) S 13590 13592 9722 0 -1 4202560 1059 0 0 0 1 0 0 0 18 0 22 0 811881821 10821586944 223422 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
[pid=13592/tid=13603] ppid=13590 vsize=10567956 CPUtime=0.05 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) S 13590 13592 9722 0 -1 4202560 4135 0 0 0 5 0 0 0 16 0 22 0 811881822 10821586944 223424 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13604] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13592 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811881822 10821586944 223426 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13605] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13592 9722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811881822 10821586944 223427 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13606] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881825 10821586944 223428 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13607] ppid=13590 vsize=10567956 CPUtime=1.5 cores=1,3,5,7
/proc/13592/task/13607/stat : 13607 (java) S 13590 13592 9722 0 -1 4202560 11118 0 0 0 149 1 0 0 16 0 22 0 811881825 10821586944 223430 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13608] ppid=13590 vsize=10567956 CPUtime=1.3 cores=1,3,5,7
/proc/13592/task/13608/stat : 13608 (java) S 13590 13592 9722 0 -1 4202560 9664 0 0 0 129 1 0 0 15 0 22 0 811881825 10821586944 223431 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=13592/tid=13653] ppid=13590 vsize=10567956 CPUtime=251.23 cores=1,3,5,7
/proc/13592/task/13653/stat : 13653 (java) R 13590 13592 9722 0 -1 4202560 0 0 0 0 25123 0 0 0 25 0 22 0 811933506 10821586944 463173 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 46912506239576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13592/tid=13654] ppid=13590 vsize=10567956 CPUtime=251.24 cores=1,3,5,7
/proc/13592/task/13654/stat : 13654 (java) R 13590 13592 9722 0 -1 4202560 0 0 0 0 25124 0 0 0 25 0 22 0 811933506 10821586944 463173 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 46912506157298 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13592/tid=13655] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13655/stat : 13655 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811933506 10821586944 463173 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1537.11
Current children cumulated vsize (KiB) 10567956
[startup+882.301 s]
/proc/loadavg: 3.75 3.82 3.52 7/480 13665
/proc/meminfo: memFree=22123796/32951124 swapFree=50923800/67111528
[pid=13592] ppid=13590 vsize=10567956 CPUtime=1645.93 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13592 9722 0 -1 4202496 473076 0 1 0 164533 60 0 0 25 0 22 0 811881819 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13592/statm: 2641989 464005 2271 9 0 2632723 0
[pid=13592/tid=13593] ppid=13590 vsize=10567956 CPUtime=0.57 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) S 13590 13592 9722 0 -1 4202560 17767 0 1 0 54 3 0 0 15 0 22 0 811881819 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13595] ppid=13590 vsize=10567956 CPUtime=1.2 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13592 9722 0 -1 4202560 378 0 0 0 120 0 0 0 16 0 22 0 811881821 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13596] ppid=13590 vsize=10567956 CPUtime=1.14 cores=1,3,5,7
/proc/13592/task/13596/stat : 13596 (java) S 13590 13592 9722 0 -1 4202560 506 0 0 0 114 0 0 0 16 0 22 0 811881821 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13597] ppid=13590 vsize=10567956 CPUtime=1.25 cores=1,3,5,7
/proc/13592/task/13597/stat : 13597 (java) S 13590 13592 9722 0 -1 4202560 407 0 0 0 125 0 0 0 15 0 22 0 811881821 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13598] ppid=13590 vsize=10567956 CPUtime=1.23 cores=1,3,5,7
/proc/13592/task/13598/stat : 13598 (java) S 13590 13592 9722 0 -1 4202560 295 0 0 0 123 0 0 0 15 0 22 0 811881821 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13599] ppid=13590 vsize=10567956 CPUtime=1.27 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13592 9722 0 -1 4202560 931 0 0 0 127 0 0 0 16 0 22 0 811881821 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13600] ppid=13590 vsize=10567956 CPUtime=1.24 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13592 9722 0 -1 4202560 1119 0 0 0 124 0 0 0 16 0 22 0 811881821 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13601] ppid=13590 vsize=10567956 CPUtime=1.35 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13592 9722 0 -1 4202560 1657 0 0 0 135 0 0 0 16 0 22 0 811881821 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13602] ppid=13590 vsize=10567956 CPUtime=1.08 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) S 13590 13592 9722 0 -1 4202560 1916 0 0 0 108 0 0 0 16 0 22 0 811881821 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13603] ppid=13590 vsize=10567956 CPUtime=118.91 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) S 13590 13592 9722 0 -1 4202560 94773 0 0 0 11878 13 0 0 15 0 22 0 811881822 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
[pid=13592/tid=13604] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13592 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811881822 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13605] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13592 9722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811881822 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13606] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881825 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13607] ppid=13590 vsize=10567956 CPUtime=2.2 cores=1,3,5,7
/proc/13592/task/13607/stat : 13607 (java) S 13590 13592 9722 0 -1 4202560 11174 0 0 0 219 1 0 0 15 0 22 0 811881825 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13608] ppid=13590 vsize=10567956 CPUtime=1.41 cores=1,3,5,7
/proc/13592/task/13608/stat : 13608 (java) S 13590 13592 9722 0 -1 4202560 9666 0 0 0 140 1 0 0 16 0 22 0 811881825 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13609] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13609/stat : 13609 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881825 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13610] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13610/stat : 13610 (java) S 13590 13592 9722 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 811881825 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13638] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13638/stat : 13638 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811882331 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
[pid=13592/tid=13653] ppid=13590 vsize=10567956 CPUtime=299.42 cores=1,3,5,7
/proc/13592/task/13653/stat : 13653 (java) R 13590 13592 9722 0 -1 4202560 0 0 0 0 29942 0 0 0 24 0 22 0 811933506 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 46912506066343 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13592/tid=13654] ppid=13590 vsize=10567956 CPUtime=299.43 cores=1,3,5,7
/proc/13592/task/13654/stat : 13654 (java) R 13590 13592 9722 0 -1 4202560 0 0 0 0 29943 0 0 0 23 0 22 0 811933506 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 46912506232122 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13592/tid=13655] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13655/stat : 13655 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811933506 10821586944 464005 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1645.93
Current children cumulated vsize (KiB) 10567956
[startup+942.301 s]
/proc/loadavg: 3.75 3.80 3.54 2/457 13669
/proc/meminfo: memFree=22805880/32951124 swapFree=50923800/67111528
[pid=13592] ppid=13590 vsize=10567956 CPUtime=1754.65 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13592 9722 0 -1 4202496 474181 0 1 0 175404 61 0 0 25 0 22 0 811881819 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13592/statm: 2641989 465090 2271 9 0 2632723 0
[pid=13592/tid=13593] ppid=13590 vsize=10567956 CPUtime=0.57 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) S 13590 13592 9722 0 -1 4202560 17783 0 1 0 54 3 0 0 15 0 22 0 811881819 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13595] ppid=13590 vsize=10567956 CPUtime=1.33 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13592 9722 0 -1 4202560 394 0 0 0 133 0 0 0 16 0 22 0 811881821 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13596] ppid=13590 vsize=10567956 CPUtime=1.27 cores=1,3,5,7
/proc/13592/task/13596/stat : 13596 (java) S 13590 13592 9722 0 -1 4202560 513 0 0 0 127 0 0 0 15 0 22 0 811881821 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13597] ppid=13590 vsize=10567956 CPUtime=1.33 cores=1,3,5,7
/proc/13592/task/13597/stat : 13597 (java) S 13590 13592 9722 0 -1 4202560 418 0 0 0 133 0 0 0 16 0 22 0 811881821 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13598] ppid=13590 vsize=10567956 CPUtime=1.35 cores=1,3,5,7
/proc/13592/task/13598/stat : 13598 (java) S 13590 13592 9722 0 -1 4202560 299 0 0 0 135 0 0 0 15 0 22 0 811881821 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13599] ppid=13590 vsize=10567956 CPUtime=1.38 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13592 9722 0 -1 4202560 931 0 0 0 138 0 0 0 16 0 22 0 811881821 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13600] ppid=13590 vsize=10567956 CPUtime=1.34 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13592 9722 0 -1 4202560 1120 0 0 0 134 0 0 0 16 0 22 0 811881821 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13601] ppid=13590 vsize=10567956 CPUtime=1.42 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13592 9722 0 -1 4202560 1663 0 0 0 142 0 0 0 15 0 22 0 811881821 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13602] ppid=13590 vsize=10567956 CPUtime=1.25 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) S 13590 13592 9722 0 -1 4202560 1930 0 0 0 125 0 0 0 15 0 22 0 811881821 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13603] ppid=13590 vsize=10567956 CPUtime=130.57 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) S 13590 13592 9722 0 -1 4202560 95801 0 0 0 13044 13 0 0 16 0 22 0 811881822 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
[pid=13592/tid=13604] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13592 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811881822 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13605] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13592 9722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811881822 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13606] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881825 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13607] ppid=13590 vsize=10567956 CPUtime=2.2 cores=1,3,5,7
/proc/13592/task/13607/stat : 13607 (java) S 13590 13592 9722 0 -1 4202560 11174 0 0 0 219 1 0 0 15 0 22 0 811881825 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13608] ppid=13590 vsize=10567956 CPUtime=1.41 cores=1,3,5,7
/proc/13592/task/13608/stat : 13608 (java) S 13590 13592 9722 0 -1 4202560 9666 0 0 0 140 1 0 0 16 0 22 0 811881825 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13609] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13609/stat : 13609 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881825 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13610] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13610/stat : 13610 (java) S 13590 13592 9722 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 811881825 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13638] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13638/stat : 13638 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811882331 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
[pid=13592/tid=13653] ppid=13590 vsize=10567956 CPUtime=347.48 cores=1,3,5,7
/proc/13592/task/13653/stat : 13653 (java) R 13590 13592 9722 0 -1 4202560 0 0 0 0 34748 0 0 0 19 0 22 0 811933506 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 46912506258122 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13592/tid=13654] ppid=13590 vsize=10567956 CPUtime=347.49 cores=1,3,5,7
/proc/13592/task/13654/stat : 13654 (java) R 13590 13592 9722 0 -1 4202560 0 0 0 0 34749 0 0 0 19 0 22 0 811933506 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 46912506148028 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13592/tid=13655] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13655/stat : 13655 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811933506 10821586944 465090 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1754.65
Current children cumulated vsize (KiB) 10567956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+967.201 s]
/proc/loadavg: 3.08 3.64 3.49 3/453 13687
/proc/meminfo: memFree=22807684/32951124 swapFree=50923800/67111528
[pid=13592] ppid=13590 vsize=10567956 CPUtime=1800.02 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13592 9722 0 -1 4202496 474610 0 1 0 179941 61 0 0 25 0 22 0 811881819 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13592/statm: 2641989 465509 2271 9 0 2632723 0
[pid=13592/tid=13593] ppid=13590 vsize=10567956 CPUtime=0.57 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) S 13590 13592 9722 0 -1 4202560 17789 0 1 0 54 3 0 0 15 0 22 0 811881819 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13595] ppid=13590 vsize=10567956 CPUtime=1.36 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13592 9722 0 -1 4202560 399 0 0 0 136 0 0 0 15 0 22 0 811881821 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13596] ppid=13590 vsize=10567956 CPUtime=1.3 cores=1,3,5,7
/proc/13592/task/13596/stat : 13596 (java) S 13590 13592 9722 0 -1 4202560 513 0 0 0 130 0 0 0 16 0 22 0 811881821 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13597] ppid=13590 vsize=10567956 CPUtime=1.38 cores=1,3,5,7
/proc/13592/task/13597/stat : 13597 (java) S 13590 13592 9722 0 -1 4202560 418 0 0 0 138 0 0 0 16 0 22 0 811881821 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13598] ppid=13590 vsize=10567956 CPUtime=1.39 cores=1,3,5,7
/proc/13592/task/13598/stat : 13598 (java) S 13590 13592 9722 0 -1 4202560 299 0 0 0 139 0 0 0 15 0 22 0 811881821 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13599] ppid=13590 vsize=10567956 CPUtime=1.42 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13592 9722 0 -1 4202560 931 0 0 0 142 0 0 0 16 0 22 0 811881821 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13600] ppid=13590 vsize=10567956 CPUtime=1.36 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13592 9722 0 -1 4202560 1122 0 0 0 136 0 0 0 15 0 22 0 811881821 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13601] ppid=13590 vsize=10567956 CPUtime=1.47 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13592 9722 0 -1 4202560 1668 0 0 0 147 0 0 0 15 0 22 0 811881821 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13602] ppid=13590 vsize=10567956 CPUtime=1.31 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) S 13590 13592 9722 0 -1 4202560 1938 0 0 0 131 0 0 0 16 0 22 0 811881821 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13603] ppid=13590 vsize=10567956 CPUtime=135.13 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) S 13590 13592 9722 0 -1 4202560 96203 0 0 0 13500 13 0 0 16 0 22 0 811881822 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
[pid=13592/tid=13604] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13592 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811881822 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13605] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13592 9722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811881822 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13606] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881825 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13607] ppid=13590 vsize=10567956 CPUtime=2.2 cores=1,3,5,7
/proc/13592/task/13607/stat : 13607 (java) S 13590 13592 9722 0 -1 4202560 11174 0 0 0 219 1 0 0 15 0 22 0 811881825 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=13592/tid=13608] ppid=13590 vsize=10567956 CPUtime=1.41 cores=1,3,5,7
/proc/13592/task/13608/stat : 13608 (java) S 13590 13592 9722 0 -1 4202560 9666 0 0 0 140 1 0 0 16 0 22 0 811881825 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13609] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13609/stat : 13609 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811881825 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 3 0 0 0
[pid=13592/tid=13610] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13610/stat : 13610 (java) S 13590 13592 9722 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811881825 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=13592/tid=13638] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13638/stat : 13638 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811882331 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
[pid=13592/tid=13653] ppid=13590 vsize=10567956 CPUtime=367.73 cores=1,3,5,7
/proc/13592/task/13653/stat : 13653 (java) R 13590 13592 9722 0 -1 4202560 0 0 0 0 36773 0 0 0 19 0 22 0 811933506 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 46912506239576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13592/tid=13654] ppid=13590 vsize=10567956 CPUtime=367.75 cores=1,3,5,7
/proc/13592/task/13654/stat : 13654 (java) R 13590 13592 9722 0 -1 4202560 0 0 0 0 36775 0 0 0 19 0 22 0 811933506 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 46912506310999 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13592/tid=13655] ppid=13590 vsize=10567956 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13655/stat : 13655 (java) S 13590 13592 9722 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811933506 10821586944 465509 33554432000 1073741824 1073778376 140733709805024 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10567956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 967.304
CPU time (s): 1800.15
CPU user time (s): 1799.46
CPU system time (s): 0.687895
CPU usage (%): 186.1
Max. virtual memory (cumulated for all children) (KiB): 10572560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.687895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474638
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= 29819
involuntary context switches= 16041
runsolver used 4.22736 second user time and 9.91349 second system time
The end