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-3455389-1307196433/watcher-3455389-1307196433 -o /tmp/evaluation-result-3455389-1307196433/solver-3455389-1307196433 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455389-1307196433.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.40 3.29 3.56 4/457 1660
/proc/meminfo: memFree=19839648/32951124 swapFree=60787360/67111528
[pid=1660] ppid=1658 vsize=28436 CPUtime=0 cores=0,2,4,6
/proc/1660/stat : 1660 (java) S 1658 1660 1598 0 -1 4202496 1188 0 0 0 0 0 0 0 22 0 2 0 831241672 29118464 916 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389104101 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1660/statm: 7645 920 699 9 0 383 0
[pid=1660/tid=1661] ppid=1658 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1661/stat : 1661 (java) R 1658 1660 1598 0 -1 4202560 5202 0 1 0 0 0 0 0 24 0 2 0 831241672 10694979584 6019 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0941851 s]
/proc/loadavg: 2.40 3.29 3.56 4/457 1660
/proc/meminfo: memFree=19839648/32951124 swapFree=60787360/67111528
[pid=1660] ppid=1658 vsize=10540456 CPUtime=0.09 cores=0,2,4,6
/proc/1660/stat : 1660 (java) S 1658 1660 1598 0 -1 4202496 13030 0 1 0 8 1 0 0 22 0 18 0 831241672 10793426944 12702 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1660/statm: 2635114 12703 2092 9 0 2625848 0
[pid=1660/tid=1661] ppid=1658 vsize=10540456 CPUtime=0.08 cores=0,2,4,6
/proc/1660/task/1661/stat : 1661 (java) R 1658 1660 1598 0 -1 4202560 11074 0 1 0 7 1 0 0 18 0 18 0 831241672 10793426944 12703 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389128139 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540456
[startup+0.10117 s]
/proc/loadavg: 2.40 3.29 3.56 4/457 1660
/proc/meminfo: memFree=19839648/32951124 swapFree=60787360/67111528
[pid=1660] ppid=1658 vsize=10540456 CPUtime=0.1 cores=0,2,4,6
/proc/1660/stat : 1660 (java) S 1658 1660 1598 0 -1 4202496 13158 0 1 0 9 1 0 0 22 0 18 0 831241672 10793426944 12830 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1660/statm: 2635114 12830 2092 9 0 2625848 0
[pid=1660/tid=1661] ppid=1658 vsize=10540456 CPUtime=0.08 cores=0,2,4,6
/proc/1660/task/1661/stat : 1661 (java) R 1658 1660 1598 0 -1 4202560 11201 0 1 0 7 1 0 0 18 0 18 0 831241672 10793426944 12830 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 47431366582442 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540456
[startup+0.301115 s]
/proc/loadavg: 2.40 3.29 3.56 4/457 1660
/proc/meminfo: memFree=19839648/32951124 swapFree=60787360/67111528
[pid=1660] ppid=1658 vsize=10541460 CPUtime=0.45 cores=0,2,4,6
/proc/1660/stat : 1660 (java) S 1658 1660 1598 0 -1 4202496 44624 0 1 0 39 6 0 0 22 0 18 0 831241672 10794455040 44080 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1660/statm: 2635365 44083 2198 9 0 2626099 0
[pid=1660/tid=1661] ppid=1658 vsize=10541460 CPUtime=0.28 cores=0,2,4,6
/proc/1660/task/1661/stat : 1661 (java) R 1658 1660 1598 0 -1 4202560 41914 0 1 0 22 6 0 0 18 0 18 0 831241672 10794455040 44084 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 46912505547934 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541460
[startup+0.701091 s]
/proc/loadavg: 2.40 3.29 3.56 4/457 1660
/proc/meminfo: memFree=19839648/32951124 swapFree=60787360/67111528
[pid=1660] ppid=1658 vsize=10541460 CPUtime=0.86 cores=0,2,4,6
/proc/1660/stat : 1660 (java) S 1658 1660 1598 0 -1 4202496 73633 0 1 0 75 11 0 0 22 0 18 0 831241672 10794455040 73089 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1660/statm: 2635365 73093 2199 9 0 2626099 0
[pid=1660/tid=1661] ppid=1658 vsize=10541460 CPUtime=0.68 cores=0,2,4,6
/proc/1660/task/1661/stat : 1661 (java) R 1658 1660 1598 0 -1 4202560 70918 0 1 0 58 10 0 0 18 0 18 0 831241672 10794455040 73094 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 46912505548086 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10541460
[startup+1.50096 s]
/proc/loadavg: 2.40 3.29 3.56 4/475 1678
/proc/meminfo: memFree=19463600/32951124 swapFree=60787360/67111528
[pid=1660] ppid=1658 vsize=10541460 CPUtime=1.65 cores=0,2,4,6
/proc/1660/stat : 1660 (java) S 1658 1660 1598 0 -1 4202496 130053 0 1 0 148 17 0 0 22 0 18 0 831241672 10794455040 129509 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1660/statm: 2635365 129512 2199 9 0 2626099 0
[pid=1660/tid=1661] ppid=1658 vsize=10541460 CPUtime=1.48 cores=0,2,4,6
/proc/1660/task/1661/stat : 1661 (java) R 1658 1660 1598 0 -1 4202560 127338 0 1 0 131 17 0 0 19 0 18 0 831241672 10794455040 129514 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 46912505575224 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1660/tid=1663] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1663/stat : 1663 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 129516 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1664] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1664/stat : 1664 (java) S 1658 1660 1598 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 129518 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1665] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1665/stat : 1665 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 129520 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1666] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1666/stat : 1666 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 129522 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1667] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1667/stat : 1667 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 129523 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1668] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1668/stat : 1668 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 129525 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1669] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1669/stat : 1669 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 129527 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1670] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1670/stat : 1670 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 129529 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1671] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1671/stat : 1671 (java) S 1658 1660 1598 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 831241675 10794455040 129531 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 0 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1672] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1672/stat : 1672 (java) S 1658 1660 1598 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 831241675 10794455040 129533 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1673] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1673/stat : 1673 (java) S 1658 1660 1598 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 831241675 10794455040 129535 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1674] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1674/stat : 1674 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241677 10794455040 129537 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389125041 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1675] ppid=1658 vsize=10541460 CPUtime=0.09 cores=0,2,4,6
/proc/1660/task/1675/stat : 1675 (java) S 1658 1660 1598 0 -1 4202560 750 0 0 0 9 0 0 0 25 0 18 0 831241677 10794455040 129539 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1676] ppid=1658 vsize=10541460 CPUtime=0.07 cores=0,2,4,6
/proc/1660/task/1676/stat : 1676 (java) S 1658 1660 1598 0 -1 4202560 820 0 0 0 7 0 0 0 16 0 18 0 831241677 10794455040 129541 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1677] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1677/stat : 1677 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241677 10794455040 129543 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1678] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1678/stat : 1678 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 831241677 10794455040 129545 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10541460
[startup+3.10062 s]
/proc/loadavg: 2.40 3.29 3.56 4/475 1678
/proc/meminfo: memFree=18929408/32951124 swapFree=60787360/67111528
[pid=1660] ppid=1658 vsize=10541460 CPUtime=3.26 cores=0,2,4,6
/proc/1660/stat : 1660 (java) S 1658 1660 1598 0 -1 4202496 244883 0 1 0 293 33 0 0 22 0 18 0 831241672 10794455040 244339 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1660/statm: 2635365 244340 2203 9 0 2626099 0
[pid=1660/tid=1661] ppid=1658 vsize=10541460 CPUtime=3.08 cores=0,2,4,6
/proc/1660/task/1661/stat : 1661 (java) R 1658 1660 1598 0 -1 4202560 242161 0 1 0 276 32 0 0 25 0 18 0 831241672 10794455040 244341 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 46912505575134 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1660/tid=1663] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1663/stat : 1663 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 244343 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1664] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1664/stat : 1664 (java) S 1658 1660 1598 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 244345 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1665] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1665/stat : 1665 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 244347 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1666] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1666/stat : 1666 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 244349 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1667] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1667/stat : 1667 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 244350 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1668] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1668/stat : 1668 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 244352 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1669] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1669/stat : 1669 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 244354 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1670] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1670/stat : 1670 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10794455040 244356 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1671] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1671/stat : 1671 (java) S 1658 1660 1598 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 831241675 10794455040 244358 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 0 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1672] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1672/stat : 1672 (java) S 1658 1660 1598 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 831241675 10794455040 244359 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1673] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1673/stat : 1673 (java) S 1658 1660 1598 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 831241675 10794455040 244361 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1674] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1674/stat : 1674 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241677 10794455040 244363 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389125041 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1675] ppid=1658 vsize=10541460 CPUtime=0.09 cores=0,2,4,6
/proc/1660/task/1675/stat : 1675 (java) S 1658 1660 1598 0 -1 4202560 754 0 0 0 9 0 0 0 18 0 18 0 831241677 10794455040 244365 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1676] ppid=1658 vsize=10541460 CPUtime=0.07 cores=0,2,4,6
/proc/1660/task/1676/stat : 1676 (java) S 1658 1660 1598 0 -1 4202560 820 0 0 0 7 0 0 0 16 0 18 0 831241677 10794455040 244367 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1677] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1677/stat : 1677 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241677 10794455040 244369 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1678] ppid=1658 vsize=10541460 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1678/stat : 1678 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 831241677 10794455040 244370 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 10541460
[startup+6.30107 s]
/proc/loadavg: 2.44 3.29 3.56 4/475 1678
/proc/meminfo: memFree=17508756/32951124 swapFree=60787360/67111528
[pid=1660] ppid=1658 vsize=10543724 CPUtime=6.77 cores=0,2,4,6
/proc/1660/stat : 1660 (java) S 1658 1660 1598 0 -1 4202496 545124 0 1 0 608 69 0 0 22 0 18 0 831241672 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1660/statm: 2635931 543444 2216 9 0 2626665 0
[pid=1660/tid=1661] ppid=1658 vsize=10543724 CPUtime=6.28 cores=0,2,4,6
/proc/1660/task/1661/stat : 1661 (java) R 1658 1660 1598 0 -1 4202560 540203 0 1 0 560 68 0 0 25 0 18 0 831241672 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 46912505704723 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1660/tid=1663] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1663/stat : 1663 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1664] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1664/stat : 1664 (java) S 1658 1660 1598 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831241674 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1665] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1665/stat : 1665 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1666] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1666/stat : 1666 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1667] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1667/stat : 1667 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1668] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1668/stat : 1668 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1669] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1669/stat : 1669 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1670] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1670/stat : 1670 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241674 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1671] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1671/stat : 1671 (java) S 1658 1660 1598 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 831241675 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 0 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1672] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1672/stat : 1672 (java) S 1658 1660 1598 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 831241675 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1673] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1673/stat : 1673 (java) S 1658 1660 1598 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 831241675 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1674] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1674/stat : 1674 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241677 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389125041 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1675] ppid=1658 vsize=10543724 CPUtime=0.25 cores=0,2,4,6
/proc/1660/task/1675/stat : 1675 (java) S 1658 1660 1598 0 -1 4202560 2430 0 0 0 25 0 0 0 16 0 18 0 831241677 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1676] ppid=1658 vsize=10543724 CPUtime=0.22 cores=0,2,4,6
/proc/1660/task/1676/stat : 1676 (java) S 1658 1660 1598 0 -1 4202560 1337 0 0 0 22 0 0 0 15 0 18 0 831241677 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1677] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1677/stat : 1677 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831241677 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1678] ppid=1658 vsize=10543724 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1678/stat : 1678 (java) S 1658 1660 1598 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 831241677 10796773376 543444 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/1660/task/1663/stat : 1663 (java) S 1658 1660 1598 0 -1 4202560 125740 0 0 0 484 21 0 0 16 0 22 0 831241674 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1664] ppid=1658 vsize=10615064 CPUtime=4.34 cores=0,2,4,6
/proc/1660/task/1664/stat : 1664 (java) S 1658 1660 1598 0 -1 4202560 84206 0 0 0 420 14 0 0 16 0 22 0 831241674 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1665] ppid=1658 vsize=10615064 CPUtime=5.31 cores=0,2,4,6
/proc/1660/task/1665/stat : 1665 (java) S 1658 1660 1598 0 -1 4202560 126732 0 0 0 514 17 0 0 16 0 22 0 831241674 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1666] ppid=1658 vsize=10615064 CPUtime=5.09 cores=0,2,4,6
/proc/1660/task/1666/stat : 1666 (java) S 1658 1660 1598 0 -1 4202560 154858 0 0 0 484 25 0 0 16 0 22 0 831241674 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1667] ppid=1658 vsize=10615064 CPUtime=5.38 cores=0,2,4,6
/proc/1660/task/1667/stat : 1667 (java) S 1658 1660 1598 0 -1 4202560 131091 0 0 0 517 21 0 0 16 0 22 0 831241674 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1668] ppid=1658 vsize=10615064 CPUtime=5 cores=0,2,4,6
/proc/1660/task/1668/stat : 1668 (java) S 1658 1660 1598 0 -1 4202560 114703 0 0 0 483 17 0 0 16 0 22 0 831241674 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1669] ppid=1658 vsize=10615064 CPUtime=5.06 cores=0,2,4,6
/proc/1660/task/1669/stat : 1669 (java) S 1658 1660 1598 0 -1 4202560 93898 0 0 0 489 17 0 0 16 0 22 0 831241674 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1670] ppid=1658 vsize=10615064 CPUtime=5.12 cores=0,2,4,6
/proc/1660/task/1670/stat : 1670 (java) S 1658 1660 1598 0 -1 4202560 170253 0 0 0 486 26 0 0 16 0 22 0 831241674 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1671] ppid=1658 vsize=10615064 CPUtime=7.37 cores=0,2,4,6
/proc/1660/task/1671/stat : 1671 (java) S 1658 1660 1598 0 -1 4202560 7706 0 0 0 736 1 0 0 15 0 22 0 831241675 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 0 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1672] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1672/stat : 1672 (java) S 1658 1660 1598 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831241675 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1673] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1673/stat : 1673 (java) S 1658 1660 1598 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831241675 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1674] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1674/stat : 1674 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241677 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389125041 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1675] ppid=1658 vsize=10615064 CPUtime=1.07 cores=0,2,4,6
/proc/1660/task/1675/stat : 1675 (java) S 1658 1660 1598 0 -1 4202560 5687 0 0 0 106 1 0 0 15 0 22 0 831241677 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1676] ppid=1658 vsize=10615064 CPUtime=0.9 cores=0,2,4,6
/proc/1660/task/1676/stat : 1676 (java) S 1658 1660 1598 0 -1 4202560 2605 0 0 0 90 0 0 0 15 0 22 0 831241677 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1677] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1677/stat : 1677 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241677 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1678] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1678/stat : 1678 (java) S 1658 1660 1598 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 831241677 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1680] ppid=1658 vsize=10615064 CPUtime=764.96 cores=0,2,4,6
/proc/1660/task/1680/stat : 1680 (java) R 1658 1660 1598 0 -1 4202560 53 0 0 0 76495 1 0 0 25 0 22 0 831246147 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 46912505899764 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1660/tid=1681] ppid=1658 vsize=10615064 CPUtime=765.03 cores=0,2,4,6
/proc/1660/task/1681/stat : 1681 (java) R 1658 1660 1598 0 -1 4202560 169 0 0 0 76503 0 0 0 25 0 22 0 831246147 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 46912505908368 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1660/tid=1682] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1682/stat : 1682 (java) S 1658 1660 1598 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831246221 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1683] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1683/stat : 1683 (java) S 1658 1660 1598 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831246221 10869825536 1655758 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1619.02
Current children cumulated vsize (KiB) 10615064
[startup+882.301 s]
/proc/loadavg: 4.14 4.01 3.83 5/479 1723
/proc/meminfo: memFree=10273152/32951124 swapFree=60787360/67111528
[pid=1660] ppid=1658 vsize=10615064 CPUtime=1740.08 cores=0,2,4,6
/proc/1660/stat : 1660 (java) S 1658 1660 1598 0 -1 4202496 1670070 0 1 0 173755 253 0 0 22 0 22 0 831241672 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1660/statm: 2653766 1655778 2263 9 0 2644500 0
[pid=1660/tid=1661] ppid=1658 vsize=10615064 CPUtime=39.22 cores=0,2,4,6
/proc/1660/task/1661/stat : 1661 (java) S 1658 1660 1598 0 -1 4202560 651132 0 1 0 3836 86 0 0 15 0 22 0 831241672 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1663] ppid=1658 vsize=10615064 CPUtime=5.35 cores=0,2,4,6
/proc/1660/task/1663/stat : 1663 (java) S 1658 1660 1598 0 -1 4202560 125744 0 0 0 514 21 0 0 15 0 22 0 831241674 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1664] ppid=1658 vsize=10615064 CPUtime=4.64 cores=0,2,4,6
/proc/1660/task/1664/stat : 1664 (java) S 1658 1660 1598 0 -1 4202560 84211 0 0 0 450 14 0 0 15 0 22 0 831241674 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1665] ppid=1658 vsize=10615064 CPUtime=5.55 cores=0,2,4,6
/proc/1660/task/1665/stat : 1665 (java) S 1658 1660 1598 0 -1 4202560 126732 0 0 0 538 17 0 0 16 0 22 0 831241674 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1666] ppid=1658 vsize=10615064 CPUtime=5.42 cores=0,2,4,6
/proc/1660/task/1666/stat : 1666 (java) S 1658 1660 1598 0 -1 4202560 154858 0 0 0 517 25 0 0 15 0 22 0 831241674 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1667] ppid=1658 vsize=10615064 CPUtime=5.71 cores=0,2,4,6
/proc/1660/task/1667/stat : 1667 (java) S 1658 1660 1598 0 -1 4202560 131095 0 0 0 550 21 0 0 16 0 22 0 831241674 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1668] ppid=1658 vsize=10615064 CPUtime=5.16 cores=0,2,4,6
/proc/1660/task/1668/stat : 1668 (java) S 1658 1660 1598 0 -1 4202560 114704 0 0 0 499 17 0 0 15 0 22 0 831241674 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1669] ppid=1658 vsize=10615064 CPUtime=5.31 cores=0,2,4,6
/proc/1660/task/1669/stat : 1669 (java) S 1658 1660 1598 0 -1 4202560 93902 0 0 0 514 17 0 0 16 0 22 0 831241674 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1670] ppid=1658 vsize=10615064 CPUtime=5.41 cores=0,2,4,6
/proc/1660/task/1670/stat : 1670 (java) S 1658 1660 1598 0 -1 4202560 170255 0 0 0 515 26 0 0 16 0 22 0 831241674 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1671] ppid=1658 vsize=10615064 CPUtime=7.37 cores=0,2,4,6
/proc/1660/task/1671/stat : 1671 (java) S 1658 1660 1598 0 -1 4202560 7711 0 0 0 736 1 0 0 15 0 22 0 831241675 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 0 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1672] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1672/stat : 1672 (java) S 1658 1660 1598 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831241675 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1673] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1673/stat : 1673 (java) S 1658 1660 1598 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831241675 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1674] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1674/stat : 1674 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241677 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389125041 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1675] ppid=1658 vsize=10615064 CPUtime=1.07 cores=0,2,4,6
/proc/1660/task/1675/stat : 1675 (java) S 1658 1660 1598 0 -1 4202560 5687 0 0 0 106 1 0 0 15 0 22 0 831241677 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1676] ppid=1658 vsize=10615064 CPUtime=0.9 cores=0,2,4,6
/proc/1660/task/1676/stat : 1676 (java) S 1658 1660 1598 0 -1 4202560 2605 0 0 0 90 0 0 0 15 0 22 0 831241677 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1677] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1677/stat : 1677 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241677 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1678] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1678/stat : 1678 (java) S 1658 1660 1598 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 831241677 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1680] ppid=1658 vsize=10615064 CPUtime=824.39 cores=0,2,4,6
/proc/1660/task/1680/stat : 1680 (java) R 1658 1660 1598 0 -1 4202560 54 0 0 0 82438 1 0 0 25 0 22 0 831246147 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 46912506056891 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1660/tid=1681] ppid=1658 vsize=10615064 CPUtime=824.45 cores=0,2,4,6
/proc/1660/task/1681/stat : 1681 (java) R 1658 1660 1598 0 -1 4202560 171 0 0 0 82445 0 0 0 25 0 22 0 831246147 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 46912505998580 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1660/tid=1682] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1682/stat : 1682 (java) S 1658 1660 1598 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831246221 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1683] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1683/stat : 1683 (java) S 1658 1660 1598 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831246221 10869825536 1655778 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1740.08
Current children cumulated vsize (KiB) 10615064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+912.101 s]
/proc/loadavg: 3.95 3.97 3.82 6/479 1807
/proc/meminfo: memFree=11461620/32951124 swapFree=60787360/67111528
[pid=1660] ppid=1658 vsize=10615064 CPUtime=1800.04 cores=0,2,4,6
/proc/1660/stat : 1660 (java) S 1658 1660 1598 0 -1 4202496 1675981 0 1 0 179750 254 0 0 22 0 22 0 831241672 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1660/statm: 2653766 1661670 2263 9 0 2644500 0
[pid=1660/tid=1661] ppid=1658 vsize=10615064 CPUtime=39.22 cores=0,2,4,6
/proc/1660/task/1661/stat : 1661 (java) S 1658 1660 1598 0 -1 4202560 651132 0 1 0 3836 86 0 0 15 0 22 0 831241672 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1663] ppid=1658 vsize=10615064 CPUtime=5.54 cores=0,2,4,6
/proc/1660/task/1663/stat : 1663 (java) S 1658 1660 1598 0 -1 4202560 130737 0 0 0 533 21 0 0 16 0 22 0 831241674 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1664] ppid=1658 vsize=10615064 CPUtime=4.73 cores=0,2,4,6
/proc/1660/task/1664/stat : 1664 (java) S 1658 1660 1598 0 -1 4202560 84557 0 0 0 459 14 0 0 15 0 22 0 831241674 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1665] ppid=1658 vsize=10615064 CPUtime=5.56 cores=0,2,4,6
/proc/1660/task/1665/stat : 1665 (java) S 1658 1660 1598 0 -1 4202560 126737 0 0 0 539 17 0 0 16 0 22 0 831241674 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1666] ppid=1658 vsize=10615064 CPUtime=5.51 cores=0,2,4,6
/proc/1660/task/1666/stat : 1666 (java) S 1658 1660 1598 0 -1 4202560 154970 0 0 0 526 25 0 0 16 0 22 0 831241674 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1667] ppid=1658 vsize=10615064 CPUtime=5.9 cores=0,2,4,6
/proc/1660/task/1667/stat : 1667 (java) S 1658 1660 1598 0 -1 4202560 131443 0 0 0 569 21 0 0 16 0 22 0 831241674 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 6 0 0 0
[pid=1660/tid=1668] ppid=1658 vsize=10615064 CPUtime=5.18 cores=0,2,4,6
/proc/1660/task/1668/stat : 1668 (java) S 1658 1660 1598 0 -1 4202560 114720 0 0 0 501 17 0 0 15 0 22 0 831241674 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1669] ppid=1658 vsize=10615064 CPUtime=5.31 cores=0,2,4,6
/proc/1660/task/1669/stat : 1669 (java) S 1658 1660 1598 0 -1 4202560 93902 0 0 0 514 17 0 0 15 0 22 0 831241674 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1670] ppid=1658 vsize=10615064 CPUtime=5.52 cores=0,2,4,6
/proc/1660/task/1670/stat : 1670 (java) S 1658 1660 1598 0 -1 4202560 170344 0 0 0 526 26 0 0 16 0 22 0 831241674 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1671] ppid=1658 vsize=10615064 CPUtime=7.37 cores=0,2,4,6
/proc/1660/task/1671/stat : 1671 (java) S 1658 1660 1598 0 -1 4202560 7711 0 0 0 736 1 0 0 15 0 22 0 831241675 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 0 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1672] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1672/stat : 1672 (java) S 1658 1660 1598 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831241675 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1673] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1673/stat : 1673 (java) S 1658 1660 1598 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831241675 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1674] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1674/stat : 1674 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241677 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389125041 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1675] ppid=1658 vsize=10615064 CPUtime=1.07 cores=0,2,4,6
/proc/1660/task/1675/stat : 1675 (java) S 1658 1660 1598 0 -1 4202560 5687 0 0 0 106 1 0 0 15 0 22 0 831241677 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1676] ppid=1658 vsize=10615064 CPUtime=0.9 cores=0,2,4,6
/proc/1660/task/1676/stat : 1676 (java) S 1658 1660 1598 0 -1 4202560 2605 0 0 0 90 0 0 0 15 0 22 0 831241677 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1677] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1677/stat : 1677 (java) S 1658 1660 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241677 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117337 0 4 0 16800975 18446604441187594560 0 0 -1 2 0 0 0
[pid=1660/tid=1678] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1678/stat : 1678 (java) S 1658 1660 1598 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 831241677 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 4 0 0 0
[pid=1660/tid=1680] ppid=1658 vsize=10615064 CPUtime=854.02 cores=0,2,4,6
/proc/1660/task/1680/stat : 1680 (java) R 1658 1660 1598 0 -1 4202560 55 0 0 0 85401 1 0 0 25 0 22 0 831246147 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 46912506027510 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1660/tid=1681] ppid=1658 vsize=10615064 CPUtime=854.08 cores=0,2,4,6
/proc/1660/task/1681/stat : 1681 (java) R 1658 1660 1598 0 -1 4202560 172 0 0 0 85408 0 0 0 25 0 22 0 831246147 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 46912505998697 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1660/tid=1682] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1682/stat : 1682 (java) S 1658 1660 1598 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831246221 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
[pid=1660/tid=1683] ppid=1658 vsize=10615064 CPUtime=0 cores=0,2,4,6
/proc/1660/task/1683/stat : 1683 (java) S 1658 1660 1598 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831246221 10869825536 1661670 33554432000 1073741824 1073778376 140736026260832 18446744073709551615 255389117952 0 4 0 16800975 18446604441187594560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10615064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+912.301 s]
/proc/loadavg: 3.95 3.97 3.82 6/479 1807
/proc/meminfo: memFree=11461620/32951124 swapFree=60787360/67111528
[pid=1660] ppid=1658 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/1660/stat : 1660 (java) Z 1658 1660 1598 0 -1 4203548 1676014 0 1 0 179756 269 0 0 17 0 2 0 831241672 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1660/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
[startup+912.4 s]
/proc/loadavg: 3.95 3.97 3.82 6/479 1807
/proc/meminfo: memFree=11461620/32951124 swapFree=60787360/67111528
[pid=1660] ppid=1658 vsize=0 CPUtime=1800.35 cores=0,2,4,6
/proc/1660/stat : 1660 (java) Z 1658 1660 1598 0 -1 4203548 1676014 0 1 0 179756 279 0 0 17 0 2 0 831241672 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1660/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 912.404
CPU time (s): 1800.36
CPU user time (s): 1797.56
CPU system time (s): 2.79757
CPU usage (%): 197.321
Max. virtual memory (cumulated for all children) (KiB): 10615064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.56
system time used= 2.79757
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1676014
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= 24236
involuntary context switches= 52226
runsolver used 4.32734 second user time and 9.06862 second system time
The end