runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312330-1304110811/watcher-3312330-1304110811 -o /tmp/evaluation-result-3312330-1304110811/solver-3312330-1304110811 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312330-1304110811.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 4.00 4.22 4.64 2/189 9502
/proc/meminfo: memFree=31311336/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 1423 0 0 0 0 0 0 0 24 0 2 0 503496758 27824128 894 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 6793 894 684 9 0 381 0
[pid=9502/tid=9503] ppid=9500 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) R 9500 9502 8948 0 -1 4202560 71 0 0 0 0 0 0 0 25 0 2 0 503496759 29065216 898 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270333460103 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.0603891 s]
/proc/loadavg: 4.00 4.22 4.64 2/189 9502
/proc/meminfo: memFree=31311336/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15609780 CPUtime=0.04 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 4272 0 1 0 4 0 0 0 24 0 18 0 503496758 15984414720 3712 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3902445 3714 1778 9 0 3893164 0
[pid=9502/tid=9503] ppid=9500 vsize=15609780 CPUtime=0.04 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) R 9500 9502 8948 0 -1 4202560 2856 0 1 0 4 0 0 0 22 0 18 0 503496759 15984414720 3714 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270338044613 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609780
[startup+0.100333 s]
/proc/loadavg: 4.00 4.22 4.64 2/189 9502
/proc/meminfo: memFree=31311336/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15741884 CPUtime=0.1 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 5651 0 1 0 9 1 0 0 24 0 18 0 503496758 16119689216 5054 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3935471 5054 2118 9 0 3926190 0
[pid=9502/tid=9503] ppid=9500 vsize=15741884 CPUtime=0.08 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) R 9500 9502 8948 0 -1 4202560 3484 0 1 0 8 0 0 0 18 0 18 0 503496759 16119689216 5055 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 47599311066648 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) 15741884
[startup+0.300297 s]
/proc/loadavg: 4.00 4.22 4.64 2/189 9502
/proc/meminfo: memFree=31311336/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15745168 CPUtime=0.51 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 16055 0 1 0 48 3 0 0 24 0 18 0 503496758 16123052032 14469 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3936292 14476 2207 9 0 3927011 0
[pid=9502/tid=9503] ppid=9500 vsize=15745168 CPUtime=0.28 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) R 9500 9502 8948 0 -1 4202560 10939 0 1 0 26 2 0 0 18 0 18 0 503496759 16123052032 14480 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505633141 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15745168
[startup+0.704244 s]
/proc/loadavg: 4.00 4.22 4.64 2/189 9502
/proc/meminfo: memFree=31311336/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15767136 CPUtime=1.24 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 45978 0 1 0 118 6 0 0 24 0 22 0 503496758 16145547264 42452 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3941784 42452 2252 9 0 3932503 0
[pid=9502/tid=9503] ppid=9500 vsize=15767136 CPUtime=0.67 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) R 9500 9502 8948 0 -1 4202560 34116 0 1 0 63 4 0 0 20 0 22 0 503496759 16145547264 42452 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 47599308022675 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 15767136
[startup+1.50101 s]
/proc/loadavg: 4.00 4.22 4.64 8/220 9533
/proc/meminfo: memFree=30972880/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15770340 CPUtime=3.94 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 60326 0 1 0 386 8 0 0 24 0 22 0 503496758 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3942585 50857 2274 9 0 3933304 0
[pid=9502/tid=9503] ppid=9500 vsize=15770340 CPUtime=0.89 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) S 9500 9502 8948 0 -1 4202560 34181 0 1 0 85 4 0 0 20 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9505] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9505/stat : 9505 (java) S 9500 9502 8948 0 -1 4202560 25 0 0 0 0 0 0 0 18 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9506] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9506/stat : 9506 (java) S 9500 9502 8948 0 -1 4202560 339 0 0 0 0 0 0 0 15 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9507] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9507/stat : 9507 (java) S 9500 9502 8948 0 -1 4202560 937 0 0 0 0 0 0 0 18 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9508] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9508/stat : 9508 (java) S 9500 9502 8948 0 -1 4202560 1100 0 0 0 0 0 0 0 17 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9509] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9509/stat : 9509 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9510] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9510/stat : 9510 (java) S 9500 9502 8948 0 -1 4202560 1162 0 0 0 0 0 0 0 18 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9511] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9511/stat : 9511 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9512] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9512/stat : 9512 (java) S 9500 9502 8948 0 -1 4202560 1101 0 0 0 0 0 0 0 18 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9513] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9513/stat : 9513 (java) S 9500 9502 8948 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 503496760 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 0 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9519] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9519/stat : 9519 (java) S 9500 9502 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9520] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9520/stat : 9520 (java) S 9500 9502 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9521] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9521/stat : 9521 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503496763 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350207409 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9522] ppid=9500 vsize=15770340 CPUtime=0.67 cores=1,3,5,7
/proc/9502/task/9522/stat : 9522 (java) S 9500 9502 8948 0 -1 4202560 7598 0 0 0 67 0 0 0 16 0 22 0 503496763 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9523] ppid=9500 vsize=15770340 CPUtime=0.8 cores=1,3,5,7
/proc/9502/task/9523/stat : 9523 (java) R 9500 9502 8948 0 -1 4202560 11298 0 0 0 79 1 0 0 16 0 22 0 503496763 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 47599308710016 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9524] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9524/stat : 9524 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503496763 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9525] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9525/stat : 9525 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503496763 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9530] ppid=9500 vsize=15770340 CPUtime=0.36 cores=1,3,5,7
/proc/9502/task/9530/stat : 9530 (java) R 9500 9502 8948 0 -1 4202560 29 0 0 0 36 0 0 0 16 0 22 0 503496803 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505874631 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9502/tid=9531] ppid=9500 vsize=15770340 CPUtime=0.25 cores=1,3,5,7
/proc/9502/task/9531/stat : 9531 (java) R 9500 9502 8948 0 -1 4202560 444 0 0 0 25 0 0 0 16 0 22 0 503496803 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505796629 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9502/tid=9532] ppid=9500 vsize=15770340 CPUtime=0.38 cores=1,3,5,7
/proc/9502/task/9532/stat : 9532 (java) R 9500 9502 8948 0 -1 4202560 418 0 0 0 38 0 0 0 16 0 22 0 503496803 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9533] ppid=9500 vsize=15770340 CPUtime=0.5 cores=1,3,5,7
/proc/9502/task/9533/stat : 9533 (java) R 9500 9502 8948 0 -1 4202560 296 0 0 0 50 0 0 0 16 0 22 0 503496803 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505796650 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 15770340
[startup+3.10076 s]
/proc/loadavg: 4.00 4.22 4.64 10/220 9533
/proc/meminfo: memFree=30795984/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15770340 CPUtime=10.31 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 120833 0 1 0 1015 16 0 0 24 0 22 0 503496758 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3942585 111268 2274 9 0 3933304 0
[pid=9502/tid=9503] ppid=9500 vsize=15770340 CPUtime=0.89 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) S 9500 9502 8948 0 -1 4202560 34181 0 1 0 85 4 0 0 20 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9505] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9505/stat : 9505 (java) R 9500 9502 8948 0 -1 4202560 1908 0 0 0 0 0 0 0 15 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200774 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9506] ppid=9500 vsize=15770340 CPUtime=0.01 cores=1,3,5,7
/proc/9502/task/9506/stat : 9506 (java) R 9500 9502 8948 0 -1 4202560 5309 0 0 0 1 0 0 0 15 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200774 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9507] ppid=9500 vsize=15770340 CPUtime=0.01 cores=1,3,5,7
/proc/9502/task/9507/stat : 9507 (java) R 9500 9502 8948 0 -1 4202560 5156 0 0 0 0 1 0 0 15 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270338337079 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9502/tid=9508] ppid=9500 vsize=15770340 CPUtime=0.02 cores=1,3,5,7
/proc/9502/task/9508/stat : 9508 (java) R 9500 9502 8948 0 -1 4202560 8362 0 0 0 2 0 0 0 15 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270338337079 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9502/tid=9509] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9509/stat : 9509 (java) R 9500 9502 8948 0 -1 4202560 1551 0 0 0 0 0 0 0 15 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9510] ppid=9500 vsize=15770340 CPUtime=0.01 cores=1,3,5,7
/proc/9502/task/9510/stat : 9510 (java) S 9500 9502 8948 0 -1 4202560 5923 0 0 0 1 0 0 0 16 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9511] ppid=9500 vsize=15770340 CPUtime=0.02 cores=1,3,5,7
/proc/9502/task/9511/stat : 9511 (java) S 9500 9502 8948 0 -1 4202560 7192 0 0 0 2 0 0 0 16 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9512] ppid=9500 vsize=15770340 CPUtime=0.02 cores=1,3,5,7
/proc/9502/task/9512/stat : 9512 (java) S 9500 9502 8948 0 -1 4202560 6724 0 0 0 1 1 0 0 16 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9513] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9513/stat : 9513 (java) S 9500 9502 8948 0 -1 4202560 234 0 0 0 0 0 0 0 15 0 22 0 503496760 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 0 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9519] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9519/stat : 9519 (java) S 9500 9502 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9520] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9520/stat : 9520 (java) S 9500 9502 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9521] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9521/stat : 9521 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503496763 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350207409 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9522] ppid=9500 vsize=15770340 CPUtime=0.72 cores=1,3,5,7
/proc/9502/task/9522/stat : 9522 (java) S 9500 9502 8948 0 -1 4202560 7603 0 0 0 72 0 0 0 15 0 22 0 503496763 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9523] ppid=9500 vsize=15770340 CPUtime=0.83 cores=1,3,5,7
/proc/9502/task/9523/stat : 9523 (java) S 9500 9502 8948 0 -1 4202560 11302 0 0 0 82 1 0 0 15 0 22 0 503496763 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9524] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9524/stat : 9524 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503496763 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9525] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9525/stat : 9525 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503496763 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9530] ppid=9500 vsize=15770340 CPUtime=1.92 cores=1,3,5,7
/proc/9502/task/9530/stat : 9530 (java) S 9500 9502 8948 0 -1 4202560 5635 0 0 0 192 0 0 0 17 0 22 0 503496803 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9531] ppid=9500 vsize=15770340 CPUtime=1.77 cores=1,3,5,7
/proc/9502/task/9531/stat : 9531 (java) S 9500 9502 8948 0 -1 4202560 6632 0 0 0 177 0 0 0 17 0 22 0 503496803 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9532] ppid=9500 vsize=15770340 CPUtime=1.93 cores=1,3,5,7
/proc/9502/task/9532/stat : 9532 (java) S 9500 9502 8948 0 -1 4202560 6152 0 0 0 193 0 0 0 17 0 22 0 503496803 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9533] ppid=9500 vsize=15770340 CPUtime=2.01 cores=1,3,5,7
/proc/9502/task/9533/stat : 9533 (java) S 9500 9502 8948 0 -1 4202560 5583 0 0 0 200 1 0 0 18 0 22 0 503496803 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.31
Current children cumulated vsize (KiB) 15770340
[startup+6.30106 s]
/proc/loadavg: 4.40 4.29 4.67 10/220 9533
/proc/meminfo: memFree=29442932/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15770340 CPUtime=23.08 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 292746 0 1 0 2271 37 0 0 24 0 22 0 503496758 16148828160 282281 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3942585 282284 2284 9 0 3933304 0
[pid=9502/tid=9503] ppid=9500 vsize=15770340 CPUtime=0.89 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) S 9500 9502 8948 0 -1 4202560 34181 0 1 0 85 4 0 0 20 0 22 0 503496759 16148828160 282285 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9505] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9505/stat : 9505 (java) S 9500 9502 8948 0 -1 4202560 1908 0 0 0 0 0 0 0 15 0 22 0 503496759 16148828160 282288 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9506] ppid=9500 vsize=15770340 CPUtime=0.01 cores=1,3,5,7
/proc/9502/task/9506/stat : 9506 (java) S 9500 9502 8948 0 -1 4202560 5309 0 0 0 1 0 0 0 15 0 22 0 503496759 16148828160 282290 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9507] ppid=9500 vsize=15770340 CPUtime=0.03 cores=1,3,5,7
/proc/9502/task/9507/stat : 9507 (java) S 9500 9502 8948 0 -1 4202560 9987 0 0 0 1 2 0 0 15 0 22 0 503496759 16148828160 282291 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9508] ppid=9500 vsize=15770340 CPUtime=0.05 cores=1,3,5,7
/proc/9502/task/9508/stat : 9508 (java) S 9500 9502 8948 0 -1 4202560 17226 0 0 0 3 2 0 0 16 0 22 0 503496759 16148828160 282294 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9509] ppid=9500 vsize=15770340 CPUtime=0.02 cores=1,3,5,7
/proc/9502/task/9509/stat : 9509 (java) S 9500 9502 8948 0 -1 4202560 10644 0 0 0 1 1 0 0 16 0 22 0 503496759 16148828160 282296 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9510] ppid=9500 vsize=15770340 CPUtime=0.01 cores=1,3,5,7
/proc/9502/task/9510/stat : 9510 (java) S 9500 9502 8948 0 -1 4202560 5923 0 0 0 1 0 0 0 15 0 22 0 503496759 16148828160 282299 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9511] ppid=9500 vsize=15770340 CPUtime=0.03 cores=1,3,5,7
/proc/9502/task/9511/stat : 9511 (java) S 9500 9502 8948 0 -1 4202560 11136 0 0 0 2 1 0 0 16 0 22 0 503496759 16148828160 282301 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9512] ppid=9500 vsize=15770340 CPUtime=0.05 cores=1,3,5,7
/proc/9502/task/9512/stat : 9512 (java) S 9500 9502 8948 0 -1 4202560 15306 0 0 0 3 2 0 0 16 0 22 0 503496759 16148828160 282304 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=9502/tid=9531] ppid=9500 vsize=15770340 CPUtime=1108.21 cores=1,3,5,7
/proc/9502/task/9531/stat : 9531 (java) R 9500 9502 8948 0 -1 4202560 236284 0 0 0 110785 36 0 0 25 0 22 0 503496803 16148828160 105514 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505804768 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9502/tid=9532] ppid=9500 vsize=15770340 CPUtime=1108.53 cores=1,3,5,7
/proc/9502/task/9532/stat : 9532 (java) R 9500 9502 8948 0 -1 4202560 243138 0 0 0 110816 37 0 0 25 0 22 0 503496803 16148828160 105514 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505927949 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9502/tid=9533] ppid=9500 vsize=15770340 CPUtime=1107.76 cores=1,3,5,7
/proc/9502/task/9533/stat : 9533 (java) R 9500 9502 8948 0 -1 4202560 237684 0 0 0 110739 37 0 0 25 0 22 0 503496803 16148828160 105514 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505769728 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4465.09
Current children cumulated vsize (KiB) 15770340
[startup+1182.3 s]
/proc/loadavg: 8.11 8.00 7.08 9/220 9574
/proc/meminfo: memFree=30523916/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15770340 CPUtime=4703.84 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 1798919 0 1 0 470004 380 0 0 24 0 22 0 503496758 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3942585 109518 2299 9 0 3933304 0
[pid=9502/tid=9503] ppid=9500 vsize=15770340 CPUtime=0.89 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) S 9500 9502 8948 0 -1 4202560 34181 0 1 0 85 4 0 0 20 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9505] ppid=9500 vsize=15770340 CPUtime=3.62 cores=1,3,5,7
/proc/9502/task/9505/stat : 9505 (java) S 9500 9502 8948 0 -1 4202560 82483 0 0 0 342 20 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9506] ppid=9500 vsize=15770340 CPUtime=3.59 cores=1,3,5,7
/proc/9502/task/9506/stat : 9506 (java) S 9500 9502 8948 0 -1 4202560 88173 0 0 0 340 19 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9507] ppid=9500 vsize=15770340 CPUtime=3.59 cores=1,3,5,7
/proc/9502/task/9507/stat : 9507 (java) S 9500 9502 8948 0 -1 4202560 90947 0 0 0 337 22 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9508] ppid=9500 vsize=15770340 CPUtime=3.65 cores=1,3,5,7
/proc/9502/task/9508/stat : 9508 (java) S 9500 9502 8948 0 -1 4202560 103937 0 0 0 343 22 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9509] ppid=9500 vsize=15770340 CPUtime=3.61 cores=1,3,5,7
/proc/9502/task/9509/stat : 9509 (java) S 9500 9502 8948 0 -1 4202560 88657 0 0 0 339 22 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9510] ppid=9500 vsize=15770340 CPUtime=3.5 cores=1,3,5,7
/proc/9502/task/9510/stat : 9510 (java) S 9500 9502 8948 0 -1 4202560 85968 0 0 0 332 18 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9511] ppid=9500 vsize=15770340 CPUtime=3.67 cores=1,3,5,7
/proc/9502/task/9511/stat : 9511 (java) S 9500 9502 8948 0 -1 4202560 99045 0 0 0 345 22 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9512] ppid=9500 vsize=15770340 CPUtime=3.67 cores=1,3,5,7
/proc/9502/task/9512/stat : 9512 (java) S 9500 9502 8948 0 -1 4202560 94225 0 0 0 345 22 0 0 16 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9513] ppid=9500 vsize=15770340 CPUtime=1.75 cores=1,3,5,7
/proc/9502/task/9513/stat : 9513 (java) S 9500 9502 8948 0 -1 4202560 4869 0 0 0 124 51 0 0 15 0 22 0 503496760 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 0 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9519] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9519/stat : 9519 (java) S 9500 9502 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9520] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9520/stat : 9520 (java) S 9500 9502 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9521] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9521/stat : 9521 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503496763 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350207409 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9522] ppid=9500 vsize=15770340 CPUtime=1.04 cores=1,3,5,7
/proc/9502/task/9522/stat : 9522 (java) S 9500 9502 8948 0 -1 4202560 8490 0 0 0 104 0 0 0 15 0 22 0 503496763 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9523] ppid=9500 vsize=15770340 CPUtime=1.1 cores=1,3,5,7
/proc/9502/task/9523/stat : 9523 (java) S 9500 9502 8948 0 -1 4202560 11364 0 0 0 109 1 0 0 15 0 22 0 503496763 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9524] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9524/stat : 9524 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503496763 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9525] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9525/stat : 9525 (java) S 9500 9502 8948 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 503496763 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9530] ppid=9500 vsize=15770340 CPUtime=1167.76 cores=1,3,5,7
/proc/9502/task/9530/stat : 9530 (java) R 9500 9502 8948 0 -1 4202560 252620 0 0 0 116741 35 0 0 25 0 22 0 503496803 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505804885 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9502/tid=9531] ppid=9500 vsize=15770340 CPUtime=1167.54 cores=1,3,5,7
/proc/9502/task/9531/stat : 9531 (java) R 9500 9502 8948 0 -1 4202560 248118 0 0 0 116716 38 0 0 25 0 22 0 503496803 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505907817 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9502/tid=9532] ppid=9500 vsize=15770340 CPUtime=1167.81 cores=1,3,5,7
/proc/9502/task/9532/stat : 9532 (java) R 9500 9502 8948 0 -1 4202560 254926 0 0 0 116743 38 0 0 25 0 22 0 503496803 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505796474 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9533] ppid=9500 vsize=15770340 CPUtime=1166.91 cores=1,3,5,7
/proc/9502/task/9533/stat : 9533 (java) R 9500 9502 8948 0 -1 4202560 249472 0 0 0 116653 38 0 0 25 0 22 0 503496803 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 47599311824063 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4703.84
Current children cumulated vsize (KiB) 15770340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1206.5 s]
/proc/loadavg: 8.21 8.03 7.12 9/220 9574
/proc/meminfo: memFree=30487920/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15770340 CPUtime=4800.2 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 1835932 0 1 0 479632 388 0 0 24 0 22 0 503496758 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3942585 105377 2299 9 0 3933304 0
[pid=9502/tid=9503] ppid=9500 vsize=15770340 CPUtime=0.89 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) S 9500 9502 8948 0 -1 4202560 34181 0 1 0 85 4 0 0 20 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9505] ppid=9500 vsize=15770340 CPUtime=3.69 cores=1,3,5,7
/proc/9502/task/9505/stat : 9505 (java) S 9500 9502 8948 0 -1 4202560 85173 0 0 0 348 21 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9506] ppid=9500 vsize=15770340 CPUtime=3.66 cores=1,3,5,7
/proc/9502/task/9506/stat : 9506 (java) S 9500 9502 8948 0 -1 4202560 91832 0 0 0 346 20 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9507] ppid=9500 vsize=15770340 CPUtime=3.66 cores=1,3,5,7
/proc/9502/task/9507/stat : 9507 (java) S 9500 9502 8948 0 -1 4202560 93432 0 0 0 344 22 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9508] ppid=9500 vsize=15770340 CPUtime=3.74 cores=1,3,5,7
/proc/9502/task/9508/stat : 9508 (java) S 9500 9502 8948 0 -1 4202560 106872 0 0 0 351 23 0 0 16 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9509] ppid=9500 vsize=15770340 CPUtime=3.69 cores=1,3,5,7
/proc/9502/task/9509/stat : 9509 (java) S 9500 9502 8948 0 -1 4202560 91363 0 0 0 347 22 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9510] ppid=9500 vsize=15770340 CPUtime=3.58 cores=1,3,5,7
/proc/9502/task/9510/stat : 9510 (java) S 9500 9502 8948 0 -1 4202560 88941 0 0 0 339 19 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9511] ppid=9500 vsize=15770340 CPUtime=3.76 cores=1,3,5,7
/proc/9502/task/9511/stat : 9511 (java) S 9500 9502 8948 0 -1 4202560 103006 0 0 0 353 23 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9512] ppid=9500 vsize=15770340 CPUtime=3.75 cores=1,3,5,7
/proc/9502/task/9512/stat : 9512 (java) S 9500 9502 8948 0 -1 4202560 96720 0 0 0 353 22 0 0 16 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9513] ppid=9500 vsize=15770340 CPUtime=1.77 cores=1,3,5,7
/proc/9502/task/9513/stat : 9513 (java) S 9500 9502 8948 0 -1 4202560 4977 0 0 0 125 52 0 0 15 0 22 0 503496760 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 0 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9519] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9519/stat : 9519 (java) S 9500 9502 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9520] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9520/stat : 9520 (java) S 9500 9502 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9521] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9521/stat : 9521 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350207409 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9522] ppid=9500 vsize=15770340 CPUtime=1.04 cores=1,3,5,7
/proc/9502/task/9522/stat : 9522 (java) S 9500 9502 8948 0 -1 4202560 8490 0 0 0 104 0 0 0 15 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9523] ppid=9500 vsize=15770340 CPUtime=1.1 cores=1,3,5,7
/proc/9502/task/9523/stat : 9523 (java) S 9500 9502 8948 0 -1 4202560 11364 0 0 0 109 1 0 0 15 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9524] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9524/stat : 9524 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9525] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9525/stat : 9525 (java) S 9500 9502 8948 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9530] ppid=9500 vsize=15770340 CPUtime=1191.71 cores=1,3,5,7
/proc/9502/task/9530/stat : 9530 (java) R 9500 9502 8948 0 -1 4202560 256057 0 0 0 119136 35 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505927992 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9502/tid=9531] ppid=9500 vsize=15770340 CPUtime=1191.44 cores=1,3,5,7
/proc/9502/task/9531/stat : 9531 (java) R 9500 9502 8948 0 -1 4202560 251420 0 0 0 119106 38 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912506106540 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9502/tid=9532] ppid=9500 vsize=15770340 CPUtime=1191.76 cores=1,3,5,7
/proc/9502/task/9532/stat : 9532 (java) R 9500 9502 8948 0 -1 4202560 258004 0 0 0 119138 38 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505749574 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9533] ppid=9500 vsize=15770340 CPUtime=1190.78 cores=1,3,5,7
/proc/9502/task/9533/stat : 9533 (java) R 9500 9502 8948 0 -1 4202560 252654 0 0 0 119039 39 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505945847 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 15770340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1206.5 s]
/proc/loadavg: 8.21 8.03 7.12 9/220 9574
/proc/meminfo: memFree=30487920/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15770340 CPUtime=4800.2 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 1835932 0 1 0 479632 388 0 0 24 0 22 0 503496758 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3942585 105377 2299 9 0 3933304 0
[pid=9502/tid=9503] ppid=9500 vsize=15770340 CPUtime=0.89 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) S 9500 9502 8948 0 -1 4202560 34181 0 1 0 85 4 0 0 20 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9505] ppid=9500 vsize=15770340 CPUtime=3.69 cores=1,3,5,7
/proc/9502/task/9505/stat : 9505 (java) S 9500 9502 8948 0 -1 4202560 85173 0 0 0 348 21 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9506] ppid=9500 vsize=15770340 CPUtime=3.66 cores=1,3,5,7
/proc/9502/task/9506/stat : 9506 (java) S 9500 9502 8948 0 -1 4202560 91832 0 0 0 346 20 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9507] ppid=9500 vsize=15770340 CPUtime=3.66 cores=1,3,5,7
/proc/9502/task/9507/stat : 9507 (java) S 9500 9502 8948 0 -1 4202560 93432 0 0 0 344 22 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9508] ppid=9500 vsize=15770340 CPUtime=3.74 cores=1,3,5,7
/proc/9502/task/9508/stat : 9508 (java) S 9500 9502 8948 0 -1 4202560 106872 0 0 0 351 23 0 0 16 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9509] ppid=9500 vsize=15770340 CPUtime=3.69 cores=1,3,5,7
/proc/9502/task/9509/stat : 9509 (java) S 9500 9502 8948 0 -1 4202560 91363 0 0 0 347 22 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9510] ppid=9500 vsize=15770340 CPUtime=3.58 cores=1,3,5,7
/proc/9502/task/9510/stat : 9510 (java) S 9500 9502 8948 0 -1 4202560 88941 0 0 0 339 19 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9511] ppid=9500 vsize=15770340 CPUtime=3.76 cores=1,3,5,7
/proc/9502/task/9511/stat : 9511 (java) S 9500 9502 8948 0 -1 4202560 103006 0 0 0 353 23 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9512] ppid=9500 vsize=15770340 CPUtime=3.75 cores=1,3,5,7
/proc/9502/task/9512/stat : 9512 (java) S 9500 9502 8948 0 -1 4202560 96720 0 0 0 353 22 0 0 16 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9513] ppid=9500 vsize=15770340 CPUtime=1.77 cores=1,3,5,7
/proc/9502/task/9513/stat : 9513 (java) S 9500 9502 8948 0 -1 4202560 4977 0 0 0 125 52 0 0 15 0 22 0 503496760 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 0 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9519] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9519/stat : 9519 (java) S 9500 9502 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9520] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9520/stat : 9520 (java) S 9500 9502 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9521] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9521/stat : 9521 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350207409 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9522] ppid=9500 vsize=15770340 CPUtime=1.04 cores=1,3,5,7
/proc/9502/task/9522/stat : 9522 (java) S 9500 9502 8948 0 -1 4202560 8490 0 0 0 104 0 0 0 15 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9523] ppid=9500 vsize=15770340 CPUtime=1.1 cores=1,3,5,7
/proc/9502/task/9523/stat : 9523 (java) S 9500 9502 8948 0 -1 4202560 11364 0 0 0 109 1 0 0 15 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9524] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9524/stat : 9524 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9525] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9525/stat : 9525 (java) S 9500 9502 8948 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9530] ppid=9500 vsize=15770340 CPUtime=1191.71 cores=1,3,5,7
/proc/9502/task/9530/stat : 9530 (java) R 9500 9502 8948 0 -1 4202560 256057 0 0 0 119136 35 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505927992 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9502/tid=9531] ppid=9500 vsize=15770340 CPUtime=1191.44 cores=1,3,5,7
/proc/9502/task/9531/stat : 9531 (java) R 9500 9502 8948 0 -1 4202560 251420 0 0 0 119106 38 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912506106540 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9502/tid=9532] ppid=9500 vsize=15770340 CPUtime=1191.76 cores=1,3,5,7
/proc/9502/task/9532/stat : 9532 (java) R 9500 9502 8948 0 -1 4202560 258004 0 0 0 119138 38 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505749574 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9533] ppid=9500 vsize=15770340 CPUtime=1190.78 cores=1,3,5,7
/proc/9502/task/9533/stat : 9533 (java) R 9500 9502 8948 0 -1 4202560 252654 0 0 0 119039 39 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505945847 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 15770340
Child status: 143
Real time (s): 1206.53
CPU time (s): 4800.26
CPU user time (s): 4796.36
CPU system time (s): 3.89941
CPU usage (%): 397.855
Max. virtual memory (cumulated for all children) (KiB): 15772916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.36
system time used= 3.89941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1835958
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= 203970
involuntary context switches= 114829
runsolver used 1.9497 second user time and 4.68529 second system time
The end