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 (7819 MiB free)
memory of node 1: 16384 MiB (8891 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291773-1532260671/watcher-4291773-1532260671 -o /tmp/evaluation-result-4291773-1532260671/solver-4291773-1532260671 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532260671-3378 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4291773-1532260671.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3408, runsolver pid=3400
[startup+0.100178 s]*
/proc/loadavg: 0.56 0.87 1.17 4/220 3437
/proc/meminfo: memFree=17076356/32770624 swapFree=67108860/67108860
[pid=3408] ppid=3400 vsize=10659012 memory=30748 CPUtime=0.12 cores=0,2,4,6
/proc/3408/stat : 3408 (java) S 3400 3408 3347 0 -1 1077944320 6754 0 0 0 11 1 0 0 20 0 15 0 43630249 10914828288 7687 33554432000 4194304 4196468 140725158089440 140725158071984 139664530226935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
/proc/3408/statm: 2664753 7687 2831 1 0 2627263 0
[pid=3408/tid=3411] ppid=3400 vsize=10659012 memory=-8253362762721355408 CPUtime=0.09 cores=0,2,4,6
/proc/3408/task/3411/stat : 3411 (java) R 3400 3408 3347 0 -1 4202560 4594 0 0 0 8 1 0 0 20 0 15 0 43630249 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664534452048 139664514307422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3415] ppid=3400 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3415/stat : 3415 (java) S 3400 3408 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43630250 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664486780048 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3417] ppid=3400 vsize=10659012 memory=139710775207552 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3417/stat : 3417 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630250 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664135478288 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3418] ppid=3400 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3418/stat : 3418 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630250 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664134425488 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3419] ppid=3400 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3419/stat : 3419 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630250 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664133372688 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3421] ppid=3400 vsize=10659012 memory=139710775207552 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3421/stat : 3421 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630251 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664089954672 139664530238082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3423] ppid=3400 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3423/stat : 3423 (java) S 3400 3408 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43630251 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664088900640 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3425] ppid=3400 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3425/stat : 3425 (java) S 3400 3408 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43630252 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664087847792 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3426] ppid=3400 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3426/stat : 3426 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43630254 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664086796112 139664530245531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3428] ppid=3400 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3428/stat : 3428 (java) S 3400 3408 3347 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 43630254 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664085744496 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3429] ppid=3400 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3429/stat : 3429 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43630254 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664084691696 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3431] ppid=3400 vsize=10659012 memory=139710775207552 CPUtime=0.02 cores=0,2,4,6
/proc/3408/task/3431/stat : 3431 (java) R 3400 3408 3347 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 43630254 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664083638896 139664530248282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3434] ppid=3400 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3434/stat : 3434 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43630254 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664014961376 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3437] ppid=3400 vsize=10659012 memory=139710775207552 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3437/stat : 3437 (java) S 3400 3408 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43630254 10914828288 7687 33554432000 4194304 4196468 140725158089440 139664013908656 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30748 KiB
[startup+0.21084 s]*
/proc/loadavg: 0.56 0.87 1.17 8/220 3437
/proc/meminfo: memFree=17057864/32770624 swapFree=67108860/67108860
[pid=3408] ppid=3400 vsize=10659012 memory=42128 CPUtime=0.34 cores=0,2,4,6
/proc/3408/stat : 3408 (java) S 3400 3408 3347 0 -1 1077944320 8121 0 0 0 32 2 0 0 20 0 15 0 43630249 10914828288 10532 33554432000 4194304 4196468 140725158089440 140725158071984 139664530226935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
/proc/3408/statm: 2664753 10532 3004 1 0 2627263 0
[pid=3408/tid=3411] ppid=3400 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3408/task/3411/stat : 3411 (java) R 3400 3408 3347 0 -1 4202560 5030 0 0 0 19 1 0 0 20 0 15 0 43630249 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664534462336 139664530248861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3415] ppid=3400 vsize=10659012 memory=342 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3415/stat : 3415 (java) S 3400 3408 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43630250 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664486780048 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3417] ppid=3400 vsize=10659012 memory=139710775386524 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3417/stat : 3417 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630250 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664135478288 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3418] ppid=3400 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3418/stat : 3418 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630250 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664134425488 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3419] ppid=3400 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3419/stat : 3419 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630250 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664133372688 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3421] ppid=3400 vsize=10659012 memory=139710775207552 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3421/stat : 3421 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630251 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664089954672 139664530238082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3423] ppid=3400 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3423/stat : 3423 (java) S 3400 3408 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43630251 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664088900640 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3425] ppid=3400 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3425/stat : 3425 (java) S 3400 3408 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43630252 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664087847792 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3426] ppid=3400 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3426/stat : 3426 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43630254 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664086796112 139664530245531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3428] ppid=3400 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3408/task/3428/stat : 3428 (java) S 3400 3408 3347 0 -1 1077944384 759 0 0 0 2 0 0 0 20 0 15 0 43630254 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664085744496 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3429] ppid=3400 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3408/task/3429/stat : 3429 (java) S 3400 3408 3347 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 15 0 43630254 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664084691696 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3431] ppid=3400 vsize=10659012 memory=139710775207552 CPUtime=0.08 cores=0,2,4,6
/proc/3408/task/3431/stat : 3431 (java) S 3400 3408 3347 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 15 0 43630254 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664083638896 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3434] ppid=3400 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3434/stat : 3434 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43630254 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664014961376 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3437] ppid=3400 vsize=10659012 memory=139710775207552 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3437/stat : 3437 (java) S 3400 3408 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43630254 10914828288 10532 33554432000 4194304 4196468 140725158089440 139664013908656 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42128 KiB
[startup+0.310698 s]*
/proc/loadavg: 0.56 0.87 1.17 7/220 3437
/proc/meminfo: memFree=17038980/32770624 swapFree=67108860/67108860
[pid=3408] ppid=3400 vsize=10659088 memory=47324 CPUtime=0.53 cores=0,2,4,6
/proc/3408/stat : 3408 (java) S 3400 3408 3347 0 -1 1077944320 8905 0 0 0 51 2 0 0 20 0 15 0 43630249 10914906112 11831 33554432000 4194304 4196468 140725158089440 140725158071984 139664530226935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
/proc/3408/statm: 2664772 11831 3055 1 0 2627263 0
[pid=3408/tid=3411] ppid=3400 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/3408/task/3411/stat : 3411 (java) R 3400 3408 3347 0 -1 4202560 5588 0 0 0 29 1 0 0 20 0 15 0 43630249 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664534464480 139664166061543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3415] ppid=3400 vsize=10659088 memory=290763875203416087 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3415/stat : 3415 (java) S 3400 3408 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43630250 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664486780048 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3417] ppid=3400 vsize=10659088 memory=14829410316494488 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3417/stat : 3417 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630250 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664135478288 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3418] ppid=3400 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3418/stat : 3418 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630250 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664134425488 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3419] ppid=3400 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3419/stat : 3419 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630250 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664133372688 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3421] ppid=3400 vsize=10659088 memory=139710775207552 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3421/stat : 3421 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630251 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664089954672 139664530238082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3423] ppid=3400 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3423/stat : 3423 (java) S 3400 3408 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43630251 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664088900640 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3425] ppid=3400 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3425/stat : 3425 (java) S 3400 3408 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43630252 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664087847792 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3426] ppid=3400 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3426/stat : 3426 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43630254 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664086796112 139664530245531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3428] ppid=3400 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/3408/task/3428/stat : 3428 (java) R 3400 3408 3347 0 -1 4202560 817 0 0 0 5 0 0 0 20 0 15 0 43630254 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664085732048 139664530248282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3429] ppid=3400 vsize=10659088 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/3408/task/3429/stat : 3429 (java) R 3400 3408 3347 0 -1 1077944384 321 0 0 0 3 0 0 0 20 0 15 0 43630254 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664084691792 139664530237141 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3431] ppid=3400 vsize=10659088 memory=139710775207552 CPUtime=0.13 cores=0,2,4,6
/proc/3408/task/3431/stat : 3431 (java) R 3400 3408 3347 0 -1 4202560 822 0 0 0 13 0 0 0 20 0 15 0 43630254 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664083635264 139664530248282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3434] ppid=3400 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3434/stat : 3434 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43630254 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664014961376 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3437] ppid=3400 vsize=10659088 memory=139710775207552 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3437/stat : 3437 (java) S 3400 3408 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43630254 10914906112 11831 33554432000 4194304 4196468 140725158089440 139664013908656 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47324 KiB
[startup+0.710325 s]
/proc/loadavg: 0.56 0.87 1.17 10/220 3437
/proc/meminfo: memFree=16930084/32770624 swapFree=67108860/67108860
[pid=3408] ppid=3400 vsize=10659088 memory=201504 CPUtime=1.84 cores=0,2,4,6
/proc/3408/stat : 3408 (java) S 3400 3408 3347 0 -1 1077944320 14943 0 0 0 179 5 0 0 20 0 15 0 43630249 10914906112 50376 33554432000 4194304 4196468 140725158089440 140725158071984 139664530226935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
/proc/3408/statm: 2664772 50376 3131 1 0 2627263 0
[pid=3408/tid=3411] ppid=3400 vsize=10659088 memory=1844 CPUtime=0.66 cores=0,2,4,6
/proc/3408/task/3411/stat : 3411 (java) R 3400 3408 3347 0 -1 4202560 6019 0 0 0 63 3 0 0 20 0 15 0 43630249 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664534459360 139664509952064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3415] ppid=3400 vsize=10659088 memory=796 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3415/stat : 3415 (java) S 3400 3408 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43630250 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664486780048 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3417] ppid=3400 vsize=10659088 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3417/stat : 3417 (java) S 3400 3408 3347 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 43630250 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664135478288 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3418] ppid=3400 vsize=10659088 memory=12984 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3418/stat : 3418 (java) S 3400 3408 3347 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 43630250 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664134425488 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3419] ppid=3400 vsize=10659088 memory=5664 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3419/stat : 3419 (java) S 3400 3408 3347 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 43630250 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664133372688 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3421] ppid=3400 vsize=10659088 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3421/stat : 3421 (java) S 3400 3408 3347 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 43630251 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664089954672 139664530238082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3423] ppid=3400 vsize=10659088 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3423/stat : 3423 (java) S 3400 3408 3347 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 43630251 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664088900640 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3425] ppid=3400 vsize=10659088 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3425/stat : 3425 (java) S 3400 3408 3347 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 43630252 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664087847792 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3426] ppid=3400 vsize=10659088 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3426/stat : 3426 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43630254 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664086796112 139664530245531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3428] ppid=3400 vsize=10659088 memory=7739276948478455658 CPUtime=0.38 cores=0,2,4,6
/proc/3408/task/3428/stat : 3428 (java) R 3400 3408 3347 0 -1 4202560 2933 0 0 0 38 0 0 0 20 0 15 0 43630254 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664085744496 139664510862872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3429] ppid=3400 vsize=10659088 memory=6935658124599644240 CPUtime=0.37 cores=0,2,4,6
/proc/3408/task/3429/stat : 3429 (java) R 3400 3408 3347 0 -1 4202560 2121 0 0 0 37 0 0 0 20 0 15 0 43630254 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664084680336 139664509946440 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3431] ppid=3400 vsize=10659088 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/3408/task/3431/stat : 3431 (java) S 3400 3408 3347 0 -1 1077944384 2373 0 0 0 36 0 0 0 20 0 15 0 43630254 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664083638896 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3434] ppid=3400 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3434/stat : 3434 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43630254 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664014961376 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3437] ppid=3400 vsize=10659088 memory=33 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3437/stat : 3437 (java) S 3400 3408 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43630254 10914906112 50376 33554432000 4194304 4196468 140725158089440 139664013908656 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 201504 KiB
[startup+1.50137 s]
/proc/loadavg: 0.56 0.87 1.17 9/220 3437
/proc/meminfo: memFree=16674948/32770624 swapFree=67108860/67108860
[pid=3408] ppid=3400 vsize=10727700 memory=234644 CPUtime=3.95 cores=0,2,4,6
/proc/3408/stat : 3408 (java) S 3400 3408 3347 0 -1 1077944320 15718 0 0 0 386 9 0 0 20 0 16 0 43630249 10985164800 58661 33554432000 4194304 4196468 140725158089440 140725158071984 139664530226935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
/proc/3408/statm: 2681925 58661 3156 1 0 2644416 0
[pid=3408/tid=3411] ppid=3400 vsize=10727700 memory=8112282956445269571 CPUtime=1.42 cores=0,2,4,6
/proc/3408/task/3411/stat : 3411 (java) R 3400 3408 3347 0 -1 4202560 6076 0 0 0 138 4 0 0 20 0 16 0 43630249 10985164800 58661 33554432000 4194304 4196468 140725158089440 139664534463608 139664171076945 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3415] ppid=3400 vsize=10727700 memory=8390361644446492005 CPUtime=0.01 cores=0,2,4,6
/proc/3408/task/3415/stat : 3415 (java) S 3400 3408 3347 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 16 0 43630250 10985164800 58661 33554432000 4194304 4196468 140725158089440 139664486780048 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3417] ppid=3400 vsize=10727700 memory=-6352177166831549654 CPUtime=0.03 cores=0,2,4,6
/proc/3408/task/3417/stat : 3417 (java) S 3400 3408 3347 0 -1 1077944384 101 0 0 0 3 0 0 0 20 0 16 0 43630250 10985164800 58661 33554432000 4194304 4196468 140725158089440 139664135478288 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3418] ppid=3400 vsize=10727700 memory=8514701219931451533 CPUtime=0.04 cores=0,2,4,6
/proc/3408/task/3418/stat : 3418 (java) S 3400 3408 3347 0 -1 1077944384 96 0 0 0 3 1 0 0 20 0 16 0 43630250 10985164800 58661 33554432000 4194304 4196468 140725158089440 139664134425488 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3419] ppid=3400 vsize=10727700 memory=7005738693937936738 CPUtime=0.02 cores=0,2,4,6
/proc/3408/task/3419/stat : 3419 (java) S 3400 3408 3347 0 -1 1077944384 85 0 0 0 2 0 0 0 20 0 16 0 43630250 10985164800 58661 33554432000 4194304 4196468 140725158089440 139664133372688 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3421] ppid=3400 vsize=10727700 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3421/stat : 3421 (java) S 3400 3408 3347 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 43630251 10985164800 58661 33554432000 4194304 4196468 140725158089440 139664089954672 139664530238082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
################
# More data... #
################
/proc/3408/task/3423/stat : 3423 (java) S 3400 3408 3347 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 43630251 10985164800 575172 33554432000 4194304 4196468 140725158089440 139664088900640 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3425] ppid=3400 vsize=10727700 memory=2300688 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3425/stat : 3425 (java) S 3400 3408 3347 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 43630252 10985164800 575172 33554432000 4194304 4196468 140725158089440 139664087847792 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3426] ppid=3400 vsize=10727700 memory=2300688 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3426/stat : 3426 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43630254 10985164800 575172 33554432000 4194304 4196468 140725158089440 139664086796112 139664530245531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3428] ppid=3400 vsize=10727700 memory=2300688 CPUtime=1.69 cores=0,2,4,6
/proc/3408/task/3428/stat : 3428 (java) S 3400 3408 3347 0 -1 1077944384 7901 0 0 0 168 1 0 0 20 0 16 0 43630254 10985164800 575172 33554432000 4194304 4196468 140725158089440 139664085744496 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3429] ppid=3400 vsize=10727700 memory=288230574492221466 CPUtime=1.78 cores=0,2,4,6
/proc/3408/task/3429/stat : 3429 (java) S 3400 3408 3347 0 -1 1077944384 6166 0 0 0 177 1 0 0 20 0 16 0 43630254 10985164800 575172 33554432000 4194304 4196468 140725158089440 139664084691696 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3431] ppid=3400 vsize=10727700 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/3408/task/3431/stat : 3431 (java) S 3400 3408 3347 0 -1 1077944384 8463 0 0 0 57 1 0 0 20 0 16 0 43630254 10985164800 575172 33554432000 4194304 4196468 140725158089440 139664083638896 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3434] ppid=3400 vsize=10727700 memory=2300688 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3434/stat : 3434 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43630254 10985164800 575172 33554432000 4194304 4196468 140725158089440 139664014961376 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3437] ppid=3400 vsize=10727700 memory=2300688 CPUtime=1.31 cores=0,2,4,6
/proc/3408/task/3437/stat : 3437 (java) S 3400 3408 3347 0 -1 1077944384 2500 0 0 0 73 58 0 0 20 0 16 0 43630254 10985164800 575172 33554432000 4194304 4196468 140725158089440 139664013908656 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3438] ppid=3400 vsize=10727700 memory=2300688 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3438/stat : 3438 (java) S 3400 3408 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 43630366 10985164800 575172 33554432000 4194304 4196468 140725158089440 139664010757040 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
Current children cumulated CPU time: 2340.43 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2300688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2380.9 s]
/proc/loadavg: 1.98 1.99 1.95 4/222 3542
/proc/meminfo: memFree=13038192/32770624 swapFree=67108860/67108860
[pid=3408] ppid=3400 vsize=10727700 memory=2301096 CPUtime=2400.09 cores=0,2,4,6
/proc/3408/stat : 3408 (java) S 3400 3408 3347 0 -1 1077944320 170989 0 0 0 239651 358 0 0 20 0 16 0 43630249 10985164800 575274 33554432000 4194304 4196468 140725158089440 140725158071984 139664530226935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
/proc/3408/statm: 2681925 575274 3196 1 0 2644416 0
[pid=3408/tid=3411] ppid=3400 vsize=10727700 memory=239969 CPUtime=2376.07 cores=0,2,4,6
/proc/3408/task/3411/stat : 3411 (java) R 3400 3408 3347 0 -1 4202560 55109 0 0 0 237580 27 0 0 20 0 16 0 43630249 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664534466032 139664172287238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3415] ppid=3400 vsize=10727700 memory=2301096 CPUtime=4.56 cores=0,2,4,6
/proc/3408/task/3415/stat : 3415 (java) S 3400 3408 3347 0 -1 1077944384 13850 0 0 0 389 67 0 0 20 0 16 0 43630250 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664486780048 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3417] ppid=3400 vsize=10727700 memory=2301096 CPUtime=4.54 cores=0,2,4,6
/proc/3408/task/3417/stat : 3417 (java) S 3400 3408 3347 0 -1 1077944384 12264 0 0 0 388 66 0 0 20 0 16 0 43630250 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664135478288 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3418] ppid=3400 vsize=10727700 memory=2301056 CPUtime=4.57 cores=0,2,4,6
/proc/3408/task/3418/stat : 3418 (java) S 3400 3408 3347 0 -1 1077944384 10991 0 0 0 387 70 0 0 20 0 16 0 43630250 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664134425488 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3419] ppid=3400 vsize=10727700 memory=2301056 CPUtime=4.56 cores=0,2,4,6
/proc/3408/task/3419/stat : 3419 (java) S 3400 3408 3347 0 -1 1077944384 14751 0 0 0 388 68 0 0 20 0 16 0 43630250 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664133372688 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3421] ppid=3400 vsize=10727700 memory=2301096 CPUtime=0.3 cores=0,2,4,6
/proc/3408/task/3421/stat : 3421 (java) S 3400 3408 3347 0 -1 1077944384 37502 0 0 0 24 6 0 0 20 0 16 0 43630251 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664089954672 139664530238082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3423] ppid=3400 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3423/stat : 3423 (java) S 3400 3408 3347 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 43630251 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664088900640 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3425] ppid=3400 vsize=10727700 memory=2301056 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3425/stat : 3425 (java) S 3400 3408 3347 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 43630252 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664087847792 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3426] ppid=3400 vsize=10727700 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3426/stat : 3426 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43630254 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664086796112 139664530245531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3428] ppid=3400 vsize=10727700 memory=2301056 CPUtime=1.69 cores=0,2,4,6
/proc/3408/task/3428/stat : 3428 (java) S 3400 3408 3347 0 -1 1077944384 7903 0 0 0 168 1 0 0 20 0 16 0 43630254 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664085744496 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3429] ppid=3400 vsize=10727700 memory=2301056 CPUtime=1.78 cores=0,2,4,6
/proc/3408/task/3429/stat : 3429 (java) S 3400 3408 3347 0 -1 1077944384 6169 0 0 0 177 1 0 0 20 0 16 0 43630254 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664084691696 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3431] ppid=3400 vsize=10727700 memory=8112282956445269571 CPUtime=0.58 cores=0,2,4,6
/proc/3408/task/3431/stat : 3431 (java) S 3400 3408 3347 0 -1 1077944384 8465 0 0 0 57 1 0 0 20 0 16 0 43630254 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664083638896 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3434] ppid=3400 vsize=10727700 memory=132 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3434/stat : 3434 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43630254 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664014961376 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3437] ppid=3400 vsize=10727700 memory=2301096 CPUtime=1.34 cores=0,2,4,6
/proc/3408/task/3437/stat : 3437 (java) S 3400 3408 3347 0 -1 1077944384 2531 0 0 0 74 60 0 0 20 0 16 0 43630254 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664013908656 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3438] ppid=3400 vsize=10727700 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3438/stat : 3438 (java) S 3400 3408 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 43630366 10985164800 575274 33554432000 4194304 4196468 140725158089440 139664010757040 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2301096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2381.13 s]
# the end of solver process 3408 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.58 s, system=3.59477 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2381.01 s]*
/proc/loadavg: 1.98 1.99 1.95 3/223 3545
/proc/meminfo: memFree=13038192/32770624 swapFree=67108860/67108860
[pid=3408] ppid=3400 vsize=10927392 memory=2301320 CPUtime=2400.15 cores=0,2,4,6
/proc/3408/stat : 3408 (java) S 3400 3408 3347 0 -1 1077944320 171421 0 0 0 239657 358 0 0 20 0 17 0 43630249 11189649408 575330 33554432000 4194304 4196468 140725158089440 140725158071984 139664530226935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
/proc/3408/statm: 2731848 575330 3198 1 0 2694339 0
[pid=3408/tid=3411] ppid=3400 vsize=10927392 memory=-6733704525061579059 CPUtime=2376.13 cores=0,2,4,6
/proc/3408/task/3411/stat : 3411 (java) S 3400 3408 3347 0 -1 1077944384 55151 0 0 0 237586 27 0 0 20 0 17 0 43630249 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664534469808 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3415] ppid=3400 vsize=10927392 memory=2196 CPUtime=4.56 cores=0,2,4,6
/proc/3408/task/3415/stat : 3415 (java) S 3400 3408 3347 0 -1 1077944384 13850 0 0 0 389 67 0 0 20 0 17 0 43630250 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664486780048 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3417] ppid=3400 vsize=10927392 memory=7380 CPUtime=4.54 cores=0,2,4,6
/proc/3408/task/3417/stat : 3417 (java) S 3400 3408 3347 0 -1 1077944384 12264 0 0 0 388 66 0 0 20 0 17 0 43630250 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664135478288 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3418] ppid=3400 vsize=10927392 memory=840 CPUtime=4.57 cores=0,2,4,6
/proc/3408/task/3418/stat : 3418 (java) S 3400 3408 3347 0 -1 1077944384 10991 0 0 0 387 70 0 0 20 0 17 0 43630250 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664134425488 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3419] ppid=3400 vsize=10927392 memory=4126316290023845779 CPUtime=4.56 cores=0,2,4,6
/proc/3408/task/3419/stat : 3419 (java) S 3400 3408 3347 0 -1 1077944384 14751 0 0 0 388 68 0 0 20 0 17 0 43630250 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664133372688 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3421] ppid=3400 vsize=10927392 memory=1788 CPUtime=0.3 cores=0,2,4,6
/proc/3408/task/3421/stat : 3421 (java) S 3400 3408 3347 0 -1 1077944384 37502 0 0 0 24 6 0 0 20 0 17 0 43630251 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664089954672 139664530238082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3423] ppid=3400 vsize=10927392 memory=644 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3423/stat : 3423 (java) S 3400 3408 3347 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 17 0 43630251 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664088900640 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3425] ppid=3400 vsize=10927392 memory=956 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3425/stat : 3425 (java) S 3400 3408 3347 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 43630252 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664087847792 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3426] ppid=3400 vsize=10927392 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3426/stat : 3426 (java) S 3400 3408 3347 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 17 0 43630254 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664086796112 139664530245531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3428] ppid=3400 vsize=10927392 memory=1572 CPUtime=1.69 cores=0,2,4,6
/proc/3408/task/3428/stat : 3428 (java) S 3400 3408 3347 0 -1 1077944384 7913 0 0 0 168 1 0 0 20 0 17 0 43630254 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664085744496 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3429] ppid=3400 vsize=10927392 memory=1424 CPUtime=1.78 cores=0,2,4,6
/proc/3408/task/3429/stat : 3429 (java) S 3400 3408 3347 0 -1 1077944384 6209 0 0 0 177 1 0 0 20 0 17 0 43630254 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664084691696 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3431] ppid=3400 vsize=10927392 memory=1232 CPUtime=0.58 cores=0,2,4,6
/proc/3408/task/3431/stat : 3431 (java) S 3400 3408 3347 0 -1 1077944384 8550 0 0 0 57 1 0 0 20 0 17 0 43630254 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664083638896 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3434] ppid=3400 vsize=10927392 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3434/stat : 3434 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 43630254 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664014961376 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3437] ppid=3400 vsize=10927392 memory=1956 CPUtime=1.34 cores=0,2,4,6
/proc/3408/task/3437/stat : 3437 (java) S 3400 3408 3347 0 -1 1077944384 2531 0 0 0 74 60 0 0 20 0 17 0 43630254 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664013908656 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3543] ppid=3400 vsize=10927392 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3543/stat : 3543 (java) S 3400 3408 3347 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 17 0 43868339 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664009703536 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3544] ppid=3400 vsize=10927392 memory=2301096 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3544/stat : 3544 (java) S 3400 3408 3347 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 43868339 11189649408 575330 33554432000 4194304 4196468 140725158089440 139664008651664 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
Current children cumulated CPU time: 2400.15 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2301320 KiB
[startup+2381.11 s]
/proc/loadavg: 1.98 1.99 1.95 3/223 3545
/proc/meminfo: memFree=13038192/32770624 swapFree=67108860/67108860
[pid=3408] ppid=3400 vsize=10927392 memory=2301412 CPUtime=2400.16 cores=0,2,4,6
/proc/3408/stat : 3408 (java) S 3400 3408 3347 0 -1 1077944320 171576 0 0 0 239658 358 0 0 20 0 17 0 43630249 11189649408 575353 33554432000 4194304 4196468 140725158089440 140725158071984 139664530226935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
/proc/3408/statm: 2731848 575353 3198 1 0 2694339 0
[pid=3408/tid=3411] ppid=3400 vsize=10927392 memory=2301056 CPUtime=2376.13 cores=0,2,4,6
/proc/3408/task/3411/stat : 3411 (java) S 3400 3408 3347 0 -1 1077944384 55151 0 0 0 237586 27 0 0 20 0 17 0 43630249 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664534469808 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3415] ppid=3400 vsize=10927392 memory=2301056 CPUtime=4.56 cores=0,2,4,6
/proc/3408/task/3415/stat : 3415 (java) S 3400 3408 3347 0 -1 1077944384 13850 0 0 0 389 67 0 0 20 0 17 0 43630250 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664486780048 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3417] ppid=3400 vsize=10927392 memory=2301096 CPUtime=4.54 cores=0,2,4,6
/proc/3408/task/3417/stat : 3417 (java) S 3400 3408 3347 0 -1 1077944384 12264 0 0 0 388 66 0 0 20 0 17 0 43630250 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664135478288 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3418] ppid=3400 vsize=10927392 memory=2301096 CPUtime=4.57 cores=0,2,4,6
/proc/3408/task/3418/stat : 3418 (java) S 3400 3408 3347 0 -1 1077944384 10991 0 0 0 387 70 0 0 20 0 17 0 43630250 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664134425488 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3419] ppid=3400 vsize=10927392 memory=239969 CPUtime=4.56 cores=0,2,4,6
/proc/3408/task/3419/stat : 3419 (java) S 3400 3408 3347 0 -1 1077944384 14751 0 0 0 388 68 0 0 20 0 17 0 43630250 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664133372688 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3421] ppid=3400 vsize=10927392 memory=2301096 CPUtime=0.3 cores=0,2,4,6
/proc/3408/task/3421/stat : 3421 (java) R 3400 3408 3347 0 -1 4202560 37502 0 0 0 24 6 0 0 20 0 17 0 43630251 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664089954672 139664522944087 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3423] ppid=3400 vsize=10927392 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3423/stat : 3423 (java) S 3400 3408 3347 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 17 0 43630251 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664088900640 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3425] ppid=3400 vsize=10927392 memory=2301056 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3425/stat : 3425 (java) S 3400 3408 3347 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 43630252 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664087847792 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3426] ppid=3400 vsize=10927392 memory=2301056 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3426/stat : 3426 (java) S 3400 3408 3347 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 17 0 43630254 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664086796112 139664530245531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3428] ppid=3400 vsize=10927392 memory=8112282956445269571 CPUtime=1.69 cores=0,2,4,6
/proc/3408/task/3428/stat : 3428 (java) S 3400 3408 3347 0 -1 1077944384 7913 0 0 0 168 1 0 0 20 0 17 0 43630254 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664085744496 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3429] ppid=3400 vsize=10927392 memory=132 CPUtime=1.78 cores=0,2,4,6
/proc/3408/task/3429/stat : 3429 (java) R 3400 3408 3347 0 -1 4202560 6211 0 0 0 177 1 0 0 20 0 17 0 43630254 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664084683232 139664514624151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3431] ppid=3400 vsize=10927392 memory=2301096 CPUtime=0.58 cores=0,2,4,6
/proc/3408/task/3431/stat : 3431 (java) S 3400 3408 3347 0 -1 1077944384 8623 0 0 0 57 1 0 0 20 0 17 0 43630254 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664083638896 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3434] ppid=3400 vsize=10927392 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3434/stat : 3434 (java) S 3400 3408 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 43630254 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664014961376 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3437] ppid=3400 vsize=10927392 memory=2301056 CPUtime=1.34 cores=0,2,4,6
/proc/3408/task/3437/stat : 3437 (java) S 3400 3408 3347 0 -1 1077944384 2531 0 0 0 74 60 0 0 20 0 17 0 43630254 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664013908656 139664530238082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3543] ppid=3400 vsize=10927392 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3543/stat : 3543 (java) S 3400 3408 3347 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 17 0 43868339 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664009703536 139664530237141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
[pid=3408/tid=3544] ppid=3400 vsize=10927392 memory=279421311705760 CPUtime=0 cores=0,2,4,6
/proc/3408/task/3544/stat : 3544 (java) R 3400 3408 3347 0 -1 4202560 105 0 0 0 0 0 0 0 20 0 17 0 43868339 11189649408 575353 33554432000 4194304 4196468 140725158089440 139664008640224 139664166049848 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30810112 140725158093937 140725158094089 140725158094089 140725158096847 0
Current children cumulated CPU time: 2400.16 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2301412 KiB
Child status: 143
Real time (s): 2381.13
CPU time (s): 2400.18
CPU user time (s): 2396.58
CPU system time (s): 3.59477
CPU usage (%): 100.8
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 3287072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.59
system time used= 3.59477
maximum resident set size= 3309892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55145
involuntary context switches= 1759
# summary of solver processes directly reported to runsolver:
# pid: 3408
# total CPU time (s): 2400.18
# total CPU user time (s): 2396.58
# total CPU system time (s): 3.59477
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1964 second user time and 23.1308 second system time
The end