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-3456430-1307659174/watcher-3456430-1307659174 -o /tmp/evaluation-result-3456430-1307659174/solver-3456430-1307659174 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456430-1307659174.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: 3.72 4.69 5.37 2/172 12437
/proc/meminfo: memFree=32407148/32951124 swapFree=67055708/67111528
[pid=12437] ppid=12435 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/12437/stat : 12437 (java) S 12435 12437 11597 0 -1 4202496 1241 0 0 0 0 0 0 0 25 0 2 0 610108639 31272960 960 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12437/statm: 7635 960 732 9 0 386 0
[pid=12437/tid=12438] ppid=12435 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12438/stat : 12438 (java) R 12435 12437 11597 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 610108639 31272960 960 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268660662075 0 0 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0747051 s]
/proc/loadavg: 3.72 4.69 5.37 2/172 12437
/proc/meminfo: memFree=32407148/32951124 swapFree=67055708/67111528
[pid=12437] ppid=12435 vsize=10538624 CPUtime=0.07 cores=1,3,5,7
/proc/12437/stat : 12437 (java) S 12435 12437 11597 0 -1 4202496 11957 0 1 0 5 2 0 0 25 0 18 0 610108639 10791550976 11653 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12437/statm: 2634656 11653 1757 9 0 2625390 0
[pid=12437/tid=12438] ppid=12435 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/12437/task/12438/stat : 12438 (java) R 12435 12437 11597 0 -1 4202560 10780 0 1 0 5 1 0 0 21 0 18 0 610108639 10791550976 11654 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 47886566251619 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) 10538624
[startup+0.1007 s]
/proc/loadavg: 3.72 4.69 5.37 2/172 12437
/proc/meminfo: memFree=32407148/32951124 swapFree=67055708/67111528
[pid=12437] ppid=12435 vsize=10540276 CPUtime=0.11 cores=1,3,5,7
/proc/12437/stat : 12437 (java) S 12435 12437 11597 0 -1 4202496 13112 0 1 0 9 2 0 0 25 0 18 0 610108639 10793242624 12808 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12437/statm: 2635069 12808 2094 9 0 2625803 0
[pid=12437/tid=12438] ppid=12435 vsize=10540276 CPUtime=0.08 cores=1,3,5,7
/proc/12437/task/12438/stat : 12438 (java) R 12435 12437 11597 0 -1 4202560 11175 0 1 0 7 1 0 0 22 0 18 0 610108639 10793242624 12808 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 46912496203072 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540276
[startup+0.300665 s]
/proc/loadavg: 3.72 4.69 5.37 2/172 12437
/proc/meminfo: memFree=32407148/32951124 swapFree=67055708/67111528
[pid=12437] ppid=12435 vsize=10554956 CPUtime=0.59 cores=1,3,5,7
/proc/12437/stat : 12437 (java) S 12435 12437 11597 0 -1 4202496 23603 0 1 0 55 4 0 0 25 0 18 0 610108639 10808274944 20790 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12437/statm: 2638739 20791 2205 9 0 2629473 0
[pid=12437/tid=12438] ppid=12435 vsize=10554956 CPUtime=0.28 cores=1,3,5,7
/proc/12437/task/12438/stat : 12438 (java) R 12435 12437 11597 0 -1 4202560 13828 0 1 0 26 2 0 0 22 0 18 0 610108639 10808274944 20792 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 46912505583310 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10554956
[startup+0.700608 s]
/proc/loadavg: 3.72 4.69 5.37 2/172 12437
/proc/meminfo: memFree=32407148/32951124 swapFree=67055708/67111528
[pid=12437] ppid=12435 vsize=10561576 CPUtime=1.54 cores=1,3,5,7
/proc/12437/stat : 12437 (java) S 12435 12437 11597 0 -1 4202496 45217 0 1 0 146 8 0 0 25 0 19 0 610108639 10815053824 40728 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12437/statm: 2640394 40730 2227 9 0 2631128 0
[pid=12437/tid=12438] ppid=12435 vsize=10561576 CPUtime=0.68 cores=1,3,5,7
/proc/12437/task/12438/stat : 12438 (java) R 12435 12437 11597 0 -1 4202560 31182 0 1 0 63 5 0 0 25 0 19 0 610108639 10815053824 40731 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 46912505607768 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10561576
[startup+1.50145 s]
/proc/loadavg: 3.72 4.69 5.37 3/213 12483
/proc/meminfo: memFree=31896660/32951124 swapFree=67055708/67111528
[pid=12437] ppid=12435 vsize=10561576 CPUtime=2.56 cores=1,3,5,7
/proc/12437/stat : 12437 (java) S 12435 12437 11597 0 -1 4202496 111141 0 1 0 242 14 0 0 25 0 19 0 610108639 10815053824 106651 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12437/statm: 2640394 106659 2229 9 0 2631128 0
[pid=12437/tid=12438] ppid=12435 vsize=10561576 CPUtime=1.48 cores=1,3,5,7
/proc/12437/task/12438/stat : 12438 (java) R 12435 12437 11597 0 -1 4202560 97077 0 1 0 137 11 0 0 25 0 19 0 610108639 10815053824 106661 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 46912505607764 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12437/tid=12445] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12445/stat : 12445 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 106661 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12446] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12446/stat : 12446 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 106666 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12447] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12447/stat : 12447 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 106671 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12448] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12448/stat : 12448 (java) S 12435 12437 11597 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 106671 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12449] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12449/stat : 12449 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 106674 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12450] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12450/stat : 12450 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 106680 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12451] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12451/stat : 12451 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 106682 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12452] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12452/stat : 12452 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 106683 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12457] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12457/stat : 12457 (java) S 12435 12437 11597 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 610108642 10815053824 106688 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 0 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12460] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12460/stat : 12460 (java) S 12435 12437 11597 0 -1 4202560 18 0 0 0 0 0 0 0 19 0 19 0 610108642 10815053824 106692 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12461] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12461/stat : 12461 (java) S 12435 12437 11597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 610108642 10815053824 106692 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12470] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12470/stat : 12470 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 610108644 10815053824 106697 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672485809 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12471] ppid=12435 vsize=10561576 CPUtime=0.47 cores=1,3,5,7
/proc/12437/task/12471/stat : 12471 (java) S 12435 12437 11597 0 -1 4202560 8171 0 0 0 46 1 0 0 15 0 19 0 610108644 10815053824 106702 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12472] ppid=12435 vsize=10561576 CPUtime=0.59 cores=1,3,5,7
/proc/12437/task/12472/stat : 12472 (java) S 12435 12437 11597 0 -1 4202560 4740 0 0 0 58 1 0 0 15 0 19 0 610108644 10815053824 106703 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12473] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12473/stat : 12473 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 610108644 10815053824 106705 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12474] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12474/stat : 12474 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 610108644 10815053824 106711 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12483] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12483/stat : 12483 (java) S 12435 12437 11597 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 610108674 10815053824 106713 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 10561576
[startup+3.10117 s]
/proc/loadavg: 3.72 4.69 5.37 3/193 12512
/proc/meminfo: memFree=31748484/32951124 swapFree=67055708/67111528
[pid=12437] ppid=12435 vsize=10561576 CPUtime=4.3 cores=1,3,5,7
/proc/12437/stat : 12437 (java) S 12435 12437 11597 0 -1 4202496 241849 0 1 0 401 29 0 0 25 0 19 0 610108639 10815053824 237357 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12437/statm: 2640394 237360 2229 9 0 2631128 0
[pid=12437/tid=12438] ppid=12435 vsize=10561576 CPUtime=3.08 cores=1,3,5,7
/proc/12437/task/12438/stat : 12438 (java) R 12435 12437 11597 0 -1 4202560 227770 0 1 0 282 26 0 0 18 0 19 0 610108639 10815053824 237361 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 46912505607760 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12437/tid=12445] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12445/stat : 12445 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 237363 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12446] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12446/stat : 12446 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 237365 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12447] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12447/stat : 12447 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 237366 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12448] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12448/stat : 12448 (java) S 12435 12437 11597 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 237368 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12449] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12449/stat : 12449 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 237369 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12450] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12450/stat : 12450 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 237370 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12451] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12451/stat : 12451 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 237372 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12452] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12452/stat : 12452 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 237373 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12457] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12457/stat : 12457 (java) S 12435 12437 11597 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 610108642 10815053824 237374 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 0 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12460] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12460/stat : 12460 (java) S 12435 12437 11597 0 -1 4202560 18 0 0 0 0 0 0 0 19 0 19 0 610108642 10815053824 237376 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12461] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12461/stat : 12461 (java) S 12435 12437 11597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 610108642 10815053824 237377 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12470] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12470/stat : 12470 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 610108644 10815053824 237378 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672485809 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12471] ppid=12435 vsize=10561576 CPUtime=0.52 cores=1,3,5,7
/proc/12437/task/12471/stat : 12471 (java) S 12435 12437 11597 0 -1 4202560 8175 0 0 0 51 1 0 0 15 0 19 0 610108644 10815053824 237379 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12472] ppid=12435 vsize=10561576 CPUtime=0.68 cores=1,3,5,7
/proc/12437/task/12472/stat : 12472 (java) R 12435 12437 11597 0 -1 4202560 4745 0 0 0 67 1 0 0 15 0 19 0 610108644 10815053824 237380 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 47886562913413 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12437/tid=12473] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12473/stat : 12473 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 610108644 10815053824 237381 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12474] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12474/stat : 12474 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 610108644 10815053824 237382 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12483] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12483/stat : 12483 (java) S 12435 12437 11597 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 610108674 10815053824 237383 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10561576
[startup+6.30061 s]
/proc/loadavg: 3.74 4.68 5.37 3/213 12596
/proc/meminfo: memFree=30370776/32951124 swapFree=67055708/67111528
[pid=12437] ppid=12435 vsize=10561576 CPUtime=7.62 cores=1,3,5,7
/proc/12437/stat : 12437 (java) S 12435 12437 11597 0 -1 4202496 587038 0 1 0 701 61 0 0 25 0 19 0 610108639 10815053824 581673 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12437/statm: 2640394 581675 2230 9 0 2631128 0
[pid=12437/tid=12438] ppid=12435 vsize=10561576 CPUtime=6.28 cores=1,3,5,7
/proc/12437/task/12438/stat : 12438 (java) R 12435 12437 11597 0 -1 4202560 572926 0 1 0 570 58 0 0 21 0 19 0 610108639 10815053824 581675 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 46912505607745 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12437/tid=12445] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12445/stat : 12445 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 581677 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12446] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12446/stat : 12446 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 581681 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12447] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12447/stat : 12447 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 581682 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12448] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12448/stat : 12448 (java) S 12435 12437 11597 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 581682 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12449] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12449/stat : 12449 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 581684 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12450] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12450/stat : 12450 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 581688 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12451] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12451/stat : 12451 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 581689 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12452] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12452/stat : 12452 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610108641 10815053824 581689 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12457] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12457/stat : 12457 (java) S 12435 12437 11597 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 610108642 10815053824 581689 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 0 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12460] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12460/stat : 12460 (java) S 12435 12437 11597 0 -1 4202560 18 0 0 0 0 0 0 0 19 0 19 0 610108642 10815053824 581694 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12461] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12461/stat : 12461 (java) S 12435 12437 11597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 610108642 10815053824 581696 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12470] ppid=12435 vsize=10561576 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12470/stat : 12470 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 610108644 10815053824 581696 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672485809 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12471] ppid=12435 vsize=10561576 CPUtime=0.53 cores=1,3,5,7
/proc/12437/task/12471/stat : 12471 (java) S 12435 12437 11597 0 -1 4202560 8177 0 0 0 52 1 0 0 15 0 19 0 610108644 10815053824 581696 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12472] ppid=12435 vsize=10561576 CPUtime=0.78 cores=1,3,5,7
/proc/12437/task/12472/stat : 12472 (java) S 12435 12437 11597 0 -1 4202560 4773 0 0 0 77 1 0 0 15 0 19 0 610108644 10815053824 581700 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/12437/task/12461/stat : 12461 (java) S 12435 12437 11597 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 610108642 10812628992 936538 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12470] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12470/stat : 12470 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 610108644 10812628992 936538 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672485809 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12471] ppid=12435 vsize=10559208 CPUtime=0.61 cores=1,3,5,7
/proc/12437/task/12471/stat : 12471 (java) S 12435 12437 11597 0 -1 4202560 8203 0 0 0 60 1 0 0 16 0 19 0 610108644 10812628992 936538 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12472] ppid=12435 vsize=10559208 CPUtime=1.4 cores=1,3,5,7
/proc/12437/task/12472/stat : 12472 (java) S 12435 12437 11597 0 -1 4202560 5393 0 0 0 139 1 0 0 16 0 19 0 610108644 10812628992 936538 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12473] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12473/stat : 12473 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 610108644 10812628992 936538 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12474] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12474/stat : 12474 (java) S 12435 12437 11597 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 610108644 10812628992 936538 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12483] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12483/stat : 12483 (java) S 12435 12437 11597 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 610108674 10812628992 936538 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.89
Current children cumulated vsize (KiB) 10559208
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.51 3/214 12654
/proc/meminfo: memFree=24876688/32951124 swapFree=67055708/67111528
[pid=12437] ppid=12435 vsize=10559208 CPUtime=1725.94 cores=1,3,5,7
/proc/12437/stat : 12437 (java) S 12435 12437 11597 0 -1 4202496 946030 0 1 0 172490 104 0 0 25 0 19 0 610108639 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12437/statm: 2639802 937064 2258 9 0 2630536 0
[pid=12437/tid=12438] ppid=12435 vsize=10559208 CPUtime=1721.22 cores=1,3,5,7
/proc/12437/task/12438/stat : 12438 (java) R 12435 12437 11597 0 -1 4202560 829835 0 1 0 172037 85 0 0 25 0 19 0 610108639 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 46912505788718 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12437/tid=12445] ppid=12435 vsize=10559208 CPUtime=0.24 cores=1,3,5,7
/proc/12437/task/12445/stat : 12445 (java) S 12435 12437 11597 0 -1 4202560 11939 0 0 0 23 1 0 0 15 0 19 0 610108641 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12446] ppid=12435 vsize=10559208 CPUtime=0.25 cores=1,3,5,7
/proc/12437/task/12446/stat : 12446 (java) S 12435 12437 11597 0 -1 4202560 14965 0 0 0 23 2 0 0 16 0 19 0 610108641 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12447] ppid=12435 vsize=10559208 CPUtime=0.27 cores=1,3,5,7
/proc/12437/task/12447/stat : 12447 (java) S 12435 12437 11597 0 -1 4202560 14183 0 0 0 26 1 0 0 16 0 19 0 610108641 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 1 0 0 0
[pid=12437/tid=12448] ppid=12435 vsize=10559208 CPUtime=0.28 cores=1,3,5,7
/proc/12437/task/12448/stat : 12448 (java) S 12435 12437 11597 0 -1 4202560 13296 0 0 0 27 1 0 0 15 0 19 0 610108641 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12449] ppid=12435 vsize=10559208 CPUtime=0.27 cores=1,3,5,7
/proc/12437/task/12449/stat : 12449 (java) S 12435 12437 11597 0 -1 4202560 12933 0 0 0 26 1 0 0 15 0 19 0 610108641 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12450] ppid=12435 vsize=10559208 CPUtime=0.26 cores=1,3,5,7
/proc/12437/task/12450/stat : 12450 (java) S 12435 12437 11597 0 -1 4202560 12282 0 0 0 24 2 0 0 16 0 19 0 610108641 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12451] ppid=12435 vsize=10559208 CPUtime=0.26 cores=1,3,5,7
/proc/12437/task/12451/stat : 12451 (java) S 12435 12437 11597 0 -1 4202560 11745 0 0 0 25 1 0 0 16 0 19 0 610108641 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12452] ppid=12435 vsize=10559208 CPUtime=0.28 cores=1,3,5,7
/proc/12437/task/12452/stat : 12452 (java) S 12435 12437 11597 0 -1 4202560 8852 0 0 0 27 1 0 0 15 0 19 0 610108641 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 1 0 0 0
[pid=12437/tid=12457] ppid=12435 vsize=10559208 CPUtime=0.46 cores=1,3,5,7
/proc/12437/task/12457/stat : 12457 (java) S 12435 12437 11597 0 -1 4202560 1151 0 0 0 46 0 0 0 15 0 19 0 610108642 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 0 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12460] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12460/stat : 12460 (java) S 12435 12437 11597 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 610108642 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12461] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12461/stat : 12461 (java) S 12435 12437 11597 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 610108642 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12470] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12470/stat : 12470 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 610108644 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672485809 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12471] ppid=12435 vsize=10559208 CPUtime=0.61 cores=1,3,5,7
/proc/12437/task/12471/stat : 12471 (java) S 12435 12437 11597 0 -1 4202560 8203 0 0 0 60 1 0 0 16 0 19 0 610108644 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12472] ppid=12435 vsize=10559208 CPUtime=1.4 cores=1,3,5,7
/proc/12437/task/12472/stat : 12472 (java) S 12435 12437 11597 0 -1 4202560 5393 0 0 0 139 1 0 0 16 0 19 0 610108644 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12473] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12473/stat : 12473 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 610108644 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12474] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12474/stat : 12474 (java) S 12435 12437 11597 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 610108644 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12483] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12483/stat : 12483 (java) S 12435 12437 11597 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 610108674 10812628992 937064 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.94
Current children cumulated vsize (KiB) 10559208
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.48 3/214 12656
/proc/meminfo: memFree=24872056/32951124 swapFree=67055708/67111528
[pid=12437] ppid=12435 vsize=10559208 CPUtime=1785.98 cores=1,3,5,7
/proc/12437/stat : 12437 (java) S 12435 12437 11597 0 -1 4202496 946555 0 1 0 178494 104 0 0 25 0 19 0 610108639 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12437/statm: 2639802 937558 2258 9 0 2630536 0
[pid=12437/tid=12438] ppid=12435 vsize=10559208 CPUtime=1781.21 cores=1,3,5,7
/proc/12437/task/12438/stat : 12438 (java) R 12435 12437 11597 0 -1 4202560 829837 0 1 0 178036 85 0 0 25 0 19 0 610108639 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 46912505788778 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12437/tid=12445] ppid=12435 vsize=10559208 CPUtime=0.25 cores=1,3,5,7
/proc/12437/task/12445/stat : 12445 (java) S 12435 12437 11597 0 -1 4202560 12015 0 0 0 24 1 0 0 16 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12446] ppid=12435 vsize=10559208 CPUtime=0.26 cores=1,3,5,7
/proc/12437/task/12446/stat : 12446 (java) S 12435 12437 11597 0 -1 4202560 15039 0 0 0 24 2 0 0 16 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12447] ppid=12435 vsize=10559208 CPUtime=0.28 cores=1,3,5,7
/proc/12437/task/12447/stat : 12447 (java) S 12435 12437 11597 0 -1 4202560 14256 0 0 0 27 1 0 0 15 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 1 0 0 0
[pid=12437/tid=12448] ppid=12435 vsize=10559208 CPUtime=0.29 cores=1,3,5,7
/proc/12437/task/12448/stat : 12448 (java) S 12435 12437 11597 0 -1 4202560 13368 0 0 0 28 1 0 0 15 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12449] ppid=12435 vsize=10559208 CPUtime=0.28 cores=1,3,5,7
/proc/12437/task/12449/stat : 12449 (java) S 12435 12437 11597 0 -1 4202560 13022 0 0 0 27 1 0 0 16 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12450] ppid=12435 vsize=10559208 CPUtime=0.26 cores=1,3,5,7
/proc/12437/task/12450/stat : 12450 (java) S 12435 12437 11597 0 -1 4202560 12282 0 0 0 24 2 0 0 15 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12451] ppid=12435 vsize=10559208 CPUtime=0.27 cores=1,3,5,7
/proc/12437/task/12451/stat : 12451 (java) S 12435 12437 11597 0 -1 4202560 11876 0 0 0 26 1 0 0 16 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 1 0 0 0
[pid=12437/tid=12452] ppid=12435 vsize=10559208 CPUtime=0.28 cores=1,3,5,7
/proc/12437/task/12452/stat : 12452 (java) S 12435 12437 11597 0 -1 4202560 8852 0 0 0 27 1 0 0 15 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 1 0 0 0
[pid=12437/tid=12457] ppid=12435 vsize=10559208 CPUtime=0.46 cores=1,3,5,7
/proc/12437/task/12457/stat : 12457 (java) S 12435 12437 11597 0 -1 4202560 1155 0 0 0 46 0 0 0 15 0 19 0 610108642 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 0 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12460] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12460/stat : 12460 (java) S 12435 12437 11597 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 610108642 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12461] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12461/stat : 12461 (java) S 12435 12437 11597 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 610108642 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12470] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12470/stat : 12470 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 610108644 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672485809 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12471] ppid=12435 vsize=10559208 CPUtime=0.61 cores=1,3,5,7
/proc/12437/task/12471/stat : 12471 (java) S 12435 12437 11597 0 -1 4202560 8203 0 0 0 60 1 0 0 16 0 19 0 610108644 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12472] ppid=12435 vsize=10559208 CPUtime=1.4 cores=1,3,5,7
/proc/12437/task/12472/stat : 12472 (java) S 12435 12437 11597 0 -1 4202560 5393 0 0 0 139 1 0 0 16 0 19 0 610108644 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12473] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12473/stat : 12473 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 610108644 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12474] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12474/stat : 12474 (java) S 12435 12437 11597 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 610108644 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12483] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12483/stat : 12483 (java) S 12435 12437 11597 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 610108674 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.98
Current children cumulated vsize (KiB) 10559208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.4 s]
/proc/loadavg: 2.05 2.01 2.47 3/214 12656
/proc/meminfo: memFree=24870932/32951124 swapFree=67055708/67111528
[pid=12437] ppid=12435 vsize=10559208 CPUtime=1800.08 cores=1,3,5,7
/proc/12437/stat : 12437 (java) S 12435 12437 11597 0 -1 4202496 946557 0 1 0 179904 104 0 0 25 0 19 0 610108639 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12437/statm: 2639802 937558 2258 9 0 2630536 0
[pid=12437/tid=12438] ppid=12435 vsize=10559208 CPUtime=1795.32 cores=1,3,5,7
/proc/12437/task/12438/stat : 12438 (java) R 12435 12437 11597 0 -1 4202560 829837 0 1 0 179447 85 0 0 25 0 19 0 610108639 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 46912505607664 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12437/tid=12445] ppid=12435 vsize=10559208 CPUtime=0.25 cores=1,3,5,7
/proc/12437/task/12445/stat : 12445 (java) S 12435 12437 11597 0 -1 4202560 12015 0 0 0 24 1 0 0 16 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
[pid=12437/tid=12446] ppid=12435 vsize=10559208 CPUtime=0.26 cores=1,3,5,7
/proc/12437/task/12446/stat : 12446 (java) S 12435 12437 11597 0 -1 4202560 15039 0 0 0 24 2 0 0 16 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12447] ppid=12435 vsize=10559208 CPUtime=0.28 cores=1,3,5,7
/proc/12437/task/12447/stat : 12447 (java) S 12435 12437 11597 0 -1 4202560 14256 0 0 0 27 1 0 0 15 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 1 0 0 0
[pid=12437/tid=12448] ppid=12435 vsize=10559208 CPUtime=0.29 cores=1,3,5,7
/proc/12437/task/12448/stat : 12448 (java) S 12435 12437 11597 0 -1 4202560 13368 0 0 0 28 1 0 0 15 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12449] ppid=12435 vsize=10559208 CPUtime=0.28 cores=1,3,5,7
/proc/12437/task/12449/stat : 12449 (java) S 12435 12437 11597 0 -1 4202560 13022 0 0 0 27 1 0 0 16 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12450] ppid=12435 vsize=10559208 CPUtime=0.26 cores=1,3,5,7
/proc/12437/task/12450/stat : 12450 (java) S 12435 12437 11597 0 -1 4202560 12282 0 0 0 24 2 0 0 15 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12451] ppid=12435 vsize=10559208 CPUtime=0.27 cores=1,3,5,7
/proc/12437/task/12451/stat : 12451 (java) S 12435 12437 11597 0 -1 4202560 11876 0 0 0 26 1 0 0 16 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 1 0 0 0
[pid=12437/tid=12452] ppid=12435 vsize=10559208 CPUtime=0.28 cores=1,3,5,7
/proc/12437/task/12452/stat : 12452 (java) S 12435 12437 11597 0 -1 4202560 8852 0 0 0 27 1 0 0 15 0 19 0 610108641 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 1 0 0 0
[pid=12437/tid=12457] ppid=12435 vsize=10559208 CPUtime=0.46 cores=1,3,5,7
/proc/12437/task/12457/stat : 12457 (java) S 12435 12437 11597 0 -1 4202560 1155 0 0 0 46 0 0 0 15 0 19 0 610108642 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 0 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12460] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12460/stat : 12460 (java) S 12435 12437 11597 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 610108642 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12461] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12461/stat : 12461 (java) S 12435 12437 11597 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 610108642 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12470] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12470/stat : 12470 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 610108644 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672485809 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12471] ppid=12435 vsize=10559208 CPUtime=0.61 cores=1,3,5,7
/proc/12437/task/12471/stat : 12471 (java) S 12435 12437 11597 0 -1 4202560 8203 0 0 0 60 1 0 0 16 0 19 0 610108644 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12472] ppid=12435 vsize=10559208 CPUtime=1.4 cores=1,3,5,7
/proc/12437/task/12472/stat : 12472 (java) S 12435 12437 11597 0 -1 4202560 5393 0 0 0 139 1 0 0 16 0 19 0 610108644 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12473] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12473/stat : 12473 (java) S 12435 12437 11597 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 610108644 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478105 0 4 0 16800975 18446604471160753088 0 0 -1 3 0 0 0
[pid=12437/tid=12474] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12474/stat : 12474 (java) S 12435 12437 11597 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 610108644 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 4 0 16800975 18446604471160753088 0 0 -1 5 0 0 0
[pid=12437/tid=12483] ppid=12435 vsize=10559208 CPUtime=0 cores=1,3,5,7
/proc/12437/task/12483/stat : 12483 (java) S 12435 12437 11597 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 610108674 10812628992 937558 33554432000 1073741824 1073778376 140735532741552 18446744073709551615 268672478720 0 4 0 16800975 18446604471160753088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10559208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.51 s]
/proc/loadavg: 2.05 2.01 2.47 3/214 12656
/proc/meminfo: memFree=24870932/32951124 swapFree=67055708/67111528
[pid=12437] ppid=12435 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/12437/stat : 12437 (java) Z 12435 12437 11597 0 -1 4203548 946593 0 1 0 179908 112 0 0 17 0 2 0 610108639 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12437/statm: 0 0 0 0 0 0 0
[pid=12437/tid=12461] ppid=12435 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/12437/task/12461/stat : 12461 (java) R 12435 12437 11597 0 -1 4203588 10 0 0 0 0 8 0 0 18 0 2 0 610108642 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.55
CPU time (s): 1800.25
CPU user time (s): 1799.08
CPU system time (s): 1.16982
CPU usage (%): 100.206
Max. virtual memory (cumulated for all children) (KiB): 10563440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.16982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 946593
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= 38727
involuntary context switches= 3483
runsolver used 3.06653 second user time and 6.74797 second system time
The end