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 (9526 MiB free)
memory of node 1: 16384 MiB (6675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305208-1534141613/watcher-4305208-1534141613 -o /tmp/evaluation-result-4305208-1534141613/solver-4305208-1534141613 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534139122-2605 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=685139250 -superng HOME/instance-4305208-1534141613.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
solver pid=3054, runsolver pid=3051
Current StackSize limit: 8192 KiB
[startup+0.100031 s]*
/proc/loadavg: 1.53 1.31 1.38 5/206 3111
/proc/meminfo: memFree=16580992/32770624 swapFree=67108404/67108860
[pid=3054] ppid=3051 vsize=10005480 memory=18328 CPUtime=0.1 cores=0,2,4,6
/proc/3054/stat : 3054 (java) S 3051 3054 1786 0 -1 1077944320 4240 13251 0 0 1 1 5 3 20 0 6 0 231724442 10245611520 4582 33554432000 4194304 4196468 140720453162848 140720453145392 140525316828919 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
/proc/3054/statm: 2501370 4582 1930 1 0 2489808 0
[pid=3054/tid=3107] ppid=3051 vsize=10005480 memory=-8889949278721851327 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3107/stat : 3107 (java) R 3051 3054 1786 0 -1 4202560 2055 13251 0 0 0 0 5 3 20 0 6 0 231724451 10245611520 4582 33554432000 4194304 4196468 140720453162848 140525288665680 140525298222650 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3108] ppid=3051 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3108/stat : 3108 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 6 0 231724452 10245611520 4582 33554432000 4194304 4196468 140720453162848 140525321070992 140525316839125 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3109] ppid=3051 vsize=10005480 memory=139959413835392 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3109/stat : 3109 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 6 0 231724452 10245611520 4582 33554432000 4194304 4196468 140720453162848 140525175789840 140525316839125 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3110] ppid=3051 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3110/stat : 3110 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 6 0 231724452 10245611520 4582 33554432000 4194304 4196468 140720453162848 140525174737552 140525316839125 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3111] ppid=3051 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3111/stat : 3111 (java) S 3051 3054 1786 0 -1 1077944384 2 13251 0 0 0 0 5 3 20 0 6 0 231724452 10245611520 4582 33554432000 4194304 4196468 140720453162848 140525173684752 140525316839125 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB
[startup+0.20991 s]*
/proc/loadavg: 1.53 1.31 1.38 5/215 3120
/proc/meminfo: memFree=16555684/32770624 swapFree=67108404/67108860
[pid=3054] ppid=3051 vsize=10982744 memory=45736 CPUtime=0.27 cores=0,2,4,6
/proc/3054/stat : 3054 (java) S 3051 3054 1786 0 -1 1077944320 7653 13251 0 0 17 2 5 3 20 0 15 0 231724442 11246329856 11434 33554432000 4194304 4196468 140720453162848 140720453145392 140525316828919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
/proc/3054/statm: 2745686 11434 2944 1 0 2708109 0
[pid=3054/tid=3107] ppid=3051 vsize=10982744 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3054/task/3107/stat : 3107 (java) R 3051 3054 1786 0 -1 4202560 4341 13251 0 0 11 1 5 3 20 0 15 0 231724451 11246329856 11566 33554432000 4194304 4196468 140720453162848 140525288652344 140525316850845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3108] ppid=3051 vsize=10982744 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3108/stat : 3108 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724452 11246329856 11566 33554432000 4194304 4196468 140720453162848 140525321070992 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3109] ppid=3051 vsize=10982744 memory=139959414963517 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3109/stat : 3109 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724452 11246329856 11566 33554432000 4194304 4196468 140720453162848 140525175789840 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3110] ppid=3051 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3110/stat : 3110 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724452 11246329856 11566 33554432000 4194304 4196468 140720453162848 140525174737552 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3111] ppid=3051 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3111/stat : 3111 (java) S 3051 3054 1786 0 -1 1077944384 2 13251 0 0 0 0 5 3 20 0 15 0 231724452 11246329856 11566 33554432000 4194304 4196468 140720453162848 140525173684752 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3112] ppid=3051 vsize=10982744 memory=139959413835392 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3112/stat : 3112 (java) S 3051 3054 1786 0 -1 1077944384 2 13251 0 0 0 0 5 3 20 0 15 0 231724453 11246329856 11566 33554432000 4194304 4196468 140720453162848 140524742724208 140525316840066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3113] ppid=3051 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3113/stat : 3113 (java) S 3051 3054 1786 0 -1 1077944384 13 13251 0 0 0 0 5 3 20 0 15 0 231724454 11246329856 11566 33554432000 4194304 4196468 140720453162848 140524149269792 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3114] ppid=3051 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3114/stat : 3114 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724454 11246329856 11566 33554432000 4194304 4196468 140720453162848 140523947943536 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3115] ppid=3051 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3115/stat : 3115 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11246329856 11566 33554432000 4194304 4196468 140720453162848 140523640543824 140525316847515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3116] ppid=3051 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3054/task/3116/stat : 3116 (java) S 3051 3054 1786 0 -1 1077944384 357 13251 0 0 1 0 5 3 20 0 15 0 231724457 11246329856 11566 33554432000 4194304 4196468 140720453162848 140524741671024 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3117] ppid=3051 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/3054/task/3117/stat : 3117 (java) S 3051 3054 1786 0 -1 1077944384 253 13251 0 0 1 0 5 3 20 0 15 0 231724457 11246329856 11566 33554432000 4194304 4196468 140720453162848 140524740618224 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3118] ppid=3051 vsize=10982744 memory=139959413835392 CPUtime=0.11 cores=0,2,4,6
/proc/3054/task/3118/stat : 3118 (java) R 3051 3054 1786 0 -1 4202560 624 13251 0 0 3 0 5 3 20 0 15 0 231724457 11246329856 11566 33554432000 4194304 4196468 140720453162848 140524739565936 140525295632048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3119] ppid=3051 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3119/stat : 3119 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11246329856 11566 33554432000 4194304 4196468 140720453162848 140523209746912 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3120] ppid=3051 vsize=10982744 memory=139959413835392 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3120/stat : 3120 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724457 11246329856 11566 33554432000 4194304 4196468 140720453162848 140524738513840 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45736 KiB
[startup+0.310159 s]*
/proc/loadavg: 1.53 1.31 1.38 5/215 3120
/proc/meminfo: memFree=16543652/32770624 swapFree=67108404/67108860
[pid=3054] ppid=3051 vsize=10983192 memory=56936 CPUtime=0.38 cores=0,2,4,6
/proc/3054/stat : 3054 (java) S 3051 3054 1786 0 -1 1077944320 10289 13251 0 0 28 2 5 3 20 0 15 0 231724442 11246788608 14234 33554432000 4194304 4196468 140720453162848 140720453145392 140525316828919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
/proc/3054/statm: 2745798 14234 3063 1 0 2708109 0
[pid=3054/tid=3107] ppid=3051 vsize=10983192 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/3054/task/3107/stat : 3107 (java) R 3051 3054 1786 0 -1 4202560 6827 13251 0 0 20 1 5 3 20 0 15 0 231724451 11246788608 14234 33554432000 4194304 4196468 140720453162848 140525288640928 140525300909406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3108] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3108/stat : 3108 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724452 11246788608 14234 33554432000 4194304 4196468 140720453162848 140525321070992 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3109] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3109/stat : 3109 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724452 11246788608 14234 33554432000 4194304 4196468 140720453162848 140525175789840 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3110] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3110/stat : 3110 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724452 11246788608 14234 33554432000 4194304 4196468 140720453162848 140525174737552 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3111] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3111/stat : 3111 (java) S 3051 3054 1786 0 -1 1077944384 2 13251 0 0 0 0 5 3 20 0 15 0 231724452 11246788608 14234 33554432000 4194304 4196468 140720453162848 140525173684752 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3112] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3112/stat : 3112 (java) S 3051 3054 1786 0 -1 1077944384 2 13251 0 0 0 0 5 3 20 0 15 0 231724453 11246788608 14234 33554432000 4194304 4196468 140720453162848 140524742724208 140525316840066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3113] ppid=3051 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3113/stat : 3113 (java) S 3051 3054 1786 0 -1 1077944384 13 13251 0 0 0 0 5 3 20 0 15 0 231724454 11246788608 14234 33554432000 4194304 4196468 140720453162848 140524149269792 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3114] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3114/stat : 3114 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724454 11246788608 14234 33554432000 4194304 4196468 140720453162848 140523947943536 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3115] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3115/stat : 3115 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11246788608 14234 33554432000 4194304 4196468 140720453162848 140523640543824 140525316847515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3116] ppid=3051 vsize=10983192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/3054/task/3116/stat : 3116 (java) S 3051 3054 1786 0 -1 1077944384 357 13251 0 0 2 0 5 3 20 0 15 0 231724457 11246788608 14234 33554432000 4194304 4196468 140720453162848 140524741671024 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3117] ppid=3051 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/3054/task/3117/stat : 3117 (java) S 3051 3054 1786 0 -1 1077944384 256 13251 0 0 1 0 5 3 20 0 15 0 231724457 11246788608 14234 33554432000 4194304 4196468 140720453162848 140524740618224 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3118] ppid=3051 vsize=10983192 memory=139959413835392 CPUtime=0.13 cores=0,2,4,6
/proc/3054/task/3118/stat : 3118 (java) S 3051 3054 1786 0 -1 1077944384 630 13251 0 0 5 0 5 3 20 0 15 0 231724457 11246788608 14234 33554432000 4194304 4196468 140720453162848 140524739565936 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3119] ppid=3051 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3119/stat : 3119 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11246788608 14234 33554432000 4194304 4196468 140720453162848 140523209746912 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3120] ppid=3051 vsize=10983192 memory=139959413835392 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3120/stat : 3120 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724457 11246788608 14234 33554432000 4194304 4196468 140720453162848 140524738513840 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56936 KiB
[startup+0.700721 s]
/proc/loadavg: 1.53 1.31 1.38 3/215 3120
/proc/meminfo: memFree=16519704/32770624 swapFree=67108404/67108860
[pid=3054] ppid=3051 vsize=10983192 memory=89196 CPUtime=0.99 cores=0,2,4,6
/proc/3054/stat : 3054 (java) S 3051 3054 1786 0 -1 1077944320 16409 13251 0 0 87 4 5 3 20 0 15 0 231724442 11246788608 22299 33554432000 4194304 4196468 140720453162848 140720453145392 140525316828919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
/proc/3054/statm: 2745798 22299 3246 1 0 2708109 0
[pid=3054/tid=3107] ppid=3051 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3054/task/3107/stat : 3107 (java) R 3051 3054 1786 0 -1 4202560 11895 13251 0 0 56 3 5 3 20 0 15 0 231724451 11246788608 22299 33554432000 4194304 4196468 140720453162848 140525288651920 140525300909406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3108] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3108/stat : 3108 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724452 11246788608 22299 33554432000 4194304 4196468 140720453162848 140525321070992 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3109] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3109/stat : 3109 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724452 11246788608 22299 33554432000 4194304 4196468 140720453162848 140525175789840 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3110] ppid=3051 vsize=10983192 memory=-4190076264842474805 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3110/stat : 3110 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724452 11246788608 22299 33554432000 4194304 4196468 140720453162848 140525174737552 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3111] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3111/stat : 3111 (java) S 3051 3054 1786 0 -1 1077944384 2 13251 0 0 0 0 5 3 20 0 15 0 231724452 11246788608 22299 33554432000 4194304 4196468 140720453162848 140525173684752 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3112] ppid=3051 vsize=10983192 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3112/stat : 3112 (java) S 3051 3054 1786 0 -1 1077944384 5 13251 0 0 0 0 5 3 20 0 15 0 231724453 11246788608 22299 33554432000 4194304 4196468 140720453162848 140524742724208 140525316840066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3113] ppid=3051 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3113/stat : 3113 (java) S 3051 3054 1786 0 -1 1077944384 13 13251 0 0 0 0 5 3 20 0 15 0 231724454 11246788608 22299 33554432000 4194304 4196468 140720453162848 140524149269792 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3114] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3114/stat : 3114 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724454 11246788608 22299 33554432000 4194304 4196468 140720453162848 140523947943536 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3115] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3115/stat : 3115 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11246788608 22299 33554432000 4194304 4196468 140720453162848 140523640543824 140525316847515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3116] ppid=3051 vsize=10983192 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/3054/task/3116/stat : 3116 (java) S 3051 3054 1786 0 -1 1077944384 997 13251 0 0 10 0 5 3 20 0 15 0 231724457 11246788608 22299 33554432000 4194304 4196468 140720453162848 140524741671024 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3117] ppid=3051 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/3054/task/3117/stat : 3117 (java) S 3051 3054 1786 0 -1 1077944384 611 13251 0 0 6 0 5 3 20 0 15 0 231724457 11246788608 22299 33554432000 4194304 4196468 140720453162848 140524740618224 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3118] ppid=3051 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/3054/task/3118/stat : 3118 (java) S 3051 3054 1786 0 -1 1077944384 684 13251 0 0 13 0 5 3 20 0 15 0 231724457 11246788608 22299 33554432000 4194304 4196468 140720453162848 140524739565936 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3119] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3119/stat : 3119 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11246788608 22299 33554432000 4194304 4196468 140720453162848 140523209746912 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3120] ppid=3051 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3120/stat : 3120 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724457 11246788608 22299 33554432000 4194304 4196468 140720453162848 140524738513840 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89196 KiB
[startup+1.50074 s]
/proc/loadavg: 1.53 1.31 1.38 4/215 3120
/proc/meminfo: memFree=16439796/32770624 swapFree=67108404/67108860
[pid=3054] ppid=3051 vsize=10996044 memory=213036 CPUtime=2.8 cores=0,2,4,6
/proc/3054/stat : 3054 (java) S 3051 3054 1786 0 -1 1077944320 22979 13251 0 0 264 8 5 3 20 0 15 0 231724442 11259949056 53259 33554432000 4194304 4196468 140720453162848 140720453145392 140525316828919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
/proc/3054/statm: 2749011 53259 3448 1 0 2710669 0
[pid=3054/tid=3107] ppid=3051 vsize=10996044 memory=5792587218118142312 CPUtime=1.46 cores=0,2,4,6
/proc/3054/task/3107/stat : 3107 (java) R 3051 3054 1786 0 -1 4202560 16114 13251 0 0 132 6 5 3 20 0 15 0 231724451 11259949056 53259 33554432000 4194304 4196468 140720453162848 140525288658416 140525303006529 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3108] ppid=3051 vsize=10996044 memory=7235703947528662380 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3108/stat : 3108 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724452 11259949056 53259 33554432000 4194304 4196468 140720453162848 140525321070992 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3109] ppid=3051 vsize=10996044 memory=7302420139900429416 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3109/stat : 3109 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724452 11259949056 53259 33554432000 4194304 4196468 140720453162848 140525175789840 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3110] ppid=3051 vsize=10996044 memory=7452438592935191913 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3110/stat : 3110 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724452 11259949056 53259 33554432000 4194304 4196468 140720453162848 140525174737552 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3111] ppid=3051 vsize=10996044 memory=117400 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3111/stat : 3111 (java) S 3051 3054 1786 0 -1 1077944384 2 13251 0 0 0 0 5 3 20 0 15 0 231724452 11259949056 53259 33554432000 4194304 4196468 140720453162848 140525173684752 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3112] ppid=3051 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3112/stat : 3112 (java) S 3051 3054 1786 0 -1 1077944384 7 13251 0 0 0 0 5 3 20 0 15 0 231724453 11259949056 53259 33554432000 4194304 4196468 140720453162848 140524742724208 140525316840066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3113] ppid=3051 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3113/stat : 3113 (java) S 3051 3054 1786 0 -1 1077944384 13 13251 0 0 0 0 5 3 20 0 15 0 231724454 11259949056 53259 33554432000 4194304 4196468 140720453162848 140524149269792 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3114] ppid=3051 vsize=10996044 memory=279918588003968 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3114/stat : 3114 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724454 11259949056 53259 33554432000 4194304 4196468 140720453162848 140523947943536 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3115] ppid=3051 vsize=10996044 memory=279918588418224 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3115/stat : 3115 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11259949056 53259 33554432000 4194304 4196468 140720453162848 140523640543824 140525316847515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3116] ppid=3051 vsize=10996044 memory=279918588018096 CPUtime=0.52 cores=0,2,4,6
/proc/3054/task/3116/stat : 3116 (java) S 3051 3054 1786 0 -1 1077944384 1671 13251 0 0 44 0 5 3 20 0 15 0 231724457 11259949056 53259 33554432000 4194304 4196468 140720453162848 140524741671024 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3117] ppid=3051 vsize=10996044 memory=279918588017216 CPUtime=0.54 cores=0,2,4,6
/proc/3054/task/3117/stat : 3117 (java) S 3051 3054 1786 0 -1 1077944384 1454 13251 0 0 46 0 5 3 20 0 15 0 231724457 11259949056 53259 33554432000 4194304 4196468 140720453162848 140524740618224 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3118] ppid=3051 vsize=10996044 memory=1156 CPUtime=0.49 cores=0,2,4,6
/proc/3054/task/3118/stat : 3118 (java) S 3051 3054 1786 0 -1 1077944384 1515 13251 0 0 41 0 5 3 20 0 15 0 231724457 11259949056 53259 33554432000 4194304 4196468 140720453162848 140524739565936 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3119] ppid=3051 vsize=10996044 memory=15212 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3119/stat : 3119 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11259949056 53259 33554432000 4194304 4196468 140720453162848 140523209746912 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3120] ppid=3051 vsize=10996044 memory=4044 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3120/stat : 3120 (java) S 3051 3054 1786 0 -1 1077944384 1 13251 0 0 0 0 5 3 20 0 15 0 231724457 11259949056 53259 33554432000 4194304 4196468 140720453162848 140524738513840 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/3054/task/3107/stat : 3107 (java) R 3051 3054 1786 0 -1 4202560 93401 13251 0 0 236163 39 5 3 20 0 15 0 231724451 11343855616 213800 33554432000 4194304 4196468 140720453162848 140525288663568 140524849440838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3108] ppid=3051 vsize=11077984 memory=855200 CPUtime=8.48 cores=0,2,4,6
/proc/3054/task/3108/stat : 3108 (java) S 3051 3054 1786 0 -1 1077944384 19159 13251 0 0 802 38 5 3 20 0 15 0 231724452 11343855616 213800 33554432000 4194304 4196468 140720453162848 140525321070992 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3109] ppid=3051 vsize=11077984 memory=855200 CPUtime=8.45 cores=0,2,4,6
/proc/3054/task/3109/stat : 3109 (java) S 3051 3054 1786 0 -1 1077944384 16129 13251 0 0 793 44 5 3 20 0 15 0 231724452 11343855616 213800 33554432000 4194304 4196468 140720453162848 140525175789840 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3110] ppid=3051 vsize=11077984 memory=855200 CPUtime=8.44 cores=0,2,4,6
/proc/3054/task/3110/stat : 3110 (java) S 3051 3054 1786 0 -1 1077944384 16013 13251 0 0 791 45 5 3 20 0 15 0 231724452 11343855616 213800 33554432000 4194304 4196468 140720453162848 140525174737552 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3111] ppid=3051 vsize=11077984 memory=855200 CPUtime=8.42 cores=0,2,4,6
/proc/3054/task/3111/stat : 3111 (java) S 3051 3054 1786 0 -1 1077944384 11174 13251 0 0 793 41 5 3 20 0 15 0 231724452 11343855616 213800 33554432000 4194304 4196468 140720453162848 140525173684752 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3112] ppid=3051 vsize=11077984 memory=855200 CPUtime=8.8 cores=0,2,4,6
/proc/3054/task/3112/stat : 3112 (java) S 3051 3054 1786 0 -1 1077944384 17921 13251 0 0 832 40 5 3 20 0 15 0 231724453 11343855616 213800 33554432000 4194304 4196468 140720453162848 140524742724208 140525316840066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3113] ppid=3051 vsize=11077984 memory=855200 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3113/stat : 3113 (java) S 3051 3054 1786 0 -1 1077944384 21 13251 0 0 0 0 5 3 20 0 15 0 231724454 11343855616 213800 33554432000 4194304 4196468 140720453162848 140524149269920 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3114] ppid=3051 vsize=11077984 memory=855200 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3114/stat : 3114 (java) S 3051 3054 1786 0 -1 1077944384 11 13251 0 0 0 0 5 3 20 0 15 0 231724454 11343855616 213800 33554432000 4194304 4196468 140720453162848 140523947943552 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3115] ppid=3051 vsize=11077984 memory=855200 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3115/stat : 3115 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11343855616 213800 33554432000 4194304 4196468 140720453162848 140523640543824 140525316847515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3116] ppid=3051 vsize=11077984 memory=855200 CPUtime=5.58 cores=0,2,4,6
/proc/3054/task/3116/stat : 3116 (java) S 3051 3054 1786 0 -1 1077944384 27687 13251 0 0 544 6 5 3 20 0 15 0 231724457 11343855616 213800 33554432000 4194304 4196468 140720453162848 140524741671024 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3117] ppid=3051 vsize=11077984 memory=855200 CPUtime=5 cores=0,2,4,6
/proc/3054/task/3117/stat : 3117 (java) S 3051 3054 1786 0 -1 1077944384 25453 13251 0 0 490 2 5 3 20 0 15 0 231724457 11343855616 213800 33554432000 4194304 4196468 140720453162848 140524740618224 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3118] ppid=3051 vsize=11077984 memory=928 CPUtime=2.07 cores=0,2,4,6
/proc/3054/task/3118/stat : 3118 (java) S 3051 3054 1786 0 -1 1077944384 26112 13251 0 0 196 3 5 3 20 0 15 0 231724457 11343855616 213800 33554432000 4194304 4196468 140720453162848 140524739565936 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3119] ppid=3051 vsize=11077984 memory=1172 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3119/stat : 3119 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11343855616 213800 33554432000 4194304 4196468 140720453162848 140523209746912 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3120] ppid=3051 vsize=11077984 memory=855200 CPUtime=1.35 cores=0,2,4,6
/proc/3054/task/3120/stat : 3120 (java) S 3051 3054 1786 0 -1 1077944384 1319 13251 0 0 66 61 5 3 20 0 15 0 231724457 11343855616 213800 33554432000 4194304 4196468 140720453162848 140524738513840 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
Current children cumulated CPU time: 2418.09 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 855200 KiB
[startup+2442.3 s]
/proc/loadavg: 1.24 1.27 1.31 3/215 3219
/proc/meminfo: memFree=15184672/32770624 swapFree=67108404/67108860
[pid=3054] ppid=3051 vsize=11077984 memory=855216 CPUtime=2478.64 cores=0,2,4,6
/proc/3054/stat : 3054 (java) S 3051 3054 1786 0 -1 1077944320 257749 13251 0 0 247578 278 5 3 20 0 15 0 231724442 11343855616 213804 33554432000 4194304 4196468 140720453162848 140720453145392 140525316828919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
/proc/3054/statm: 2769496 213804 3521 1 0 2731149 0
[pid=3054/tid=3107] ppid=3051 vsize=11077984 memory=855216 CPUtime=2421.6 cores=0,2,4,6
/proc/3054/task/3107/stat : 3107 (java) R 3051 3054 1786 0 -1 4202560 93928 13251 0 0 242112 40 5 3 20 0 15 0 231724451 11343855616 213804 33554432000 4194304 4196468 140720453162848 140525288663728 140524852641634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3108] ppid=3051 vsize=11077984 memory=855216 CPUtime=8.68 cores=0,2,4,6
/proc/3054/task/3108/stat : 3108 (java) S 3051 3054 1786 0 -1 1077944384 19262 13251 0 0 821 39 5 3 20 0 15 0 231724452 11343855616 213804 33554432000 4194304 4196468 140720453162848 140525321070992 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3109] ppid=3051 vsize=11077984 memory=855216 CPUtime=8.66 cores=0,2,4,6
/proc/3054/task/3109/stat : 3109 (java) S 3051 3054 1786 0 -1 1077944384 16142 13251 0 0 813 45 5 3 20 0 15 0 231724452 11343855616 213804 33554432000 4194304 4196468 140720453162848 140525175789840 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3110] ppid=3051 vsize=11077984 memory=855200 CPUtime=8.64 cores=0,2,4,6
/proc/3054/task/3110/stat : 3110 (java) S 3051 3054 1786 0 -1 1077944384 16025 13251 0 0 810 46 5 3 20 0 15 0 231724452 11343855616 213804 33554432000 4194304 4196468 140720453162848 140525174737552 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3111] ppid=3051 vsize=11077984 memory=855216 CPUtime=8.62 cores=0,2,4,6
/proc/3054/task/3111/stat : 3111 (java) S 3051 3054 1786 0 -1 1077944384 11448 13251 0 0 812 42 5 3 20 0 15 0 231724452 11343855616 213804 33554432000 4194304 4196468 140720453162848 140525173684752 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3112] ppid=3051 vsize=11077984 memory=855216 CPUtime=9 cores=0,2,4,6
/proc/3054/task/3112/stat : 3112 (java) S 3051 3054 1786 0 -1 1077944384 18119 13251 0 0 851 41 5 3 20 0 15 0 231724453 11343855616 213804 33554432000 4194304 4196468 140720453162848 140524742724208 140525316840066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3113] ppid=3051 vsize=11077984 memory=1616 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3113/stat : 3113 (java) S 3051 3054 1786 0 -1 1077944384 21 13251 0 0 0 0 5 3 20 0 15 0 231724454 11343855616 213804 33554432000 4194304 4196468 140720453162848 140524149269920 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3114] ppid=3051 vsize=11077984 memory=855216 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3114/stat : 3114 (java) S 3051 3054 1786 0 -1 1077944384 11 13251 0 0 0 0 5 3 20 0 15 0 231724454 11343855616 213804 33554432000 4194304 4196468 140720453162848 140523947943552 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3115] ppid=3051 vsize=11077984 memory=855216 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3115/stat : 3115 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11343855616 213804 33554432000 4194304 4196468 140720453162848 140523640543824 140525316847515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3116] ppid=3051 vsize=11077984 memory=855216 CPUtime=5.58 cores=0,2,4,6
/proc/3054/task/3116/stat : 3116 (java) S 3051 3054 1786 0 -1 1077944384 27689 13251 0 0 544 6 5 3 20 0 15 0 231724457 11343855616 213804 33554432000 4194304 4196468 140720453162848 140524741671024 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3117] ppid=3051 vsize=11077984 memory=855216 CPUtime=5 cores=0,2,4,6
/proc/3054/task/3117/stat : 3117 (java) S 3051 3054 1786 0 -1 1077944384 25455 13251 0 0 490 2 5 3 20 0 15 0 231724457 11343855616 213804 33554432000 4194304 4196468 140720453162848 140524740618224 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3118] ppid=3051 vsize=11077984 memory=855216 CPUtime=2.07 cores=0,2,4,6
/proc/3054/task/3118/stat : 3118 (java) S 3051 3054 1786 0 -1 1077944384 26114 13251 0 0 196 3 5 3 20 0 15 0 231724457 11343855616 213804 33554432000 4194304 4196468 140720453162848 140524739565936 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3119] ppid=3051 vsize=11077984 memory=855216 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3119/stat : 3119 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11343855616 213804 33554432000 4194304 4196468 140720453162848 140523209746912 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3120] ppid=3051 vsize=11077984 memory=855216 CPUtime=1.37 cores=0,2,4,6
/proc/3054/task/3120/stat : 3120 (java) S 3051 3054 1786 0 -1 1077944384 1337 13251 0 0 67 62 5 3 20 0 15 0 231724457 11343855616 213804 33554432000 4194304 4196468 140720453162848 140524738513840 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
Current children cumulated CPU time: 2478.64 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 855216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2483.3 s]
/proc/loadavg: 1.29 1.28 1.32 5/215 3348
/proc/meminfo: memFree=15766256/32770624 swapFree=67108404/67108860
[pid=3054] ppid=3051 vsize=11077984 memory=855272 CPUtime=2520.02 cores=0,2,4,6
/proc/3054/stat : 3054 (java) S 3051 3054 1786 0 -1 1077944320 259157 13251 0 0 251713 281 5 3 20 0 15 0 231724442 11343855616 213818 33554432000 4194304 4196468 140720453162848 140720453145392 140525316828919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
/proc/3054/statm: 2769496 213818 3521 1 0 2731149 0
[pid=3054/tid=3107] ppid=3051 vsize=11077984 memory=855272 CPUtime=2462.26 cores=0,2,4,6
/proc/3054/task/3107/stat : 3107 (java) R 3051 3054 1786 0 -1 4202560 94461 13251 0 0 246178 40 5 3 20 0 15 0 231724451 11343855616 213818 33554432000 4194304 4196468 140720453162848 140525288662544 140524854363394 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3108] ppid=3051 vsize=11077984 memory=855272 CPUtime=8.82 cores=0,2,4,6
/proc/3054/task/3108/stat : 3108 (java) S 3051 3054 1786 0 -1 1077944384 19313 13251 0 0 834 40 5 3 20 0 15 0 231724452 11343855616 213818 33554432000 4194304 4196468 140720453162848 140525321070992 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3109] ppid=3051 vsize=11077984 memory=855272 CPUtime=8.79 cores=0,2,4,6
/proc/3054/task/3109/stat : 3109 (java) S 3051 3054 1786 0 -1 1077944384 16405 13251 0 0 826 45 5 3 20 0 15 0 231724452 11343855616 213818 33554432000 4194304 4196468 140720453162848 140525175789840 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3110] ppid=3051 vsize=11077984 memory=855272 CPUtime=8.78 cores=0,2,4,6
/proc/3054/task/3110/stat : 3110 (java) S 3051 3054 1786 0 -1 1077944384 16086 13251 0 0 823 47 5 3 20 0 15 0 231724452 11343855616 213818 33554432000 4194304 4196468 140720453162848 140525174737552 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3111] ppid=3051 vsize=11077984 memory=855240 CPUtime=8.76 cores=0,2,4,6
/proc/3054/task/3111/stat : 3111 (java) S 3051 3054 1786 0 -1 1077944384 11468 13251 0 0 825 43 5 3 20 0 15 0 231724452 11343855616 213818 33554432000 4194304 4196468 140720453162848 140525173684752 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3112] ppid=3051 vsize=11077984 memory=855216 CPUtime=9.15 cores=0,2,4,6
/proc/3054/task/3112/stat : 3112 (java) S 3051 3054 1786 0 -1 1077944384 18311 13251 0 0 865 42 5 3 20 0 15 0 231724453 11343855616 213818 33554432000 4194304 4196468 140720453162848 140524742724208 140525316840066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3113] ppid=3051 vsize=11077984 memory=855272 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3113/stat : 3113 (java) S 3051 3054 1786 0 -1 1077944384 21 13251 0 0 0 0 5 3 20 0 15 0 231724454 11343855616 213818 33554432000 4194304 4196468 140720453162848 140524149269920 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3114] ppid=3051 vsize=11077984 memory=855272 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3114/stat : 3114 (java) S 3051 3054 1786 0 -1 1077944384 11 13251 0 0 0 0 5 3 20 0 15 0 231724454 11343855616 213818 33554432000 4194304 4196468 140720453162848 140523947943552 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3115] ppid=3051 vsize=11077984 memory=855272 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3115/stat : 3115 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11343855616 213818 33554432000 4194304 4196468 140720453162848 140523640543824 140525316847515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3116] ppid=3051 vsize=11077984 memory=855272 CPUtime=5.58 cores=0,2,4,6
/proc/3054/task/3116/stat : 3116 (java) S 3051 3054 1786 0 -1 1077944384 27957 13251 0 0 544 6 5 3 20 0 15 0 231724457 11343855616 213818 33554432000 4194304 4196468 140720453162848 140524741671024 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3117] ppid=3051 vsize=11077984 memory=855272 CPUtime=5 cores=0,2,4,6
/proc/3054/task/3117/stat : 3117 (java) S 3051 3054 1786 0 -1 1077944384 25457 13251 0 0 490 2 5 3 20 0 15 0 231724457 11343855616 213818 33554432000 4194304 4196468 140720453162848 140524740618224 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3118] ppid=3051 vsize=11077984 memory=855272 CPUtime=2.07 cores=0,2,4,6
/proc/3054/task/3118/stat : 3118 (java) S 3051 3054 1786 0 -1 1077944384 26116 13251 0 0 196 3 5 3 20 0 15 0 231724457 11343855616 213818 33554432000 4194304 4196468 140720453162848 140524739565936 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3119] ppid=3051 vsize=11077984 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3119/stat : 3119 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11343855616 213818 33554432000 4194304 4196468 140720453162848 140523209746912 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3120] ppid=3051 vsize=11077984 memory=1156 CPUtime=1.4 cores=0,2,4,6
/proc/3054/task/3120/stat : 3120 (java) S 3051 3054 1786 0 -1 1077944384 1353 13251 0 0 68 64 5 3 20 0 15 0 231724457 11343855616 213818 33554432000 4194304 4196468 140720453162848 140524738513840 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 855272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2483.92 s]
# the end of solver process 3054 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.8 s, system=2.87282 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2483.3 s]
/proc/loadavg: 1.29 1.28 1.32 5/215 3348
/proc/meminfo: memFree=15766256/32770624 swapFree=67108404/67108860
[pid=3054] ppid=3051 vsize=11077984 memory=855272 CPUtime=2520.02 cores=0,2,4,6
/proc/3054/stat : 3054 (java) S 3051 3054 1786 0 -1 1077944320 259157 13251 0 0 251713 281 5 3 20 0 15 0 231724442 11343855616 213818 33554432000 4194304 4196468 140720453162848 140720453145392 140525316828919 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
/proc/3054/statm: 2769496 213818 3521 1 0 2731149 0
[pid=3054/tid=3107] ppid=3051 vsize=11077984 memory=855272 CPUtime=2462.26 cores=0,2,4,6
/proc/3054/task/3107/stat : 3107 (java) R 3051 3054 1786 0 -1 4202560 94461 13251 0 0 246178 40 5 3 20 0 15 0 231724451 11343855616 213818 33554432000 4194304 4196468 140720453162848 140525288662544 140524854363394 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3108] ppid=3051 vsize=11077984 memory=855272 CPUtime=8.82 cores=0,2,4,6
/proc/3054/task/3108/stat : 3108 (java) S 3051 3054 1786 0 -1 1077944384 19313 13251 0 0 834 40 5 3 20 0 15 0 231724452 11343855616 213818 33554432000 4194304 4196468 140720453162848 140525321070992 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3109] ppid=3051 vsize=11077984 memory=855272 CPUtime=8.79 cores=0,2,4,6
/proc/3054/task/3109/stat : 3109 (java) S 3051 3054 1786 0 -1 1077944384 16405 13251 0 0 826 45 5 3 20 0 15 0 231724452 11343855616 213818 33554432000 4194304 4196468 140720453162848 140525175789840 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3110] ppid=3051 vsize=11077984 memory=855272 CPUtime=8.78 cores=0,2,4,6
/proc/3054/task/3110/stat : 3110 (java) S 3051 3054 1786 0 -1 1077944384 16086 13251 0 0 823 47 5 3 20 0 15 0 231724452 11343855616 213818 33554432000 4194304 4196468 140720453162848 140525174737552 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3111] ppid=3051 vsize=11077984 memory=855240 CPUtime=8.76 cores=0,2,4,6
/proc/3054/task/3111/stat : 3111 (java) S 3051 3054 1786 0 -1 1077944384 11468 13251 0 0 825 43 5 3 20 0 15 0 231724452 11343855616 213818 33554432000 4194304 4196468 140720453162848 140525173684752 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3112] ppid=3051 vsize=11077984 memory=855216 CPUtime=9.15 cores=0,2,4,6
/proc/3054/task/3112/stat : 3112 (java) S 3051 3054 1786 0 -1 1077944384 18311 13251 0 0 865 42 5 3 20 0 15 0 231724453 11343855616 213818 33554432000 4194304 4196468 140720453162848 140524742724208 140525316840066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3113] ppid=3051 vsize=11077984 memory=855272 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3113/stat : 3113 (java) S 3051 3054 1786 0 -1 1077944384 21 13251 0 0 0 0 5 3 20 0 15 0 231724454 11343855616 213818 33554432000 4194304 4196468 140720453162848 140524149269920 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3114] ppid=3051 vsize=11077984 memory=855272 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3114/stat : 3114 (java) S 3051 3054 1786 0 -1 1077944384 11 13251 0 0 0 0 5 3 20 0 15 0 231724454 11343855616 213818 33554432000 4194304 4196468 140720453162848 140523947943552 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3115] ppid=3051 vsize=11077984 memory=855272 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3115/stat : 3115 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11343855616 213818 33554432000 4194304 4196468 140720453162848 140523640543824 140525316847515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3116] ppid=3051 vsize=11077984 memory=855272 CPUtime=5.58 cores=0,2,4,6
/proc/3054/task/3116/stat : 3116 (java) S 3051 3054 1786 0 -1 1077944384 27957 13251 0 0 544 6 5 3 20 0 15 0 231724457 11343855616 213818 33554432000 4194304 4196468 140720453162848 140524741671024 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3117] ppid=3051 vsize=11077984 memory=855272 CPUtime=5 cores=0,2,4,6
/proc/3054/task/3117/stat : 3117 (java) S 3051 3054 1786 0 -1 1077944384 25457 13251 0 0 490 2 5 3 20 0 15 0 231724457 11343855616 213818 33554432000 4194304 4196468 140720453162848 140524740618224 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3118] ppid=3051 vsize=11077984 memory=855272 CPUtime=2.07 cores=0,2,4,6
/proc/3054/task/3118/stat : 3118 (java) S 3051 3054 1786 0 -1 1077944384 26116 13251 0 0 196 3 5 3 20 0 15 0 231724457 11343855616 213818 33554432000 4194304 4196468 140720453162848 140524739565936 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3119] ppid=3051 vsize=11077984 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/3054/task/3119/stat : 3119 (java) S 3051 3054 1786 0 -1 1077944384 3 13251 0 0 0 0 5 3 20 0 15 0 231724457 11343855616 213818 33554432000 4194304 4196468 140720453162848 140523209746912 140525316839125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
[pid=3054/tid=3120] ppid=3051 vsize=11077984 memory=1156 CPUtime=1.4 cores=0,2,4,6
/proc/3054/task/3120/stat : 3120 (java) S 3051 3054 1786 0 -1 1077944384 1353 13251 0 0 68 64 5 3 20 0 15 0 231724457 11343855616 213818 33554432000 4194304 4196468 140720453162848 140524738513840 140525316840066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33558528 140720453167716 140720453170524 140720453170524 140720453173199 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 855272 KiB
Child status: 143
Real time (s): 2483.92
CPU time (s): 2520.67
CPU user time (s): 2517.8
CPU system time (s): 2.87282
CPU usage (%): 101.479
Max. virtual memory (cumulated for all children) (KiB): 11080812
Max. memory (cumulated for all children) (KiB): 857100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.8
system time used= 2.87282
maximum resident set size= 858628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 234477
involuntary context switches= 8610
# summary of solver processes directly reported to runsolver:
# pid: 3054
# total CPU time (s): 2520.67
# total CPU user time (s): 2517.8
# total CPU system time (s): 2.87282
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5217 second user time and 23.4446 second system time
The end