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 (14230 MiB free)
memory of node 1: 16384 MiB (13341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400734-1568675803/watcher-4400734-1568675803 -o /tmp/evaluation-result-4400734-1568675803/solver-4400734-1568675803 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568673289-32268 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1397057242 HOME/instance-4400734-1568675803.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32743, runsolver pid=32740
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 0.99 1.17 1.40 3/218 336
/proc/meminfo: memFree=28227724/32770624 swapFree=66958316/67108860
[pid=32743] ppid=32740 vsize=9972712 memory=17080 CPUtime=0.09 cores=1,3,5,7
/proc/32743/stat : 32743 (java) S 32740 32743 32236 0 -1 1077944320 4496 13317 0 0 1 0 5 3 20 0 6 0 443516852 10212057088 4270 33554432000 4194304 4196468 140732327208896 140732327191440 140394733186807 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
/proc/32743/statm: 2493178 4270 1935 1 0 2481616 0
[pid=32743/tid=332] ppid=32740 vsize=9972712 memory=4279135703913364878 CPUtime=0.09 cores=1,3,5,7
/proc/32743/task/332/stat : 332 (java) R 32740 32743 32236 0 -1 4202560 2284 13317 0 0 1 0 5 3 20 0 6 0 443516861 10212057088 4270 33554432000 4194304 4196468 140732327208896 140394705023568 140394717267294 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=333] ppid=32740 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/333/stat : 333 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 6 0 443516862 10212057088 4270 33554432000 4194304 4196468 140732327208896 140394737428752 140394733197013 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=334] ppid=32740 vsize=9972712 memory=140080511882880 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/334/stat : 334 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 6 0 443516862 10212057088 4270 33554432000 4194304 4196468 140732327208896 140394636319120 140394733197013 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=335] ppid=32740 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/335/stat : 335 (java) S 32740 32743 32236 0 -1 1077944384 1 13317 0 0 0 0 5 3 20 0 6 0 443516862 10212057088 4270 33554432000 4194304 4196468 140732327208896 140394635266576 140394733197013 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=336] ppid=32740 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/336/stat : 336 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 6 0 443516862 10212057088 4270 33554432000 4194304 4196468 140732327208896 140394634214032 140394733197013 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.210023 s]*
/proc/loadavg: 0.99 1.17 1.40 4/227 347
/proc/meminfo: memFree=28206812/32770624 swapFree=66958316/67108860
[pid=32743] ppid=32740 vsize=10820196 memory=42028 CPUtime=0.28 cores=1,3,5,7
/proc/32743/stat : 32743 (java) S 32740 32743 32236 0 -1 1077944320 7402 13317 0 0 18 2 5 3 20 0 15 0 443516852 11079880704 10507 33554432000 4194304 4196468 140732327208896 140732327191440 140394733186807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
/proc/32743/statm: 2705049 10507 3256 1 0 2667149 0
[pid=32743/tid=332] ppid=32740 vsize=10820196 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/32743/task/332/stat : 332 (java) R 32740 32743 32236 0 -1 4202560 3922 13317 0 0 11 1 5 3 20 0 15 0 443516861 11079880704 10573 33554432000 4194304 4196468 140732327208896 140394705009968 140394725423934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=333] ppid=32740 vsize=10820196 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/333/stat : 333 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 15 0 443516862 11079880704 10573 33554432000 4194304 4196468 140732327208896 140394737428752 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=334] ppid=32740 vsize=10820196 memory=3473315039378314912 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/334/stat : 334 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 15 0 443516862 11079880704 10573 33554432000 4194304 4196468 140732327208896 140394636319120 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=335] ppid=32740 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/335/stat : 335 (java) S 32740 32743 32236 0 -1 1077944384 1 13317 0 0 0 0 5 3 20 0 15 0 443516862 11079880704 10573 33554432000 4194304 4196468 140732327208896 140394635266576 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=336] ppid=32740 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/336/stat : 336 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 15 0 443516862 11079880704 10573 33554432000 4194304 4196468 140732327208896 140394634214032 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=337] ppid=32740 vsize=10820196 memory=140080511882880 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/337/stat : 337 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 15 0 443516863 11079880704 10573 33554432000 4194304 4196468 140732327208896 140394191669744 140394733197954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=338] ppid=32740 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/338/stat : 338 (java) S 32740 32743 32236 0 -1 1077944384 13 13317 0 0 0 0 5 3 20 0 15 0 443516864 11079880704 10573 33554432000 4194304 4196468 140732327208896 140394092291488 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=341] ppid=32740 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/341/stat : 341 (java) S 32740 32743 32236 0 -1 1077944384 1 13317 0 0 0 0 5 3 20 0 15 0 443516864 11079880704 10573 33554432000 4194304 4196468 140732327208896 140393958073840 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=342] ppid=32740 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/342/stat : 342 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11079880704 10573 33554432000 4194304 4196468 140732327208896 140393248021200 140394733205403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=343] ppid=32740 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32743/task/343/stat : 343 (java) R 32740 32743 32236 0 -1 4202560 477 13317 0 0 1 0 5 3 20 0 15 0 443516867 11079880704 10573 33554432000 4194304 4196468 140732327208896 140394190616560 140394718312630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=344] ppid=32740 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/344/stat : 344 (java) S 32740 32743 32236 0 -1 1077944384 183 13317 0 0 0 0 5 3 20 0 15 0 443516867 11079880704 10573 33554432000 4194304 4196468 140732327208896 140394189564016 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=345] ppid=32740 vsize=10820196 memory=140080511882880 CPUtime=0.11 cores=1,3,5,7
/proc/32743/task/345/stat : 345 (java) S 32740 32743 32236 0 -1 1077944384 591 13317 0 0 3 0 5 3 20 0 15 0 443516867 11079880704 10573 33554432000 4194304 4196468 140732327208896 140394188511472 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=346] ppid=32740 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/346/stat : 346 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11079880704 10573 33554432000 4194304 4196468 140732327208896 140393214462560 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=347] ppid=32740 vsize=10820196 memory=140080511882880 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/347/stat : 347 (java) S 32740 32743 32236 0 -1 1077944384 1 13317 0 0 0 0 5 3 20 0 15 0 443516867 11079880704 10573 33554432000 4194304 4196468 140732327208896 140394187459376 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42028 KiB
[startup+0.310536 s]*
/proc/loadavg: 0.99 1.17 1.40 3/227 347
/proc/meminfo: memFree=28194512/32770624 swapFree=66958316/67108860
[pid=32743] ppid=32740 vsize=10820196 memory=50612 CPUtime=0.4 cores=1,3,5,7
/proc/32743/stat : 32743 (java) S 32740 32743 32236 0 -1 1077944320 10873 13317 0 0 29 3 5 3 20 0 15 0 443516852 11079880704 12653 33554432000 4194304 4196468 140732327208896 140732327191440 140394733186807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
/proc/32743/statm: 2705049 12653 3313 1 0 2667149 0
[pid=32743/tid=332] ppid=32740 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/32743/task/332/stat : 332 (java) R 32740 32743 32236 0 -1 4202560 7374 13317 0 0 19 2 5 3 20 0 15 0 443516861 11079880704 12653 33554432000 4194304 4196468 140732327208896 140394704995760 140394717267294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=333] ppid=32740 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/333/stat : 333 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 15 0 443516862 11079880704 12653 33554432000 4194304 4196468 140732327208896 140394737428752 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=334] ppid=32740 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/334/stat : 334 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 15 0 443516862 11079880704 12653 33554432000 4194304 4196468 140732327208896 140394636319120 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=335] ppid=32740 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/335/stat : 335 (java) S 32740 32743 32236 0 -1 1077944384 1 13317 0 0 0 0 5 3 20 0 15 0 443516862 11079880704 12653 33554432000 4194304 4196468 140732327208896 140394635266576 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=336] ppid=32740 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/336/stat : 336 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 15 0 443516862 11079880704 12653 33554432000 4194304 4196468 140732327208896 140394634214032 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=337] ppid=32740 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/337/stat : 337 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 15 0 443516863 11079880704 12653 33554432000 4194304 4196468 140732327208896 140394191669744 140394733197954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=338] ppid=32740 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/338/stat : 338 (java) S 32740 32743 32236 0 -1 1077944384 13 13317 0 0 0 0 5 3 20 0 15 0 443516864 11079880704 12653 33554432000 4194304 4196468 140732327208896 140394092291488 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=341] ppid=32740 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/341/stat : 341 (java) S 32740 32743 32236 0 -1 1077944384 1 13317 0 0 0 0 5 3 20 0 15 0 443516864 11079880704 12653 33554432000 4194304 4196468 140732327208896 140393958073840 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=342] ppid=32740 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/342/stat : 342 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11079880704 12653 33554432000 4194304 4196468 140732327208896 140393248021200 140394733205403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=343] ppid=32740 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/32743/task/343/stat : 343 (java) S 32740 32743 32236 0 -1 1077944384 479 13317 0 0 2 0 5 3 20 0 15 0 443516867 11079880704 12653 33554432000 4194304 4196468 140732327208896 140394190616560 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=344] ppid=32740 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/32743/task/344/stat : 344 (java) S 32740 32743 32236 0 -1 1077944384 183 13317 0 0 1 0 5 3 20 0 15 0 443516867 11079880704 12653 33554432000 4194304 4196468 140732327208896 140394189564016 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=345] ppid=32740 vsize=10820196 memory=140080511882880 CPUtime=0.13 cores=1,3,5,7
/proc/32743/task/345/stat : 345 (java) R 32740 32743 32236 0 -1 4202560 598 13317 0 0 5 0 5 3 20 0 15 0 443516867 11079880704 12653 33554432000 4194304 4196468 140732327208896 140394188511472 140394733198742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=346] ppid=32740 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/346/stat : 346 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11079880704 12653 33554432000 4194304 4196468 140732327208896 140393214462560 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=347] ppid=32740 vsize=10820196 memory=140080511882880 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/347/stat : 347 (java) S 32740 32743 32236 0 -1 1077944384 1 13317 0 0 0 0 5 3 20 0 15 0 443516867 11079880704 12653 33554432000 4194304 4196468 140732327208896 140394187459376 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50612 KiB
[startup+0.705075 s]
/proc/loadavg: 0.99 1.17 1.40 3/227 347
/proc/meminfo: memFree=28179332/32770624 swapFree=66958316/67108860
[pid=32743] ppid=32740 vsize=10824364 memory=83484 CPUtime=1.15 cores=1,3,5,7
/proc/32743/stat : 32743 (java) S 32740 32743 32236 0 -1 1077944320 15137 13317 0 0 101 6 5 3 20 0 15 0 443516852 11084148736 20871 33554432000 4194304 4196468 140732327208896 140732327191440 140394733186807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
/proc/32743/statm: 2706091 20871 3510 1 0 2668173 0
[pid=32743/tid=332] ppid=32740 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/32743/task/332/stat : 332 (java) R 32740 32743 32236 0 -1 4202560 10594 13317 0 0 55 4 5 3 20 0 15 0 443516861 11084148736 20871 33554432000 4194304 4196468 140732327208896 140394705013968 140394733208733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=333] ppid=32740 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/333/stat : 333 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 15 0 443516862 11084148736 20871 33554432000 4194304 4196468 140732327208896 140394737428752 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=334] ppid=32740 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/334/stat : 334 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 15 0 443516862 11084148736 20871 33554432000 4194304 4196468 140732327208896 140394636319120 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=335] ppid=32740 vsize=10824364 memory=140080358503184 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/335/stat : 335 (java) S 32740 32743 32236 0 -1 1077944384 1 13317 0 0 0 0 5 3 20 0 15 0 443516862 11084148736 20871 33554432000 4194304 4196468 140732327208896 140394635266576 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=336] ppid=32740 vsize=10824364 memory=140084653326926 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/336/stat : 336 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 15 0 443516862 11084148736 20871 33554432000 4194304 4196468 140732327208896 140394634214032 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=337] ppid=32740 vsize=10824364 memory=8020 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/337/stat : 337 (java) S 32740 32743 32236 0 -1 1077944384 5 13317 0 0 0 0 5 3 20 0 15 0 443516863 11084148736 20871 33554432000 4194304 4196468 140732327208896 140394191669744 140394733197954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=338] ppid=32740 vsize=10824364 memory=7518026621751088994 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/338/stat : 338 (java) S 32740 32743 32236 0 -1 1077944384 13 13317 0 0 0 0 5 3 20 0 15 0 443516864 11084148736 20871 33554432000 4194304 4196468 140732327208896 140394092291488 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=341] ppid=32740 vsize=10824364 memory=6081102367496366441 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/341/stat : 341 (java) S 32740 32743 32236 0 -1 1077944384 1 13317 0 0 0 0 5 3 20 0 15 0 443516864 11084148736 20871 33554432000 4194304 4196468 140732327208896 140393958073840 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=342] ppid=32740 vsize=10824364 memory=14080 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/342/stat : 342 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11084148736 20871 33554432000 4194304 4196468 140732327208896 140393248021200 140394733205403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=343] ppid=32740 vsize=10824364 memory=25712 CPUtime=0.23 cores=1,3,5,7
/proc/32743/task/343/stat : 343 (java) R 32740 32743 32236 0 -1 4202560 946 13317 0 0 15 0 5 3 20 0 15 0 443516867 11084148736 20871 33554432000 4194304 4196468 140732327208896 140394190597248 140394712843329 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=344] ppid=32740 vsize=10824364 memory=2120 CPUtime=0.2 cores=1,3,5,7
/proc/32743/task/344/stat : 344 (java) R 32740 32743 32236 0 -1 4202560 564 13317 0 0 12 0 5 3 20 0 15 0 443516867 11084148736 20871 33554432000 4194304 4196468 140732327208896 140394189564016 140394718313145 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=345] ppid=32740 vsize=10824364 memory=508 CPUtime=0.25 cores=1,3,5,7
/proc/32743/task/345/stat : 345 (java) R 32740 32743 32236 0 -1 4202560 791 13317 0 0 17 0 5 3 20 0 15 0 443516867 11084148736 20871 33554432000 4194304 4196468 140732327208896 140394188511472 140394717426992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=346] ppid=32740 vsize=10824364 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/346/stat : 346 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11084148736 20871 33554432000 4194304 4196468 140732327208896 140393214462560 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=347] ppid=32740 vsize=10824364 memory=932 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/347/stat : 347 (java) S 32740 32743 32236 0 -1 1077944384 1 13317 0 0 0 0 5 3 20 0 15 0 443516867 11084148736 20871 33554432000 4194304 4196468 140732327208896 140394187459376 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83484 KiB
[startup+1.50151 s]
/proc/loadavg: 0.99 1.17 1.40 6/227 347
/proc/meminfo: memFree=28132304/32770624 swapFree=66958316/67108860
[pid=32743] ppid=32740 vsize=10832632 memory=198368 CPUtime=3.04 cores=1,3,5,7
/proc/32743/stat : 32743 (java) S 32740 32743 32236 0 -1 1077944320 22863 13317 0 0 285 11 5 3 20 0 15 0 443516852 11092615168 49592 33554432000 4194304 4196468 140732327208896 140732327191440 140394733186807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
/proc/32743/statm: 2708158 49592 3582 1 0 2670221 0
[pid=32743/tid=332] ppid=32740 vsize=10832632 memory=67660 CPUtime=1.43 cores=1,3,5,7
/proc/32743/task/332/stat : 332 (java) R 32740 32743 32236 0 -1 4202560 15118 13317 0 0 128 7 5 3 20 0 15 0 443516861 11092615168 49592 33554432000 4194304 4196468 140732327208896 140394704994784 140394656229957 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=333] ppid=32740 vsize=10832632 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/32743/task/333/stat : 333 (java) S 32740 32743 32236 0 -1 1077944384 243 13317 0 0 1 0 5 3 20 0 15 0 443516862 11092615168 49592 33554432000 4194304 4196468 140732327208896 140394737428752 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=334] ppid=32740 vsize=10832632 memory=280160717037728 CPUtime=0.09 cores=1,3,5,7
/proc/32743/task/334/stat : 334 (java) S 32740 32743 32236 0 -1 1077944384 64 13317 0 0 1 0 5 3 20 0 15 0 443516862 11092615168 49592 33554432000 4194304 4196468 140732327208896 140394636319120 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=335] ppid=32740 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32743/task/335/stat : 335 (java) S 32740 32743 32236 0 -1 1077944384 25 13317 0 0 1 0 5 3 20 0 15 0 443516862 11092615168 49592 33554432000 4194304 4196468 140732327208896 140394635266576 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=336] ppid=32740 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32743/task/336/stat : 336 (java) S 32740 32743 32236 0 -1 1077944384 46 13317 0 0 1 0 5 3 20 0 15 0 443516862 11092615168 49592 33554432000 4194304 4196468 140732327208896 140394634214032 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=337] ppid=32740 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32743/task/337/stat : 337 (java) S 32740 32743 32236 0 -1 1077944384 119 13317 0 0 1 0 5 3 20 0 15 0 443516863 11092615168 49592 33554432000 4194304 4196468 140732327208896 140394191669744 140394733197954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=338] ppid=32740 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/338/stat : 338 (java) S 32740 32743 32236 0 -1 1077944384 13 13317 0 0 0 0 5 3 20 0 15 0 443516864 11092615168 49592 33554432000 4194304 4196468 140732327208896 140394092291488 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=341] ppid=32740 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/341/stat : 341 (java) S 32740 32743 32236 0 -1 1077944384 2 13317 0 0 0 0 5 3 20 0 15 0 443516864 11092615168 49592 33554432000 4194304 4196468 140732327208896 140393958073840 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=342] ppid=32740 vsize=10832632 memory=-2245088631185882904 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/342/stat : 342 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11092615168 49592 33554432000 4194304 4196468 140732327208896 140393248021200 140394733205403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=343] ppid=32740 vsize=10832632 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/32743/task/343/stat : 343 (java) S 32740 32743 32236 0 -1 1077944384 1839 13317 0 0 55 0 5 3 20 0 15 0 443516867 11092615168 49592 33554432000 4194304 4196468 140732327208896 140394190616560 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=344] ppid=32740 vsize=10832632 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/32743/task/344/stat : 344 (java) S 32740 32743 32236 0 -1 1077944384 1552 13317 0 0 50 0 5 3 20 0 15 0 443516867 11092615168 49592 33554432000 4194304 4196468 140732327208896 140394189564016 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=345] ppid=32740 vsize=10832632 memory=6791534058613427641 CPUtime=0.51 cores=1,3,5,7
/proc/32743/task/345/stat : 345 (java) S 32740 32743 32236 0 -1 1077944384 1626 13317 0 0 43 0 5 3 20 0 15 0 443516867 11092615168 49592 33554432000 4194304 4196468 140732327208896 140394188511472 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=346] ppid=32740 vsize=10832632 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/346/stat : 346 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11092615168 49592 33554432000 4194304 4196468 140732327208896 140393214462560 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=347] ppid=32740 vsize=10832632 memory=280160717282176 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/347/stat : 347 (java) S 32740 32743 32236 0 -1 1077944384 1 13317 0 0 0 0 5 3 20 0 15 0 443516867 11092615168 49592 33554432000 4194304 4196468 140732327208896 140394187459376 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/32743/task/332/stat : 332 (java) R 32740 32743 32236 0 -1 4202560 113789 13317 0 0 235707 66 5 3 20 0 15 0 443516861 11109412864 583863 33554432000 4194304 4196468 140732327208896 140394705022224 140394318987763 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=333] ppid=32740 vsize=10849036 memory=2338016 CPUtime=14.05 cores=1,3,5,7
/proc/32743/task/333/stat : 333 (java) S 32740 32743 32236 0 -1 1077944384 45303 13317 0 0 1346 51 5 3 20 0 15 0 443516862 11109412864 583863 33554432000 4194304 4196468 140732327208896 140394737428752 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=334] ppid=32740 vsize=10849036 memory=2345716 CPUtime=14.1 cores=1,3,5,7
/proc/32743/task/334/stat : 334 (java) S 32740 32743 32236 0 -1 1077944384 45370 13317 0 0 1346 56 5 3 20 0 15 0 443516862 11109412864 583863 33554432000 4194304 4196468 140732327208896 140394636319120 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=335] ppid=32740 vsize=10849036 memory=2336476 CPUtime=14.12 cores=1,3,5,7
/proc/32743/task/335/stat : 335 (java) S 32740 32743 32236 0 -1 1077944384 40659 13317 0 0 1353 51 5 3 20 0 15 0 443516862 11109412864 583863 33554432000 4194304 4196468 140732327208896 140394635266576 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=336] ppid=32740 vsize=10849036 memory=2335452 CPUtime=14.08 cores=1,3,5,7
/proc/32743/task/336/stat : 336 (java) S 32740 32743 32236 0 -1 1077944384 53719 13317 0 0 1352 48 5 3 20 0 15 0 443516862 11109412864 583863 33554432000 4194304 4196468 140732327208896 140394634214032 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=337] ppid=32740 vsize=10849036 memory=1196 CPUtime=7.59 cores=1,3,5,7
/proc/32743/task/337/stat : 337 (java) S 32740 32743 32236 0 -1 1077944384 36023 13317 0 0 697 54 5 3 20 0 15 0 443516863 11109412864 583863 33554432000 4194304 4196468 140732327208896 140394191669744 140394733197954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=338] ppid=32740 vsize=10849036 memory=1044 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/338/stat : 338 (java) S 32740 32743 32236 0 -1 1077944384 25 13317 0 0 0 0 5 3 20 0 15 0 443516864 11109412864 583863 33554432000 4194304 4196468 140732327208896 140394092291552 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=341] ppid=32740 vsize=10849036 memory=2338016 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/341/stat : 341 (java) S 32740 32743 32236 0 -1 1077944384 15 13317 0 0 0 0 5 3 20 0 15 0 443516864 11109412864 583863 33554432000 4194304 4196468 140732327208896 140393958073856 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=342] ppid=32740 vsize=10849036 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/342/stat : 342 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11109412864 583863 33554432000 4194304 4196468 140732327208896 140393248021200 140394733205403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=343] ppid=32740 vsize=10849036 memory=2338016 CPUtime=7.05 cores=1,3,5,7
/proc/32743/task/343/stat : 343 (java) S 32740 32743 32236 0 -1 1077944384 18634 13317 0 0 693 4 5 3 20 0 15 0 443516867 11109412864 583863 33554432000 4194304 4196468 140732327208896 140394190616560 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=344] ppid=32740 vsize=10849036 memory=47008 CPUtime=7.84 cores=1,3,5,7
/proc/32743/task/344/stat : 344 (java) S 32740 32743 32236 0 -1 1077944384 35763 13317 0 0 772 4 5 3 20 0 15 0 443516867 11109412864 583863 33554432000 4194304 4196468 140732327208896 140394189564016 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=345] ppid=32740 vsize=10849036 memory=3612 CPUtime=2.41 cores=1,3,5,7
/proc/32743/task/345/stat : 345 (java) S 32740 32743 32236 0 -1 1077944384 20414 13317 0 0 227 6 5 3 20 0 15 0 443516867 11109412864 583863 33554432000 4194304 4196468 140732327208896 140394188511472 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=346] ppid=32740 vsize=10849036 memory=47008 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/346/stat : 346 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11109412864 583863 33554432000 4194304 4196468 140732327208896 140393214462560 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=347] ppid=32740 vsize=10849036 memory=2348792 CPUtime=1.48 cores=1,3,5,7
/proc/32743/task/347/stat : 347 (java) S 32740 32743 32236 0 -1 1077944384 1954 13317 0 0 66 74 5 3 20 0 15 0 443516867 11109412864 583863 33554432000 4194304 4196468 140732327208896 140394187459376 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
Current children cumulated CPU time: 2439.91 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2335452 KiB
[startup+2442.3 s]
/proc/loadavg: 1.54 1.54 1.49 3/227 863
/proc/meminfo: memFree=26031752/32770624 swapFree=66958316/67108860
[pid=32743] ppid=32740 vsize=10849036 memory=2292356 CPUtime=2501.07 cores=1,3,5,7
/proc/32743/stat : 32743 (java) S 32740 32743 32236 0 -1 1077944320 417878 13317 0 0 249722 377 5 3 20 0 15 0 443516852 11109412864 573089 33554432000 4194304 4196468 140732327208896 140732327191440 140394733186807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
/proc/32743/statm: 2712259 573089 3636 1 0 2674317 0
[pid=32743/tid=332] ppid=32740 vsize=10849036 memory=2305184 CPUtime=2417.16 cores=1,3,5,7
/proc/32743/task/332/stat : 332 (java) R 32740 32743 32236 0 -1 4202560 115050 13317 0 0 241641 67 5 3 20 0 15 0 443516861 11109412864 573089 33554432000 4194304 4196468 140732327208896 140394705022416 140394317153119 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=333] ppid=32740 vsize=10849036 memory=2302620 CPUtime=14.46 cores=1,3,5,7
/proc/32743/task/333/stat : 333 (java) S 32740 32743 32236 0 -1 1077944384 45917 13317 0 0 1386 52 5 3 20 0 15 0 443516862 11109412864 573089 33554432000 4194304 4196468 140732327208896 140394737428752 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=334] ppid=32740 vsize=10849036 memory=6791534058613427641 CPUtime=14.51 cores=1,3,5,7
/proc/32743/task/334/stat : 334 (java) S 32740 32743 32236 0 -1 1077944384 45729 13317 0 0 1386 57 5 3 20 0 15 0 443516862 11109412864 573089 33554432000 4194304 4196468 140732327208896 140394636319120 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=335] ppid=32740 vsize=10849036 memory=2303132 CPUtime=14.52 cores=1,3,5,7
/proc/32743/task/335/stat : 335 (java) S 32740 32743 32236 0 -1 1077944384 41659 13317 0 0 1393 51 5 3 20 0 15 0 443516862 11109412864 573089 33554432000 4194304 4196468 140732327208896 140394635266576 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=336] ppid=32740 vsize=10849036 memory=6791534058613427641 CPUtime=14.48 cores=1,3,5,7
/proc/32743/task/336/stat : 336 (java) S 32740 32743 32236 0 -1 1077944384 53984 13317 0 0 1391 49 5 3 20 0 15 0 443516862 11109412864 573089 33554432000 4194304 4196468 140732327208896 140394634214032 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=337] ppid=32740 vsize=10849036 memory=2295432 CPUtime=7.76 cores=1,3,5,7
/proc/32743/task/337/stat : 337 (java) S 32740 32743 32236 0 -1 1077944384 36475 13317 0 0 712 56 5 3 20 0 15 0 443516863 11109412864 573089 33554432000 4194304 4196468 140732327208896 140394191669744 140394733197954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=338] ppid=32740 vsize=10849036 memory=3292 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/338/stat : 338 (java) S 32740 32743 32236 0 -1 1077944384 25 13317 0 0 0 0 5 3 20 0 15 0 443516864 11109412864 573089 33554432000 4194304 4196468 140732327208896 140394092291552 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=341] ppid=32740 vsize=10849036 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/341/stat : 341 (java) S 32740 32743 32236 0 -1 1077944384 15 13317 0 0 0 0 5 3 20 0 15 0 443516864 11109412864 573089 33554432000 4194304 4196468 140732327208896 140393958073856 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=342] ppid=32740 vsize=10849036 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/342/stat : 342 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11109412864 573089 33554432000 4194304 4196468 140732327208896 140393248021200 140394733205403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=343] ppid=32740 vsize=10849036 memory=3612 CPUtime=7.05 cores=1,3,5,7
/proc/32743/task/343/stat : 343 (java) S 32740 32743 32236 0 -1 1077944384 18638 13317 0 0 693 4 5 3 20 0 15 0 443516867 11109412864 573089 33554432000 4194304 4196468 140732327208896 140394190616560 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=344] ppid=32740 vsize=10849036 memory=47008 CPUtime=7.84 cores=1,3,5,7
/proc/32743/task/344/stat : 344 (java) S 32740 32743 32236 0 -1 1077944384 35767 13317 0 0 772 4 5 3 20 0 15 0 443516867 11109412864 573089 33554432000 4194304 4196468 140732327208896 140394189564016 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=345] ppid=32740 vsize=10849036 memory=1432 CPUtime=2.41 cores=1,3,5,7
/proc/32743/task/345/stat : 345 (java) S 32740 32743 32236 0 -1 1077944384 20418 13317 0 0 227 6 5 3 20 0 15 0 443516867 11109412864 573089 33554432000 4194304 4196468 140732327208896 140394188511472 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=346] ppid=32740 vsize=10849036 memory=2292868 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/346/stat : 346 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11109412864 573089 33554432000 4194304 4196468 140732327208896 140393214462560 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=347] ppid=32740 vsize=10849036 memory=1444 CPUtime=1.51 cores=1,3,5,7
/proc/32743/task/347/stat : 347 (java) S 32740 32743 32236 0 -1 1077944384 1986 13317 0 0 67 76 5 3 20 0 15 0 443516867 11109412864 573089 33554432000 4194304 4196468 140732327208896 140394187459376 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
Current children cumulated CPU time: 2501.07 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2292356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2460.9 s]
/proc/loadavg: 1.39 1.51 1.48 3/227 867
/proc/meminfo: memFree=26047344/32770624 swapFree=66958316/67108860
[pid=32743] ppid=32740 vsize=10849036 memory=2275940 CPUtime=2520.05 cores=1,3,5,7
/proc/32743/stat : 32743 (java) S 32740 32743 32236 0 -1 1077944320 419516 13317 0 0 251618 379 5 3 20 0 15 0 443516852 11109412864 568985 33554432000 4194304 4196468 140732327208896 140732327191440 140394733186807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
/proc/32743/statm: 2712259 568985 3636 1 0 2674317 0
[pid=32743/tid=332] ppid=32740 vsize=10849036 memory=2276452 CPUtime=2435.56 cores=1,3,5,7
/proc/32743/task/332/stat : 332 (java) R 32740 32743 32236 0 -1 4202560 115514 13317 0 0 243481 67 5 3 20 0 15 0 443516861 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394705022416 140394328882181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=333] ppid=32740 vsize=10849036 memory=771 CPUtime=14.58 cores=1,3,5,7
/proc/32743/task/333/stat : 333 (java) S 32740 32743 32236 0 -1 1077944384 46210 13317 0 0 1398 52 5 3 20 0 15 0 443516862 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394737428752 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=334] ppid=32740 vsize=10849036 memory=7813289495999179626 CPUtime=14.63 cores=1,3,5,7
/proc/32743/task/334/stat : 334 (java) S 32740 32743 32236 0 -1 1077944384 45995 13317 0 0 1398 57 5 3 20 0 15 0 443516862 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394636319120 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=335] ppid=32740 vsize=10849036 memory=54 CPUtime=14.66 cores=1,3,5,7
/proc/32743/task/335/stat : 335 (java) S 32740 32743 32236 0 -1 1077944384 41701 13317 0 0 1406 52 5 3 20 0 15 0 443516862 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394635266576 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=336] ppid=32740 vsize=10849036 memory=6944656592387989600 CPUtime=14.61 cores=1,3,5,7
/proc/32743/task/336/stat : 336 (java) S 32740 32743 32236 0 -1 1077944384 54322 13317 0 0 1404 49 5 3 20 0 15 0 443516862 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394634214032 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=337] ppid=32740 vsize=10849036 memory=2120 CPUtime=7.81 cores=1,3,5,7
/proc/32743/task/337/stat : 337 (java) S 32740 32743 32236 0 -1 1077944384 36689 13317 0 0 717 56 5 3 20 0 15 0 443516863 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394191669744 140394733197954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=338] ppid=32740 vsize=10849036 memory=508 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/338/stat : 338 (java) S 32740 32743 32236 0 -1 1077944384 25 13317 0 0 0 0 5 3 20 0 15 0 443516864 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394092291552 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=341] ppid=32740 vsize=10849036 memory=2294408 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/341/stat : 341 (java) S 32740 32743 32236 0 -1 1077944384 15 13317 0 0 0 0 5 3 20 0 15 0 443516864 11109412864 568985 33554432000 4194304 4196468 140732327208896 140393958073856 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=342] ppid=32740 vsize=10849036 memory=2281580 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/342/stat : 342 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11109412864 568985 33554432000 4194304 4196468 140732327208896 140393248021200 140394733205403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=343] ppid=32740 vsize=10849036 memory=3612 CPUtime=7.05 cores=1,3,5,7
/proc/32743/task/343/stat : 343 (java) S 32740 32743 32236 0 -1 1077944384 18641 13317 0 0 693 4 5 3 20 0 15 0 443516867 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394190616560 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=344] ppid=32740 vsize=10849036 memory=47008 CPUtime=7.84 cores=1,3,5,7
/proc/32743/task/344/stat : 344 (java) S 32740 32743 32236 0 -1 1077944384 35769 13317 0 0 772 4 5 3 20 0 15 0 443516867 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394189564016 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=345] ppid=32740 vsize=10849036 memory=2283632 CPUtime=2.41 cores=1,3,5,7
/proc/32743/task/345/stat : 345 (java) S 32740 32743 32236 0 -1 1077944384 20420 13317 0 0 227 6 5 3 20 0 15 0 443516867 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394188511472 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=346] ppid=32740 vsize=10849036 memory=3612 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/346/stat : 346 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11109412864 568985 33554432000 4194304 4196468 140732327208896 140393214462560 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=347] ppid=32740 vsize=10849036 memory=2278504 CPUtime=1.52 cores=1,3,5,7
/proc/32743/task/347/stat : 347 (java) S 32740 32743 32236 0 -1 1077944384 2000 13317 0 0 68 76 5 3 20 0 15 0 443516867 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394187459376 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2275940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2460.93 s]
# the end of solver process 32743 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.25 s, system=3.83919 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2460.9 s]
/proc/loadavg: 1.39 1.51 1.48 3/227 867
/proc/meminfo: memFree=26047344/32770624 swapFree=66958316/67108860
[pid=32743] ppid=32740 vsize=10849036 memory=2275940 CPUtime=2520.05 cores=1,3,5,7
/proc/32743/stat : 32743 (java) S 32740 32743 32236 0 -1 1077944320 419516 13317 0 0 251618 379 5 3 20 0 15 0 443516852 11109412864 568985 33554432000 4194304 4196468 140732327208896 140732327191440 140394733186807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
/proc/32743/statm: 2712259 568985 3636 1 0 2674317 0
[pid=32743/tid=332] ppid=32740 vsize=10849036 memory=2276452 CPUtime=2435.56 cores=1,3,5,7
/proc/32743/task/332/stat : 332 (java) R 32740 32743 32236 0 -1 4202560 115514 13317 0 0 243481 67 5 3 20 0 15 0 443516861 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394705022416 140394328882181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=333] ppid=32740 vsize=10849036 memory=771 CPUtime=14.58 cores=1,3,5,7
/proc/32743/task/333/stat : 333 (java) S 32740 32743 32236 0 -1 1077944384 46210 13317 0 0 1398 52 5 3 20 0 15 0 443516862 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394737428752 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=334] ppid=32740 vsize=10849036 memory=7813289495999179626 CPUtime=14.63 cores=1,3,5,7
/proc/32743/task/334/stat : 334 (java) S 32740 32743 32236 0 -1 1077944384 45995 13317 0 0 1398 57 5 3 20 0 15 0 443516862 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394636319120 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=335] ppid=32740 vsize=10849036 memory=54 CPUtime=14.66 cores=1,3,5,7
/proc/32743/task/335/stat : 335 (java) S 32740 32743 32236 0 -1 1077944384 41701 13317 0 0 1406 52 5 3 20 0 15 0 443516862 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394635266576 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=336] ppid=32740 vsize=10849036 memory=6944656592387989600 CPUtime=14.61 cores=1,3,5,7
/proc/32743/task/336/stat : 336 (java) S 32740 32743 32236 0 -1 1077944384 54322 13317 0 0 1404 49 5 3 20 0 15 0 443516862 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394634214032 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=337] ppid=32740 vsize=10849036 memory=2120 CPUtime=7.81 cores=1,3,5,7
/proc/32743/task/337/stat : 337 (java) S 32740 32743 32236 0 -1 1077944384 36689 13317 0 0 717 56 5 3 20 0 15 0 443516863 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394191669744 140394733197954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=338] ppid=32740 vsize=10849036 memory=508 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/338/stat : 338 (java) S 32740 32743 32236 0 -1 1077944384 25 13317 0 0 0 0 5 3 20 0 15 0 443516864 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394092291552 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=341] ppid=32740 vsize=10849036 memory=2294408 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/341/stat : 341 (java) S 32740 32743 32236 0 -1 1077944384 15 13317 0 0 0 0 5 3 20 0 15 0 443516864 11109412864 568985 33554432000 4194304 4196468 140732327208896 140393958073856 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=342] ppid=32740 vsize=10849036 memory=2281580 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/342/stat : 342 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11109412864 568985 33554432000 4194304 4196468 140732327208896 140393248021200 140394733205403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=343] ppid=32740 vsize=10849036 memory=3612 CPUtime=7.05 cores=1,3,5,7
/proc/32743/task/343/stat : 343 (java) S 32740 32743 32236 0 -1 1077944384 18641 13317 0 0 693 4 5 3 20 0 15 0 443516867 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394190616560 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=344] ppid=32740 vsize=10849036 memory=47008 CPUtime=7.84 cores=1,3,5,7
/proc/32743/task/344/stat : 344 (java) S 32740 32743 32236 0 -1 1077944384 35769 13317 0 0 772 4 5 3 20 0 15 0 443516867 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394189564016 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=345] ppid=32740 vsize=10849036 memory=2283632 CPUtime=2.41 cores=1,3,5,7
/proc/32743/task/345/stat : 345 (java) S 32740 32743 32236 0 -1 1077944384 20420 13317 0 0 227 6 5 3 20 0 15 0 443516867 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394188511472 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=346] ppid=32740 vsize=10849036 memory=3612 CPUtime=0.08 cores=1,3,5,7
/proc/32743/task/346/stat : 346 (java) S 32740 32743 32236 0 -1 1077944384 3 13317 0 0 0 0 5 3 20 0 15 0 443516867 11109412864 568985 33554432000 4194304 4196468 140732327208896 140393214462560 140394733197013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
[pid=32743/tid=347] ppid=32740 vsize=10849036 memory=2278504 CPUtime=1.52 cores=1,3,5,7
/proc/32743/task/347/stat : 347 (java) S 32740 32743 32236 0 -1 1077944384 2000 13317 0 0 68 76 5 3 20 0 15 0 443516867 11109412864 568985 33554432000 4194304 4196468 140732327208896 140394187459376 140394733197954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140732327217903 140732327220421 140732327220421 140732327223247 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2275940 KiB
Child status: 143
Real time (s): 2460.93
CPU time (s): 2520.09
CPU user time (s): 2516.25
CPU system time (s): 3.83919
CPU usage (%): 102.404
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 2788748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.25
system time used= 3.83919
maximum resident set size= 2792372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 433776
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 225362
involuntary context switches= 6030
# summary of solver processes directly reported to runsolver:
# pid: 32743
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.25
# total CPU system time (s): 3.83919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5427 second user time and 24.2373 second system time
The end