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-3455745-1307228448/watcher-3455745-1307228448 -o /tmp/evaluation-result-3455745-1307228448/solver-3455745-1307228448 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455745-1307228448.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/523 18832
/proc/meminfo: memFree=26641340/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18832/stat : 18832 (java) S 18830 18832 17309 0 -1 4202496 4820 0 1 0 0 0 0 0 25 0 2 0 834447402 10694979584 4521 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 2611079 4534 917 9 0 2602235 0
[pid=18832/tid=18833] ppid=18830 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18833/stat : 18833 (java) R 18830 18832 17309 0 -1 4202560 5076 0 1 0 0 0 0 0 25 0 2 0 834447403 10694979584 5892 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.097947 s]
/proc/loadavg: 2.00 2.02 2.00 3/523 18832
/proc/meminfo: memFree=26641340/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=10540080 CPUtime=0.1 cores=0,2,4,6
/proc/18832/stat : 18832 (java) S 18830 18832 17309 0 -1 4202496 12958 0 1 0 9 1 0 0 25 0 18 0 834447402 10793041920 12654 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 2635020 12656 2092 9 0 2625754 0
[pid=18832/tid=18833] ppid=18830 vsize=10540080 CPUtime=0.08 cores=0,2,4,6
/proc/18832/task/18833/stat : 18833 (java) R 18830 18832 17309 0 -1 4202560 11073 0 1 0 7 1 0 0 25 0 18 0 834447403 10793041920 12657 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216634176545 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540080
[startup+0.10091 s]
/proc/loadavg: 2.00 2.02 2.00 3/523 18832
/proc/meminfo: memFree=26641340/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=10540080 CPUtime=0.1 cores=0,2,4,6
/proc/18832/stat : 18832 (java) S 18830 18832 17309 0 -1 4202496 12995 0 1 0 9 1 0 0 25 0 18 0 834447402 10793041920 12691 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 2635020 12691 2092 9 0 2625754 0
[pid=18832/tid=18833] ppid=18830 vsize=10540080 CPUtime=0.08 cores=0,2,4,6
/proc/18832/task/18833/stat : 18833 (java) R 18830 18832 17309 0 -1 4202560 11107 0 1 0 7 1 0 0 25 0 18 0 834447403 10793041920 12691 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 46912505223841 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540080
[startup+0.305912 s]
/proc/loadavg: 2.00 2.02 2.00 3/523 18832
/proc/meminfo: memFree=26641340/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=10542196 CPUtime=0.48 cores=0,2,4,6
/proc/18832/stat : 18832 (java) S 18830 18832 17309 0 -1 4202496 16043 0 1 0 47 1 0 0 25 0 18 0 834447402 10795208704 15516 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 2635549 15517 2201 9 0 2626283 0
[pid=18832/tid=18833] ppid=18830 vsize=10542196 CPUtime=0.28 cores=0,2,4,6
/proc/18832/task/18833/stat : 18833 (java) R 18830 18832 17309 0 -1 4202560 13102 0 1 0 27 1 0 0 18 0 18 0 834447403 10795208704 15517 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542196
[startup+0.700954 s]
/proc/loadavg: 2.00 2.02 2.00 3/523 18832
/proc/meminfo: memFree=26641340/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=10545384 CPUtime=1.2 cores=0,2,4,6
/proc/18832/stat : 18832 (java) S 18830 18832 17309 0 -1 4202496 52039 0 1 0 113 7 0 0 25 0 19 0 834447402 10798473216 49933 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 2636346 49933 2222 9 0 2627080 0
[pid=18832/tid=18833] ppid=18830 vsize=10545384 CPUtime=0.68 cores=0,2,4,6
/proc/18832/task/18833/stat : 18833 (java) R 18830 18832 17309 0 -1 4202560 46135 0 1 0 62 6 0 0 19 0 19 0 834447403 10798473216 49933 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 46912505629164 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10545384
[startup+1.50073 s]
/proc/loadavg: 2.00 2.02 2.00 5/542 18851
/proc/meminfo: memFree=26429776/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=10555080 CPUtime=3.14 cores=0,2,4,6
/proc/18832/stat : 18832 (java) S 18830 18832 17309 0 -1 4202496 89357 0 1 0 302 12 0 0 25 0 19 0 834447402 10808401920 84641 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 2638770 84643 2240 9 0 2629504 0
[pid=18832/tid=18833] ppid=18830 vsize=10555080 CPUtime=1.48 cores=0,2,4,6
/proc/18832/task/18833/stat : 18833 (java) R 18830 18832 17309 0 -1 4202560 75453 0 1 0 138 10 0 0 20 0 19 0 834447403 10808401920 84644 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 46912505888718 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18832/tid=18835] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18835/stat : 18835 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 84646 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18836] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18836/stat : 18836 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 84647 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18837] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18837/stat : 18837 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 84648 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18838] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18838/stat : 18838 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 84649 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 4 0 0 0
[pid=18832/tid=18839] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18839/stat : 18839 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 84650 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18840] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18840/stat : 18840 (java) S 18830 18832 17309 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 84651 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18841] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18841/stat : 18841 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 84652 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18842] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18842/stat : 18842 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 84655 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18843] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18843/stat : 18843 (java) S 18830 18832 17309 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834447406 10808401920 84659 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 0 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18844] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18844/stat : 18844 (java) S 18830 18832 17309 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834447406 10808401920 84661 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18845] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18845/stat : 18845 (java) S 18830 18832 17309 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834447406 10808401920 84663 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18846] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18846/stat : 18846 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834447408 10808401920 84665 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646338993 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18847] ppid=18830 vsize=10555080 CPUtime=0.78 cores=0,2,4,6
/proc/18832/task/18847/stat : 18847 (java) S 18830 18832 17309 0 -1 4202560 5617 0 0 0 78 0 0 0 20 0 19 0 834447408 10808401920 84667 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18848] ppid=18830 vsize=10555080 CPUtime=0.85 cores=0,2,4,6
/proc/18832/task/18848/stat : 18848 (java) S 18830 18832 17309 0 -1 4202560 7128 0 0 0 84 1 0 0 15 0 19 0 834447408 10808401920 84668 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18849] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18849/stat : 18849 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834447408 10808401920 84670 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18850] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18850/stat : 18850 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834447408 10808401920 84672 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18851] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18851/stat : 18851 (java) S 18830 18832 17309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834447472 10808401920 84673 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 10555080
[startup+3.10145 s]
/proc/loadavg: 2.00 2.02 2.00 3/542 18851
/proc/meminfo: memFree=26129812/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=10555080 CPUtime=4.81 cores=0,2,4,6
/proc/18832/stat : 18832 (java) S 18830 18832 17309 0 -1 4202496 214164 0 1 0 455 26 0 0 25 0 19 0 834447402 10808401920 209447 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 2638770 209450 2240 9 0 2629504 0
[pid=18832/tid=18833] ppid=18830 vsize=10555080 CPUtime=3.08 cores=0,2,4,6
/proc/18832/task/18833/stat : 18833 (java) R 18830 18832 17309 0 -1 4202560 200256 0 1 0 284 24 0 0 25 0 19 0 834447403 10808401920 209452 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 46912505947476 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18832/tid=18835] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18835/stat : 18835 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 209454 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18836] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18836/stat : 18836 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 209456 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18837] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18837/stat : 18837 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 209458 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18838] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18838/stat : 18838 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 209460 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 4 0 0 0
[pid=18832/tid=18839] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18839/stat : 18839 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 209462 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18840] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18840/stat : 18840 (java) S 18830 18832 17309 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 209464 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18841] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18841/stat : 18841 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 209466 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18842] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18842/stat : 18842 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 209468 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18843] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18843/stat : 18843 (java) S 18830 18832 17309 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834447406 10808401920 209470 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 0 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18844] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18844/stat : 18844 (java) S 18830 18832 17309 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834447406 10808401920 209472 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18845] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18845/stat : 18845 (java) S 18830 18832 17309 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834447406 10808401920 209474 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18846] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18846/stat : 18846 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834447408 10808401920 209476 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646338993 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18847] ppid=18830 vsize=10555080 CPUtime=0.79 cores=0,2,4,6
/proc/18832/task/18847/stat : 18847 (java) S 18830 18832 17309 0 -1 4202560 5617 0 0 0 79 0 0 0 15 0 19 0 834447408 10808401920 209479 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18848] ppid=18830 vsize=10555080 CPUtime=0.92 cores=0,2,4,6
/proc/18832/task/18848/stat : 18848 (java) S 18830 18832 17309 0 -1 4202560 7133 0 0 0 91 1 0 0 15 0 19 0 834447408 10808401920 209481 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18849] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18849/stat : 18849 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834447408 10808401920 209483 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18850] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18850/stat : 18850 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834447408 10808401920 209485 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18851] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18851/stat : 18851 (java) S 18830 18832 17309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834447472 10808401920 209488 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 10555080
[startup+6.3009 s]
/proc/loadavg: 2.00 2.02 2.00 3/542 18851
/proc/meminfo: memFree=25073756/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=10555080 CPUtime=8.03 cores=0,2,4,6
/proc/18832/stat : 18832 (java) S 18830 18832 17309 0 -1 4202496 468765 0 1 0 750 53 0 0 25 0 19 0 834447402 10808401920 463319 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 2638770 463323 2240 9 0 2629504 0
[pid=18832/tid=18833] ppid=18830 vsize=10555080 CPUtime=6.28 cores=0,2,4,6
/proc/18832/task/18833/stat : 18833 (java) R 18830 18832 17309 0 -1 4202560 454855 0 1 0 577 51 0 0 21 0 19 0 834447403 10808401920 463324 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 46912505947416 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18832/tid=18835] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18835/stat : 18835 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 463325 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18836] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18836/stat : 18836 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 463328 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18837] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18837/stat : 18837 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 463330 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18838] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18838/stat : 18838 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 463331 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 4 0 0 0
[pid=18832/tid=18839] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18839/stat : 18839 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 463333 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18840] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18840/stat : 18840 (java) S 18830 18832 17309 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 463335 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18841] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18841/stat : 18841 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 463337 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18842] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18842/stat : 18842 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834447405 10808401920 463339 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18843] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18843/stat : 18843 (java) S 18830 18832 17309 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834447406 10808401920 463341 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 0 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18844] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18844/stat : 18844 (java) S 18830 18832 17309 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834447406 10808401920 463342 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18845] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18845/stat : 18845 (java) S 18830 18832 17309 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834447406 10808401920 463344 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18846] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18846/stat : 18846 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834447408 10808401920 463346 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646338993 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18847] ppid=18830 vsize=10555080 CPUtime=0.79 cores=0,2,4,6
/proc/18832/task/18847/stat : 18847 (java) S 18830 18832 17309 0 -1 4202560 5617 0 0 0 79 0 0 0 15 0 19 0 834447408 10808401920 463348 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18848] ppid=18830 vsize=10555080 CPUtime=0.94 cores=0,2,4,6
/proc/18832/task/18848/stat : 18848 (java) S 18830 18832 17309 0 -1 4202560 7135 0 0 0 93 1 0 0 15 0 19 0 834447408 10808401920 463350 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=18832/tid=18851] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18851/stat : 18851 (java) S 18830 18832 17309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834447472 10808401920 949244 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.87
Current children cumulated vsize (KiB) 10555080
[startup+1722.3 s]
/proc/loadavg: 2.10 2.10 2.02 3/542 19003
/proc/meminfo: memFree=22730884/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=10555080 CPUtime=1728.02 cores=0,2,4,6
/proc/18832/stat : 18832 (java) S 18830 18832 17309 0 -1 4202496 959187 0 1 0 172693 109 0 0 25 0 19 0 834447402 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 2638770 951405 2269 9 0 2629504 0
[pid=18832/tid=18833] ppid=18830 vsize=10555080 CPUtime=1719.72 cores=0,2,4,6
/proc/18832/task/18833/stat : 18833 (java) R 18830 18832 17309 0 -1 4202560 820561 0 1 0 171882 90 0 0 25 0 19 0 834447403 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 46912505947570 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18832/tid=18835] ppid=18830 vsize=10555080 CPUtime=0.62 cores=0,2,4,6
/proc/18832/task/18835/stat : 18835 (java) S 18830 18832 17309 0 -1 4202560 15236 0 0 0 60 2 0 0 16 0 19 0 834447405 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18836] ppid=18830 vsize=10555080 CPUtime=0.65 cores=0,2,4,6
/proc/18832/task/18836/stat : 18836 (java) S 18830 18832 17309 0 -1 4202560 16448 0 0 0 64 1 0 0 15 0 19 0 834447405 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18837] ppid=18830 vsize=10555080 CPUtime=0.63 cores=0,2,4,6
/proc/18832/task/18837/stat : 18837 (java) S 18830 18832 17309 0 -1 4202560 12283 0 0 0 63 0 0 0 15 0 19 0 834447405 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18838] ppid=18830 vsize=10555080 CPUtime=0.68 cores=0,2,4,6
/proc/18832/task/18838/stat : 18838 (java) S 18830 18832 17309 0 -1 4202560 15275 0 0 0 66 2 0 0 15 0 19 0 834447405 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 4 0 0 0
[pid=18832/tid=18839] ppid=18830 vsize=10555080 CPUtime=0.72 cores=0,2,4,6
/proc/18832/task/18839/stat : 18839 (java) S 18830 18832 17309 0 -1 4202560 16287 0 0 0 70 2 0 0 15 0 19 0 834447405 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18840] ppid=18830 vsize=10555080 CPUtime=0.73 cores=0,2,4,6
/proc/18832/task/18840/stat : 18840 (java) S 18830 18832 17309 0 -1 4202560 14484 0 0 0 71 2 0 0 16 0 19 0 834447405 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18841] ppid=18830 vsize=10555080 CPUtime=0.78 cores=0,2,4,6
/proc/18832/task/18841/stat : 18841 (java) S 18830 18832 17309 0 -1 4202560 20968 0 0 0 77 1 0 0 16 0 19 0 834447405 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 4 0 0 0
[pid=18832/tid=18842] ppid=18830 vsize=10555080 CPUtime=0.68 cores=0,2,4,6
/proc/18832/task/18842/stat : 18842 (java) S 18830 18832 17309 0 -1 4202560 10579 0 0 0 67 1 0 0 16 0 19 0 834447405 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18843] ppid=18830 vsize=10555080 CPUtime=0.75 cores=0,2,4,6
/proc/18832/task/18843/stat : 18843 (java) S 18830 18832 17309 0 -1 4202560 3037 0 0 0 74 1 0 0 15 0 19 0 834447406 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 0 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18844] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18844/stat : 18844 (java) S 18830 18832 17309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834447406 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18845] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18845/stat : 18845 (java) S 18830 18832 17309 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834447406 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18846] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18846/stat : 18846 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834447408 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646338993 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18847] ppid=18830 vsize=10555080 CPUtime=0.83 cores=0,2,4,6
/proc/18832/task/18847/stat : 18847 (java) S 18830 18832 17309 0 -1 4202560 5622 0 0 0 83 0 0 0 16 0 19 0 834447408 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18848] ppid=18830 vsize=10555080 CPUtime=1.11 cores=0,2,4,6
/proc/18832/task/18848/stat : 18848 (java) S 18830 18832 17309 0 -1 4202560 7159 0 0 0 110 1 0 0 15 0 19 0 834447408 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18849] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18849/stat : 18849 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834447408 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18850] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18850/stat : 18850 (java) S 18830 18832 17309 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834447408 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18851] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18851/stat : 18851 (java) S 18830 18832 17309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834447472 10808401920 951405 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1728.02
Current children cumulated vsize (KiB) 10555080
[startup+1782.3 s]
/proc/loadavg: 2.07 2.09 2.02 3/542 19005
/proc/meminfo: memFree=22716816/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=10555080 CPUtime=1788.15 cores=0,2,4,6
/proc/18832/stat : 18832 (java) S 18830 18832 17309 0 -1 4202496 960781 0 1 0 178706 109 0 0 25 0 19 0 834447402 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 2638770 952939 2269 9 0 2629504 0
[pid=18832/tid=18833] ppid=18830 vsize=10555080 CPUtime=1779.65 cores=0,2,4,6
/proc/18832/task/18833/stat : 18833 (java) R 18830 18832 17309 0 -1 4202560 820565 0 1 0 177875 90 0 0 25 0 19 0 834447403 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 46912505923119 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18832/tid=18835] ppid=18830 vsize=10555080 CPUtime=0.65 cores=0,2,4,6
/proc/18832/task/18835/stat : 18835 (java) S 18830 18832 17309 0 -1 4202560 15498 0 0 0 63 2 0 0 15 0 19 0 834447405 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18836] ppid=18830 vsize=10555080 CPUtime=0.68 cores=0,2,4,6
/proc/18832/task/18836/stat : 18836 (java) S 18830 18832 17309 0 -1 4202560 16672 0 0 0 67 1 0 0 16 0 19 0 834447405 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18837] ppid=18830 vsize=10555080 CPUtime=0.69 cores=0,2,4,6
/proc/18832/task/18837/stat : 18837 (java) S 18830 18832 17309 0 -1 4202560 12753 0 0 0 69 0 0 0 16 0 19 0 834447405 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18838] ppid=18830 vsize=10555080 CPUtime=0.69 cores=0,2,4,6
/proc/18832/task/18838/stat : 18838 (java) S 18830 18832 17309 0 -1 4202560 15460 0 0 0 67 2 0 0 15 0 19 0 834447405 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 4 0 0 0
[pid=18832/tid=18839] ppid=18830 vsize=10555080 CPUtime=0.72 cores=0,2,4,6
/proc/18832/task/18839/stat : 18839 (java) S 18830 18832 17309 0 -1 4202560 16287 0 0 0 70 2 0 0 15 0 19 0 834447405 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18840] ppid=18830 vsize=10555080 CPUtime=0.74 cores=0,2,4,6
/proc/18832/task/18840/stat : 18840 (java) S 18830 18832 17309 0 -1 4202560 14484 0 0 0 72 2 0 0 15 0 19 0 834447405 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18841] ppid=18830 vsize=10555080 CPUtime=0.82 cores=0,2,4,6
/proc/18832/task/18841/stat : 18841 (java) S 18830 18832 17309 0 -1 4202560 21296 0 0 0 81 1 0 0 15 0 19 0 834447405 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18842] ppid=18830 vsize=10555080 CPUtime=0.7 cores=0,2,4,6
/proc/18832/task/18842/stat : 18842 (java) S 18830 18832 17309 0 -1 4202560 10692 0 0 0 69 1 0 0 16 0 19 0 834447405 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18843] ppid=18830 vsize=10555080 CPUtime=0.75 cores=0,2,4,6
/proc/18832/task/18843/stat : 18843 (java) S 18830 18832 17309 0 -1 4202560 3041 0 0 0 74 1 0 0 15 0 19 0 834447406 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 0 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18844] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18844/stat : 18844 (java) S 18830 18832 17309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834447406 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18845] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18845/stat : 18845 (java) S 18830 18832 17309 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834447406 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18846] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18846/stat : 18846 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834447408 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646338993 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18847] ppid=18830 vsize=10555080 CPUtime=0.83 cores=0,2,4,6
/proc/18832/task/18847/stat : 18847 (java) S 18830 18832 17309 0 -1 4202560 5622 0 0 0 83 0 0 0 16 0 19 0 834447408 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18848] ppid=18830 vsize=10555080 CPUtime=1.11 cores=0,2,4,6
/proc/18832/task/18848/stat : 18848 (java) S 18830 18832 17309 0 -1 4202560 7159 0 0 0 110 1 0 0 15 0 19 0 834447408 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18849] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18849/stat : 18849 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834447408 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18850] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18850/stat : 18850 (java) S 18830 18832 17309 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 834447408 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18851] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18851/stat : 18851 (java) S 18830 18832 17309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834447472 10808401920 952939 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.15
Current children cumulated vsize (KiB) 10555080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.12 s]
/proc/loadavg: 2.06 2.08 2.02 3/542 19005
/proc/meminfo: memFree=22713700/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=10555080 CPUtime=1800.02 cores=0,2,4,6
/proc/18832/stat : 18832 (java) S 18830 18832 17309 0 -1 4202496 961365 0 1 0 179893 109 0 0 25 0 19 0 834447402 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 2638770 953509 2269 9 0 2629504 0
[pid=18832/tid=18833] ppid=18830 vsize=10555080 CPUtime=1791.47 cores=0,2,4,6
/proc/18832/task/18833/stat : 18833 (java) R 18830 18832 17309 0 -1 4202560 820566 0 1 0 179057 90 0 0 25 0 19 0 834447403 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 46912506304321 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18832/tid=18835] ppid=18830 vsize=10555080 CPUtime=0.66 cores=0,2,4,6
/proc/18832/task/18835/stat : 18835 (java) S 18830 18832 17309 0 -1 4202560 15700 0 0 0 64 2 0 0 16 0 19 0 834447405 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18836] ppid=18830 vsize=10555080 CPUtime=0.69 cores=0,2,4,6
/proc/18832/task/18836/stat : 18836 (java) S 18830 18832 17309 0 -1 4202560 16821 0 0 0 68 1 0 0 16 0 19 0 834447405 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18837] ppid=18830 vsize=10555080 CPUtime=0.69 cores=0,2,4,6
/proc/18832/task/18837/stat : 18837 (java) S 18830 18832 17309 0 -1 4202560 12753 0 0 0 69 0 0 0 15 0 19 0 834447405 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18838] ppid=18830 vsize=10555080 CPUtime=0.71 cores=0,2,4,6
/proc/18832/task/18838/stat : 18838 (java) S 18830 18832 17309 0 -1 4202560 15692 0 0 0 69 2 0 0 16 0 19 0 834447405 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 4 0 0 0
[pid=18832/tid=18839] ppid=18830 vsize=10555080 CPUtime=0.72 cores=0,2,4,6
/proc/18832/task/18839/stat : 18839 (java) S 18830 18832 17309 0 -1 4202560 16287 0 0 0 70 2 0 0 15 0 19 0 834447405 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18840] ppid=18830 vsize=10555080 CPUtime=0.74 cores=0,2,4,6
/proc/18832/task/18840/stat : 18840 (java) S 18830 18832 17309 0 -1 4202560 14484 0 0 0 72 2 0 0 15 0 19 0 834447405 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18841] ppid=18830 vsize=10555080 CPUtime=0.82 cores=0,2,4,6
/proc/18832/task/18841/stat : 18841 (java) S 18830 18832 17309 0 -1 4202560 21296 0 0 0 81 1 0 0 15 0 19 0 834447405 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
[pid=18832/tid=18842] ppid=18830 vsize=10555080 CPUtime=0.7 cores=0,2,4,6
/proc/18832/task/18842/stat : 18842 (java) S 18830 18832 17309 0 -1 4202560 10692 0 0 0 69 1 0 0 15 0 19 0 834447405 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18843] ppid=18830 vsize=10555080 CPUtime=0.75 cores=0,2,4,6
/proc/18832/task/18843/stat : 18843 (java) S 18830 18832 17309 0 -1 4202560 3041 0 0 0 74 1 0 0 15 0 19 0 834447406 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 0 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18844] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18844/stat : 18844 (java) S 18830 18832 17309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834447406 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18845] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18845/stat : 18845 (java) S 18830 18832 17309 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834447406 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18846] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18846/stat : 18846 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834447408 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646338993 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18847] ppid=18830 vsize=10555080 CPUtime=0.83 cores=0,2,4,6
/proc/18832/task/18847/stat : 18847 (java) S 18830 18832 17309 0 -1 4202560 5622 0 0 0 83 0 0 0 16 0 19 0 834447408 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18848] ppid=18830 vsize=10555080 CPUtime=1.11 cores=0,2,4,6
/proc/18832/task/18848/stat : 18848 (java) S 18830 18832 17309 0 -1 4202560 7159 0 0 0 110 1 0 0 15 0 19 0 834447408 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18849] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18849/stat : 18849 (java) S 18830 18832 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834447408 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331289 0 4 0 16800975 18446604453976596928 0 0 -1 2 0 0 0
[pid=18832/tid=18850] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18850/stat : 18850 (java) S 18830 18832 17309 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 834447408 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 4 0 16800975 18446604453976596928 0 0 -1 0 0 0 0
[pid=18832/tid=18851] ppid=18830 vsize=10555080 CPUtime=0 cores=0,2,4,6
/proc/18832/task/18851/stat : 18851 (java) S 18830 18832 17309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834447472 10808401920 953509 33554432000 1073741824 1073778376 140736530474992 18446744073709551615 216646331904 0 4 0 16800975 18446604453976596928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10555080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.22 s]
/proc/loadavg: 2.06 2.08 2.02 3/542 19005
/proc/meminfo: memFree=22713700/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=0 CPUtime=1800.15 cores=0,2,4,6
/proc/18832/stat : 18832 (java) Z 18830 18832 17309 0 -1 4203548 961396 0 1 0 179902 113 0 0 17 0 2 0 834447402 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 0 0 0 0 0 0 0
[pid=18832/tid=18838] ppid=18830 vsize=0 CPUtime=0.75 cores=0,2,4,6
/proc/18832/task/18838/stat : 18838 (java) R 18830 18832 17309 0 -1 4203588 15692 0 0 0 69 6 0 0 15 0 2 0 834447405 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
[startup+1794.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/542 19005
/proc/meminfo: memFree=22713700/32951124 swapFree=51712236/67111528
[pid=18832] ppid=18830 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/18832/stat : 18832 (java) Z 18830 18832 17309 0 -1 4203548 961396 0 1 0 179902 121 0 0 17 0 2 0 834447402 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18832/statm: 0 0 0 0 0 0 0
[pid=18832/tid=18838] ppid=18830 vsize=0 CPUtime=0.82 cores=0,2,4,6
/proc/18832/task/18838/stat : 18838 (java) R 18830 18832 17309 0 -1 4203588 15692 0 0 0 69 13 0 0 15 0 2 0 834447405 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.33
CPU time (s): 1800.26
CPU user time (s): 1799.02
CPU system time (s): 1.23781
CPU usage (%): 100.331
Max. virtual memory (cumulated for all children) (KiB): 10555080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.23781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 961396
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= 39958
involuntary context switches= 7346
runsolver used 10.1385 second user time and 20.5029 second system time
The end