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 (15321 MiB free)
memory of node 1: 16384 MiB (13970 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387016-1568288410/watcher-4387016-1568288410 -o /tmp/evaluation-result-4387016-1568288410/solver-4387016-1568288410 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568282247-6563 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1972265900 HOME/instance-4387016-1568288410.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=7172, runsolver pid=7169
[startup+0.100057 s]*
/proc/loadavg: 1.41 1.40 1.47 3/217 7229
/proc/meminfo: memFree=29994676/32770624 swapFree=66920064/67108860
[pid=7172] ppid=7169 vsize=9972712 memory=16952 CPUtime=0.09 cores=0,2,4,6
/proc/7172/stat : 7172 (java) S 7169 7172 5621 0 -1 1077944320 4479 13176 0 0 1 0 5 3 20 0 6 0 405097130 10212057088 4238 33554432000 4194304 4196468 140725268513904 140725268496448 139966813597431 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
/proc/7172/statm: 2493178 4238 1935 1 0 2481616 0
[pid=7172/tid=7225] ppid=7169 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7225/stat : 7225 (java) R 7169 7172 5621 0 -1 4202560 2291 13176 0 0 0 0 5 3 20 0 6 0 405097140 10212057088 4238 33554432000 4194304 4196468 140725268513904 139966785434192 139966813619357 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7226] ppid=7169 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7226/stat : 7226 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 6 0 405097140 10212057088 4238 33554432000 4194304 4196468 140725268513904 139966817839760 139966813607637 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7227] ppid=7169 vsize=9972712 memory=15120308687386264 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7227/stat : 7227 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 6 0 405097140 10212057088 4238 33554432000 4194304 4196468 140725268513904 139966387247632 139966813607637 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7228] ppid=7169 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7228/stat : 7228 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 6 0 405097140 10212057088 4238 33554432000 4194304 4196468 140725268513904 139966386194832 139966813607637 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7229] ppid=7169 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7229/stat : 7229 (java) S 7169 7172 5621 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 6 0 405097140 10212057088 4238 33554432000 4194304 4196468 140725268513904 139966385142032 139966813607637 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16952 KiB
[startup+0.210329 s]*
/proc/loadavg: 1.41 1.40 1.47 3/226 7238
/proc/meminfo: memFree=29975532/32770624 swapFree=66920064/67108860
[pid=7172] ppid=7169 vsize=10818940 memory=37196 CPUtime=0.26 cores=0,2,4,6
/proc/7172/stat : 7172 (java) S 7169 7172 5621 0 -1 1077944320 7156 13176 0 0 17 1 5 3 20 0 15 0 405097130 11078594560 9299 33554432000 4194304 4196468 140725268513904 140725268496448 139966813597431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
/proc/7172/statm: 2704735 9299 2979 1 0 2667149 0
[pid=7172/tid=7225] ppid=7169 vsize=10818940 memory=729618466009055537 CPUtime=0.19 cores=0,2,4,6
/proc/7172/task/7225/stat : 7225 (java) R 7169 7172 5621 0 -1 4202560 3649 13176 0 0 10 1 5 3 20 0 15 0 405097140 11078594560 9352 33554432000 4194304 4196468 140725268513904 139966785421536 139966813619357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7226] ppid=7169 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7226/stat : 7226 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097140 11078594560 9352 33554432000 4194304 4196468 140725268513904 139966817839760 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7227] ppid=7169 vsize=10818940 memory=15120308687386264 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7227/stat : 7227 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097140 11078594560 9352 33554432000 4194304 4196468 140725268513904 139966387247632 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7228] ppid=7169 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7228/stat : 7228 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097140 11078594560 9352 33554432000 4194304 4196468 140725268513904 139966386194832 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7229] ppid=7169 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7229/stat : 7229 (java) S 7169 7172 5621 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 405097140 11078594560 9352 33554432000 4194304 4196468 140725268513904 139966385142032 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7230] ppid=7169 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7230/stat : 7230 (java) S 7169 7172 5621 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 405097142 11078594560 9352 33554432000 4194304 4196468 140725268513904 139966272232304 139966813608578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7231] ppid=7169 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7231/stat : 7231 (java) S 7169 7172 5621 0 -1 1077944384 33 13176 0 0 0 0 5 3 20 0 15 0 405097142 11078594560 9352 33554432000 4194304 4196468 140725268513904 139966271178272 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7232] ppid=7169 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7232/stat : 7232 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097142 11078594560 9352 33554432000 4194304 4196468 140725268513904 139965669303664 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7233] ppid=7169 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7233/stat : 7233 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11078594560 9352 33554432000 4194304 4196468 140725268513904 139965361903952 139966813616027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7234] ppid=7169 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7172/task/7234/stat : 7234 (java) S 7169 7172 5621 0 -1 1077944384 547 13176 0 0 1 0 5 3 20 0 15 0 405097145 11078594560 9352 33554432000 4194304 4196468 140725268513904 139966237620592 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7235] ppid=7169 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/7172/task/7235/stat : 7235 (java) S 7169 7172 5621 0 -1 1077944384 70 13176 0 0 1 0 5 3 20 0 15 0 405097145 11078594560 9352 33554432000 4194304 4196468 140725268513904 139966236567792 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7236] ppid=7169 vsize=10818940 memory=140316551198336 CPUtime=0.11 cores=0,2,4,6
/proc/7172/task/7236/stat : 7236 (java) S 7169 7172 5621 0 -1 1077944384 637 13176 0 0 3 0 5 3 20 0 15 0 405097145 11078594560 9352 33554432000 4194304 4196468 140725268513904 139966235514992 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7237] ppid=7169 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7237/stat : 7237 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11078594560 9352 33554432000 4194304 4196468 140725268513904 139965328345312 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7238] ppid=7169 vsize=10818940 memory=140316551198336 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7238/stat : 7238 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097146 11078594560 9352 33554432000 4194304 4196468 140725268513904 139966234463408 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 37196 KiB
[startup+0.310607 s]*
/proc/loadavg: 1.41 1.40 1.47 3/226 7238
/proc/meminfo: memFree=29965096/32770624 swapFree=66920064/67108860
[pid=7172] ppid=7169 vsize=10820096 memory=46652 CPUtime=0.4 cores=0,2,4,6
/proc/7172/stat : 7172 (java) S 7169 7172 5621 0 -1 1077944320 10803 13176 0 0 29 3 5 3 20 0 15 0 405097130 11079778304 11663 33554432000 4194304 4196468 140725268513904 140725268496448 139966813597431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
/proc/7172/statm: 2705024 11663 3240 1 0 2667149 0
[pid=7172/tid=7225] ppid=7169 vsize=10820096 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/7172/task/7225/stat : 7225 (java) R 7169 7172 5621 0 -1 4202560 7281 13176 0 0 19 2 5 3 20 0 15 0 405097140 11079778304 12175 33554432000 4194304 4196468 140725268513904 139966785418464 139966813619357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7226] ppid=7169 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7226/stat : 7226 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097140 11079778304 12175 33554432000 4194304 4196468 140725268513904 139966817839760 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7227] ppid=7169 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7227/stat : 7227 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097140 11079778304 12175 33554432000 4194304 4196468 140725268513904 139966387247632 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7228] ppid=7169 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7228/stat : 7228 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097140 11079778304 12175 33554432000 4194304 4196468 140725268513904 139966386194832 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7229] ppid=7169 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7229/stat : 7229 (java) S 7169 7172 5621 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 405097140 11079778304 12175 33554432000 4194304 4196468 140725268513904 139966385142032 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7230] ppid=7169 vsize=10820096 memory=140316551198335 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7230/stat : 7230 (java) S 7169 7172 5621 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 405097142 11079778304 12175 33554432000 4194304 4196468 140725268513904 139966272232304 139966813608578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7231] ppid=7169 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7231/stat : 7231 (java) S 7169 7172 5621 0 -1 1077944384 33 13176 0 0 0 0 5 3 20 0 15 0 405097142 11079778304 12175 33554432000 4194304 4196468 140725268513904 139966271178272 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7232] ppid=7169 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7232/stat : 7232 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097142 11079778304 12175 33554432000 4194304 4196468 140725268513904 139965669303664 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7233] ppid=7169 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7233/stat : 7233 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11079778304 12175 33554432000 4194304 4196468 140725268513904 139965361903952 139966813616027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7234] ppid=7169 vsize=10820096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/7172/task/7234/stat : 7234 (java) S 7169 7172 5621 0 -1 1077944384 549 13176 0 0 2 0 5 3 20 0 15 0 405097145 11079778304 12175 33554432000 4194304 4196468 140725268513904 139966237620592 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7235] ppid=7169 vsize=10820096 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/7172/task/7235/stat : 7235 (java) S 7169 7172 5621 0 -1 1077944384 71 13176 0 0 1 0 5 3 20 0 15 0 405097145 11079778304 12175 33554432000 4194304 4196468 140725268513904 139966236567792 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7236] ppid=7169 vsize=10820096 memory=140316551198336 CPUtime=0.13 cores=0,2,4,6
/proc/7172/task/7236/stat : 7236 (java) S 7169 7172 5621 0 -1 1077944384 646 13176 0 0 5 0 5 3 20 0 15 0 405097145 11079778304 12175 33554432000 4194304 4196468 140725268513904 139966235514992 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7237] ppid=7169 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7237/stat : 7237 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11079778304 12175 33554432000 4194304 4196468 140725268513904 139965328345312 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7238] ppid=7169 vsize=10820096 memory=140316551198336 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7238/stat : 7238 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097146 11079778304 12175 33554432000 4194304 4196468 140725268513904 139966234463408 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 46652 KiB
[startup+0.700641 s]
/proc/loadavg: 1.41 1.40 1.47 5/226 7238
/proc/meminfo: memFree=29959380/32770624 swapFree=66920064/67108860
[pid=7172] ppid=7169 vsize=10822292 memory=77984 CPUtime=1.12 cores=0,2,4,6
/proc/7172/stat : 7172 (java) S 7169 7172 5621 0 -1 1077944320 14726 13176 0 0 98 6 5 3 20 0 15 0 405097130 11082027008 19496 33554432000 4194304 4196468 140725268513904 140725268496448 139966813597431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
/proc/7172/statm: 2705573 19496 3504 1 0 2667661 0
[pid=7172/tid=7225] ppid=7169 vsize=10822292 memory=5795117241467496816 CPUtime=0.66 cores=0,2,4,6
/proc/7172/task/7225/stat : 7225 (java) R 7169 7172 5621 0 -1 4202560 10495 13176 0 0 53 5 5 3 20 0 15 0 405097140 11082027008 19496 33554432000 4194304 4196468 140725268513904 139966785427008 139966813619357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7226] ppid=7169 vsize=10822292 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7226/stat : 7226 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097140 11082027008 19496 33554432000 4194304 4196468 140725268513904 139966817839760 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7227] ppid=7169 vsize=10822292 memory=1044 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7227/stat : 7227 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097140 11082027008 19496 33554432000 4194304 4196468 140725268513904 139966387247632 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7228] ppid=7169 vsize=10822292 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7228/stat : 7228 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097140 11082027008 19496 33554432000 4194304 4196468 140725268513904 139966386194832 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7229] ppid=7169 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7229/stat : 7229 (java) S 7169 7172 5621 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 405097140 11082027008 19496 33554432000 4194304 4196468 140725268513904 139966385142032 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7230] ppid=7169 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7230/stat : 7230 (java) S 7169 7172 5621 0 -1 1077944384 5 13176 0 0 0 0 5 3 20 0 15 0 405097142 11082027008 19496 33554432000 4194304 4196468 140725268513904 139966272232304 139966813608578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7231] ppid=7169 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7231/stat : 7231 (java) S 7169 7172 5621 0 -1 1077944384 33 13176 0 0 0 0 5 3 20 0 15 0 405097142 11082027008 19496 33554432000 4194304 4196468 140725268513904 139966271178272 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7232] ppid=7169 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7232/stat : 7232 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097142 11082027008 19496 33554432000 4194304 4196468 140725268513904 139965669303664 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7233] ppid=7169 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7233/stat : 7233 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11082027008 19496 33554432000 4194304 4196468 140725268513904 139965361903952 139966813616027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7234] ppid=7169 vsize=10822292 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/7172/task/7234/stat : 7234 (java) R 7169 7172 5621 0 -1 4202560 932 13176 0 0 15 0 5 3 20 0 15 0 405097145 11082027008 19496 33554432000 4194304 4196468 140725268513904 139966237620592 139966793314567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7235] ppid=7169 vsize=10822292 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/7172/task/7235/stat : 7235 (java) S 7169 7172 5621 0 -1 1077944384 291 13176 0 0 11 0 5 3 20 0 15 0 405097145 11082027008 19496 33554432000 4194304 4196468 140725268513904 139966236567792 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7236] ppid=7169 vsize=10822292 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/7172/task/7236/stat : 7236 (java) S 7169 7172 5621 0 -1 1077944384 749 13176 0 0 17 0 5 3 20 0 15 0 405097145 11082027008 19496 33554432000 4194304 4196468 140725268513904 139966235514992 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7237] ppid=7169 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7237/stat : 7237 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11082027008 19496 33554432000 4194304 4196468 140725268513904 139965328345312 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7238] ppid=7169 vsize=10822292 memory=3580 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7238/stat : 7238 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097146 11082027008 19496 33554432000 4194304 4196468 140725268513904 139966234463408 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 77984 KiB
[startup+1.50075 s]
/proc/loadavg: 1.41 1.40 1.47 3/226 7238
/proc/meminfo: memFree=29920516/32770624 swapFree=66920064/67108860
[pid=7172] ppid=7169 vsize=10834656 memory=165452 CPUtime=2.45 cores=0,2,4,6
/proc/7172/stat : 7172 (java) S 7169 7172 5621 0 -1 1077944320 22193 13176 0 0 226 11 5 3 20 0 15 0 405097130 11094687744 41363 33554432000 4194304 4196468 140725268513904 140725268496448 139966813597431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
/proc/7172/statm: 2708664 41363 3573 1 0 2670733 0
[pid=7172/tid=7225] ppid=7169 vsize=10834656 memory=140316447347288 CPUtime=1.42 cores=0,2,4,6
/proc/7172/task/7225/stat : 7225 (java) R 7169 7172 5621 0 -1 4202560 15821 13176 0 0 127 7 5 3 20 0 15 0 405097140 11094687744 41363 33554432000 4194304 4196468 140725268513904 139966785391248 139966797641061 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7226] ppid=7169 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7172/task/7226/stat : 7226 (java) S 7169 7172 5621 0 -1 1077944384 55 13176 0 0 1 0 5 3 20 0 15 0 405097140 11094687744 41363 33554432000 4194304 4196468 140725268513904 139966817839760 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7227] ppid=7169 vsize=10834656 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7227/stat : 7227 (java) S 7169 7172 5621 0 -1 1077944384 43 13176 0 0 0 0 5 3 20 0 15 0 405097140 11094687744 41363 33554432000 4194304 4196468 140725268513904 139966387247632 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7228] ppid=7169 vsize=10834656 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/7172/task/7228/stat : 7228 (java) S 7169 7172 5621 0 -1 1077944384 311 13176 0 0 1 0 5 3 20 0 15 0 405097140 11094687744 41363 33554432000 4194304 4196468 140725268513904 139966386194832 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7229] ppid=7169 vsize=10834656 memory=280632895101344 CPUtime=0.09 cores=0,2,4,6
/proc/7172/task/7229/stat : 7229 (java) S 7169 7172 5621 0 -1 1077944384 84 13176 0 0 1 0 5 3 20 0 15 0 405097140 11094687744 41363 33554432000 4194304 4196468 140725268513904 139966385142032 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7230] ppid=7169 vsize=10834656 memory=171102907152446 CPUtime=0.09 cores=0,2,4,6
/proc/7172/task/7230/stat : 7230 (java) S 7169 7172 5621 0 -1 1077944384 444 13176 0 0 1 0 5 3 20 0 15 0 405097142 11094687744 41363 33554432000 4194304 4196468 140725268513904 139966272232304 139966813608578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7231] ppid=7169 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7231/stat : 7231 (java) S 7169 7172 5621 0 -1 1077944384 34 13176 0 0 0 0 5 3 20 0 15 0 405097142 11094687744 41363 33554432000 4194304 4196468 140725268513904 139966271178336 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7232] ppid=7169 vsize=10834656 memory=6011695996121019184 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7232/stat : 7232 (java) S 7169 7172 5621 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 405097142 11094687744 41363 33554432000 4194304 4196468 140725268513904 139965669303680 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7233] ppid=7169 vsize=10834656 memory=-8412658770403813517 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7233/stat : 7233 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11094687744 41380 33554432000 4194304 4196468 140725268513904 139965361903952 139966813616027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7234] ppid=7169 vsize=10834656 memory=-7668917182949848256 CPUtime=0.34 cores=0,2,4,6
/proc/7172/task/7234/stat : 7234 (java) S 7169 7172 5621 0 -1 1077944384 1232 13176 0 0 26 0 5 3 20 0 15 0 405097145 11094687744 41380 33554432000 4194304 4196468 140725268513904 139966237620592 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7235] ppid=7169 vsize=10834656 memory=8514726395714956677 CPUtime=0.32 cores=0,2,4,6
/proc/7172/task/7235/stat : 7235 (java) S 7169 7172 5621 0 -1 1077944384 491 13176 0 0 24 0 5 3 20 0 15 0 405097145 11094687744 41380 33554432000 4194304 4196468 140725268513904 139966236567792 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7236] ppid=7169 vsize=10834656 memory=-8995268955501401461 CPUtime=0.49 cores=0,2,4,6
/proc/7172/task/7236/stat : 7236 (java) R 7169 7172 5621 0 -1 4202560 1463 13176 0 0 41 0 5 3 20 0 15 0 405097145 11094687744 41380 33554432000 4194304 4196468 140725268513904 139966235514992 139966806694267 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7237] ppid=7169 vsize=10834656 memory=4283920778551074714 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7237/stat : 7237 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11094687744 41380 33554432000 4194304 4196468 140725268513904 139965328345312 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7238] ppid=7169 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7238/stat : 7238 (java) S 7169 7172 5621 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 405097146 11094687744 41380 33554432000 4194304 4196468 140725268513904 139966234463408 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/7172/task/7225/stat : 7225 (java) R 7169 7172 5621 0 -1 4202560 72476 13176 0 0 235545 50 5 3 20 0 15 0 405097140 11107291136 216493 33554432000 4194304 4196468 140725268513904 139966785433056 139966435331437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7226] ppid=7169 vsize=10846964 memory=883428 CPUtime=14.31 cores=0,2,4,6
/proc/7172/task/7226/stat : 7226 (java) S 7169 7172 5621 0 -1 1077944384 18932 13176 0 0 1372 51 5 3 20 0 15 0 405097140 11107291136 216493 33554432000 4194304 4196468 140725268513904 139966817839760 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7227] ppid=7169 vsize=10846964 memory=873160 CPUtime=14.3 cores=0,2,4,6
/proc/7172/task/7227/stat : 7227 (java) S 7169 7172 5621 0 -1 1077944384 22671 13176 0 0 1367 55 5 3 20 0 15 0 405097140 11107291136 216493 33554432000 4194304 4196468 140725268513904 139966387247632 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7228] ppid=7169 vsize=10846964 memory=875724 CPUtime=14.29 cores=0,2,4,6
/proc/7172/task/7228/stat : 7228 (java) S 7169 7172 5621 0 -1 1077944384 21325 13176 0 0 1373 48 5 3 20 0 15 0 405097140 11107291136 216493 33554432000 4194304 4196468 140725268513904 139966386194832 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7229] ppid=7169 vsize=10846964 memory=280632896001984 CPUtime=14.29 cores=0,2,4,6
/proc/7172/task/7229/stat : 7229 (java) S 7169 7172 5621 0 -1 1077944384 18871 13176 0 0 1366 55 5 3 20 0 15 0 405097140 11107291136 216493 33554432000 4194304 4196468 140725268513904 139966385142032 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7230] ppid=7169 vsize=10846964 memory=866484 CPUtime=8.71 cores=0,2,4,6
/proc/7172/task/7230/stat : 7230 (java) S 7169 7172 5621 0 -1 1077944384 17256 13176 0 0 813 50 5 3 20 0 15 0 405097142 11107291136 216493 33554432000 4194304 4196468 140725268513904 139966272232304 139966813608578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7231] ppid=7169 vsize=10846964 memory=873672 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7231/stat : 7231 (java) S 7169 7172 5621 0 -1 1077944384 38 13176 0 0 0 0 5 3 20 0 15 0 405097142 11107291136 216493 33554432000 4194304 4196468 140725268513904 139966271178336 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7232] ppid=7169 vsize=10846964 memory=865972 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7232/stat : 7232 (java) S 7169 7172 5621 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 405097142 11107291136 216493 33554432000 4194304 4196468 140725268513904 139965669303680 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7233] ppid=7169 vsize=10846964 memory=26660 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7233/stat : 7233 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11107291136 216493 33554432000 4194304 4196468 140725268513904 139965361903952 139966813616027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7234] ppid=7169 vsize=10846964 memory=866484 CPUtime=5.29 cores=0,2,4,6
/proc/7172/task/7234/stat : 7234 (java) S 7169 7172 5621 0 -1 1077944384 29663 13176 0 0 515 6 5 3 20 0 15 0 405097145 11107291136 216493 33554432000 4194304 4196468 140725268513904 139966237620592 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7235] ppid=7169 vsize=10846964 memory=3580 CPUtime=6 cores=0,2,4,6
/proc/7172/task/7235/stat : 7235 (java) S 7169 7172 5621 0 -1 1077944384 36725 13176 0 0 587 5 5 3 20 0 15 0 405097145 11107291136 216493 33554432000 4194304 4196468 140725268513904 139966236567792 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7236] ppid=7169 vsize=10846964 memory=988 CPUtime=3.72 cores=0,2,4,6
/proc/7172/task/7236/stat : 7236 (java) S 7169 7172 5621 0 -1 1077944384 37016 13176 0 0 357 7 5 3 20 0 15 0 405097145 11107291136 216493 33554432000 4194304 4196468 140725268513904 139966235514992 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7237] ppid=7169 vsize=10846964 memory=2016 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7237/stat : 7237 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11107291136 216493 33554432000 4194304 4196468 140725268513904 139965328345312 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7238] ppid=7169 vsize=10846964 memory=866484 CPUtime=1.5 cores=0,2,4,6
/proc/7172/task/7238/stat : 7238 (java) S 7169 7172 5621 0 -1 1077944384 1429 13176 0 0 70 72 5 3 20 0 15 0 405097146 11107291136 216493 33554432000 4194304 4196468 140725268513904 139966234463408 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
Current children cumulated CPU time: 2437.85 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 865972 KiB
[startup+2442.3 s]
/proc/loadavg: 1.46 1.37 1.41 3/226 7870
/proc/meminfo: memFree=29713632/32770624 swapFree=66920112/67108860
[pid=7172] ppid=7169 vsize=10846964 memory=864932 CPUtime=2499 cores=0,2,4,6
/proc/7172/stat : 7172 (java) S 7169 7172 5621 0 -1 1077944320 280504 13176 0 0 249533 359 5 3 20 0 15 0 405097130 11107291136 216233 33554432000 4194304 4196468 140725268513904 140725268496448 139966813597431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
/proc/7172/statm: 2711741 216233 3621 1 0 2673805 0
[pid=7172/tid=7225] ppid=7169 vsize=10846964 memory=864932 CPUtime=2415.29 cores=0,2,4,6
/proc/7172/task/7225/stat : 7225 (java) S 7169 7172 5621 0 -1 1077944384 73113 13176 0 0 241471 50 5 3 20 0 15 0 405097140 11107291136 216233 33554432000 4194304 4196468 140725268513904 139966785433152 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7226] ppid=7169 vsize=10846964 memory=862884 CPUtime=14.72 cores=0,2,4,6
/proc/7172/task/7226/stat : 7226 (java) R 7169 7172 5621 0 -1 4202560 19273 13176 0 0 1413 51 5 3 20 0 15 0 405097140 11107291136 216233 33554432000 4194304 4196468 140725268513904 139966817839760 139966806225639 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7227] ppid=7169 vsize=10846964 memory=864932 CPUtime=14.71 cores=0,2,4,6
/proc/7172/task/7227/stat : 7227 (java) R 7169 7172 5621 0 -1 4202560 22848 13176 0 0 1407 56 5 3 20 0 15 0 405097140 11107291136 216233 33554432000 4194304 4196468 140725268513904 139966387247632 139966813618778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7228] ppid=7169 vsize=10846964 memory=860836 CPUtime=14.7 cores=0,2,4,6
/proc/7172/task/7228/stat : 7228 (java) R 7169 7172 5621 0 -1 4202560 21595 13176 0 0 1413 49 5 3 20 0 15 0 405097140 11107291136 216233 33554432000 4194304 4196468 140725268513904 139966386192440 139966806225639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7229] ppid=7169 vsize=10846964 memory=869564 CPUtime=14.71 cores=0,2,4,6
/proc/7172/task/7229/stat : 7229 (java) R 7169 7172 5621 0 -1 4202560 19125 13176 0 0 1407 56 5 3 20 0 15 0 405097140 11107291136 216233 33554432000 4194304 4196468 140725268513904 139966385142152 139966806225639 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7230] ppid=7169 vsize=10846964 memory=864432 CPUtime=8.92 cores=0,2,4,6
/proc/7172/task/7230/stat : 7230 (java) S 7169 7172 5621 0 -1 1077944384 17442 13176 0 0 833 51 5 3 20 0 15 0 405097142 11107291136 216233 33554432000 4194304 4196468 140725268513904 139966272230816 139966813607637 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7231] ppid=7169 vsize=10846964 memory=864932 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7231/stat : 7231 (java) S 7169 7172 5621 0 -1 1077944384 38 13176 0 0 0 0 5 3 20 0 15 0 405097142 11107291136 216233 33554432000 4194304 4196468 140725268513904 139966271178336 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7232] ppid=7169 vsize=10846964 memory=864932 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7232/stat : 7232 (java) S 7169 7172 5621 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 405097142 11107291136 216233 33554432000 4194304 4196468 140725268513904 139965669303680 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7233] ppid=7169 vsize=10846964 memory=864932 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7233/stat : 7233 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11107291136 216233 33554432000 4194304 4196468 140725268513904 139965361903952 139966813616027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7234] ppid=7169 vsize=10846964 memory=864932 CPUtime=5.29 cores=0,2,4,6
/proc/7172/task/7234/stat : 7234 (java) S 7169 7172 5621 0 -1 1077944384 29665 13176 0 0 515 6 5 3 20 0 15 0 405097145 11107291136 216233 33554432000 4194304 4196468 140725268513904 139966237620592 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7235] ppid=7169 vsize=10846964 memory=8112282956445269571 CPUtime=6 cores=0,2,4,6
/proc/7172/task/7235/stat : 7235 (java) S 7169 7172 5621 0 -1 1077944384 36727 13176 0 0 587 5 5 3 20 0 15 0 405097145 11107291136 216233 33554432000 4194304 4196468 140725268513904 139966236567792 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7236] ppid=7169 vsize=10846964 memory=864932 CPUtime=3.72 cores=0,2,4,6
/proc/7172/task/7236/stat : 7236 (java) S 7169 7172 5621 0 -1 1077944384 37018 13176 0 0 357 7 5 3 20 0 15 0 405097145 11107291136 216233 33554432000 4194304 4196468 140725268513904 139966235514992 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7237] ppid=7169 vsize=10846964 memory=864932 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7237/stat : 7237 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11107291136 216233 33554432000 4194304 4196468 140725268513904 139965328345312 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7238] ppid=7169 vsize=10846964 memory=864932 CPUtime=1.54 cores=0,2,4,6
/proc/7172/task/7238/stat : 7238 (java) S 7169 7172 5621 0 -1 1077944384 1443 13176 0 0 72 74 5 3 20 0 15 0 405097146 11107291136 216233 33554432000 4194304 4196468 140725268513904 139966234463408 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
Current children cumulated CPU time: 2499 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 864932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.9 s]
/proc/loadavg: 1.53 1.39 1.42 3/227 7873
/proc/meminfo: memFree=29715104/32770624 swapFree=66920112/67108860
[pid=7172] ppid=7169 vsize=10846964 memory=866980 CPUtime=2520 cores=0,2,4,6
/proc/7172/stat : 7172 (java) S 7169 7172 5621 0 -1 1077944320 281930 13176 0 0 251630 362 5 3 20 0 15 0 405097130 11107291136 216745 33554432000 4194304 4196468 140725268513904 140725268496448 139966813597431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
/proc/7172/statm: 2711741 216745 3621 1 0 2673805 0
[pid=7172/tid=7225] ppid=7169 vsize=10846964 memory=866980 CPUtime=2435.64 cores=0,2,4,6
/proc/7172/task/7225/stat : 7225 (java) R 7169 7172 5621 0 -1 4202560 73471 13176 0 0 243506 50 5 3 20 0 15 0 405097140 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966785432848 139966433652516 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7226] ppid=7169 vsize=10846964 memory=866980 CPUtime=14.86 cores=0,2,4,6
/proc/7172/task/7226/stat : 7226 (java) S 7169 7172 5621 0 -1 1077944384 19415 13176 0 0 1426 52 5 3 20 0 15 0 405097140 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966817839760 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7227] ppid=7169 vsize=10846964 memory=866980 CPUtime=14.86 cores=0,2,4,6
/proc/7172/task/7227/stat : 7227 (java) S 7169 7172 5621 0 -1 1077944384 23223 13176 0 0 1421 57 5 3 20 0 15 0 405097140 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966387247632 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7228] ppid=7169 vsize=10846964 memory=866980 CPUtime=14.85 cores=0,2,4,6
/proc/7172/task/7228/stat : 7228 (java) S 7169 7172 5621 0 -1 1077944384 21723 13176 0 0 1427 50 5 3 20 0 15 0 405097140 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966386194832 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7229] ppid=7169 vsize=10846964 memory=866980 CPUtime=14.85 cores=0,2,4,6
/proc/7172/task/7229/stat : 7229 (java) S 7169 7172 5621 0 -1 1077944384 19364 13176 0 0 1420 57 5 3 20 0 15 0 405097140 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966385142032 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7230] ppid=7169 vsize=10846964 memory=3580 CPUtime=8.99 cores=0,2,4,6
/proc/7172/task/7230/stat : 7230 (java) S 7169 7172 5621 0 -1 1077944384 17616 13176 0 0 840 51 5 3 20 0 15 0 405097142 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966272232304 139966813608578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7231] ppid=7169 vsize=10846964 memory=866980 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7231/stat : 7231 (java) S 7169 7172 5621 0 -1 1077944384 38 13176 0 0 0 0 5 3 20 0 15 0 405097142 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966271178336 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7232] ppid=7169 vsize=10846964 memory=866980 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7232/stat : 7232 (java) S 7169 7172 5621 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 405097142 11107291136 216745 33554432000 4194304 4196468 140725268513904 139965669303680 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7233] ppid=7169 vsize=10846964 memory=920 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7233/stat : 7233 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11107291136 216745 33554432000 4194304 4196468 140725268513904 139965361903952 139966813616027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7234] ppid=7169 vsize=10846964 memory=3852 CPUtime=5.29 cores=0,2,4,6
/proc/7172/task/7234/stat : 7234 (java) S 7169 7172 5621 0 -1 1077944384 29667 13176 0 0 515 6 5 3 20 0 15 0 405097145 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966237620592 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7235] ppid=7169 vsize=10846964 memory=864932 CPUtime=6 cores=0,2,4,6
/proc/7172/task/7235/stat : 7235 (java) S 7169 7172 5621 0 -1 1077944384 36729 13176 0 0 587 5 5 3 20 0 15 0 405097145 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966236567792 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7236] ppid=7169 vsize=10846964 memory=864932 CPUtime=3.72 cores=0,2,4,6
/proc/7172/task/7236/stat : 7236 (java) S 7169 7172 5621 0 -1 1077944384 37020 13176 0 0 357 7 5 3 20 0 15 0 405097145 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966235514992 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7237] ppid=7169 vsize=10846964 memory=3580 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7237/stat : 7237 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11107291136 216745 33554432000 4194304 4196468 140725268513904 139965328345312 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7238] ppid=7169 vsize=10846964 memory=15844 CPUtime=1.55 cores=0,2,4,6
/proc/7172/task/7238/stat : 7238 (java) S 7169 7172 5621 0 -1 1077944384 1447 13176 0 0 73 74 5 3 20 0 15 0 405097146 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966234463408 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 866980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.93 s]
# the end of solver process 7172 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.38 s, system=3.66197 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2462.9 s]
/proc/loadavg: 1.53 1.39 1.42 3/227 7873
/proc/meminfo: memFree=29715104/32770624 swapFree=66920112/67108860
[pid=7172] ppid=7169 vsize=10846964 memory=866980 CPUtime=2520 cores=0,2,4,6
/proc/7172/stat : 7172 (java) S 7169 7172 5621 0 -1 1077944320 281930 13176 0 0 251630 362 5 3 20 0 15 0 405097130 11107291136 216745 33554432000 4194304 4196468 140725268513904 140725268496448 139966813597431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
/proc/7172/statm: 2711741 216745 3621 1 0 2673805 0
[pid=7172/tid=7225] ppid=7169 vsize=10846964 memory=866980 CPUtime=2435.64 cores=0,2,4,6
/proc/7172/task/7225/stat : 7225 (java) R 7169 7172 5621 0 -1 4202560 73471 13176 0 0 243506 50 5 3 20 0 15 0 405097140 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966785432848 139966433652516 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7226] ppid=7169 vsize=10846964 memory=866980 CPUtime=14.86 cores=0,2,4,6
/proc/7172/task/7226/stat : 7226 (java) S 7169 7172 5621 0 -1 1077944384 19415 13176 0 0 1426 52 5 3 20 0 15 0 405097140 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966817839760 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7227] ppid=7169 vsize=10846964 memory=866980 CPUtime=14.86 cores=0,2,4,6
/proc/7172/task/7227/stat : 7227 (java) S 7169 7172 5621 0 -1 1077944384 23223 13176 0 0 1421 57 5 3 20 0 15 0 405097140 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966387247632 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7228] ppid=7169 vsize=10846964 memory=866980 CPUtime=14.85 cores=0,2,4,6
/proc/7172/task/7228/stat : 7228 (java) S 7169 7172 5621 0 -1 1077944384 21723 13176 0 0 1427 50 5 3 20 0 15 0 405097140 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966386194832 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7229] ppid=7169 vsize=10846964 memory=866980 CPUtime=14.85 cores=0,2,4,6
/proc/7172/task/7229/stat : 7229 (java) S 7169 7172 5621 0 -1 1077944384 19364 13176 0 0 1420 57 5 3 20 0 15 0 405097140 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966385142032 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7230] ppid=7169 vsize=10846964 memory=3580 CPUtime=8.99 cores=0,2,4,6
/proc/7172/task/7230/stat : 7230 (java) S 7169 7172 5621 0 -1 1077944384 17616 13176 0 0 840 51 5 3 20 0 15 0 405097142 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966272232304 139966813608578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7231] ppid=7169 vsize=10846964 memory=866980 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7231/stat : 7231 (java) S 7169 7172 5621 0 -1 1077944384 38 13176 0 0 0 0 5 3 20 0 15 0 405097142 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966271178336 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7232] ppid=7169 vsize=10846964 memory=866980 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7232/stat : 7232 (java) S 7169 7172 5621 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 405097142 11107291136 216745 33554432000 4194304 4196468 140725268513904 139965669303680 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7233] ppid=7169 vsize=10846964 memory=920 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7233/stat : 7233 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11107291136 216745 33554432000 4194304 4196468 140725268513904 139965361903952 139966813616027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7234] ppid=7169 vsize=10846964 memory=3852 CPUtime=5.29 cores=0,2,4,6
/proc/7172/task/7234/stat : 7234 (java) S 7169 7172 5621 0 -1 1077944384 29667 13176 0 0 515 6 5 3 20 0 15 0 405097145 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966237620592 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7235] ppid=7169 vsize=10846964 memory=864932 CPUtime=6 cores=0,2,4,6
/proc/7172/task/7235/stat : 7235 (java) S 7169 7172 5621 0 -1 1077944384 36729 13176 0 0 587 5 5 3 20 0 15 0 405097145 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966236567792 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7236] ppid=7169 vsize=10846964 memory=864932 CPUtime=3.72 cores=0,2,4,6
/proc/7172/task/7236/stat : 7236 (java) S 7169 7172 5621 0 -1 1077944384 37020 13176 0 0 357 7 5 3 20 0 15 0 405097145 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966235514992 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7237] ppid=7169 vsize=10846964 memory=3580 CPUtime=0.08 cores=0,2,4,6
/proc/7172/task/7237/stat : 7237 (java) S 7169 7172 5621 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 405097145 11107291136 216745 33554432000 4194304 4196468 140725268513904 139965328345312 139966813607637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
[pid=7172/tid=7238] ppid=7169 vsize=10846964 memory=15844 CPUtime=1.55 cores=0,2,4,6
/proc/7172/task/7238/stat : 7238 (java) S 7169 7172 5621 0 -1 1077944384 1447 13176 0 0 73 74 5 3 20 0 15 0 405097146 11107291136 216745 33554432000 4194304 4196468 140725268513904 139966234463408 139966813608578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11780096 140725268519669 140725268522181 140725268522181 140725268525007 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 866980 KiB
Child status: 143
Real time (s): 2462.93
CPU time (s): 2520.04
CPU user time (s): 2516.38
CPU system time (s): 3.66197
CPU usage (%): 102.319
Max. virtual memory (cumulated for all children) (KiB): 10849588
Max. memory (cumulated for all children) (KiB): 1078140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.38
system time used= 3.66197
maximum resident set size= 1079168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295810
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 260414
involuntary context switches= 7721
# summary of solver processes directly reported to runsolver:
# pid: 7172
# total CPU time (s): 2520.04
# total CPU user time (s): 2516.38
# total CPU system time (s): 3.66197
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7412 second user time and 23.1562 second system time
The end