runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14366 MiB free)
memory of node 1: 16384 MiB (13900 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291579-1532242968/watcher-4291579-1532242968 -o /tmp/evaluation-result-4291579-1532242968/solver-4291579-1532242968 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532226534-26745 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 105865175 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291579-1532242968.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28493, runsolver pid=28490
[startup+0.100094 s]*
/proc/loadavg: 1.65 1.69 1.54 3/216 28508
/proc/meminfo: memFree=28926376/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=14082740 memory=34316 CPUtime=0.11 cores=0,2,4,6
/proc/28493/stat : 28493 (java) S 28490 28493 26714 0 -1 1077944320 6992 0 0 0 10 1 0 0 20 0 15 0 41860022 14420725760 8579 33554432000 4194304 4196468 140728360403088 140728360385632 140022813798135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
/proc/28493/statm: 3520685 8579 3137 1 0 3482761 0
[pid=28493/tid=28495] ppid=28490 vsize=14082740 memory=-8485517772678272128 CPUtime=0.09 cores=0,2,4,6
/proc/28493/task/28495/stat : 28495 (java) R 28490 28493 26714 0 -1 4202560 5071 0 0 0 8 1 0 0 20 0 15 0 41860022 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022817999800 140022799996080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28496] ppid=28490 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28496/stat : 28496 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860023 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022409968144 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28497] ppid=28490 vsize=14082740 memory=140396128900736 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28497/stat : 28497 (java) S 28490 28493 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41860023 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022408915600 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28498] ppid=28490 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28498/stat : 28498 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860023 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022407862544 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28499] ppid=28490 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28499/stat : 28499 (java) S 28490 28493 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41860023 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022406810000 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28500] ppid=28490 vsize=14082740 memory=140396128900736 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28500/stat : 28500 (java) S 28490 28493 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41860024 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022288165616 140022813809282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28501] ppid=28490 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28501/stat : 28501 (java) S 28490 28493 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41860025 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022287111840 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28502] ppid=28490 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28502/stat : 28502 (java) S 28490 28493 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41860025 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022286058736 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28503] ppid=28490 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28503/stat : 28503 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860027 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022285007312 140022813816731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28504] ppid=28490 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28504/stat : 28504 (java) S 28490 28493 26714 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 41860027 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022283954416 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28505] ppid=28490 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28505/stat : 28505 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860027 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022282901872 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28506] ppid=28490 vsize=14082740 memory=140396128900736 CPUtime=0.01 cores=0,2,4,6
/proc/28493/task/28506/stat : 28506 (java) S 28490 28493 26714 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 15 0 41860027 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022281848816 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28507] ppid=28490 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28507/stat : 28507 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860028 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022280796512 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28508] ppid=28490 vsize=14082740 memory=140396128900736 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28508/stat : 28508 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860028 14420725760 8579 33554432000 4194304 4196468 140728360403088 140022279744560 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 34316 KiB
[startup+0.210456 s]*
/proc/loadavg: 1.65 1.69 1.54 4/216 28508
/proc/meminfo: memFree=28910996/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=14082740 memory=47688 CPUtime=0.3 cores=0,2,4,6
/proc/28493/stat : 28493 (java) S 28490 28493 26714 0 -1 1077944320 10024 0 0 0 28 2 0 0 20 0 15 0 41860022 14420725760 11922 33554432000 4194304 4196468 140728360403088 140728360385632 140022813798135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
/proc/28493/statm: 3520685 11922 3375 1 0 3482761 0
[pid=28493/tid=28495] ppid=28490 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/28493/task/28495/stat : 28495 (java) S 28490 28493 26714 0 -1 1077944384 7763 0 0 0 18 1 0 0 20 0 15 0 41860022 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022818026544 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28496] ppid=28490 vsize=14082740 memory=345 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28496/stat : 28496 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860023 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022409968144 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28497] ppid=28490 vsize=14082740 memory=288370772280612480 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28497/stat : 28497 (java) S 28490 28493 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41860023 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022408915600 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28498] ppid=28490 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28498/stat : 28498 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860023 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022407862544 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28499] ppid=28490 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28499/stat : 28499 (java) S 28490 28493 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41860023 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022406810000 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28500] ppid=28490 vsize=14082740 memory=140396128900736 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28500/stat : 28500 (java) S 28490 28493 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41860024 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022288165616 140022813809282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28501] ppid=28490 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28501/stat : 28501 (java) S 28490 28493 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41860025 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022287111840 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28502] ppid=28490 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28502/stat : 28502 (java) S 28490 28493 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41860025 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022286058736 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28503] ppid=28490 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28503/stat : 28503 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860027 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022285007312 140022813816731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28504] ppid=28490 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28493/task/28504/stat : 28504 (java) R 28490 28493 26714 0 -1 4202560 394 0 0 0 1 0 0 0 20 0 15 0 41860027 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022283954416 140022795342311 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28505] ppid=28490 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/28493/task/28505/stat : 28505 (java) R 28490 28493 26714 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 15 0 41860027 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022282901872 140022813809282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28506] ppid=28490 vsize=14082740 memory=140396128900736 CPUtime=0.06 cores=0,2,4,6
/proc/28493/task/28506/stat : 28506 (java) S 28490 28493 26714 0 -1 1077944384 279 0 0 0 6 0 0 0 20 0 15 0 41860027 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022281848816 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28507] ppid=28490 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28507/stat : 28507 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860028 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022280796512 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28508] ppid=28490 vsize=14082740 memory=140396128900736 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28508/stat : 28508 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860028 14420725760 11922 33554432000 4194304 4196468 140728360403088 140022279744560 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47688 KiB
[startup+0.310545 s]*
/proc/loadavg: 1.65 1.69 1.54 4/216 28508
/proc/meminfo: memFree=28905536/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=14082740 memory=51200 CPUtime=0.44 cores=0,2,4,6
/proc/28493/stat : 28493 (java) S 28490 28493 26714 0 -1 1077944320 10389 0 0 0 41 3 0 0 20 0 15 0 41860022 14420725760 12800 33554432000 4194304 4196468 140728360403088 140728360385632 140022813798135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
/proc/28493/statm: 3520685 12800 3414 1 0 3482761 0
[pid=28493/tid=28495] ppid=28490 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/28493/task/28495/stat : 28495 (java) R 28490 28493 26714 0 -1 4202560 8097 0 0 0 27 2 0 0 20 0 15 0 41860022 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022817979184 140022797878652 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28496] ppid=28490 vsize=14082740 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28496/stat : 28496 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860023 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022409968144 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28497] ppid=28490 vsize=14082740 memory=288370772280612480 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28497/stat : 28497 (java) S 28490 28493 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41860023 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022408915600 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28498] ppid=28490 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28498/stat : 28498 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860023 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022407862544 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28499] ppid=28490 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28499/stat : 28499 (java) S 28490 28493 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41860023 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022406810000 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28500] ppid=28490 vsize=14082740 memory=140396128900736 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28500/stat : 28500 (java) S 28490 28493 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41860024 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022288165616 140022813809282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28501] ppid=28490 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28501/stat : 28501 (java) S 28490 28493 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41860025 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022287111840 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28502] ppid=28490 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28502/stat : 28502 (java) S 28490 28493 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41860025 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022286058736 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28503] ppid=28490 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28503/stat : 28503 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860027 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022285007312 140022813816731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28504] ppid=28490 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28493/task/28504/stat : 28504 (java) S 28490 28493 26714 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 41860027 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022283954416 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28505] ppid=28490 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28493/task/28505/stat : 28505 (java) S 28490 28493 26714 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 41860027 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022282901872 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28506] ppid=28490 vsize=14082740 memory=140396128900736 CPUtime=0.08 cores=0,2,4,6
/proc/28493/task/28506/stat : 28506 (java) S 28490 28493 26714 0 -1 1077944384 289 0 0 0 8 0 0 0 20 0 15 0 41860027 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022281848816 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28507] ppid=28490 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28507/stat : 28507 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860028 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022280796512 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28508] ppid=28490 vsize=14082740 memory=140396128900736 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28508/stat : 28508 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860028 14420725760 12800 33554432000 4194304 4196468 140728360403088 140022279744560 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 51200 KiB
[startup+0.700828 s]
/proc/loadavg: 1.65 1.69 1.54 3/216 28508
/proc/meminfo: memFree=28883400/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=14084808 memory=86544 CPUtime=0.98 cores=0,2,4,6
/proc/28493/stat : 28493 (java) S 28490 28493 26714 0 -1 1077944320 16997 0 0 0 93 5 0 0 20 0 15 0 41860022 14422843392 21636 33554432000 4194304 4196468 140728360403088 140728360385632 140022813798135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
/proc/28493/statm: 3521202 21636 3496 1 0 3483273 0
[pid=28493/tid=28495] ppid=28490 vsize=14084808 memory=1724 CPUtime=0.67 cores=0,2,4,6
/proc/28493/task/28495/stat : 28495 (java) R 28490 28493 26714 0 -1 4202560 14399 0 0 0 63 4 0 0 20 0 15 0 41860022 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022818022496 140022813820061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28496] ppid=28490 vsize=14084808 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28496/stat : 28496 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860023 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022409968144 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28497] ppid=28490 vsize=14084808 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28497/stat : 28497 (java) S 28490 28493 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41860023 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022408915600 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28498] ppid=28490 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28498/stat : 28498 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860023 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022407862544 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28499] ppid=28490 vsize=14084808 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28499/stat : 28499 (java) S 28490 28493 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41860023 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022406810000 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28500] ppid=28490 vsize=14084808 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28500/stat : 28500 (java) S 28490 28493 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41860024 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022288165616 140022813809282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28501] ppid=28490 vsize=14084808 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28501/stat : 28501 (java) S 28490 28493 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41860025 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022287111840 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28502] ppid=28490 vsize=14084808 memory=8356 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28502/stat : 28502 (java) S 28490 28493 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41860025 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022286058736 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28503] ppid=28490 vsize=14084808 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28503/stat : 28503 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860027 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022285007312 140022813816731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28504] ppid=28490 vsize=14084808 memory=7092418796125250880 CPUtime=0.08 cores=0,2,4,6
/proc/28493/task/28504/stat : 28504 (java) S 28490 28493 26714 0 -1 1077944384 535 0 0 0 8 0 0 0 20 0 15 0 41860027 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022283954416 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28505] ppid=28490 vsize=14084808 memory=7597685182856913236 CPUtime=0.06 cores=0,2,4,6
/proc/28493/task/28505/stat : 28505 (java) S 28490 28493 26714 0 -1 1077944384 362 0 0 0 6 0 0 0 20 0 15 0 41860027 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022282901872 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28506] ppid=28490 vsize=14084808 memory=7301858164987948385 CPUtime=0.15 cores=0,2,4,6
/proc/28493/task/28506/stat : 28506 (java) S 28490 28493 26714 0 -1 1077944384 319 0 0 0 15 0 0 0 20 0 15 0 41860027 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022281848816 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28507] ppid=28490 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28507/stat : 28507 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860028 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022280796512 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28508] ppid=28490 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28508/stat : 28508 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860028 14422843392 21636 33554432000 4194304 4196468 140728360403088 140022279744560 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 86544 KiB
[startup+1.50322 s]
/proc/loadavg: 1.65 1.69 1.54 5/216 28508
/proc/meminfo: memFree=28835552/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=14090952 memory=153924 CPUtime=2.87 cores=0,2,4,6
/proc/28493/stat : 28493 (java) S 28490 28493 26714 0 -1 1077944320 24899 0 0 0 279 8 0 0 20 0 15 0 41860022 14429134848 38481 33554432000 4194304 4196468 140728360403088 140728360385632 140022813798135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
/proc/28493/statm: 3522738 38481 3556 1 0 3484809 0
[pid=28493/tid=28495] ppid=28490 vsize=14090952 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/28493/task/28495/stat : 28495 (java) R 28490 28493 26714 0 -1 4202560 19652 0 0 0 141 5 0 0 20 0 15 0 41860022 14429134848 38481 33554432000 4194304 4196468 140728360403088 140022818033736 140022456754292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28496] ppid=28490 vsize=14090952 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28496/stat : 28496 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860023 14429134848 38481 33554432000 4194304 4196468 140728360403088 140022409968144 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28497] ppid=28490 vsize=14090952 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28497/stat : 28497 (java) S 28490 28493 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41860023 14429134848 38481 33554432000 4194304 4196468 140728360403088 140022408915600 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28498] ppid=28490 vsize=14090952 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28498/stat : 28498 (java) S 28490 28493 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41860023 14429134848 38481 33554432000 4194304 4196468 140728360403088 140022407862544 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28499] ppid=28490 vsize=14090952 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28499/stat : 28499 (java) S 28490 28493 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41860023 14429134848 38481 33554432000 4194304 4196468 140728360403088 140022406810000 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28500] ppid=28490 vsize=14090952 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28500/stat : 28500 (java) S 28490 28493 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41860024 14429134848 38481 33554432000 4194304 4196468 140728360403088 140022288165616 140022813809282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
################
# More data... #
################
/proc/28493/task/28495/stat : 28495 (java) R 28490 28493 26714 0 -1 4202560 182293 0 0 0 223590 61 0 0 20 0 15 0 41860022 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022818035232 140022452593382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28496] ppid=28490 vsize=14093000 memory=353608 CPUtime=16.24 cores=0,2,4,6
/proc/28493/task/28496/stat : 28496 (java) S 28490 28493 26714 0 -1 1077944384 15961 0 0 0 1567 57 0 0 20 0 15 0 41860023 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022409968144 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28497] ppid=28490 vsize=14093000 memory=352068 CPUtime=16.27 cores=0,2,4,6
/proc/28493/task/28497/stat : 28497 (java) S 28490 28493 26714 0 -1 1077944384 16570 0 0 0 1570 57 0 0 20 0 15 0 41860023 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022408915600 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28498] ppid=28490 vsize=14093000 memory=394456 CPUtime=16.31 cores=0,2,4,6
/proc/28493/task/28498/stat : 28498 (java) S 28490 28493 26714 0 -1 1077944384 17041 0 0 0 1577 54 0 0 20 0 15 0 41860023 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022407862544 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28499] ppid=28490 vsize=14093000 memory=392916 CPUtime=16.26 cores=0,2,4,6
/proc/28493/task/28499/stat : 28499 (java) S 28490 28493 26714 0 -1 1077944384 17665 0 0 0 1572 54 0 0 20 0 15 0 41860023 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022406810000 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28500] ppid=28490 vsize=14093000 memory=392916 CPUtime=6.22 cores=0,2,4,6
/proc/28493/task/28500/stat : 28500 (java) S 28490 28493 26714 0 -1 1077944384 29096 0 0 0 555 67 0 0 20 0 15 0 41860024 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022288165616 140022813809282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28501] ppid=28490 vsize=14093000 memory=389840 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28501/stat : 28501 (java) S 28490 28493 26714 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 41860025 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022287111904 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28502] ppid=28490 vsize=14093000 memory=362752 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28502/stat : 28502 (java) S 28490 28493 26714 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 41860025 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022286058752 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28503] ppid=28490 vsize=14093000 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28503/stat : 28503 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860027 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022285007312 140022813816731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28504] ppid=28490 vsize=14093000 memory=352092 CPUtime=1.4 cores=0,2,4,6
/proc/28493/task/28504/stat : 28504 (java) S 28490 28493 26714 0 -1 1077944384 9377 0 0 0 138 2 0 0 20 0 15 0 41860027 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022283954416 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28505] ppid=28490 vsize=14093000 memory=352092 CPUtime=1.44 cores=0,2,4,6
/proc/28493/task/28505/stat : 28505 (java) S 28490 28493 26714 0 -1 1077944384 9693 0 0 0 141 3 0 0 20 0 15 0 41860027 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022282901872 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28506] ppid=28490 vsize=14093000 memory=2344 CPUtime=1.04 cores=0,2,4,6
/proc/28493/task/28506/stat : 28506 (java) S 28490 28493 26714 0 -1 1077944384 23124 0 0 0 100 4 0 0 20 0 15 0 41860027 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022281848816 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28507] ppid=28490 vsize=14093000 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28507/stat : 28507 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860028 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022280796512 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28508] ppid=28490 vsize=14093000 memory=1004 CPUtime=1.17 cores=0,2,4,6
/proc/28493/task/28508/stat : 28508 (java) S 28490 28493 26714 0 -1 1077944384 1479 0 0 0 59 58 0 0 20 0 15 0 41860028 14431232000 97460 33554432000 4194304 4196468 140728360403088 140022279744560 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
Current children cumulated CPU time: 2312.94 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 389840 KiB
[startup+2322.3 s]
/proc/loadavg: 1.20 1.53 1.62 3/216 28740
/proc/meminfo: memFree=23983128/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=14093000 memory=367660 CPUtime=2374.31 cores=0,2,4,6
/proc/28493/stat : 28493 (java) S 28490 28493 26714 0 -1 1077944320 325685 0 0 0 237043 388 0 0 20 0 15 0 41860022 14431232000 91915 33554432000 4194304 4196468 140728360403088 140728360385632 140022813798135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
/proc/28493/statm: 3523250 91915 3614 1 0 3485321 0
[pid=28493/tid=28495] ppid=28490 vsize=14093000 memory=369200 CPUtime=2295.87 cores=0,2,4,6
/proc/28493/task/28495/stat : 28495 (java) R 28490 28493 26714 0 -1 4202560 183013 0 0 0 229525 62 0 0 20 0 15 0 41860022 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022818035280 140022458008856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28496] ppid=28490 vsize=14093000 memory=382144 CPUtime=16.7 cores=0,2,4,6
/proc/28493/task/28496/stat : 28496 (java) S 28490 28493 26714 0 -1 1077944384 16312 0 0 0 1612 58 0 0 20 0 15 0 41860023 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022409968144 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28497] ppid=28490 vsize=14093000 memory=365252 CPUtime=16.72 cores=0,2,4,6
/proc/28493/task/28497/stat : 28497 (java) S 28490 28493 26714 0 -1 1077944384 16780 0 0 0 1614 58 0 0 20 0 15 0 41860023 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022408915600 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28498] ppid=28490 vsize=14093000 memory=387580 CPUtime=16.77 cores=0,2,4,6
/proc/28493/task/28498/stat : 28498 (java) S 28490 28493 26714 0 -1 1077944384 17285 0 0 0 1622 55 0 0 20 0 15 0 41860023 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022407862544 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28499] ppid=28490 vsize=14093000 memory=370164 CPUtime=16.72 cores=0,2,4,6
/proc/28493/task/28499/stat : 28499 (java) S 28490 28493 26714 0 -1 1077944384 17919 0 0 0 1617 55 0 0 20 0 15 0 41860023 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022406810000 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28500] ppid=28490 vsize=14093000 memory=375356 CPUtime=6.37 cores=0,2,4,6
/proc/28493/task/28500/stat : 28500 (java) S 28490 28493 26714 0 -1 1077944384 29267 0 0 0 568 69 0 0 20 0 15 0 41860024 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022288165616 140022813809282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28501] ppid=28490 vsize=14093000 memory=373816 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28501/stat : 28501 (java) S 28490 28493 26714 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 41860025 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022287111904 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28502] ppid=28490 vsize=14093000 memory=370736 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28502/stat : 28502 (java) S 28490 28493 26714 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 41860025 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022286058752 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28503] ppid=28490 vsize=14093000 memory=369200 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28503/stat : 28503 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860027 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022285007312 140022813816731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28504] ppid=28490 vsize=14093000 memory=369200 CPUtime=1.4 cores=0,2,4,6
/proc/28493/task/28504/stat : 28504 (java) S 28490 28493 26714 0 -1 1077944384 9379 0 0 0 138 2 0 0 20 0 15 0 41860027 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022283954416 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28505] ppid=28490 vsize=14093000 memory=369200 CPUtime=1.44 cores=0,2,4,6
/proc/28493/task/28505/stat : 28505 (java) S 28490 28493 26714 0 -1 1077944384 9695 0 0 0 141 3 0 0 20 0 15 0 41860027 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022282901872 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28506] ppid=28490 vsize=14093000 memory=381424 CPUtime=1.04 cores=0,2,4,6
/proc/28493/task/28506/stat : 28506 (java) S 28490 28493 26714 0 -1 1077944384 23126 0 0 0 100 4 0 0 20 0 15 0 41860027 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022281848816 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28507] ppid=28490 vsize=14093000 memory=369200 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28507/stat : 28507 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860028 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022280796512 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28508] ppid=28490 vsize=14093000 memory=369200 CPUtime=1.2 cores=0,2,4,6
/proc/28493/task/28508/stat : 28508 (java) S 28490 28493 26714 0 -1 1077944384 1486 0 0 0 60 60 0 0 20 0 15 0 41860028 14431232000 91915 33554432000 4194304 4196468 140728360403088 140022279744560 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
Current children cumulated CPU time: 2374.31 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 367660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2347.5 s]
/proc/loadavg: 1.22 1.51 1.61 3/216 28741
/proc/meminfo: memFree=23960948/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=14093000 memory=394136 CPUtime=2400.08 cores=0,2,4,6
/proc/28493/stat : 28493 (java) S 28490 28493 26714 0 -1 1077944320 331030 0 0 0 239616 392 0 0 20 0 15 0 41860022 14431232000 98534 33554432000 4194304 4196468 140728360403088 140728360385632 140022813798135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
/proc/28493/statm: 3523250 98534 3614 1 0 3485321 0
[pid=28493/tid=28495] ppid=28490 vsize=14093000 memory=395672 CPUtime=2320.8 cores=0,2,4,6
/proc/28493/task/28495/stat : 28495 (java) R 28490 28493 26714 0 -1 4202560 187716 0 0 0 232017 63 0 0 20 0 15 0 41860022 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022818035168 140022458008740 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28496] ppid=28490 vsize=14093000 memory=366784 CPUtime=16.88 cores=0,2,4,6
/proc/28493/task/28496/stat : 28496 (java) S 28490 28493 26714 0 -1 1077944384 16438 0 0 0 1630 58 0 0 20 0 15 0 41860023 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022409968144 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28497] ppid=28490 vsize=14093000 memory=363708 CPUtime=16.92 cores=0,2,4,6
/proc/28493/task/28497/stat : 28497 (java) S 28490 28493 26714 0 -1 1077944384 16961 0 0 0 1633 59 0 0 20 0 15 0 41860023 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022408915600 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28498] ppid=28490 vsize=14093000 memory=377240 CPUtime=16.96 cores=0,2,4,6
/proc/28493/task/28498/stat : 28498 (java) S 28490 28493 26714 0 -1 1077944384 17404 0 0 0 1641 55 0 0 20 0 15 0 41860023 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022407862544 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28499] ppid=28490 vsize=14093000 memory=397148 CPUtime=16.92 cores=0,2,4,6
/proc/28493/task/28499/stat : 28499 (java) S 28490 28493 26714 0 -1 1077944384 18091 0 0 0 1636 56 0 0 20 0 15 0 41860023 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022406810000 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28500] ppid=28490 vsize=14093000 memory=395672 CPUtime=6.42 cores=0,2,4,6
/proc/28493/task/28500/stat : 28500 (java) S 28490 28493 26714 0 -1 1077944384 29309 0 0 0 573 69 0 0 20 0 15 0 41860024 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022288165616 140022813809282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28501] ppid=28490 vsize=14093000 memory=359964 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28501/stat : 28501 (java) S 28490 28493 26714 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 41860025 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022287111904 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28502] ppid=28490 vsize=14093000 memory=140 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28502/stat : 28502 (java) S 28490 28493 26714 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 41860025 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022286058752 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28503] ppid=28490 vsize=14093000 memory=400080 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28503/stat : 28503 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860027 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022285007312 140022813816731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28504] ppid=28490 vsize=14093000 memory=400080 CPUtime=1.4 cores=0,2,4,6
/proc/28493/task/28504/stat : 28504 (java) S 28490 28493 26714 0 -1 1077944384 9379 0 0 0 138 2 0 0 20 0 15 0 41860027 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022283954416 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28505] ppid=28490 vsize=14093000 memory=356020 CPUtime=1.44 cores=0,2,4,6
/proc/28493/task/28505/stat : 28505 (java) S 28490 28493 26714 0 -1 1077944384 9695 0 0 0 141 3 0 0 20 0 15 0 41860027 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022282901872 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28506] ppid=28490 vsize=14093000 memory=356012 CPUtime=1.04 cores=0,2,4,6
/proc/28493/task/28506/stat : 28506 (java) S 28490 28493 26714 0 -1 1077944384 23126 0 0 0 100 4 0 0 20 0 15 0 41860027 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022281848816 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28507] ppid=28490 vsize=14093000 memory=397212 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28507/stat : 28507 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860028 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022280796512 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28508] ppid=28490 vsize=14093000 memory=1398720917958146503 CPUtime=1.21 cores=0,2,4,6
/proc/28493/task/28508/stat : 28508 (java) S 28490 28493 26714 0 -1 1077944384 1488 0 0 0 61 60 0 0 20 0 15 0 41860028 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022279744560 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 394136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2347.52 s]
# the end of solver process 28493 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.17 s, system=3.93113 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2347.5 s]
/proc/loadavg: 1.22 1.51 1.61 3/216 28741
/proc/meminfo: memFree=23960948/32770624 swapFree=67108860/67108860
[pid=28493] ppid=28490 vsize=14093000 memory=394136 CPUtime=2400.08 cores=0,2,4,6
/proc/28493/stat : 28493 (java) S 28490 28493 26714 0 -1 1077944320 331030 0 0 0 239616 392 0 0 20 0 15 0 41860022 14431232000 98534 33554432000 4194304 4196468 140728360403088 140728360385632 140022813798135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
/proc/28493/statm: 3523250 98534 3614 1 0 3485321 0
[pid=28493/tid=28495] ppid=28490 vsize=14093000 memory=395672 CPUtime=2320.8 cores=0,2,4,6
/proc/28493/task/28495/stat : 28495 (java) R 28490 28493 26714 0 -1 4202560 187716 0 0 0 232017 63 0 0 20 0 15 0 41860022 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022818035168 140022458008740 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28496] ppid=28490 vsize=14093000 memory=366784 CPUtime=16.88 cores=0,2,4,6
/proc/28493/task/28496/stat : 28496 (java) S 28490 28493 26714 0 -1 1077944384 16438 0 0 0 1630 58 0 0 20 0 15 0 41860023 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022409968144 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28497] ppid=28490 vsize=14093000 memory=363708 CPUtime=16.92 cores=0,2,4,6
/proc/28493/task/28497/stat : 28497 (java) S 28490 28493 26714 0 -1 1077944384 16961 0 0 0 1633 59 0 0 20 0 15 0 41860023 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022408915600 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28498] ppid=28490 vsize=14093000 memory=377240 CPUtime=16.96 cores=0,2,4,6
/proc/28493/task/28498/stat : 28498 (java) S 28490 28493 26714 0 -1 1077944384 17404 0 0 0 1641 55 0 0 20 0 15 0 41860023 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022407862544 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28499] ppid=28490 vsize=14093000 memory=397148 CPUtime=16.92 cores=0,2,4,6
/proc/28493/task/28499/stat : 28499 (java) S 28490 28493 26714 0 -1 1077944384 18091 0 0 0 1636 56 0 0 20 0 15 0 41860023 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022406810000 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28500] ppid=28490 vsize=14093000 memory=395672 CPUtime=6.42 cores=0,2,4,6
/proc/28493/task/28500/stat : 28500 (java) S 28490 28493 26714 0 -1 1077944384 29309 0 0 0 573 69 0 0 20 0 15 0 41860024 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022288165616 140022813809282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28501] ppid=28490 vsize=14093000 memory=359964 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28501/stat : 28501 (java) S 28490 28493 26714 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 41860025 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022287111904 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28502] ppid=28490 vsize=14093000 memory=140 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28502/stat : 28502 (java) S 28490 28493 26714 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 41860025 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022286058752 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28503] ppid=28490 vsize=14093000 memory=400080 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28503/stat : 28503 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860027 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022285007312 140022813816731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28504] ppid=28490 vsize=14093000 memory=400080 CPUtime=1.4 cores=0,2,4,6
/proc/28493/task/28504/stat : 28504 (java) S 28490 28493 26714 0 -1 1077944384 9379 0 0 0 138 2 0 0 20 0 15 0 41860027 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022283954416 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28505] ppid=28490 vsize=14093000 memory=356020 CPUtime=1.44 cores=0,2,4,6
/proc/28493/task/28505/stat : 28505 (java) S 28490 28493 26714 0 -1 1077944384 9695 0 0 0 141 3 0 0 20 0 15 0 41860027 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022282901872 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28506] ppid=28490 vsize=14093000 memory=356012 CPUtime=1.04 cores=0,2,4,6
/proc/28493/task/28506/stat : 28506 (java) S 28490 28493 26714 0 -1 1077944384 23126 0 0 0 100 4 0 0 20 0 15 0 41860027 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022281848816 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28507] ppid=28490 vsize=14093000 memory=397212 CPUtime=0 cores=0,2,4,6
/proc/28493/task/28507/stat : 28507 (java) S 28490 28493 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41860028 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022280796512 140022813808341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
[pid=28493/tid=28508] ppid=28490 vsize=14093000 memory=1398720917958146503 CPUtime=1.21 cores=0,2,4,6
/proc/28493/task/28508/stat : 28508 (java) S 28490 28493 26714 0 -1 1077944384 1488 0 0 0 61 60 0 0 20 0 15 0 41860028 14431232000 98534 33554432000 4194304 4196468 140728360403088 140022279744560 140022813809282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 33398784 140728360412245 140728360412425 140728360412425 140728360415183 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 394136 KiB
Child status: 143
Real time (s): 2347.52
CPU time (s): 2400.1
CPU user time (s): 2396.17
CPU system time (s): 3.93113
CPU usage (%): 102.24
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 597164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.17
system time used= 3.93113
maximum resident set size= 613756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331271
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 207435
involuntary context switches= 8526
# summary of solver processes directly reported to runsolver:
# pid: 28493
# total CPU time (s): 2400.1
# total CPU user time (s): 2396.17
# total CPU system time (s): 3.93113
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3285 second user time and 21.7569 second system time
The end