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 (14485 MiB free)
memory of node 1: 16384 MiB (15096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387294-1568297546/watcher-4387294-1568297546 -o /tmp/evaluation-result-4387294-1568297546/solver-4387294-1568297546 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568286944-21598 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1272279572 HOME/instance-4387294-1568297546.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=25197, runsolver pid=25194
Current StackSize limit: 8192 KiB
[startup+0.100134 s]*
/proc/loadavg: 1.79 1.55 1.53 4/223 25254
/proc/meminfo: memFree=30285000/32770624 swapFree=66965636/67108860
[pid=25197] ppid=25194 vsize=9972712 memory=18332 CPUtime=0.09 cores=1,3,5,7
/proc/25197/stat : 25197 (java) S 25194 25197 19880 0 -1 1077944320 4345 13347 0 0 1 1 5 2 20 0 6 0 406004159 10212057088 4583 33554432000 4194304 4196468 140729314865088 140729314847632 140020759142135 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
/proc/25197/statm: 2493178 4583 1931 1 0 2481616 0
[pid=25197/tid=25250] ppid=25194 vsize=9972712 memory=4628411388058700198 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25250/stat : 25250 (java) R 25194 25197 19880 0 -1 4202560 2135 13347 0 0 0 0 5 2 20 0 6 0 406004169 10212057088 4583 33554432000 4194304 4196468 140729314865088 140020730978896 140020759165725 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25251] ppid=25194 vsize=9972712 memory=5793855178531756473 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25251/stat : 25251 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 6 0 406004169 10212057088 4583 33554432000 4194304 4196468 140729314865088 140020763384336 140020759152341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25252] ppid=25194 vsize=9972712 memory=139927521863296 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25252/stat : 25252 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 6 0 406004169 10212057088 4583 33554432000 4194304 4196468 140729314865088 140020651657872 140020759152341 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25253] ppid=25194 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25253/stat : 25253 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 6 0 406004169 10212057088 4583 33554432000 4194304 4196468 140729314865088 140020650604816 140020759152341 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25254] ppid=25194 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25254/stat : 25254 (java) S 25194 25197 19880 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 6 0 406004169 10212057088 4583 33554432000 4194304 4196468 140729314865088 140020649552272 140020759152341 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18332 KiB
[startup+0.210468 s]*
/proc/loadavg: 1.79 1.55 1.53 4/232 25263
/proc/meminfo: memFree=30263968/32770624 swapFree=66965636/67108860
[pid=25197] ppid=25194 vsize=10818940 memory=39504 CPUtime=0.25 cores=1,3,5,7
/proc/25197/stat : 25197 (java) S 25194 25197 19880 0 -1 1077944320 6750 13347 0 0 16 2 5 2 20 0 15 0 406004159 11078594560 9876 33554432000 4194304 4196468 140729314865088 140729314847632 140020759142135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
/proc/25197/statm: 2704735 9876 2968 1 0 2667149 0
[pid=25197/tid=25250] ppid=25194 vsize=10818940 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/25197/task/25250/stat : 25250 (java) R 25194 25197 19880 0 -1 4202560 3265 13347 0 0 10 1 5 2 20 0 15 0 406004169 11078594560 9876 33554432000 4194304 4196468 140729314865088 140020730929920 140020743222622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25251] ppid=25194 vsize=10818940 memory=4211973653726653834 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25251/stat : 25251 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004169 11078594560 9876 33554432000 4194304 4196468 140729314865088 140020763384336 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25252] ppid=25194 vsize=10818940 memory=139927521863296 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25252/stat : 25252 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004169 11078594560 9876 33554432000 4194304 4196468 140729314865088 140020651657872 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25253] ppid=25194 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25253/stat : 25253 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004169 11078594560 9876 33554432000 4194304 4196468 140729314865088 140020650604816 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25254] ppid=25194 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25254/stat : 25254 (java) S 25194 25197 19880 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 15 0 406004169 11078594560 9876 33554432000 4194304 4196468 140729314865088 140020649552272 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25255] ppid=25194 vsize=10818940 memory=139927521863296 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25255/stat : 25255 (java) S 25194 25197 19880 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 15 0 406004171 11078594560 9876 33554432000 4194304 4196468 140729314865088 140019829263088 140020759153282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25256] ppid=25194 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25256/stat : 25256 (java) S 25194 25197 19880 0 -1 1077944384 13 13347 0 0 0 0 5 2 20 0 15 0 406004171 11078594560 9876 33554432000 4194304 4196468 140729314865088 140019759048352 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25257] ppid=25194 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25257/stat : 25257 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004171 11078594560 9876 33554432000 4194304 4196468 140729314865088 140019557721328 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25258] ppid=25194 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25258/stat : 25258 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11078594560 9876 33554432000 4194304 4196468 140729314865088 140019317430736 140020759160731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25259] ppid=25194 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25197/task/25259/stat : 25259 (java) S 25194 25197 19880 0 -1 1077944384 552 13347 0 0 1 0 5 2 20 0 15 0 406004174 11078594560 9876 33554432000 4194304 4196468 140729314865088 140019828209904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25260] ppid=25194 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25260/stat : 25260 (java) S 25194 25197 19880 0 -1 1077944384 63 13347 0 0 0 0 5 2 20 0 15 0 406004174 11078594560 9876 33554432000 4194304 4196468 140729314865088 140019725490544 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25261] ppid=25194 vsize=10818940 memory=139927521863296 CPUtime=0.1 cores=1,3,5,7
/proc/25197/task/25261/stat : 25261 (java) R 25194 25197 19880 0 -1 4202560 634 13347 0 0 3 0 5 2 20 0 15 0 406004174 11078594560 9876 33554432000 4194304 4196468 140729314865088 140019724437488 140020739458394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25262] ppid=25194 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25262/stat : 25262 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11078594560 9876 33554432000 4194304 4196468 140729314865088 140019283872096 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25263] ppid=25194 vsize=10818940 memory=139927521863296 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25263/stat : 25263 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004175 11078594560 9876 33554432000 4194304 4196468 140729314865088 140019723385904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 39504 KiB
[startup+0.310621 s]*
/proc/loadavg: 1.89 1.58 1.53 3/232 25263
/proc/meminfo: memFree=30253316/32770624 swapFree=66965636/67108860
[pid=25197] ppid=25194 vsize=10820096 memory=50868 CPUtime=0.4 cores=1,3,5,7
/proc/25197/stat : 25197 (java) S 25194 25197 19880 0 -1 1077944320 10490 13347 0 0 29 4 5 2 20 0 15 0 406004159 11079778304 12717 33554432000 4194304 4196468 140729314865088 140729314847632 140020759142135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
/proc/25197/statm: 2705024 12717 3222 1 0 2667149 0
[pid=25197/tid=25250] ppid=25194 vsize=10820244 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/25197/task/25250/stat : 25250 (java) R 25194 25197 19880 0 -1 4202560 7024 13347 0 0 19 2 5 2 20 0 15 0 406004169 11079929856 12782 33554432000 4194304 4196468 140729314865088 140020730969808 140020682219382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25251] ppid=25194 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25251/stat : 25251 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004169 11079929856 12782 33554432000 4194304 4196468 140729314865088 140020763384336 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25252] ppid=25194 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25252/stat : 25252 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004169 11079929856 12782 33554432000 4194304 4196468 140729314865088 140020651657872 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25253] ppid=25194 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25253/stat : 25253 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004169 11079929856 12782 33554432000 4194304 4196468 140729314865088 140020650604816 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25254] ppid=25194 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25254/stat : 25254 (java) S 25194 25197 19880 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 15 0 406004169 11079929856 12782 33554432000 4194304 4196468 140729314865088 140020649552272 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25255] ppid=25194 vsize=10820244 memory=139927521863295 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25255/stat : 25255 (java) S 25194 25197 19880 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 15 0 406004171 11079929856 12782 33554432000 4194304 4196468 140729314865088 140019829263088 140020759153282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25256] ppid=25194 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25256/stat : 25256 (java) S 25194 25197 19880 0 -1 1077944384 13 13347 0 0 0 0 5 2 20 0 15 0 406004171 11079929856 12782 33554432000 4194304 4196468 140729314865088 140019759048352 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25257] ppid=25194 vsize=10820244 memory=139927521863296 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25257/stat : 25257 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004171 11079929856 12782 33554432000 4194304 4196468 140729314865088 140019557721328 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25258] ppid=25194 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25258/stat : 25258 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11079929856 12782 33554432000 4194304 4196468 140729314865088 140019317430736 140020759160731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25259] ppid=25194 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25197/task/25259/stat : 25259 (java) S 25194 25197 19880 0 -1 1077944384 553 13347 0 0 2 0 5 2 20 0 15 0 406004174 11079929856 12782 33554432000 4194304 4196468 140729314865088 140019828209904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25260] ppid=25194 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25197/task/25260/stat : 25260 (java) S 25194 25197 19880 0 -1 1077944384 64 13347 0 0 1 0 5 2 20 0 15 0 406004174 11079929856 12782 33554432000 4194304 4196468 140729314865088 140019725490544 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25261] ppid=25194 vsize=10820244 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25197/task/25261/stat : 25261 (java) S 25194 25197 19880 0 -1 1077944384 647 13347 0 0 5 0 5 2 20 0 15 0 406004174 11079929856 12782 33554432000 4194304 4196468 140729314865088 140019724437488 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25262] ppid=25194 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25262/stat : 25262 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11079929856 12782 33554432000 4194304 4196468 140729314865088 140019283872096 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25263] ppid=25194 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25263/stat : 25263 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004175 11079929856 12782 33554432000 4194304 4196468 140729314865088 140019723385904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 50868 KiB
[startup+0.700734 s]
/proc/loadavg: 1.89 1.58 1.53 5/232 25263
/proc/meminfo: memFree=30238352/32770624 swapFree=66965636/67108860
[pid=25197] ppid=25194 vsize=10824340 memory=80892 CPUtime=1.15 cores=1,3,5,7
/proc/25197/stat : 25197 (java) S 25194 25197 19880 0 -1 1077944320 14525 13347 0 0 103 5 5 2 20 0 15 0 406004159 11084124160 20223 33554432000 4194304 4196468 140729314865088 140729314847632 140020759142135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
/proc/25197/statm: 2706085 20223 3499 1 0 2668173 0
[pid=25197/tid=25250] ppid=25194 vsize=10824340 memory=279854834802880 CPUtime=0.66 cores=1,3,5,7
/proc/25197/task/25250/stat : 25250 (java) R 25194 25197 19880 0 -1 4202560 10241 13347 0 0 56 3 5 2 20 0 15 0 406004169 11084124160 20223 33554432000 4194304 4196468 140729314865088 140020730960096 140020743222622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25251] ppid=25194 vsize=10824340 memory=279854834803072 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25251/stat : 25251 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004169 11084124160 20223 33554432000 4194304 4196468 140729314865088 140020763384336 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25252] ppid=25194 vsize=10824340 memory=279854834803264 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25252/stat : 25252 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004169 11084124160 20223 33554432000 4194304 4196468 140729314865088 140020651657872 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25253] ppid=25194 vsize=10824340 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25253/stat : 25253 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004169 11084124160 20223 33554432000 4194304 4196468 140729314865088 140020650604816 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25254] ppid=25194 vsize=10824340 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25254/stat : 25254 (java) S 25194 25197 19880 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 15 0 406004169 11084124160 20223 33554432000 4194304 4196468 140729314865088 140020649552272 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25255] ppid=25194 vsize=10824340 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25255/stat : 25255 (java) S 25194 25197 19880 0 -1 1077944384 5 13347 0 0 0 0 5 2 20 0 15 0 406004171 11084124160 20223 33554432000 4194304 4196468 140729314865088 140019829263088 140020759153282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25256] ppid=25194 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25256/stat : 25256 (java) S 25194 25197 19880 0 -1 1077944384 13 13347 0 0 0 0 5 2 20 0 15 0 406004171 11084124160 20223 33554432000 4194304 4196468 140729314865088 140019759048352 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25257] ppid=25194 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25257/stat : 25257 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004171 11084124160 20223 33554432000 4194304 4196468 140729314865088 140019557721328 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25258] ppid=25194 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25258/stat : 25258 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11084124160 20223 33554432000 4194304 4196468 140729314865088 140019317430736 140020759160731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25259] ppid=25194 vsize=10824340 memory=6944652177228980320 CPUtime=0.2 cores=1,3,5,7
/proc/25197/task/25259/stat : 25259 (java) S 25194 25197 19880 0 -1 1077944384 818 13347 0 0 13 0 5 2 20 0 15 0 406004174 11084124160 20223 33554432000 4194304 4196468 140729314865088 140019828209904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25260] ppid=25194 vsize=10824340 memory=6944656592455359580 CPUtime=0.22 cores=1,3,5,7
/proc/25197/task/25260/stat : 25260 (java) S 25194 25197 19880 0 -1 1077944384 434 13347 0 0 15 0 5 2 20 0 15 0 406004174 11084124160 20223 33554432000 4194304 4196468 140729314865088 140019725490544 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25261] ppid=25194 vsize=10824340 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/25197/task/25261/stat : 25261 (java) S 25194 25197 19880 0 -1 1077944384 794 13347 0 0 17 0 5 2 20 0 15 0 406004174 11084124160 20223 33554432000 4194304 4196468 140729314865088 140019724437488 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25262] ppid=25194 vsize=10824340 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25262/stat : 25262 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11084124160 20223 33554432000 4194304 4196468 140729314865088 140019283872096 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25263] ppid=25194 vsize=10824340 memory=139927417292592 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25263/stat : 25263 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004175 11084124160 20223 33554432000 4194304 4196468 140729314865088 140019723385904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80892 KiB
[startup+1.50079 s]
/proc/loadavg: 1.89 1.58 1.53 3/232 25263
/proc/meminfo: memFree=30193416/32770624 swapFree=66965636/67108860
[pid=25197] ppid=25194 vsize=10834656 memory=167992 CPUtime=2.5 cores=1,3,5,7
/proc/25197/stat : 25197 (java) S 25194 25197 19880 0 -1 1077944320 19680 13347 0 0 234 9 5 2 20 0 15 0 406004159 11094687744 41998 33554432000 4194304 4196468 140729314865088 140729314847632 140020759142135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
/proc/25197/statm: 2708664 41998 3567 1 0 2670733 0
[pid=25197/tid=25250] ppid=25194 vsize=10834656 memory=203 CPUtime=1.43 cores=1,3,5,7
/proc/25197/task/25250/stat : 25250 (java) R 25194 25197 19880 0 -1 4202560 14546 13347 0 0 131 5 5 2 20 0 15 0 406004169 11094687744 41998 33554432000 4194304 4196468 140729314865088 140020730967696 140020759154070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25251] ppid=25194 vsize=10834656 memory=117 CPUtime=0.08 cores=1,3,5,7
/proc/25197/task/25251/stat : 25251 (java) S 25194 25197 19880 0 -1 1077944384 9 13347 0 0 1 0 5 2 20 0 15 0 406004169 11094687744 41998 33554432000 4194304 4196468 140729314865088 140020763384336 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25252] ppid=25194 vsize=10834656 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25252/stat : 25252 (java) S 25194 25197 19880 0 -1 1077944384 13 13347 0 0 0 0 5 2 20 0 15 0 406004169 11094687744 41998 33554432000 4194304 4196468 140729314865088 140020651657872 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25253] ppid=25194 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25197/task/25253/stat : 25253 (java) S 25194 25197 19880 0 -1 1077944384 44 13347 0 0 1 0 5 2 20 0 15 0 406004169 11094687744 41998 33554432000 4194304 4196468 140729314865088 140020650604816 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25254] ppid=25194 vsize=10834656 memory=6947181114066757465 CPUtime=0.08 cores=1,3,5,7
/proc/25197/task/25254/stat : 25254 (java) S 25194 25197 19880 0 -1 1077944384 32 13347 0 0 1 0 5 2 20 0 15 0 406004169 11094687744 41998 33554432000 4194304 4196468 140729314865088 140020649552272 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25255] ppid=25194 vsize=10834656 memory=7451303871217424241 CPUtime=0.08 cores=1,3,5,7
/proc/25197/task/25255/stat : 25255 (java) S 25194 25197 19880 0 -1 1077944384 42 13347 0 0 1 0 5 2 20 0 15 0 406004171 11094687744 41998 33554432000 4194304 4196468 140729314865088 140019829263088 140020759153282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25256] ppid=25194 vsize=10834656 memory=5940372571595105898 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25256/stat : 25256 (java) S 25194 25197 19880 0 -1 1077944384 13 13347 0 0 0 0 5 2 20 0 15 0 406004171 11094687744 41998 33554432000 4194304 4196468 140729314865088 140019759048416 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25257] ppid=25194 vsize=10834656 memory=5787213827096995172 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25257/stat : 25257 (java) S 25194 25197 19880 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 15 0 406004171 11094687744 41998 33554432000 4194304 4196468 140729314865088 140019557721344 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25258] ppid=25194 vsize=10834656 memory=279854834552672 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25258/stat : 25258 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11094687744 41998 33554432000 4194304 4196468 140729314865088 140019317430736 140020759160731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25259] ppid=25194 vsize=10834656 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/25197/task/25259/stat : 25259 (java) S 25194 25197 19880 0 -1 1077944384 877 13347 0 0 25 0 5 2 20 0 15 0 406004174 11094687744 41998 33554432000 4194304 4196468 140729314865088 140019828209904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25260] ppid=25194 vsize=10834656 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/25197/task/25260/stat : 25260 (java) S 25194 25197 19880 0 -1 1077944384 510 13347 0 0 29 0 5 2 20 0 15 0 406004174 11094687744 41998 33554432000 4194304 4196468 140729314865088 140019725490544 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25261] ppid=25194 vsize=10834656 memory=139927417285840 CPUtime=0.48 cores=1,3,5,7
/proc/25197/task/25261/stat : 25261 (java) R 25194 25197 19880 0 -1 4202560 1377 13347 0 0 41 0 5 2 20 0 15 0 406004174 11094687744 41998 33554432000 4194304 4196468 140729314865088 140019724437488 140020738060863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25262] ppid=25194 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25262/stat : 25262 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11094687744 41998 33554432000 4194304 4196468 140729314865088 140019283872096 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25263] ppid=25194 vsize=10834656 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25263/stat : 25263 (java) S 25194 25197 19880 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 406004175 11094687744 41998 33554432000 4194304 4196468 140729314865088 140019723385904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/25197/task/25250/stat : 25250 (java) R 25194 25197 19880 0 -1 4202560 50234 13347 0 0 235369 55 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020730978496 140020322806555 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25251] ppid=25194 vsize=10844916 memory=709996 CPUtime=11.99 cores=1,3,5,7
/proc/25197/task/25251/stat : 25251 (java) S 25194 25197 19880 0 -1 1077944384 2650 13347 0 0 1128 64 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020763384336 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25252] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.06 cores=1,3,5,7
/proc/25197/task/25252/stat : 25252 (java) S 25194 25197 19880 0 -1 1077944384 6042 13347 0 0 1131 68 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020651657872 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25253] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.07 cores=1,3,5,7
/proc/25197/task/25253/stat : 25253 (java) S 25194 25197 19880 0 -1 1077944384 7228 13347 0 0 1127 73 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020650604816 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25254] ppid=25194 vsize=10844916 memory=1187 CPUtime=12.06 cores=1,3,5,7
/proc/25197/task/25254/stat : 25254 (java) S 25194 25197 19880 0 -1 1077944384 6278 13347 0 0 1128 71 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020649552272 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25255] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.09 cores=1,3,5,7
/proc/25197/task/25255/stat : 25255 (java) S 25194 25197 19880 0 -1 1077944384 7653 13347 0 0 1133 69 5 2 20 0 15 0 406004171 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019829263088 140020759153282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25256] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25256/stat : 25256 (java) S 25194 25197 19880 0 -1 1077944384 17 13347 0 0 0 0 5 2 20 0 15 0 406004171 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019759048416 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25257] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25257/stat : 25257 (java) S 25194 25197 19880 0 -1 1077944384 8 13347 0 0 0 0 5 2 20 0 15 0 406004171 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019557721344 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25258] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25258/stat : 25258 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019317430736 140020759160731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25259] ppid=25194 vsize=10844916 memory=709996 CPUtime=6.82 cores=1,3,5,7
/proc/25197/task/25259/stat : 25259 (java) S 25194 25197 19880 0 -1 1077944384 22773 13347 0 0 668 7 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019828209904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25260] ppid=25194 vsize=10844916 memory=709996 CPUtime=6.99 cores=1,3,5,7
/proc/25197/task/25260/stat : 25260 (java) S 25194 25197 19880 0 -1 1077944384 18077 13347 0 0 684 8 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019725490544 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25261] ppid=25194 vsize=10844916 memory=709996 CPUtime=5.16 cores=1,3,5,7
/proc/25197/task/25261/stat : 25261 (java) S 25194 25197 19880 0 -1 1077944384 22862 13347 0 0 500 9 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019724437488 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25262] ppid=25194 vsize=10844916 memory=18920 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25262/stat : 25262 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019283872096 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25263] ppid=25194 vsize=10844916 memory=18920 CPUtime=1.52 cores=1,3,5,7
/proc/25197/task/25263/stat : 25263 (java) S 25194 25197 19880 0 -1 1077944384 1042 13347 0 0 71 74 5 2 20 0 15 0 406004175 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019723385904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
Current children cumulated CPU time: 2434.54 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 709996 KiB
[startup+2442.3 s]
/proc/loadavg: 1.17 1.23 1.31 3/233 25623
/proc/meminfo: memFree=29386160/32770624 swapFree=66965676/67108860
[pid=25197] ppid=25194 vsize=10844916 memory=709996 CPUtime=2495.46 cores=1,3,5,7
/proc/25197/stat : 25197 (java) S 25194 25197 19880 0 -1 1077944320 147852 13347 0 0 249118 421 5 2 20 0 15 0 406004159 11105193984 177499 33554432000 4194304 4196468 140729314865088 140729314847632 140020759142135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
/proc/25197/statm: 2711229 177499 3616 1 0 2673293 0
[pid=25197/tid=25250] ppid=25194 vsize=10844916 memory=709996 CPUtime=2413.56 cores=1,3,5,7
/proc/25197/task/25250/stat : 25250 (java) R 25194 25197 19880 0 -1 4202560 50813 13347 0 0 241293 56 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020730978384 140020321235367 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25251] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.31 cores=1,3,5,7
/proc/25197/task/25251/stat : 25251 (java) S 25194 25197 19880 0 -1 1077944384 2658 13347 0 0 1159 65 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020763384336 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25252] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.39 cores=1,3,5,7
/proc/25197/task/25252/stat : 25252 (java) S 25194 25197 19880 0 -1 1077944384 6066 13347 0 0 1162 70 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020651657872 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25253] ppid=25194 vsize=10844916 memory=3624 CPUtime=12.39 cores=1,3,5,7
/proc/25197/task/25253/stat : 25253 (java) S 25194 25197 19880 0 -1 1077944384 7349 13347 0 0 1158 74 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020650604816 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25254] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.39 cores=1,3,5,7
/proc/25197/task/25254/stat : 25254 (java) S 25194 25197 19880 0 -1 1077944384 6288 13347 0 0 1159 73 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020649552272 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25255] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.42 cores=1,3,5,7
/proc/25197/task/25255/stat : 25255 (java) S 25194 25197 19880 0 -1 1077944384 7681 13347 0 0 1164 71 5 2 20 0 15 0 406004171 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019829263088 140020759153282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25256] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25256/stat : 25256 (java) S 25194 25197 19880 0 -1 1077944384 17 13347 0 0 0 0 5 2 20 0 15 0 406004171 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019759048416 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25257] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25257/stat : 25257 (java) S 25194 25197 19880 0 -1 1077944384 8 13347 0 0 0 0 5 2 20 0 15 0 406004171 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019557721344 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25258] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25258/stat : 25258 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019317430736 140020759160731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25259] ppid=25194 vsize=10844916 memory=709996 CPUtime=6.82 cores=1,3,5,7
/proc/25197/task/25259/stat : 25259 (java) S 25194 25197 19880 0 -1 1077944384 22773 13347 0 0 668 7 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019828209904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25260] ppid=25194 vsize=10844916 memory=709996 CPUtime=6.99 cores=1,3,5,7
/proc/25197/task/25260/stat : 25260 (java) S 25194 25197 19880 0 -1 1077944384 18077 13347 0 0 684 8 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019725490544 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25261] ppid=25194 vsize=10844916 memory=709996 CPUtime=5.16 cores=1,3,5,7
/proc/25197/task/25261/stat : 25261 (java) S 25194 25197 19880 0 -1 1077944384 22862 13347 0 0 500 9 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019724437488 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25262] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25262/stat : 25262 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019283872096 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25263] ppid=25194 vsize=10844916 memory=709996 CPUtime=1.57 cores=1,3,5,7
/proc/25197/task/25263/stat : 25263 (java) S 25194 25197 19880 0 -1 1077944384 1046 13347 0 0 73 77 5 2 20 0 15 0 406004175 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019723385904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
Current children cumulated CPU time: 2495.46 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 709996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.5 s]
/proc/loadavg: 1.31 1.26 1.32 3/233 25625
/proc/meminfo: memFree=29385908/32770624 swapFree=66965676/67108860
[pid=25197] ppid=25194 vsize=10844916 memory=709996 CPUtime=2520.02 cores=1,3,5,7
/proc/25197/stat : 25197 (java) S 25194 25197 19880 0 -1 1077944320 148444 13347 0 0 251571 424 5 2 20 0 15 0 406004159 11105193984 177499 33554432000 4194304 4196468 140729314865088 140729314847632 140020759142135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
/proc/25197/statm: 2711229 177499 3616 1 0 2673293 0
[pid=25197/tid=25250] ppid=25194 vsize=10844916 memory=709996 CPUtime=2437.46 cores=1,3,5,7
/proc/25197/task/25250/stat : 25250 (java) R 25194 25197 19880 0 -1 4202560 51089 13347 0 0 243683 56 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020730977520 140020313827848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25251] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.44 cores=1,3,5,7
/proc/25197/task/25251/stat : 25251 (java) S 25194 25197 19880 0 -1 1077944384 2681 13347 0 0 1171 66 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020763384336 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25252] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.51 cores=1,3,5,7
/proc/25197/task/25252/stat : 25252 (java) S 25194 25197 19880 0 -1 1077944384 6075 13347 0 0 1174 70 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020651657872 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25253] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.52 cores=1,3,5,7
/proc/25197/task/25253/stat : 25253 (java) S 25194 25197 19880 0 -1 1077944384 7379 13347 0 0 1170 75 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020650604816 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25254] ppid=25194 vsize=10844916 memory=151 CPUtime=12.52 cores=1,3,5,7
/proc/25197/task/25254/stat : 25254 (java) S 25194 25197 19880 0 -1 1077944384 6347 13347 0 0 1171 74 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020649552272 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25255] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.54 cores=1,3,5,7
/proc/25197/task/25255/stat : 25255 (java) S 25194 25197 19880 0 -1 1077944384 7868 13347 0 0 1176 71 5 2 20 0 15 0 406004171 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019829263088 140020759153282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25256] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25256/stat : 25256 (java) S 25194 25197 19880 0 -1 1077944384 17 13347 0 0 0 0 5 2 20 0 15 0 406004171 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019759048416 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25257] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25257/stat : 25257 (java) S 25194 25197 19880 0 -1 1077944384 8 13347 0 0 0 0 5 2 20 0 15 0 406004171 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019557721344 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25258] ppid=25194 vsize=10844916 memory=279854836270880 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25258/stat : 25258 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019317430736 140020759160731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25259] ppid=25194 vsize=10844916 memory=709996 CPUtime=6.82 cores=1,3,5,7
/proc/25197/task/25259/stat : 25259 (java) S 25194 25197 19880 0 -1 1077944384 22775 13347 0 0 668 7 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019828209904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25260] ppid=25194 vsize=10844916 memory=709996 CPUtime=6.99 cores=1,3,5,7
/proc/25197/task/25260/stat : 25260 (java) S 25194 25197 19880 0 -1 1077944384 18079 13347 0 0 684 8 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019725490544 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25261] ppid=25194 vsize=10844916 memory=279854835585488 CPUtime=5.16 cores=1,3,5,7
/proc/25197/task/25261/stat : 25261 (java) S 25194 25197 19880 0 -1 1077944384 22864 13347 0 0 500 9 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019724437488 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25262] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25262/stat : 25262 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019283872096 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25263] ppid=25194 vsize=10844916 memory=6944656592455360569 CPUtime=1.58 cores=1,3,5,7
/proc/25197/task/25263/stat : 25263 (java) S 25194 25197 19880 0 -1 1077944384 1048 13347 0 0 74 77 5 2 20 0 15 0 406004175 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019723385904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 709996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.53 s]
# the end of solver process 25197 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.79 s, system=4.28722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.5 s]
/proc/loadavg: 1.31 1.26 1.32 3/233 25625
/proc/meminfo: memFree=29385908/32770624 swapFree=66965676/67108860
[pid=25197] ppid=25194 vsize=10844916 memory=709996 CPUtime=2520.02 cores=1,3,5,7
/proc/25197/stat : 25197 (java) S 25194 25197 19880 0 -1 1077944320 148444 13347 0 0 251571 424 5 2 20 0 15 0 406004159 11105193984 177499 33554432000 4194304 4196468 140729314865088 140729314847632 140020759142135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
/proc/25197/statm: 2711229 177499 3616 1 0 2673293 0
[pid=25197/tid=25250] ppid=25194 vsize=10844916 memory=709996 CPUtime=2437.46 cores=1,3,5,7
/proc/25197/task/25250/stat : 25250 (java) R 25194 25197 19880 0 -1 4202560 51089 13347 0 0 243683 56 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020730977520 140020313827848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25251] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.44 cores=1,3,5,7
/proc/25197/task/25251/stat : 25251 (java) S 25194 25197 19880 0 -1 1077944384 2681 13347 0 0 1171 66 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020763384336 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25252] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.51 cores=1,3,5,7
/proc/25197/task/25252/stat : 25252 (java) S 25194 25197 19880 0 -1 1077944384 6075 13347 0 0 1174 70 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020651657872 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25253] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.52 cores=1,3,5,7
/proc/25197/task/25253/stat : 25253 (java) S 25194 25197 19880 0 -1 1077944384 7379 13347 0 0 1170 75 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020650604816 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25254] ppid=25194 vsize=10844916 memory=151 CPUtime=12.52 cores=1,3,5,7
/proc/25197/task/25254/stat : 25254 (java) S 25194 25197 19880 0 -1 1077944384 6347 13347 0 0 1171 74 5 2 20 0 15 0 406004169 11105193984 177499 33554432000 4194304 4196468 140729314865088 140020649552272 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25255] ppid=25194 vsize=10844916 memory=709996 CPUtime=12.54 cores=1,3,5,7
/proc/25197/task/25255/stat : 25255 (java) S 25194 25197 19880 0 -1 1077944384 7868 13347 0 0 1176 71 5 2 20 0 15 0 406004171 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019829263088 140020759153282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25256] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25256/stat : 25256 (java) S 25194 25197 19880 0 -1 1077944384 17 13347 0 0 0 0 5 2 20 0 15 0 406004171 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019759048416 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25257] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25257/stat : 25257 (java) S 25194 25197 19880 0 -1 1077944384 8 13347 0 0 0 0 5 2 20 0 15 0 406004171 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019557721344 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25258] ppid=25194 vsize=10844916 memory=279854836270880 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25258/stat : 25258 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019317430736 140020759160731 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25259] ppid=25194 vsize=10844916 memory=709996 CPUtime=6.82 cores=1,3,5,7
/proc/25197/task/25259/stat : 25259 (java) S 25194 25197 19880 0 -1 1077944384 22775 13347 0 0 668 7 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019828209904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25260] ppid=25194 vsize=10844916 memory=709996 CPUtime=6.99 cores=1,3,5,7
/proc/25197/task/25260/stat : 25260 (java) S 25194 25197 19880 0 -1 1077944384 18079 13347 0 0 684 8 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019725490544 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25261] ppid=25194 vsize=10844916 memory=279854835585488 CPUtime=5.16 cores=1,3,5,7
/proc/25197/task/25261/stat : 25261 (java) S 25194 25197 19880 0 -1 1077944384 22864 13347 0 0 500 9 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019724437488 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25262] ppid=25194 vsize=10844916 memory=709996 CPUtime=0.07 cores=1,3,5,7
/proc/25197/task/25262/stat : 25262 (java) S 25194 25197 19880 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 406004174 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019283872096 140020759152341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
[pid=25197/tid=25263] ppid=25194 vsize=10844916 memory=6944656592455360569 CPUtime=1.58 cores=1,3,5,7
/proc/25197/task/25263/stat : 25263 (java) S 25194 25197 19880 0 -1 1077944384 1048 13347 0 0 74 77 5 2 20 0 15 0 406004175 11105193984 177499 33554432000 4194304 4196468 140729314865088 140019723385904 140020759153282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23183360 140729314872053 140729314874565 140729314874565 140729314877391 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 709996 KiB
Child status: 143
Real time (s): 2466.53
CPU time (s): 2520.08
CPU user time (s): 2515.79
CPU system time (s): 4.28722
CPU usage (%): 102.171
Max. virtual memory (cumulated for all children) (KiB): 10850268
Max. memory (cumulated for all children) (KiB): 709996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.79
system time used= 4.28722
maximum resident set size= 714204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162538
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 351896
involuntary context switches= 10053
# summary of solver processes directly reported to runsolver:
# pid: 25197
# total CPU time (s): 2520.08
# total CPU user time (s): 2515.79
# total CPU system time (s): 4.28722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1015 second user time and 21.5635 second system time
The end