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 (8282 MiB free)
memory of node 1: 16384 MiB (11991 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298872-1532781744/watcher-4298872-1532781744 -o /tmp/evaluation-result-4298872-1532781744/solver-4298872-1532781744 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532774285-30332 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298872-1532781744.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=31137, runsolver pid=31134
[startup+0.101277 s]*
/proc/loadavg: 1.48 1.34 1.36 4/216 31152
/proc/meminfo: memFree=20744796/32770624 swapFree=67108404/67108860
[pid=31137] ppid=31134 vsize=10661056 memory=28004 CPUtime=0.13 cores=0,2,4,6
/proc/31137/stat : 31137 (java) S 31134 31137 30301 0 -1 1077944320 5408 0 0 0 12 1 0 0 20 0 15 0 95737595 10916921344 7001 33554432000 4194304 4196468 140734702024768 140734702007312 140190747107063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
/proc/31137/statm: 2665264 7001 2839 1 0 2627263 0
[pid=31137/tid=31139] ppid=31134 vsize=10661056 memory=-8197568871503402371 CPUtime=0.09 cores=0,2,4,6
/proc/31137/task/31139/stat : 31139 (java) R 31134 31137 30301 0 -1 4202560 3215 0 0 0 9 0 0 0 20 0 15 0 95737595 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190751336544 140190366641400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31140] ppid=31134 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31140/stat : 31140 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737596 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190689111056 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31141] ppid=31134 vsize=10661056 memory=140332310279808 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31141/stat : 31141 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737596 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190688058512 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31142] ppid=31134 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31142/stat : 31142 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737596 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190687005456 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31143] ppid=31134 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31143/stat : 31143 (java) S 31134 31137 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95737596 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190350629776 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31144] ppid=31134 vsize=10661056 memory=140332310279808 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31144/stat : 31144 (java) S 31134 31137 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95737598 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190306728176 140190747118210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31145] ppid=31134 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31145/stat : 31145 (java) S 31134 31137 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95737598 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190305674400 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31146] ppid=31134 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31146/stat : 31146 (java) S 31134 31137 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95737598 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190304621296 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31147] ppid=31134 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31147/stat : 31147 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190303569872 140190747125659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31148] ppid=31134 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31148/stat : 31148 (java) R 31134 31137 30301 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 95737601 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190302518000 140190747118210 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31149] ppid=31134 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31149/stat : 31149 (java) R 31134 31137 30301 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 15 0 95737601 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190301465456 140190724351808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31150] ppid=31134 vsize=10661056 memory=140332310279808 CPUtime=0.02 cores=0,2,4,6
/proc/31137/task/31150/stat : 31150 (java) S 31134 31137 30301 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 15 0 95737601 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190300412400 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31151] ppid=31134 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31151/stat : 31151 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190299360096 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31152] ppid=31134 vsize=10661056 memory=140332310279808 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31152/stat : 31152 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737601 10916921344 7001 33554432000 4194304 4196468 140734702024768 140190298307120 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 28004 KiB
[startup+0.210541 s]*
/proc/loadavg: 1.48 1.34 1.36 4/216 31152
/proc/meminfo: memFree=20734700/32770624 swapFree=67108404/67108860
[pid=31137] ppid=31134 vsize=10661056 memory=40004 CPUtime=0.33 cores=0,2,4,6
/proc/31137/stat : 31137 (java) S 31134 31137 30301 0 -1 1077944320 8094 0 0 0 31 2 0 0 20 0 15 0 95737595 10916921344 10001 33554432000 4194304 4196468 140734702024768 140734702007312 140190747107063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
/proc/31137/statm: 2665264 10001 2976 1 0 2627263 0
[pid=31137/tid=31139] ppid=31134 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31137/task/31139/stat : 31139 (java) R 31134 31137 30301 0 -1 4202560 5205 0 0 0 19 1 0 0 20 0 15 0 95737595 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190751337152 140190731187550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31140] ppid=31134 vsize=10661056 memory=345 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31140/stat : 31140 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737596 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190689111056 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31141] ppid=31134 vsize=10661056 memory=140332310310284 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31141/stat : 31141 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737596 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190688058512 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31142] ppid=31134 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31142/stat : 31142 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737596 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190687005456 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31143] ppid=31134 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31143/stat : 31143 (java) S 31134 31137 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95737596 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190350629776 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31144] ppid=31134 vsize=10661056 memory=140332310279808 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31144/stat : 31144 (java) S 31134 31137 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95737598 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190306728176 140190747118210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31145] ppid=31134 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31145/stat : 31145 (java) S 31134 31137 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95737598 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190305674400 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31146] ppid=31134 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31146/stat : 31146 (java) S 31134 31137 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95737598 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190304621296 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31147] ppid=31134 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31147/stat : 31147 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190303569872 140190747125659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31148] ppid=31134 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31137/task/31148/stat : 31148 (java) S 31134 31137 30301 0 -1 1077944384 583 0 0 0 2 0 0 0 20 0 15 0 95737601 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190302518000 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31149] ppid=31134 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31137/task/31149/stat : 31149 (java) S 31134 31137 30301 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 15 0 95737601 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190301465456 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31150] ppid=31134 vsize=10661056 memory=140332310279808 CPUtime=0.07 cores=0,2,4,6
/proc/31137/task/31150/stat : 31150 (java) S 31134 31137 30301 0 -1 1077944384 783 0 0 0 7 0 0 0 20 0 15 0 95737601 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190300412400 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31151] ppid=31134 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31151/stat : 31151 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190299360096 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31152] ppid=31134 vsize=10661056 memory=140332310279808 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31152/stat : 31152 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737601 10916921344 10001 33554432000 4194304 4196468 140734702024768 140190298307120 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40004 KiB
[startup+0.315805 s]*
/proc/loadavg: 1.48 1.34 1.36 6/216 31152
/proc/meminfo: memFree=20723276/32770624 swapFree=67108404/67108860
[pid=31137] ppid=31134 vsize=10661132 memory=54004 CPUtime=0.62 cores=0,2,4,6
/proc/31137/stat : 31137 (java) S 31134 31137 30301 0 -1 1077944320 9552 0 0 0 60 2 0 0 20 0 15 0 95737595 10916999168 13501 33554432000 4194304 4196468 140734702024768 140734702007312 140190747107063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
/proc/31137/statm: 2665283 13501 3077 1 0 2627263 0
[pid=31137/tid=31139] ppid=31134 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/31137/task/31139/stat : 31139 (java) R 31134 31137 30301 0 -1 4202560 5465 0 0 0 29 1 0 0 20 0 15 0 95737595 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190751342048 140190368821911 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31140] ppid=31134 vsize=10661132 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31140/stat : 31140 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737596 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190689111056 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31141] ppid=31134 vsize=10661132 memory=140332310309898 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31141/stat : 31141 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737596 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190688058512 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31142] ppid=31134 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31142/stat : 31142 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737596 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190687005456 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31143] ppid=31134 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31143/stat : 31143 (java) S 31134 31137 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95737596 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190350629776 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31144] ppid=31134 vsize=10661132 memory=140332310279808 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31144/stat : 31144 (java) S 31134 31137 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190306728176 140190747118210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31145] ppid=31134 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31145/stat : 31145 (java) S 31134 31137 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190305674400 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31146] ppid=31134 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31146/stat : 31146 (java) S 31134 31137 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190304621296 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31147] ppid=31134 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31147/stat : 31147 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190303569872 140190747125659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31148] ppid=31134 vsize=10661132 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31137/task/31148/stat : 31148 (java) R 31134 31137 30301 0 -1 4202560 1037 0 0 0 8 0 0 0 20 0 15 0 95737601 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190302504024 140190731903018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31149] ppid=31134 vsize=10661132 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31137/task/31149/stat : 31149 (java) R 31134 31137 30301 0 -1 4202560 555 0 0 0 7 0 0 0 20 0 15 0 95737601 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190301451552 140190732214662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31150] ppid=31134 vsize=10661132 memory=140332310279808 CPUtime=0.14 cores=0,2,4,6
/proc/31137/task/31150/stat : 31150 (java) R 31134 31137 30301 0 -1 1077944384 1128 0 0 0 14 0 0 0 20 0 15 0 95737601 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190300412400 140190747118210 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31151] ppid=31134 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31151/stat : 31151 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190299360096 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31152] ppid=31134 vsize=10661132 memory=140332310279808 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31152/stat : 31152 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 13501 33554432000 4194304 4196468 140734702024768 140190298307120 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 54004 KiB
[startup+0.700805 s]
/proc/loadavg: 1.60 1.37 1.37 5/216 31152
/proc/meminfo: memFree=20582528/32770624 swapFree=67108404/67108860
[pid=31137] ppid=31134 vsize=10661132 memory=201080 CPUtime=1.75 cores=0,2,4,6
/proc/31137/stat : 31137 (java) S 31134 31137 30301 0 -1 1077944320 13248 0 0 0 169 6 0 0 20 0 15 0 95737595 10916999168 50270 33554432000 4194304 4196468 140734702024768 140734702007312 140190747107063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
/proc/31137/statm: 2665283 50270 3125 1 0 2627263 0
[pid=31137/tid=31139] ppid=31134 vsize=10661132 memory=1840 CPUtime=0.66 cores=0,2,4,6
/proc/31137/task/31139/stat : 31139 (java) R 31134 31137 30301 0 -1 4202560 5751 0 0 0 63 3 0 0 20 0 15 0 95737595 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190751337696 140190370036032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31140] ppid=31134 vsize=10661132 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31140/stat : 31140 (java) S 31134 31137 30301 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 95737596 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190689111056 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31141] ppid=31134 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31141/stat : 31141 (java) S 31134 31137 30301 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 95737596 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190688058512 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31142] ppid=31134 vsize=10661132 memory=11008 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31142/stat : 31142 (java) S 31134 31137 30301 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 95737596 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190687005456 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31143] ppid=31134 vsize=10661132 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31143/stat : 31143 (java) S 31134 31137 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95737596 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190350629776 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31144] ppid=31134 vsize=10661132 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31144/stat : 31144 (java) S 31134 31137 30301 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190306728176 140190747118210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31145] ppid=31134 vsize=10661132 memory=8568 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31145/stat : 31145 (java) S 31134 31137 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190305674400 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31146] ppid=31134 vsize=10661132 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31146/stat : 31146 (java) S 31134 31137 30301 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190304621296 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31147] ppid=31134 vsize=10661132 memory=5372 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31147/stat : 31147 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190303569872 140190747125659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31148] ppid=31134 vsize=10661132 memory=7302135314614015848 CPUtime=0.37 cores=0,2,4,6
/proc/31137/task/31148/stat : 31148 (java) R 31134 31137 30301 0 -1 4202560 2209 0 0 0 37 0 0 0 20 0 15 0 95737601 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190302504072 140190725124051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31149] ppid=31134 vsize=10661132 memory=7450453974481135974 CPUtime=0.36 cores=0,2,4,6
/proc/31137/task/31149/stat : 31149 (java) R 31134 31137 30301 0 -1 4202560 1923 0 0 0 36 0 0 0 20 0 15 0 95737601 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190301445928 140190731500199 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31150] ppid=31134 vsize=10661132 memory=7007715718637572176 CPUtime=0.28 cores=0,2,4,6
/proc/31137/task/31150/stat : 31150 (java) S 31134 31137 30301 0 -1 1077944384 1860 0 0 0 28 0 0 0 20 0 15 0 95737601 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190300412400 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31151] ppid=31134 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31151/stat : 31151 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190299360096 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31152] ppid=31134 vsize=10661132 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31152/stat : 31152 (java) S 31134 31137 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 50270 33554432000 4194304 4196468 140734702024768 140190298307120 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 201080 KiB
[startup+1.50077 s]
/proc/loadavg: 1.60 1.37 1.37 4/216 31152
/proc/meminfo: memFree=20561976/32770624 swapFree=67108404/67108860
[pid=31137] ppid=31134 vsize=10661132 memory=249308 CPUtime=3.46 cores=0,2,4,6
/proc/31137/stat : 31137 (java) S 31134 31137 30301 0 -1 1077944320 18648 0 0 0 339 7 0 0 20 0 15 0 95737595 10916999168 62327 33554432000 4194304 4196468 140734702024768 140734702007312 140190747107063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
/proc/31137/statm: 2665283 62327 3129 1 0 2627263 0
[pid=31137/tid=31139] ppid=31134 vsize=10661132 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/31137/task/31139/stat : 31139 (java) R 31134 31137 30301 0 -1 4202560 5796 0 0 0 143 3 0 0 20 0 15 0 95737595 10916999168 62327 33554432000 4194304 4196468 140734702024768 140190751342352 140190366901468 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31140] ppid=31134 vsize=10661132 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31140/stat : 31140 (java) S 31134 31137 30301 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 95737596 10916999168 62327 33554432000 4194304 4196468 140734702024768 140190689111056 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31141] ppid=31134 vsize=10661132 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31141/stat : 31141 (java) S 31134 31137 30301 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 95737596 10916999168 62327 33554432000 4194304 4196468 140734702024768 140190688058512 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31142] ppid=31134 vsize=10661132 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31142/stat : 31142 (java) S 31134 31137 30301 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 95737596 10916999168 62327 33554432000 4194304 4196468 140734702024768 140190687005456 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31143] ppid=31134 vsize=10661132 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31143/stat : 31143 (java) S 31134 31137 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95737596 10916999168 62327 33554432000 4194304 4196468 140734702024768 140190350629776 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31144] ppid=31134 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31144/stat : 31144 (java) S 31134 31137 30301 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 62327 33554432000 4194304 4196468 140734702024768 140190306728176 140190747118210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
################
# More data... #
################
/proc/31137/task/31139/stat : 31139 (java) R 31134 31137 30301 0 -1 4202560 39581 0 0 0 236167 53 0 0 20 0 15 0 95737595 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190751346912 140190370874110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31140] ppid=31134 vsize=10661132 memory=683060 CPUtime=13.28 cores=0,2,4,6
/proc/31137/task/31140/stat : 31140 (java) S 31134 31137 30301 0 -1 1077944384 30163 0 0 0 1279 49 0 0 20 0 15 0 95737596 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190689111056 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31141] ppid=31134 vsize=10661132 memory=684600 CPUtime=13.28 cores=0,2,4,6
/proc/31137/task/31141/stat : 31141 (java) S 31134 31137 30301 0 -1 1077944384 28362 0 0 0 1276 52 0 0 20 0 15 0 95737596 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190688058512 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31142] ppid=31134 vsize=10661132 memory=715900 CPUtime=13.28 cores=0,2,4,6
/proc/31137/task/31142/stat : 31142 (java) S 31134 31137 30301 0 -1 1077944384 29117 0 0 0 1274 54 0 0 20 0 15 0 95737596 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190687005456 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31143] ppid=31134 vsize=10661132 memory=717440 CPUtime=13.27 cores=0,2,4,6
/proc/31137/task/31143/stat : 31143 (java) S 31134 31137 30301 0 -1 1077944384 27974 0 0 0 1275 52 0 0 20 0 15 0 95737596 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190350629776 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31144] ppid=31134 vsize=10661132 memory=689216 CPUtime=5.12 cores=0,2,4,6
/proc/31137/task/31144/stat : 31144 (java) S 31134 31137 30301 0 -1 1077944384 20733 0 0 0 444 68 0 0 20 0 15 0 95737598 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190306728176 140190747118210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31145] ppid=31134 vsize=10661132 memory=684084 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31145/stat : 31145 (java) S 31134 31137 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190305674464 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31146] ppid=31134 vsize=10661132 memory=686136 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31146/stat : 31146 (java) S 31134 31137 30301 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190304621296 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31147] ppid=31134 vsize=10661132 memory=678956 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31147/stat : 31147 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190303569872 140190747125659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31148] ppid=31134 vsize=10661132 memory=680496 CPUtime=1.08 cores=0,2,4,6
/proc/31137/task/31148/stat : 31148 (java) S 31134 31137 30301 0 -1 1077944384 7322 0 0 0 107 1 0 0 20 0 15 0 95737601 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190302518000 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31149] ppid=31134 vsize=10661132 memory=715388 CPUtime=1.24 cores=0,2,4,6
/proc/31137/task/31149/stat : 31149 (java) S 31134 31137 30301 0 -1 1077944384 10561 0 0 0 123 1 0 0 20 0 15 0 95737601 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190301465456 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31150] ppid=31134 vsize=10661132 memory=840 CPUtime=0.4 cores=0,2,4,6
/proc/31137/task/31150/stat : 31150 (java) S 31134 31137 30301 0 -1 1077944384 5954 0 0 0 39 1 0 0 20 0 15 0 95737601 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190300412400 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31151] ppid=31134 vsize=10661132 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31151/stat : 31151 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190299360096 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31152] ppid=31134 vsize=10661132 memory=679468 CPUtime=1.33 cores=0,2,4,6
/proc/31137/task/31152/stat : 31152 (java) S 31134 31137 30301 0 -1 1077944384 2111 0 0 0 70 63 0 0 20 0 15 0 95737601 10916999168 169611 33554432000 4194304 4196468 140734702024768 140190298307120 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
Current children cumulated CPU time: 2424.56 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 678444 KiB
[startup+2442.3 s]
/proc/loadavg: 1.87 1.68 1.68 3/216 31249
/proc/meminfo: memFree=20136276/32770624 swapFree=67108404/67108860
[pid=31137] ppid=31134 vsize=10661132 memory=633796 CPUtime=2485.75 cores=0,2,4,6
/proc/31137/stat : 31137 (java) S 31134 31137 30301 0 -1 1077944320 206117 0 0 0 248215 360 0 0 20 0 15 0 95737595 10916999168 158449 33554432000 4194304 4196468 140734702024768 140734702007312 140190747107063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
/proc/31137/statm: 2665283 158449 3146 1 0 2627263 0
[pid=31137/tid=31139] ppid=31134 vsize=10661132 memory=634824 CPUtime=2421.62 cores=0,2,4,6
/proc/31137/task/31139/stat : 31139 (java) R 31134 31137 30301 0 -1 4202560 40045 0 0 0 242109 53 0 0 20 0 15 0 95737595 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190751346912 140190370071293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31140] ppid=31134 vsize=10661132 memory=638928 CPUtime=13.68 cores=0,2,4,6
/proc/31137/task/31140/stat : 31140 (java) S 31134 31137 30301 0 -1 1077944384 30572 0 0 0 1318 50 0 0 20 0 15 0 95737596 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190689111056 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31141] ppid=31134 vsize=10661132 memory=642008 CPUtime=13.68 cores=0,2,4,6
/proc/31137/task/31141/stat : 31141 (java) S 31134 31137 30301 0 -1 1077944384 29029 0 0 0 1315 53 0 0 20 0 15 0 95737596 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190688058512 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31142] ppid=31134 vsize=10661132 memory=678956 CPUtime=13.68 cores=0,2,4,6
/proc/31137/task/31142/stat : 31142 (java) S 31134 31137 30301 0 -1 1077944384 29647 0 0 0 1313 55 0 0 20 0 15 0 95737596 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190687005456 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31143] ppid=31134 vsize=10661132 memory=1343 CPUtime=13.67 cores=0,2,4,6
/proc/31137/task/31143/stat : 31143 (java) S 31134 31137 30301 0 -1 1077944384 28473 0 0 0 1314 53 0 0 20 0 15 0 95737596 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190350629776 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31144] ppid=31134 vsize=10661132 memory=662020 CPUtime=5.24 cores=0,2,4,6
/proc/31137/task/31144/stat : 31144 (java) S 31134 31137 30301 0 -1 1077944384 21011 0 0 0 454 70 0 0 20 0 15 0 95737598 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190306728176 140190747118210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31145] ppid=31134 vsize=10661132 memory=652272 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31145/stat : 31145 (java) S 31134 31137 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190305674464 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31146] ppid=31134 vsize=10661132 memory=651244 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31146/stat : 31146 (java) S 31134 31137 30301 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190304621296 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31147] ppid=31134 vsize=10661132 memory=639956 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31147/stat : 31147 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190303569872 140190747125659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31148] ppid=31134 vsize=10661132 memory=634820 CPUtime=1.08 cores=0,2,4,6
/proc/31137/task/31148/stat : 31148 (java) S 31134 31137 30301 0 -1 1077944384 7324 0 0 0 107 1 0 0 20 0 15 0 95737601 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190302518000 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31149] ppid=31134 vsize=10661132 memory=636876 CPUtime=1.24 cores=0,2,4,6
/proc/31137/task/31149/stat : 31149 (java) S 31134 31137 30301 0 -1 1077944384 10564 0 0 0 123 1 0 0 20 0 15 0 95737601 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190301465456 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31150] ppid=31134 vsize=10661132 memory=633796 CPUtime=0.4 cores=0,2,4,6
/proc/31137/task/31150/stat : 31150 (java) S 31134 31137 30301 0 -1 1077944384 5957 0 0 0 39 1 0 0 20 0 15 0 95737601 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190300412400 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31151] ppid=31134 vsize=10661132 memory=634824 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31151/stat : 31151 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190299360096 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31152] ppid=31134 vsize=10661132 memory=634820 CPUtime=1.36 cores=0,2,4,6
/proc/31137/task/31152/stat : 31152 (java) S 31134 31137 30301 0 -1 1077944384 2134 0 0 0 72 64 0 0 20 0 15 0 95737601 10916999168 158449 33554432000 4194304 4196468 140734702024768 140190298307120 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
Current children cumulated CPU time: 2485.75 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 633796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475.9 s]
/proc/loadavg: 1.96 1.71 1.69 3/216 31330
/proc/meminfo: memFree=20706448/32770624 swapFree=67108404/67108860
[pid=31137] ppid=31134 vsize=10661132 memory=616316 CPUtime=2520 cores=0,2,4,6
/proc/31137/stat : 31137 (java) S 31134 31137 30301 0 -1 1077944320 207053 0 0 0 251637 363 0 0 20 0 15 0 95737595 10916999168 154079 33554432000 4194304 4196468 140734702024768 140734702007312 140190747107063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
/proc/31137/statm: 2665283 154079 3146 1 0 2627263 0
[pid=31137/tid=31139] ppid=31134 vsize=10661132 memory=615296 CPUtime=2454.91 cores=0,2,4,6
/proc/31137/task/31139/stat : 31139 (java) R 31134 31137 30301 0 -1 4202560 40216 0 0 0 245438 53 0 0 20 0 15 0 95737595 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190751346912 140190370227021 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31140] ppid=31134 vsize=10661132 memory=617412 CPUtime=13.9 cores=0,2,4,6
/proc/31137/task/31140/stat : 31140 (java) S 31134 31137 30301 0 -1 1077944384 30780 0 0 0 1339 51 0 0 20 0 15 0 95737596 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190689111056 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31141] ppid=31134 vsize=10661132 memory=616900 CPUtime=13.9 cores=0,2,4,6
/proc/31137/task/31141/stat : 31141 (java) S 31134 31137 30301 0 -1 1077944384 29231 0 0 0 1336 54 0 0 20 0 15 0 95737596 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190688058512 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31142] ppid=31134 vsize=10661132 memory=621004 CPUtime=13.9 cores=0,2,4,6
/proc/31137/task/31142/stat : 31142 (java) S 31134 31137 30301 0 -1 1077944384 29761 0 0 0 1334 56 0 0 20 0 15 0 95737596 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190687005456 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31143] ppid=31134 vsize=10661132 memory=614848 CPUtime=13.88 cores=0,2,4,6
/proc/31137/task/31143/stat : 31143 (java) S 31134 31137 30301 0 -1 1077944384 28695 0 0 0 1335 53 0 0 20 0 15 0 95737596 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190350629776 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31144] ppid=31134 vsize=10661132 memory=616320 CPUtime=5.32 cores=0,2,4,6
/proc/31137/task/31144/stat : 31144 (java) S 31134 31137 30301 0 -1 1077944384 21028 0 0 0 461 71 0 0 20 0 15 0 95737598 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190306728176 140190747118210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31145] ppid=31134 vsize=10661132 memory=616316 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31145/stat : 31145 (java) S 31134 31137 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190305674464 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31146] ppid=31134 vsize=10661132 memory=615296 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31146/stat : 31146 (java) S 31134 31137 30301 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190304621296 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31147] ppid=31134 vsize=10661132 memory=614784 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31147/stat : 31147 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190303569872 140190747125659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31148] ppid=31134 vsize=10661132 memory=613820 CPUtime=1.08 cores=0,2,4,6
/proc/31137/task/31148/stat : 31148 (java) S 31134 31137 30301 0 -1 1077944384 7324 0 0 0 107 1 0 0 20 0 15 0 95737601 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190302518000 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31149] ppid=31134 vsize=10661132 memory=618436 CPUtime=1.24 cores=0,2,4,6
/proc/31137/task/31149/stat : 31149 (java) S 31134 31137 30301 0 -1 1077944384 10564 0 0 0 123 1 0 0 20 0 15 0 95737601 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190301465456 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31150] ppid=31134 vsize=10661132 memory=614784 CPUtime=0.4 cores=0,2,4,6
/proc/31137/task/31150/stat : 31150 (java) S 31134 31137 30301 0 -1 1077944384 5957 0 0 0 39 1 0 0 20 0 15 0 95737601 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190300412400 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31151] ppid=31134 vsize=10661132 memory=614784 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31151/stat : 31151 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190299360096 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31152] ppid=31134 vsize=10661132 memory=618372 CPUtime=1.38 cores=0,2,4,6
/proc/31137/task/31152/stat : 31152 (java) S 31134 31137 30301 0 -1 1077944384 2136 0 0 0 73 65 0 0 20 0 15 0 95737601 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190298307120 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 616316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.92 s]
# the end of solver process 31137 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.38 s, system=3.64236 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2475.9 s]
/proc/loadavg: 1.96 1.71 1.69 3/216 31330
/proc/meminfo: memFree=20706448/32770624 swapFree=67108404/67108860
[pid=31137] ppid=31134 vsize=10661132 memory=616316 CPUtime=2520 cores=0,2,4,6
/proc/31137/stat : 31137 (java) S 31134 31137 30301 0 -1 1077944320 207053 0 0 0 251637 363 0 0 20 0 15 0 95737595 10916999168 154079 33554432000 4194304 4196468 140734702024768 140734702007312 140190747107063 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
/proc/31137/statm: 2665283 154079 3146 1 0 2627263 0
[pid=31137/tid=31139] ppid=31134 vsize=10661132 memory=615296 CPUtime=2454.91 cores=0,2,4,6
/proc/31137/task/31139/stat : 31139 (java) R 31134 31137 30301 0 -1 4202560 40216 0 0 0 245438 53 0 0 20 0 15 0 95737595 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190751346912 140190370227021 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31140] ppid=31134 vsize=10661132 memory=617412 CPUtime=13.9 cores=0,2,4,6
/proc/31137/task/31140/stat : 31140 (java) S 31134 31137 30301 0 -1 1077944384 30780 0 0 0 1339 51 0 0 20 0 15 0 95737596 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190689111056 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31141] ppid=31134 vsize=10661132 memory=616900 CPUtime=13.9 cores=0,2,4,6
/proc/31137/task/31141/stat : 31141 (java) S 31134 31137 30301 0 -1 1077944384 29231 0 0 0 1336 54 0 0 20 0 15 0 95737596 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190688058512 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31142] ppid=31134 vsize=10661132 memory=621004 CPUtime=13.9 cores=0,2,4,6
/proc/31137/task/31142/stat : 31142 (java) S 31134 31137 30301 0 -1 1077944384 29761 0 0 0 1334 56 0 0 20 0 15 0 95737596 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190687005456 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31143] ppid=31134 vsize=10661132 memory=614848 CPUtime=13.88 cores=0,2,4,6
/proc/31137/task/31143/stat : 31143 (java) S 31134 31137 30301 0 -1 1077944384 28695 0 0 0 1335 53 0 0 20 0 15 0 95737596 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190350629776 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31144] ppid=31134 vsize=10661132 memory=616320 CPUtime=5.32 cores=0,2,4,6
/proc/31137/task/31144/stat : 31144 (java) S 31134 31137 30301 0 -1 1077944384 21028 0 0 0 461 71 0 0 20 0 15 0 95737598 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190306728176 140190747118210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31145] ppid=31134 vsize=10661132 memory=616316 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31145/stat : 31145 (java) S 31134 31137 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190305674464 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31146] ppid=31134 vsize=10661132 memory=615296 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31146/stat : 31146 (java) S 31134 31137 30301 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 95737598 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190304621296 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31147] ppid=31134 vsize=10661132 memory=614784 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31147/stat : 31147 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190303569872 140190747125659 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31148] ppid=31134 vsize=10661132 memory=613820 CPUtime=1.08 cores=0,2,4,6
/proc/31137/task/31148/stat : 31148 (java) S 31134 31137 30301 0 -1 1077944384 7324 0 0 0 107 1 0 0 20 0 15 0 95737601 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190302518000 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31149] ppid=31134 vsize=10661132 memory=618436 CPUtime=1.24 cores=0,2,4,6
/proc/31137/task/31149/stat : 31149 (java) S 31134 31137 30301 0 -1 1077944384 10564 0 0 0 123 1 0 0 20 0 15 0 95737601 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190301465456 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31150] ppid=31134 vsize=10661132 memory=614784 CPUtime=0.4 cores=0,2,4,6
/proc/31137/task/31150/stat : 31150 (java) S 31134 31137 30301 0 -1 1077944384 5957 0 0 0 39 1 0 0 20 0 15 0 95737601 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190300412400 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31151] ppid=31134 vsize=10661132 memory=614784 CPUtime=0 cores=0,2,4,6
/proc/31137/task/31151/stat : 31151 (java) S 31134 31137 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95737601 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190299360096 140190747117269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
[pid=31137/tid=31152] ppid=31134 vsize=10661132 memory=618372 CPUtime=1.38 cores=0,2,4,6
/proc/31137/task/31152/stat : 31152 (java) S 31134 31137 30301 0 -1 1077944384 2136 0 0 0 73 65 0 0 20 0 15 0 95737601 10916999168 154079 33554432000 4194304 4196468 140734702024768 140190298307120 140190747118210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140734702031989 140734702032137 140734702032137 140734702034895 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 616316 KiB
Child status: 143
Real time (s): 2475.92
CPU time (s): 2520.02
CPU user time (s): 2516.38
CPU system time (s): 3.64236
CPU usage (%): 101.781
Max. virtual memory (cumulated for all children) (KiB): 10663292
Max. memory (cumulated for all children) (KiB): 2204576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.38
system time used= 3.64236
maximum resident set size= 2204576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207640
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 193366
involuntary context switches= 6526
# summary of solver processes directly reported to runsolver:
# pid: 31137
# total CPU time (s): 2520.02
# total CPU user time (s): 2516.38
# total CPU system time (s): 3.64236
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8116 second user time and 24.9813 second system time
The end