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-3456416-1307658691/watcher-3456416-1307658691 -o /tmp/evaluation-result-3456416-1307658691/solver-3456416-1307658691 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456416-1307658691.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 1.98 1.98 3/193 14542
/proc/meminfo: memFree=30311356/32951132 swapFree=67054608/67111528
[pid=14542] ppid=14540 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/14542/stat : 14542 (java) R 14540 14542 11485 0 -1 4202496 1113 0 0 0 0 0 0 0 25 0 2 0 877468769 24580096 852 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274664864753 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/14542/statm: 6001 863 652 9 0 381 0
[pid=14542/tid=14543] ppid=14540 vsize=24008 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14543/stat : 14543 (java) R 14540 14542 11485 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 2 0 877468769 24584192 867 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274664808192 0 0 4096 0 0 0 0 -1 3 0 0 0
[startup+0.0430209 s]
/proc/loadavg: 1.93 1.98 1.98 3/193 14542
/proc/meminfo: memFree=30311356/32951132 swapFree=67054608/67111528
[pid=14542] ppid=14540 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/14542/stat : 14542 (java) S 14540 14542 11485 0 -1 4202496 11254 0 1 0 2 1 0 0 25 0 13 0 877468769 10718699520 10952 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14542/statm: 2616870 10952 1672 9 0 2607618 0
[pid=14542/tid=14543] ppid=14540 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/14542/task/14543/stat : 14543 (java) R 14540 14542 11485 0 -1 4202560 10108 0 1 0 2 1 0 0 25 0 13 0 877468769 10718699520 10952 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 46912505099412 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100981 s]
/proc/loadavg: 1.93 1.98 1.98 3/193 14542
/proc/meminfo: memFree=30311356/32951132 swapFree=67054608/67111528
[pid=14542] ppid=14540 vsize=10540176 CPUtime=0.1 cores=1,3,5,7
/proc/14542/stat : 14542 (java) S 14540 14542 11485 0 -1 4202496 13093 0 1 0 9 1 0 0 25 0 18 0 877468769 10793140224 12754 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14542/statm: 2635044 12755 2093 9 0 2625778 0
[pid=14542/tid=14543] ppid=14540 vsize=10540176 CPUtime=0.09 cores=1,3,5,7
/proc/14542/task/14543/stat : 14543 (java) R 14540 14542 11485 0 -1 4202560 11150 0 1 0 8 1 0 0 18 0 18 0 877468769 10793140224 12755 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 47231121819130 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540176
[startup+0.306983 s]
/proc/loadavg: 1.93 1.98 1.98 3/193 14542
/proc/meminfo: memFree=30311356/32951132 swapFree=67054608/67111528
[pid=14542] ppid=14540 vsize=10541652 CPUtime=0.59 cores=1,3,5,7
/proc/14542/stat : 14542 (java) S 14540 14542 11485 0 -1 4202496 19497 0 1 0 57 2 0 0 25 0 18 0 877468769 10794651648 18357 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14542/statm: 2635413 18360 2204 9 0 2626147 0
[pid=14542/tid=14543] ppid=14540 vsize=10541652 CPUtime=0.29 cores=1,3,5,7
/proc/14542/task/14543/stat : 14543 (java) R 14540 14542 11485 0 -1 4202560 15457 0 1 0 27 2 0 0 18 0 18 0 877468769 10794651648 18362 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 46912505613059 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10541652
[startup+0.700876 s]
/proc/loadavg: 1.93 1.98 1.98 3/193 14542
/proc/meminfo: memFree=30311356/32951132 swapFree=67054608/67111528
[pid=14542] ppid=14540 vsize=10542848 CPUtime=1.18 cores=1,3,5,7
/proc/14542/stat : 14542 (java) S 14540 14542 11485 0 -1 4202496 36294 0 1 0 114 4 0 0 25 0 19 0 877468769 10795876352 34833 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14542/statm: 2635712 34833 2217 9 0 2626446 0
[pid=14542/tid=14543] ppid=14540 vsize=10542848 CPUtime=0.69 cores=1,3,5,7
/proc/14542/task/14543/stat : 14543 (java) R 14540 14542 11485 0 -1 4202560 31857 0 1 0 65 4 0 0 19 0 19 0 877468769 10795876352 34833 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 46912505727083 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10542848
[startup+1.50074 s]
/proc/loadavg: 2.17 2.03 2.00 3/212 14561
/proc/meminfo: memFree=30061120/32951132 swapFree=67054608/67111528
[pid=14542] ppid=14540 vsize=10542660 CPUtime=2.21 cores=1,3,5,7
/proc/14542/stat : 14542 (java) S 14540 14542 11485 0 -1 4202496 40217 0 1 0 216 5 0 0 25 0 19 0 877468769 10795683840 38376 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14542/statm: 2635665 38376 2221 9 0 2626399 0
[pid=14542/tid=14543] ppid=14540 vsize=10542660 CPUtime=1.48 cores=1,3,5,7
/proc/14542/task/14543/stat : 14543 (java) R 14540 14542 11485 0 -1 4202560 35426 0 1 0 144 4 0 0 20 0 19 0 877468769 10795683840 38376 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 46912505691135 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14542/tid=14545] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14545/stat : 14545 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10795683840 38376 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14546] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14546/stat : 14546 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10795683840 38377 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14547] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14547/stat : 14547 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10795683840 38377 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14548] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14548/stat : 14548 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10795683840 38377 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14549] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14549/stat : 14549 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10795683840 38377 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14550] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14550/stat : 14550 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10795683840 38378 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14551] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14551/stat : 14551 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10795683840 38378 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14552] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14552/stat : 14552 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10795683840 38378 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14553] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14553/stat : 14553 (java) S 14540 14542 11485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877468772 10795683840 38378 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 0 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14554] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14554/stat : 14554 (java) S 14540 14542 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877468772 10795683840 38378 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14555] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14555/stat : 14555 (java) S 14540 14542 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877468772 10795683840 38379 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14556] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14556/stat : 14556 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468774 10795683840 38379 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676631985 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14557] ppid=14540 vsize=10542660 CPUtime=0.33 cores=1,3,5,7
/proc/14542/task/14557/stat : 14557 (java) S 14540 14542 11485 0 -1 4202560 1904 0 0 0 33 0 0 0 16 0 19 0 877468774 10795683840 38379 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 1 0 0 0
[pid=14542/tid=14558] ppid=14540 vsize=10542660 CPUtime=0.38 cores=1,3,5,7
/proc/14542/task/14558/stat : 14558 (java) S 14540 14542 11485 0 -1 4202560 1728 0 0 0 38 0 0 0 15 0 19 0 877468775 10795683840 38379 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14559] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14559/stat : 14559 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468775 10795683840 38379 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14560] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14560/stat : 14560 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877468775 10795683840 38379 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14561] ppid=14540 vsize=10542660 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14561/stat : 14561 (java) S 14540 14542 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877468829 10795683840 38380 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10542660
[startup+3.10146 s]
/proc/loadavg: 2.17 2.03 2.00 3/212 14561
/proc/meminfo: memFree=29867664/32951132 swapFree=67054608/67111528
[pid=14542] ppid=14540 vsize=10547308 CPUtime=3.97 cores=1,3,5,7
/proc/14542/stat : 14542 (java) S 14540 14542 11485 0 -1 4202496 108657 0 1 0 386 11 0 0 25 0 19 0 877468769 10800443392 105354 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14542/statm: 2636827 105358 2222 9 0 2627561 0
[pid=14542/tid=14543] ppid=14540 vsize=10547308 CPUtime=3.09 cores=1,3,5,7
/proc/14542/task/14543/stat : 14543 (java) R 14540 14542 11485 0 -1 4202560 101250 0 1 0 299 10 0 0 19 0 19 0 877468769 10800443392 105363 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 46912505577264 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14542/tid=14545] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14545/stat : 14545 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 105366 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14546] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14546/stat : 14546 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 105370 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14547] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14547/stat : 14547 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 105376 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14548] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14548/stat : 14548 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 105377 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14549] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14549/stat : 14549 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 105383 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14550] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14550/stat : 14550 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 105387 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14551] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14551/stat : 14551 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 105389 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14552] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14552/stat : 14552 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 105395 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14553] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14553/stat : 14553 (java) S 14540 14542 11485 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877468772 10800443392 105398 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 0 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14554] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14554/stat : 14554 (java) S 14540 14542 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877468772 10800443392 105401 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14555] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14555/stat : 14555 (java) S 14540 14542 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877468772 10800443392 105407 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14556] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14556/stat : 14556 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468774 10800443392 105409 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676631985 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14557] ppid=14540 vsize=10547308 CPUtime=0.39 cores=1,3,5,7
/proc/14542/task/14557/stat : 14557 (java) S 14540 14542 11485 0 -1 4202560 2606 0 0 0 39 0 0 0 15 0 19 0 877468774 10800443392 105414 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 1 0 0 0
[pid=14542/tid=14558] ppid=14540 vsize=10547308 CPUtime=0.47 cores=1,3,5,7
/proc/14542/task/14558/stat : 14558 (java) S 14540 14542 11485 0 -1 4202560 3652 0 0 0 47 0 0 0 15 0 19 0 877468775 10800443392 105419 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14559] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14559/stat : 14559 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468775 10800443392 105419 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14560] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14560/stat : 14560 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877468775 10800443392 105425 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14561] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14561/stat : 14561 (java) S 14540 14542 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877468829 10800443392 105430 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 10547308
[startup+6.30091 s]
/proc/loadavg: 2.16 2.03 2.00 3/212 14561
/proc/meminfo: memFree=28996064/32951132 swapFree=67054608/67111528
[pid=14542] ppid=14540 vsize=10547308 CPUtime=7.21 cores=1,3,5,7
/proc/14542/stat : 14542 (java) S 14540 14542 11485 0 -1 4202496 235795 0 1 0 696 25 0 0 25 0 19 0 877468769 10800443392 232384 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14542/statm: 2636827 232387 2224 9 0 2627561 0
[pid=14542/tid=14543] ppid=14540 vsize=10547308 CPUtime=6.28 cores=1,3,5,7
/proc/14542/task/14543/stat : 14543 (java) R 14540 14542 11485 0 -1 4202560 228296 0 1 0 605 23 0 0 25 0 19 0 877468769 10800443392 232389 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 46912505860091 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14542/tid=14545] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14545/stat : 14545 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 232392 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14546] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14546/stat : 14546 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 232397 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14547] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14547/stat : 14547 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 232399 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14548] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14548/stat : 14548 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 232403 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14549] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14549/stat : 14549 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 232408 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14550] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14550/stat : 14550 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 232414 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14551] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14551/stat : 14551 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 232415 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14552] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14552/stat : 14552 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468771 10800443392 232421 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14553] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14553/stat : 14553 (java) S 14540 14542 11485 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877468772 10800443392 232427 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 0 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14554] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14554/stat : 14554 (java) S 14540 14542 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877468772 10800443392 232429 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14555] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14555/stat : 14555 (java) S 14540 14542 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877468772 10800443392 232433 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14556] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14556/stat : 14556 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468774 10800443392 232439 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676631985 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14557] ppid=14540 vsize=10547308 CPUtime=0.42 cores=1,3,5,7
/proc/14542/task/14557/stat : 14557 (java) S 14540 14542 11485 0 -1 4202560 2682 0 0 0 42 0 0 0 15 0 19 0 877468774 10800443392 232443 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 1 0 0 0
[pid=14542/tid=14558] ppid=14540 vsize=10547308 CPUtime=0.48 cores=1,3,5,7
/proc/14542/task/14558/stat : 14558 (java) S 14540 14542 11485 0 -1 4202560 3662 0 0 0 48 0 0 0 15 0 19 0 877468775 10800443392 232445 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/14542/task/14555/stat : 14555 (java) S 14540 14542 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877468772 10800443392 947253 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14556] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14556/stat : 14556 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468774 10800443392 947253 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676631985 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14557] ppid=14540 vsize=10547308 CPUtime=0.66 cores=1,3,5,7
/proc/14542/task/14557/stat : 14557 (java) S 14540 14542 11485 0 -1 4202560 3459 0 0 0 66 0 0 0 15 0 19 0 877468774 10800443392 947253 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 1 0 0 0
[pid=14542/tid=14558] ppid=14540 vsize=10547308 CPUtime=0.51 cores=1,3,5,7
/proc/14542/task/14558/stat : 14558 (java) S 14540 14542 11485 0 -1 4202560 3666 0 0 0 51 0 0 0 15 0 19 0 877468775 10800443392 947253 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14559] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14559/stat : 14559 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468775 10800443392 947253 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14560] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14560/stat : 14560 (java) S 14540 14542 11485 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877468775 10800443392 947253 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14561] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14561/stat : 14561 (java) S 14540 14542 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877468829 10800443392 947253 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.21
Current children cumulated vsize (KiB) 10547308
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/212 14664
/proc/meminfo: memFree=25193392/32951132 swapFree=67054608/67111528
[pid=14542] ppid=14540 vsize=10547308 CPUtime=1726.39 cores=1,3,5,7
/proc/14542/stat : 14542 (java) S 14540 14542 11485 0 -1 4202496 960066 0 1 0 172531 108 0 0 25 0 19 0 877468769 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14542/statm: 2636827 953902 2243 9 0 2627561 0
[pid=14542/tid=14543] ppid=14540 vsize=10547308 CPUtime=1721.22 cores=1,3,5,7
/proc/14542/task/14543/stat : 14543 (java) R 14540 14542 11485 0 -1 4202560 821560 0 1 0 172033 89 0 0 25 0 19 0 877468769 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 46912505727346 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14542/tid=14545] ppid=14540 vsize=10547308 CPUtime=0.44 cores=1,3,5,7
/proc/14542/task/14545/stat : 14545 (java) S 14540 14542 11485 0 -1 4202560 11602 0 0 0 43 1 0 0 16 0 19 0 877468771 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14546] ppid=14540 vsize=10547308 CPUtime=0.47 cores=1,3,5,7
/proc/14542/task/14546/stat : 14546 (java) S 14540 14542 11485 0 -1 4202560 13896 0 0 0 46 1 0 0 15 0 19 0 877468771 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14547] ppid=14540 vsize=10547308 CPUtime=0.52 cores=1,3,5,7
/proc/14542/task/14547/stat : 14547 (java) S 14540 14542 11485 0 -1 4202560 16885 0 0 0 51 1 0 0 16 0 19 0 877468771 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14548] ppid=14540 vsize=10547308 CPUtime=0.47 cores=1,3,5,7
/proc/14542/task/14548/stat : 14548 (java) S 14540 14542 11485 0 -1 4202560 16931 0 0 0 45 2 0 0 15 0 19 0 877468771 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14549] ppid=14540 vsize=10547308 CPUtime=0.47 cores=1,3,5,7
/proc/14542/task/14549/stat : 14549 (java) S 14540 14542 11485 0 -1 4202560 15296 0 0 0 46 1 0 0 16 0 19 0 877468771 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 1 0 0 0
[pid=14542/tid=14550] ppid=14540 vsize=10547308 CPUtime=0.54 cores=1,3,5,7
/proc/14542/task/14550/stat : 14550 (java) S 14540 14542 11485 0 -1 4202560 21496 0 0 0 52 2 0 0 16 0 19 0 877468771 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14551] ppid=14540 vsize=10547308 CPUtime=0.47 cores=1,3,5,7
/proc/14542/task/14551/stat : 14551 (java) S 14540 14542 11485 0 -1 4202560 17005 0 0 0 45 2 0 0 15 0 19 0 877468771 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14552] ppid=14540 vsize=10547308 CPUtime=0.47 cores=1,3,5,7
/proc/14542/task/14552/stat : 14552 (java) S 14540 14542 11485 0 -1 4202560 16931 0 0 0 45 2 0 0 15 0 19 0 877468771 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14553] ppid=14540 vsize=10547308 CPUtime=0.01 cores=1,3,5,7
/proc/14542/task/14553/stat : 14553 (java) S 14540 14542 11485 0 -1 4202560 89 0 0 0 1 0 0 0 15 0 19 0 877468772 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 0 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14554] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14554/stat : 14554 (java) S 14540 14542 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877468772 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14555] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14555/stat : 14555 (java) S 14540 14542 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877468772 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14556] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14556/stat : 14556 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468774 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676631985 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14557] ppid=14540 vsize=10547308 CPUtime=0.66 cores=1,3,5,7
/proc/14542/task/14557/stat : 14557 (java) S 14540 14542 11485 0 -1 4202560 3459 0 0 0 66 0 0 0 15 0 19 0 877468774 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 1 0 0 0
[pid=14542/tid=14558] ppid=14540 vsize=10547308 CPUtime=0.51 cores=1,3,5,7
/proc/14542/task/14558/stat : 14558 (java) S 14540 14542 11485 0 -1 4202560 3666 0 0 0 51 0 0 0 15 0 19 0 877468775 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14559] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14559/stat : 14559 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468775 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14560] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14560/stat : 14560 (java) S 14540 14542 11485 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877468775 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14561] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14561/stat : 14561 (java) S 14540 14542 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877468829 10800443392 953902 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.39
Current children cumulated vsize (KiB) 10547308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/212 14675
/proc/meminfo: memFree=25187172/32951132 swapFree=67054608/67111528
[pid=14542] ppid=14540 vsize=10547308 CPUtime=1786.44 cores=1,3,5,7
/proc/14542/stat : 14542 (java) S 14540 14542 11485 0 -1 4202496 961203 0 1 0 178536 108 0 0 25 0 19 0 877468769 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14542/statm: 2636827 955016 2243 9 0 2627561 0
[pid=14542/tid=14543] ppid=14540 vsize=10547308 CPUtime=1781.21 cores=1,3,5,7
/proc/14542/task/14543/stat : 14543 (java) R 14540 14542 11485 0 -1 4202560 821561 0 1 0 178032 89 0 0 25 0 19 0 877468769 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 46912505727157 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14542/tid=14545] ppid=14540 vsize=10547308 CPUtime=0.46 cores=1,3,5,7
/proc/14542/task/14545/stat : 14545 (java) S 14540 14542 11485 0 -1 4202560 11903 0 0 0 45 1 0 0 16 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14546] ppid=14540 vsize=10547308 CPUtime=0.47 cores=1,3,5,7
/proc/14542/task/14546/stat : 14546 (java) S 14540 14542 11485 0 -1 4202560 13896 0 0 0 46 1 0 0 15 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14547] ppid=14540 vsize=10547308 CPUtime=0.52 cores=1,3,5,7
/proc/14542/task/14547/stat : 14547 (java) S 14540 14542 11485 0 -1 4202560 16885 0 0 0 51 1 0 0 15 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14548] ppid=14540 vsize=10547308 CPUtime=0.49 cores=1,3,5,7
/proc/14542/task/14548/stat : 14548 (java) S 14540 14542 11485 0 -1 4202560 17224 0 0 0 47 2 0 0 16 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14549] ppid=14540 vsize=10547308 CPUtime=0.49 cores=1,3,5,7
/proc/14542/task/14549/stat : 14549 (java) S 14540 14542 11485 0 -1 4202560 15568 0 0 0 48 1 0 0 16 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 1 0 0 0
[pid=14542/tid=14550] ppid=14540 vsize=10547308 CPUtime=0.54 cores=1,3,5,7
/proc/14542/task/14550/stat : 14550 (java) S 14540 14542 11485 0 -1 4202560 21496 0 0 0 52 2 0 0 15 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14551] ppid=14540 vsize=10547308 CPUtime=0.49 cores=1,3,5,7
/proc/14542/task/14551/stat : 14551 (java) S 14540 14542 11485 0 -1 4202560 17269 0 0 0 47 2 0 0 16 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14552] ppid=14540 vsize=10547308 CPUtime=0.47 cores=1,3,5,7
/proc/14542/task/14552/stat : 14552 (java) S 14540 14542 11485 0 -1 4202560 16931 0 0 0 45 2 0 0 15 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14553] ppid=14540 vsize=10547308 CPUtime=0.01 cores=1,3,5,7
/proc/14542/task/14553/stat : 14553 (java) S 14540 14542 11485 0 -1 4202560 91 0 0 0 1 0 0 0 15 0 19 0 877468772 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 0 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14554] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14554/stat : 14554 (java) S 14540 14542 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877468772 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14555] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14555/stat : 14555 (java) S 14540 14542 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877468772 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14556] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14556/stat : 14556 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468774 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676631985 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14557] ppid=14540 vsize=10547308 CPUtime=0.66 cores=1,3,5,7
/proc/14542/task/14557/stat : 14557 (java) S 14540 14542 11485 0 -1 4202560 3459 0 0 0 66 0 0 0 15 0 19 0 877468774 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 1 0 0 0
[pid=14542/tid=14558] ppid=14540 vsize=10547308 CPUtime=0.51 cores=1,3,5,7
/proc/14542/task/14558/stat : 14558 (java) S 14540 14542 11485 0 -1 4202560 3666 0 0 0 51 0 0 0 15 0 19 0 877468775 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14559] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14559/stat : 14559 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468775 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14560] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14560/stat : 14560 (java) S 14540 14542 11485 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877468775 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14561] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14561/stat : 14561 (java) S 14540 14542 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877468829 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.44
Current children cumulated vsize (KiB) 10547308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/212 14675
/proc/meminfo: memFree=25186964/32951132 swapFree=67054608/67111528
[pid=14542] ppid=14540 vsize=10547308 CPUtime=1800.05 cores=1,3,5,7
/proc/14542/stat : 14542 (java) S 14540 14542 11485 0 -1 4202496 961203 0 1 0 179897 108 0 0 25 0 19 0 877468769 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14542/statm: 2636827 955016 2243 9 0 2627561 0
[pid=14542/tid=14543] ppid=14540 vsize=10547308 CPUtime=1794.81 cores=1,3,5,7
/proc/14542/task/14543/stat : 14543 (java) R 14540 14542 11485 0 -1 4202560 821561 0 1 0 179392 89 0 0 25 0 19 0 877468769 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 46912505727336 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14542/tid=14545] ppid=14540 vsize=10547308 CPUtime=0.46 cores=1,3,5,7
/proc/14542/task/14545/stat : 14545 (java) S 14540 14542 11485 0 -1 4202560 11903 0 0 0 45 1 0 0 16 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14546] ppid=14540 vsize=10547308 CPUtime=0.47 cores=1,3,5,7
/proc/14542/task/14546/stat : 14546 (java) S 14540 14542 11485 0 -1 4202560 13896 0 0 0 46 1 0 0 15 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14547] ppid=14540 vsize=10547308 CPUtime=0.52 cores=1,3,5,7
/proc/14542/task/14547/stat : 14547 (java) S 14540 14542 11485 0 -1 4202560 16885 0 0 0 51 1 0 0 15 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14548] ppid=14540 vsize=10547308 CPUtime=0.49 cores=1,3,5,7
/proc/14542/task/14548/stat : 14548 (java) S 14540 14542 11485 0 -1 4202560 17224 0 0 0 47 2 0 0 16 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14549] ppid=14540 vsize=10547308 CPUtime=0.49 cores=1,3,5,7
/proc/14542/task/14549/stat : 14549 (java) S 14540 14542 11485 0 -1 4202560 15568 0 0 0 48 1 0 0 16 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 1 0 0 0
[pid=14542/tid=14550] ppid=14540 vsize=10547308 CPUtime=0.54 cores=1,3,5,7
/proc/14542/task/14550/stat : 14550 (java) S 14540 14542 11485 0 -1 4202560 21496 0 0 0 52 2 0 0 15 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14551] ppid=14540 vsize=10547308 CPUtime=0.49 cores=1,3,5,7
/proc/14542/task/14551/stat : 14551 (java) S 14540 14542 11485 0 -1 4202560 17269 0 0 0 47 2 0 0 16 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14552] ppid=14540 vsize=10547308 CPUtime=0.47 cores=1,3,5,7
/proc/14542/task/14552/stat : 14552 (java) S 14540 14542 11485 0 -1 4202560 16931 0 0 0 45 2 0 0 15 0 19 0 877468771 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14553] ppid=14540 vsize=10547308 CPUtime=0.01 cores=1,3,5,7
/proc/14542/task/14553/stat : 14553 (java) S 14540 14542 11485 0 -1 4202560 91 0 0 0 1 0 0 0 15 0 19 0 877468772 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 0 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14554] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14554/stat : 14554 (java) S 14540 14542 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877468772 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14555] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14555/stat : 14555 (java) S 14540 14542 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877468772 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
[pid=14542/tid=14556] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14556/stat : 14556 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468774 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676631985 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14557] ppid=14540 vsize=10547308 CPUtime=0.66 cores=1,3,5,7
/proc/14542/task/14557/stat : 14557 (java) S 14540 14542 11485 0 -1 4202560 3459 0 0 0 66 0 0 0 15 0 19 0 877468774 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 1 0 0 0
[pid=14542/tid=14558] ppid=14540 vsize=10547308 CPUtime=0.51 cores=1,3,5,7
/proc/14542/task/14558/stat : 14558 (java) S 14540 14542 11485 0 -1 4202560 3666 0 0 0 51 0 0 0 15 0 19 0 877468775 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14559] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14559/stat : 14559 (java) S 14540 14542 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877468775 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624281 0 4 0 16800975 18446604471006127104 0 0 -1 5 0 0 0
[pid=14542/tid=14560] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14560/stat : 14560 (java) S 14540 14542 11485 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877468775 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 4 0 16800975 18446604471006127104 0 0 -1 3 0 0 0
[pid=14542/tid=14561] ppid=14540 vsize=10547308 CPUtime=0 cores=1,3,5,7
/proc/14542/task/14561/stat : 14561 (java) S 14540 14542 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877468829 10800443392 955016 33554432000 1073741824 1073778376 140735450633776 18446744073709551615 274676624896 0 4 0 16800975 18446604471006127104 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10547308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.01 s]
/proc/loadavg: 2.00 2.01 2.00 3/212 14675
/proc/meminfo: memFree=25186964/32951132 swapFree=67054608/67111528
[pid=14542] ppid=14540 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/14542/stat : 14542 (java) Z 14540 14542 11485 0 -1 4203548 961233 0 1 0 179898 118 0 0 17 0 2 0 877468769 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14542/statm: 0 0 0 0 0 0 0
[pid=14542/tid=14561] ppid=14540 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/14542/task/14561/stat : 14561 (java) R 14540 14542 11485 0 -1 4203588 7 0 0 0 0 9 0 0 18 0 2 0 877468829 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.06
CPU time (s): 1800.22
CPU user time (s): 1798.99
CPU system time (s): 1.23181
CPU usage (%): 100.232
Max. virtual memory (cumulated for all children) (KiB): 10547308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.23181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 961233
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= 38894
involuntary context switches= 7152
runsolver used 3.03654 second user time and 6.79297 second system time
The end