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-3478849-1307440386/watcher-3478849-1307440386 -o /tmp/evaluation-result-3478849-1307440386/solver-3478849-1307440386 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3478849-1307440386.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: 2.04 2.05 1.97 2/453 22601
/proc/meminfo: memFree=19378968/32951124 swapFree=60787360/67111528
[pid=22601] ppid=22599 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/22601/stat : 22601 (java) S 22599 22601 22246 0 -1 4202496 4717 0 1 0 0 0 0 0 24 0 2 0 855636610 13850947584 4418 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22601/statm: 3381579 4431 917 9 0 3372735 0
[pid=22601/tid=22602] ppid=22599 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22602/stat : 22602 (java) R 22599 22601 22246 0 -1 4202560 5388 0 1 0 0 0 0 0 25 0 2 0 855636610 13850947584 6205 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0770501 s]
/proc/loadavg: 2.04 2.05 1.97 2/453 22601
/proc/meminfo: memFree=19378968/32951124 swapFree=60787360/67111528
[pid=22601] ppid=22599 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/22601/stat : 22601 (java) S 22599 22601 22246 0 -1 4202496 14416 0 1 0 5 1 0 0 24 0 18 0 855636610 13880410112 14112 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22601/statm: 3388772 14113 1754 9 0 3379506 0
[pid=22601/tid=22602] ppid=22599 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/22601/task/22602/stat : 22602 (java) R 22599 22601 22246 0 -1 4202560 13241 0 1 0 5 1 0 0 25 0 18 0 855636610 13880410112 14113 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389128139 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088
[startup+0.101046 s]
/proc/loadavg: 2.04 2.05 1.97 2/453 22601
/proc/meminfo: memFree=19378968/32951124 swapFree=60787360/67111528
[pid=22601] ppid=22599 vsize=13622308 CPUtime=0.1 cores=1,3,5,7
/proc/22601/stat : 22601 (java) S 22599 22601 22246 0 -1 4202496 15535 0 1 0 9 1 0 0 24 0 18 0 855636610 13949243392 15231 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22601/statm: 3405577 15233 2092 9 0 3396311 0
[pid=22601/tid=22602] ppid=22599 vsize=13622308 CPUtime=0.08 cores=1,3,5,7
/proc/22601/task/22602/stat : 22602 (java) R 22599 22601 22246 0 -1 4202560 13634 0 1 0 7 1 0 0 25 0 18 0 855636610 13949243392 15233 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 46912496197416 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622308
[startup+0.300966 s]
/proc/loadavg: 2.04 2.05 1.97 2/453 22601
/proc/meminfo: memFree=19378968/32951124 swapFree=60787360/67111528
[pid=22601] ppid=22599 vsize=13624812 CPUtime=0.48 cores=1,3,5,7
/proc/22601/stat : 22601 (java) S 22599 22601 22246 0 -1 4202496 19925 0 1 0 46 2 0 0 24 0 18 0 855636610 13951807488 19285 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22601/statm: 3406203 19286 2201 9 0 3396937 0
[pid=22601/tid=22602] ppid=22599 vsize=13624812 CPUtime=0.28 cores=1,3,5,7
/proc/22601/task/22602/stat : 22602 (java) R 22599 22601 22246 0 -1 4202560 16938 0 1 0 27 1 0 0 25 0 18 0 855636610 13951807488 19286 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 46912505563929 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13624812
[startup+0.700929 s]
/proc/loadavg: 2.04 2.05 1.97 2/453 22601
/proc/meminfo: memFree=19378968/32951124 swapFree=60787360/67111528
[pid=22601] ppid=22599 vsize=13639660 CPUtime=1.44 cores=1,3,5,7
/proc/22601/stat : 22601 (java) S 22599 22601 22246 0 -1 4202496 67046 0 1 0 136 8 0 0 24 0 18 0 855636610 13967011840 61707 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22601/statm: 3409915 61712 2215 9 0 3400649 0
[pid=22601/tid=22602] ppid=22599 vsize=13639660 CPUtime=0.68 cores=1,3,5,7
/proc/22601/task/22602/stat : 22602 (java) R 22599 22601 22246 0 -1 4202560 52772 0 1 0 63 5 0 0 25 0 18 0 855636610 13967011840 61715 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 46912505624206 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 13639660
[startup+1.50079 s]
/proc/loadavg: 2.04 2.05 1.97 4/471 22619
/proc/meminfo: memFree=18483504/32951124 swapFree=60787360/67111528
[pid=22601] ppid=22599 vsize=13639660 CPUtime=2.26 cores=1,3,5,7
/proc/22601/stat : 22601 (java) S 22599 22601 22246 0 -1 4202496 178121 0 1 0 205 21 0 0 24 0 18 0 855636610 13967011840 172781 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22601/statm: 3409915 172786 2215 9 0 3400649 0
[pid=22601/tid=22602] ppid=22599 vsize=13639660 CPUtime=1.48 cores=1,3,5,7
/proc/22601/task/22602/stat : 22602 (java) R 22599 22601 22246 0 -1 4202560 163842 0 1 0 130 18 0 0 25 0 18 0 855636610 13967011840 172788 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 46912505546139 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22601/tid=22604] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22604/stat : 22604 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 172791 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22605] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22605/stat : 22605 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 172794 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22606] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22606/stat : 22606 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 172797 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22607] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22607/stat : 22607 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 172800 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22608] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22608/stat : 22608 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 172802 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22609] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22609/stat : 22609 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 172805 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22610] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22610/stat : 22610 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 172808 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22611] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22611/stat : 22611 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 172810 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22612] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22612/stat : 22612 (java) S 22599 22601 22246 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855636613 13967011840 172813 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 0 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22613] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22613/stat : 22613 (java) S 22599 22601 22246 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855636614 13967011840 172816 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22614] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22614/stat : 22614 (java) S 22599 22601 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855636614 13967011840 172819 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22615] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22615/stat : 22615 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636616 13967011840 172820 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389125041 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22616] ppid=22599 vsize=13639660 CPUtime=0.37 cores=1,3,5,7
/proc/22601/task/22616/stat : 22616 (java) S 22599 22601 22246 0 -1 4202560 7007 0 0 0 36 1 0 0 16 0 18 0 855636616 13967011840 172821 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22617] ppid=22599 vsize=13639660 CPUtime=0.38 cores=1,3,5,7
/proc/22601/task/22617/stat : 22617 (java) S 22599 22601 22246 0 -1 4202560 6127 0 0 0 38 0 0 0 21 0 18 0 855636616 13967011840 172824 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22618] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22618/stat : 22618 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636616 13967011840 172826 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22619] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22619/stat : 22619 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855636616 13967011840 172829 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 13639660
[startup+3.1015 s]
/proc/loadavg: 2.04 2.05 1.97 3/471 22619
/proc/meminfo: memFree=17340224/32951124 swapFree=60787360/67111528
[pid=22601] ppid=22599 vsize=13639660 CPUtime=3.91 cores=1,3,5,7
/proc/22601/stat : 22601 (java) S 22599 22601 22246 0 -1 4202496 397259 0 1 0 343 48 0 0 24 0 18 0 855636610 13967011840 391920 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22601/statm: 3409915 391924 2215 9 0 3400649 0
[pid=22601/tid=22602] ppid=22599 vsize=13639660 CPUtime=3.09 cores=1,3,5,7
/proc/22601/task/22602/stat : 22602 (java) R 22599 22601 22246 0 -1 4202560 382964 0 1 0 263 46 0 0 25 0 18 0 855636610 13967011840 391930 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 46912505855573 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22601/tid=22604] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22604/stat : 22604 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 391947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22605] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22605/stat : 22605 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 391965 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22606] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22606/stat : 22606 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 391981 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22607] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22607/stat : 22607 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 391999 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22608] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22608/stat : 22608 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 392009 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22609] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22609/stat : 22609 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 392011 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22610] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22610/stat : 22610 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 392014 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22611] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22611/stat : 22611 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636612 13967011840 392016 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22612] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22612/stat : 22612 (java) S 22599 22601 22246 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855636613 13967011840 392019 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 0 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22613] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22613/stat : 22613 (java) S 22599 22601 22246 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855636614 13967011840 392021 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22614] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22614/stat : 22614 (java) S 22599 22601 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855636614 13967011840 392024 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22615] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22615/stat : 22615 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636616 13967011840 392027 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389125041 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22616] ppid=22599 vsize=13639660 CPUtime=0.37 cores=1,3,5,7
/proc/22601/task/22616/stat : 22616 (java) S 22599 22601 22246 0 -1 4202560 7007 0 0 0 36 1 0 0 16 0 18 0 855636616 13967011840 392029 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22617] ppid=22599 vsize=13639660 CPUtime=0.43 cores=1,3,5,7
/proc/22601/task/22617/stat : 22617 (java) S 22599 22601 22246 0 -1 4202560 6147 0 0 0 43 0 0 0 15 0 18 0 855636616 13967011840 392032 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22618] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22618/stat : 22618 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636616 13967011840 392034 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22619] ppid=22599 vsize=13639660 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22619/stat : 22619 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855636616 13967011840 392037 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 13639660
[startup+6.30089 s]
/proc/loadavg: 2.04 2.05 1.97 3/471 22620
/proc/meminfo: memFree=13654480/32951124 swapFree=60787360/67111528
[pid=22601] ppid=22599 vsize=13638076 CPUtime=7.34 cores=1,3,5,7
/proc/22601/stat : 22601 (java) S 22599 22601 22246 0 -1 4202496 880347 0 1 0 630 104 0 0 24 0 18 0 855636610 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22601/statm: 3409519 874522 2231 9 0 3400253 0
[pid=22601/tid=22602] ppid=22599 vsize=13638076 CPUtime=6.17 cores=1,3,5,7
/proc/22601/task/22602/stat : 22602 (java) R 22599 22601 22246 0 -1 4202560 844814 0 1 0 517 100 0 0 24 0 18 0 855636610 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 46912505824676 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22601/tid=22604] ppid=22599 vsize=13638076 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22604/stat : 22604 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855636612 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22605] ppid=22599 vsize=13638076 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22605/stat : 22605 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855636612 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22606] ppid=22599 vsize=13638076 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22606/stat : 22606 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855636612 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22607] ppid=22599 vsize=13638076 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22607/stat : 22607 (java) S 22599 22601 22246 0 -1 4202560 136 0 0 0 0 0 0 0 18 0 18 0 855636612 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22608] ppid=22599 vsize=13638076 CPUtime=0.08 cores=1,3,5,7
/proc/22601/task/22608/stat : 22608 (java) S 22599 22601 22246 0 -1 4202560 5245 0 0 0 8 0 0 0 18 0 18 0 855636612 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22609] ppid=22599 vsize=13638076 CPUtime=0.1 cores=1,3,5,7
/proc/22601/task/22609/stat : 22609 (java) S 22599 22601 22246 0 -1 4202560 6117 0 0 0 10 0 0 0 18 0 18 0 855636612 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22610] ppid=22599 vsize=13638076 CPUtime=0.02 cores=1,3,5,7
/proc/22601/task/22610/stat : 22610 (java) S 22599 22601 22246 0 -1 4202560 2697 0 0 0 2 0 0 0 18 0 18 0 855636612 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22611] ppid=22599 vsize=13638076 CPUtime=0.1 cores=1,3,5,7
/proc/22601/task/22611/stat : 22611 (java) S 22599 22601 22246 0 -1 4202560 7026 0 0 0 10 0 0 0 18 0 18 0 855636612 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22612] ppid=22599 vsize=13638076 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22612/stat : 22612 (java) S 22599 22601 22246 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 18 0 855636613 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 0 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22613] ppid=22599 vsize=13638076 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22613/stat : 22613 (java) S 22599 22601 22246 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 855636614 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22614] ppid=22599 vsize=13638076 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22614/stat : 22614 (java) S 22599 22601 22246 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 855636614 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22615] ppid=22599 vsize=13638076 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22615/stat : 22615 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636616 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389125041 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22616] ppid=22599 vsize=13638076 CPUtime=0.37 cores=1,3,5,7
/proc/22601/task/22616/stat : 22616 (java) S 22599 22601 22246 0 -1 4202560 7007 0 0 0 36 1 0 0 16 0 18 0 855636616 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22617] ppid=22599 vsize=13638076 CPUtime=0.43 cores=1,3,5,7
/proc/22601/task/22617/stat : 22617 (java) S 22599 22601 22246 0 -1 4202560 6147 0 0 0 43 0 0 0 15 0 18 0 855636616 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22618] ppid=22599 vsize=13638076 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22618/stat : 22618 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855636616 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22619] ppid=22599 vsize=13638076 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22619/stat : 22619 (java) S 22599 22601 22246 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855636616 13965389824 874522 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/22601/task/22613/stat : 22613 (java) S 22599 22601 22246 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855636614 13966442496 935774 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22614] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22614/stat : 22614 (java) S 22599 22601 22246 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855636614 13966442496 935774 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22615] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22615/stat : 22615 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855636616 13966442496 935774 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389125041 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22616] ppid=22599 vsize=13639104 CPUtime=0.65 cores=1,3,5,7
/proc/22601/task/22616/stat : 22616 (java) S 22599 22601 22246 0 -1 4202560 7056 0 0 0 64 1 0 0 15 0 19 0 855636616 13966442496 935774 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22617] ppid=22599 vsize=13639104 CPUtime=0.8 cores=1,3,5,7
/proc/22601/task/22617/stat : 22617 (java) S 22599 22601 22246 0 -1 4202560 6228 0 0 0 80 0 0 0 15 0 19 0 855636616 13966442496 935774 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22618] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22618/stat : 22618 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855636616 13966442496 935774 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22619] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22619/stat : 22619 (java) S 22599 22601 22246 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 855636616 13966442496 935774 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22622] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22622/stat : 22622 (java) S 22599 22601 22246 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 855637282 13966442496 935774 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1665.59
Current children cumulated vsize (KiB) 13639104
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/473 22679
/proc/meminfo: memFree=12595260/32951124 swapFree=60787360/67111528
[pid=22601] ppid=22599 vsize=13639104 CPUtime=1725.62 cores=1,3,5,7
/proc/22601/stat : 22601 (java) S 22599 22601 22246 0 -1 4202496 942344 0 1 0 172450 112 0 0 24 0 19 0 855636610 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22601/statm: 3409776 935947 2262 9 0 3400510 0
[pid=22601/tid=22602] ppid=22599 vsize=13639104 CPUtime=1703.47 cores=1,3,5,7
/proc/22601/task/22602/stat : 22602 (java) R 22599 22601 22246 0 -1 4202560 844986 0 1 0 170247 100 0 0 25 0 19 0 855636610 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 46912505930746 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22601/tid=22604] ppid=22599 vsize=13639104 CPUtime=0.35 cores=1,3,5,7
/proc/22601/task/22604/stat : 22604 (java) S 22599 22601 22246 0 -1 4202560 7364 0 0 0 34 1 0 0 15 0 19 0 855636612 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22605] ppid=22599 vsize=13639104 CPUtime=0.34 cores=1,3,5,7
/proc/22601/task/22605/stat : 22605 (java) S 22599 22601 22246 0 -1 4202560 6112 0 0 0 34 0 0 0 15 0 19 0 855636612 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22606] ppid=22599 vsize=13639104 CPUtime=0.28 cores=1,3,5,7
/proc/22601/task/22606/stat : 22606 (java) S 22599 22601 22246 0 -1 4202560 309 0 0 0 28 0 0 0 15 0 19 0 855636612 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22607] ppid=22599 vsize=13639104 CPUtime=0.23 cores=1,3,5,7
/proc/22601/task/22607/stat : 22607 (java) S 22599 22601 22246 0 -1 4202560 202 0 0 0 23 0 0 0 16 0 19 0 855636612 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22608] ppid=22599 vsize=13639104 CPUtime=0.36 cores=1,3,5,7
/proc/22601/task/22608/stat : 22608 (java) S 22599 22601 22246 0 -1 4202560 5289 0 0 0 36 0 0 0 15 0 19 0 855636612 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22609] ppid=22599 vsize=13639104 CPUtime=0.5 cores=1,3,5,7
/proc/22601/task/22609/stat : 22609 (java) S 22599 22601 22246 0 -1 4202560 12563 0 0 0 49 1 0 0 16 0 19 0 855636612 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22610] ppid=22599 vsize=13639104 CPUtime=0.37 cores=1,3,5,7
/proc/22601/task/22610/stat : 22610 (java) S 22599 22601 22246 0 -1 4202560 7727 0 0 0 37 0 0 0 15 0 19 0 855636612 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22611] ppid=22599 vsize=13639104 CPUtime=0.46 cores=1,3,5,7
/proc/22601/task/22611/stat : 22611 (java) S 22599 22601 22246 0 -1 4202560 7086 0 0 0 46 0 0 0 16 0 19 0 855636612 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22612] ppid=22599 vsize=13639104 CPUtime=17.71 cores=1,3,5,7
/proc/22601/task/22612/stat : 22612 (java) S 22599 22601 22246 0 -1 4202560 36167 0 0 0 1767 4 0 0 15 0 19 0 855636613 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 0 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22613] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22613/stat : 22613 (java) S 22599 22601 22246 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855636614 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22614] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22614/stat : 22614 (java) S 22599 22601 22246 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855636614 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22615] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22615/stat : 22615 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855636616 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389125041 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22616] ppid=22599 vsize=13639104 CPUtime=0.65 cores=1,3,5,7
/proc/22601/task/22616/stat : 22616 (java) S 22599 22601 22246 0 -1 4202560 7056 0 0 0 64 1 0 0 15 0 19 0 855636616 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22617] ppid=22599 vsize=13639104 CPUtime=0.8 cores=1,3,5,7
/proc/22601/task/22617/stat : 22617 (java) S 22599 22601 22246 0 -1 4202560 6228 0 0 0 80 0 0 0 15 0 19 0 855636616 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22618] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22618/stat : 22618 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855636616 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22619] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22619/stat : 22619 (java) S 22599 22601 22246 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 855636616 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22622] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22622/stat : 22622 (java) S 22599 22601 22246 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 855637282 13966442496 935947 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1725.62
Current children cumulated vsize (KiB) 13639104
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/473 22681
/proc/meminfo: memFree=12592888/32951124 swapFree=60787360/67111528
[pid=22601] ppid=22599 vsize=13639104 CPUtime=1785.66 cores=1,3,5,7
/proc/22601/stat : 22601 (java) S 22599 22601 22246 0 -1 4202496 942721 0 1 0 178454 112 0 0 24 0 19 0 855636610 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22601/statm: 3409776 936319 2262 9 0 3400510 0
[pid=22601/tid=22602] ppid=22599 vsize=13639104 CPUtime=1763.18 cores=1,3,5,7
/proc/22601/task/22602/stat : 22602 (java) R 22599 22601 22246 0 -1 4202560 844987 0 1 0 176218 100 0 0 25 0 19 0 855636610 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 46912506032462 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22601/tid=22604] ppid=22599 vsize=13639104 CPUtime=0.36 cores=1,3,5,7
/proc/22601/task/22604/stat : 22604 (java) S 22599 22601 22246 0 -1 4202560 7364 0 0 0 35 1 0 0 16 0 19 0 855636612 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22605] ppid=22599 vsize=13639104 CPUtime=0.34 cores=1,3,5,7
/proc/22601/task/22605/stat : 22605 (java) S 22599 22601 22246 0 -1 4202560 6112 0 0 0 34 0 0 0 15 0 19 0 855636612 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22606] ppid=22599 vsize=13639104 CPUtime=0.3 cores=1,3,5,7
/proc/22601/task/22606/stat : 22606 (java) S 22599 22601 22246 0 -1 4202560 309 0 0 0 30 0 0 0 16 0 19 0 855636612 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22607] ppid=22599 vsize=13639104 CPUtime=0.23 cores=1,3,5,7
/proc/22601/task/22607/stat : 22607 (java) S 22599 22601 22246 0 -1 4202560 202 0 0 0 23 0 0 0 15 0 19 0 855636612 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22608] ppid=22599 vsize=13639104 CPUtime=0.37 cores=1,3,5,7
/proc/22601/task/22608/stat : 22608 (java) S 22599 22601 22246 0 -1 4202560 5289 0 0 0 37 0 0 0 16 0 19 0 855636612 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22609] ppid=22599 vsize=13639104 CPUtime=0.5 cores=1,3,5,7
/proc/22601/task/22609/stat : 22609 (java) S 22599 22601 22246 0 -1 4202560 12563 0 0 0 49 1 0 0 15 0 19 0 855636612 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22610] ppid=22599 vsize=13639104 CPUtime=0.39 cores=1,3,5,7
/proc/22601/task/22610/stat : 22610 (java) S 22599 22601 22246 0 -1 4202560 7728 0 0 0 39 0 0 0 16 0 19 0 855636612 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22611] ppid=22599 vsize=13639104 CPUtime=0.46 cores=1,3,5,7
/proc/22601/task/22611/stat : 22611 (java) S 22599 22601 22246 0 -1 4202560 7086 0 0 0 46 0 0 0 16 0 19 0 855636612 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22612] ppid=22599 vsize=13639104 CPUtime=17.97 cores=1,3,5,7
/proc/22601/task/22612/stat : 22612 (java) S 22599 22601 22246 0 -1 4202560 36540 0 0 0 1793 4 0 0 15 0 19 0 855636613 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 0 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22613] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22613/stat : 22613 (java) S 22599 22601 22246 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855636614 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22614] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22614/stat : 22614 (java) S 22599 22601 22246 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855636614 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22615] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22615/stat : 22615 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855636616 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389125041 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22616] ppid=22599 vsize=13639104 CPUtime=0.65 cores=1,3,5,7
/proc/22601/task/22616/stat : 22616 (java) S 22599 22601 22246 0 -1 4202560 7056 0 0 0 64 1 0 0 15 0 19 0 855636616 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22617] ppid=22599 vsize=13639104 CPUtime=0.8 cores=1,3,5,7
/proc/22601/task/22617/stat : 22617 (java) S 22599 22601 22246 0 -1 4202560 6228 0 0 0 80 0 0 0 15 0 19 0 855636616 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22618] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22618/stat : 22618 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855636616 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22619] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22619/stat : 22619 (java) S 22599 22601 22246 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 855636616 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22622] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22622/stat : 22622 (java) S 22599 22601 22246 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 855637282 13966442496 936319 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1785.66
Current children cumulated vsize (KiB) 13639104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 2.00 2.03 2.00 2/453 22684
/proc/meminfo: memFree=16323460/32951124 swapFree=60787360/67111528
[pid=22601] ppid=22599 vsize=13639104 CPUtime=1800.03 cores=1,3,5,7
/proc/22601/stat : 22601 (java) S 22599 22601 22246 0 -1 4202496 942988 0 1 0 179891 112 0 0 24 0 19 0 855636610 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22601/statm: 3409776 936580 2263 9 0 3400510 0
[pid=22601/tid=22602] ppid=22599 vsize=13639104 CPUtime=1777.22 cores=1,3,5,7
/proc/22601/task/22602/stat : 22602 (java) R 22599 22601 22246 0 -1 4202560 844987 0 1 0 177622 100 0 0 25 0 19 0 855636610 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 46912506026212 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22601/tid=22604] ppid=22599 vsize=13639104 CPUtime=0.37 cores=1,3,5,7
/proc/22601/task/22604/stat : 22604 (java) S 22599 22601 22246 0 -1 4202560 7364 0 0 0 36 1 0 0 16 0 19 0 855636612 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22605] ppid=22599 vsize=13639104 CPUtime=0.36 cores=1,3,5,7
/proc/22601/task/22605/stat : 22605 (java) S 22599 22601 22246 0 -1 4202560 6112 0 0 0 36 0 0 0 16 0 19 0 855636612 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22606] ppid=22599 vsize=13639104 CPUtime=0.3 cores=1,3,5,7
/proc/22601/task/22606/stat : 22606 (java) S 22599 22601 22246 0 -1 4202560 309 0 0 0 30 0 0 0 15 0 19 0 855636612 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22607] ppid=22599 vsize=13639104 CPUtime=0.23 cores=1,3,5,7
/proc/22601/task/22607/stat : 22607 (java) S 22599 22601 22246 0 -1 4202560 202 0 0 0 23 0 0 0 15 0 19 0 855636612 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22608] ppid=22599 vsize=13639104 CPUtime=0.38 cores=1,3,5,7
/proc/22601/task/22608/stat : 22608 (java) S 22599 22601 22246 0 -1 4202560 5289 0 0 0 38 0 0 0 16 0 19 0 855636612 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22609] ppid=22599 vsize=13639104 CPUtime=0.52 cores=1,3,5,7
/proc/22601/task/22609/stat : 22609 (java) S 22599 22601 22246 0 -1 4202560 12563 0 0 0 51 1 0 0 16 0 19 0 855636612 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22610] ppid=22599 vsize=13639104 CPUtime=0.39 cores=1,3,5,7
/proc/22601/task/22610/stat : 22610 (java) S 22599 22601 22246 0 -1 4202560 7728 0 0 0 39 0 0 0 16 0 19 0 855636612 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22611] ppid=22599 vsize=13639104 CPUtime=0.47 cores=1,3,5,7
/proc/22601/task/22611/stat : 22611 (java) S 22599 22601 22246 0 -1 4202560 7086 0 0 0 47 0 0 0 16 0 19 0 855636612 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22612] ppid=22599 vsize=13639104 CPUtime=18.24 cores=1,3,5,7
/proc/22601/task/22612/stat : 22612 (java) S 22599 22601 22246 0 -1 4202560 36801 0 0 0 1820 4 0 0 15 0 19 0 855636613 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 0 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22613] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22613/stat : 22613 (java) S 22599 22601 22246 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855636614 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22614] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22614/stat : 22614 (java) S 22599 22601 22246 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855636614 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22615] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22615/stat : 22615 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855636616 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389125041 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22616] ppid=22599 vsize=13639104 CPUtime=0.67 cores=1,3,5,7
/proc/22601/task/22616/stat : 22616 (java) S 22599 22601 22246 0 -1 4202560 7060 0 0 0 66 1 0 0 15 0 19 0 855636616 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 7 0 0 0
[pid=22601/tid=22617] ppid=22599 vsize=13639104 CPUtime=0.8 cores=1,3,5,7
/proc/22601/task/22617/stat : 22617 (java) S 22599 22601 22246 0 -1 4202560 6228 0 0 0 80 0 0 0 15 0 19 0 855636616 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
[pid=22601/tid=22618] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22618/stat : 22618 (java) S 22599 22601 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855636616 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117337 0 4 0 16800975 18446604454608432000 0 0 -1 3 0 0 0
[pid=22601/tid=22619] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22619/stat : 22619 (java) S 22599 22601 22246 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 855636616 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 4 0 16800975 18446604454608432000 0 0 -1 1 0 0 0
[pid=22601/tid=22622] ppid=22599 vsize=13639104 CPUtime=0 cores=1,3,5,7
/proc/22601/task/22622/stat : 22622 (java) S 22599 22601 22246 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 855637282 13966442496 936580 33554432000 1073741824 1073778376 140733283683776 18446744073709551615 255389117952 0 4 0 16800975 18446604454608432000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13639104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.72 s]
/proc/loadavg: 2.00 2.03 2.00 2/453 22684
/proc/meminfo: memFree=16323460/32951124 swapFree=60787360/67111528
[pid=22601] ppid=22599 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/22601/stat : 22601 (java) Z 22599 22601 22246 0 -1 4203548 943016 0 1 0 179899 119 0 0 17 0 2 0 855636610 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22601/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.79
CPU time (s): 1800.26
CPU user time (s): 1799
CPU system time (s): 1.26181
CPU usage (%): 100.193
Max. virtual memory (cumulated for all children) (KiB): 13640212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.26181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 943016
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= 38577
involuntary context switches= 33817
runsolver used 7.97379 second user time and 18.3572 second system time
The end