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 (15415 MiB free)
memory of node 1: 16384 MiB (7791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263527-1502627234/watcher-4263527-1502627234 -o /tmp/evaluation-result-4263527-1502627234/solver-4263527-1502627234 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502623904-24884 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263527-1502627234.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=25347, runsolver pid=25344
Current StackSize limit: 8192 KiB
[startup+0.100199 s]*
/proc/loadavg: 4.95 3.47 2.66 7/200 25353
/proc/meminfo: memFree=23755244/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=10151676 memory=18488 CPUtime=0.02 cores=0,2,4,6
/proc/25347/stat : 25347 (java) S 25344 25347 11586 0 -1 1077944320 3956 0 0 0 2 0 0 0 20 0 9 0 51064054 10395316224 4620 18446744073709551615 4194304 4196468 140729840764976 140729840747520 140423283551991 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
/proc/25347/statm: 2537918 4622 2083 1 0 2527415 0
[pid=25347/tid=25349] ppid=25344 vsize=10151672 memory=-6439968830534014599 CPUtime=0.02 cores=0,2,4,6
/proc/25347/task/25349/stat : 25349 (java) R 25344 25347 11586 0 -1 4202560 2624 0 0 0 2 0 0 0 20 0 9 0 51064062 10395312128 4622 18446744073709551615 4194304 4196468 140729840764976 140423287787752 140423267632478 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25350] ppid=25344 vsize=10151672 memory=-5738297875903123798 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25350/stat : 25350 (java) S 25344 25347 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 51064063 10395312128 4622 18446744073709551615 4194304 4196468 140729840764976 140423224589072 140423283562197 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25351] ppid=25344 vsize=10151672 memory=140033180862080 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25351/stat : 25351 (java) S 25344 25347 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 51064063 10395312128 4622 18446744073709551615 4194304 4196468 140729840764976 140423223536528 140423283562197 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25352] ppid=25344 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25352/stat : 25352 (java) S 25344 25347 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 51064063 10395312128 4622 18446744073709551615 4194304 4196468 140729840764976 140423222483984 140423283562197 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25353] ppid=25344 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25353/stat : 25353 (java) S 25344 25347 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 51064063 10395312128 4622 18446744073709551615 4194304 4196468 140729840764976 140423221431440 140423283562197 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25354] ppid=25344 vsize=10151672 memory=140033180862080 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25354/stat : 25354 (java) S 25344 25347 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 51064065 10395312128 4622 18446744073709551615 4194304 4196468 140729840764976 140422780045296 140423283563138 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25355] ppid=25344 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25355/stat : 25355 (java) S 25344 25347 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 51064065 10395312128 4622 18446744073709551615 4194304 4196468 140729840764976 140422778991520 140423283562197 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25356] ppid=25344 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25356/stat : 25356 (java) S 25344 25347 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 51064065 10395312128 4622 18446744073709551615 4194304 4196468 140729840764976 140422777938992 140423283562197 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10151676 KiB
Current children cumulated memory: 18488 KiB
[startup+0.211748 s]*
/proc/loadavg: 4.95 3.47 2.66 6/209 25362
/proc/meminfo: memFree=23744568/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=10551156 memory=30360 CPUtime=0.12 cores=0,2,4,6
/proc/25347/stat : 25347 (java) S 25344 25347 11586 0 -1 1077944320 7695 0 0 0 10 2 0 0 20 0 15 0 51064054 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140729840747520 140423283551991 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
/proc/25347/statm: 2637789 7590 2801 1 0 2627261 0
[pid=25347/tid=25349] ppid=25344 vsize=10551156 memory=8318255677412212789 CPUtime=0.09 cores=0,2,4,6
/proc/25347/task/25349/stat : 25349 (java) R 25344 25347 11586 0 -1 4202560 5549 0 0 0 8 1 0 0 20 0 15 0 51064062 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140423287773120 140423267632478 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25350] ppid=25344 vsize=10551156 memory=288230591823085922 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25350/stat : 25350 (java) S 25344 25347 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51064063 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140423224589072 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25351] ppid=25344 vsize=10551156 memory=4192907548057403424 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25351/stat : 25351 (java) S 25344 25347 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51064063 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140423223536528 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25352] ppid=25344 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25352/stat : 25352 (java) S 25344 25347 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51064063 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140423222483984 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25353] ppid=25344 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25353/stat : 25353 (java) S 25344 25347 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51064063 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140423221431440 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25354] ppid=25344 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25354/stat : 25354 (java) S 25344 25347 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51064065 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140422780045296 140423283563138 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25355] ppid=25344 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25355/stat : 25355 (java) S 25344 25347 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51064065 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140422778991520 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25356] ppid=25344 vsize=10551156 memory=140033180862080 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25356/stat : 25356 (java) S 25344 25347 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51064065 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140422777938928 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25357] ppid=25344 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25357/stat : 25357 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51064068 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140422776887504 140423283570587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25358] ppid=25344 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25358/stat : 25358 (java) S 25344 25347 11586 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 51064068 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140422775835120 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25359] ppid=25344 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25359/stat : 25359 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51064068 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140422774782576 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25360] ppid=25344 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25347/task/25360/stat : 25360 (java) R 25344 25347 11586 0 -1 4202560 359 0 0 0 1 0 0 0 20 0 15 0 51064068 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140422773730032 140423275771228 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25361] ppid=25344 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25361/stat : 25361 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51064068 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140422772677728 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25362] ppid=25344 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25362/stat : 25362 (java) S 25344 25347 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51064071 10804383744 7590 18446744073709551615 4194304 4196468 140729840764976 140422771624240 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30360 KiB
[startup+0.310334 s]*
/proc/loadavg: 4.95 3.47 2.66 7/209 25362
/proc/meminfo: memFree=23737632/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=10551156 memory=39124 CPUtime=0.28 cores=0,2,4,6
/proc/25347/stat : 25347 (java) S 25344 25347 11586 0 -1 1077944320 9063 0 0 0 26 2 0 0 20 0 15 0 51064054 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140729840747520 140423283551991 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
/proc/25347/statm: 2637789 9781 2920 1 0 2627261 0
[pid=25347/tid=25349] ppid=25344 vsize=10551156 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/25347/task/25349/stat : 25349 (java) R 25344 25347 11586 0 -1 4202560 6146 0 0 0 17 2 0 0 20 0 15 0 51064062 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140423287789776 140422900227147 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25350] ppid=25344 vsize=10551156 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25350/stat : 25350 (java) S 25344 25347 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51064063 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140423224589072 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25351] ppid=25344 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25351/stat : 25351 (java) S 25344 25347 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51064063 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140423223536528 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25352] ppid=25344 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25352/stat : 25352 (java) S 25344 25347 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51064063 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140423222483984 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25353] ppid=25344 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25353/stat : 25353 (java) S 25344 25347 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51064063 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140423221431440 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25354] ppid=25344 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25354/stat : 25354 (java) S 25344 25347 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51064065 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140422780045296 140423283563138 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25355] ppid=25344 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25355/stat : 25355 (java) S 25344 25347 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51064065 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140422778991520 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25356] ppid=25344 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25356/stat : 25356 (java) S 25344 25347 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51064065 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140422777938928 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25357] ppid=25344 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25357/stat : 25357 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51064068 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140422776887504 140423283570587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25358] ppid=25344 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25347/task/25358/stat : 25358 (java) S 25344 25347 11586 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 15 0 51064068 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140422775835120 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25359] ppid=25344 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25347/task/25359/stat : 25359 (java) S 25344 25347 11586 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 15 0 51064068 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140422774782576 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25360] ppid=25344 vsize=10551156 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25347/task/25360/stat : 25360 (java) R 25344 25347 11586 0 -1 4202560 832 0 0 0 5 0 0 0 20 0 15 0 51064068 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140422773727696 140423262177232 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25361] ppid=25344 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25361/stat : 25361 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51064068 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140422772677728 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25362] ppid=25344 vsize=10551156 memory=140033180862080 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25362/stat : 25362 (java) S 25344 25347 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51064071 10804383744 9781 18446744073709551615 4194304 4196468 140729840764976 140422771624240 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39124 KiB
[startup+0.701582 s]
/proc/loadavg: 4.95 3.47 2.66 10/209 25362
/proc/meminfo: memFree=23721872/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=10551232 memory=88520 CPUtime=1.46 cores=0,2,4,6
/proc/25347/stat : 25347 (java) S 25344 25347 11586 0 -1 1077944320 12834 0 0 0 142 4 0 0 20 0 15 0 51064054 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140729840747520 140423283551991 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
/proc/25347/statm: 2637808 22130 3063 1 0 2627261 0
[pid=25347/tid=25349] ppid=25344 vsize=10551232 memory=79 CPUtime=0.57 cores=0,2,4,6
/proc/25347/task/25349/stat : 25349 (java) R 25344 25347 11586 0 -1 4202560 7463 0 0 0 55 2 0 0 20 0 15 0 51064062 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140423287784752 140422902280959 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25350] ppid=25344 vsize=10551232 memory=2 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25350/stat : 25350 (java) S 25344 25347 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51064063 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140423224589072 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25351] ppid=25344 vsize=10551232 memory=665 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25351/stat : 25351 (java) S 25344 25347 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51064063 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140423223536528 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25352] ppid=25344 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25352/stat : 25352 (java) S 25344 25347 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51064063 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140423222483984 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25353] ppid=25344 vsize=10551232 memory=7158583042315014230 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25353/stat : 25353 (java) S 25344 25347 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51064063 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140423221431440 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25354] ppid=25344 vsize=10551232 memory=6154820267226784105 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25354/stat : 25354 (java) S 25344 25347 11586 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 51064065 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140422780045296 140423283563138 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25355] ppid=25344 vsize=10551232 memory=6935649255811010640 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25355/stat : 25355 (java) S 25344 25347 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51064065 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140422778991520 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25356] ppid=25344 vsize=10551232 memory=7301858164987948385 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25356/stat : 25356 (java) S 25344 25347 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51064065 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140422777938928 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25357] ppid=25344 vsize=10551232 memory=-7028383565733675155 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25357/stat : 25357 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51064068 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140422776887504 140423283570587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25358] ppid=25344 vsize=10551232 memory=-9103030903824031093 CPUtime=0.31 cores=0,2,4,6
/proc/25347/task/25358/stat : 25358 (java) R 25344 25347 11586 0 -1 4202560 1297 0 0 0 31 0 0 0 20 0 15 0 51064068 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140422775821344 140423276648855 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25359] ppid=25344 vsize=10551232 memory=6944656592455360569 CPUtime=0.28 cores=0,2,4,6
/proc/25347/task/25359/stat : 25359 (java) R 25344 25347 11586 0 -1 4202560 991 0 0 0 28 0 0 0 20 0 15 0 51064068 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140422774775600 140423267050832 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25360] ppid=25344 vsize=10551232 memory=-7522837583129307271 CPUtime=0.27 cores=0,2,4,6
/proc/25347/task/25360/stat : 25360 (java) S 25344 25347 11586 0 -1 1077944384 1714 0 0 0 27 0 0 0 20 0 15 0 51064068 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140422773730032 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25361] ppid=25344 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25361/stat : 25361 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51064068 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140422772677728 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25362] ppid=25344 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25362/stat : 25362 (java) S 25344 25347 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51064071 10804461568 22130 18446744073709551615 4194304 4196468 140729840764976 140422771624240 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 88520 KiB
[startup+1.51159 s]
/proc/loadavg: 4.95 3.47 2.66 9/209 25362
/proc/meminfo: memFree=23546804/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=10551232 memory=438924 CPUtime=3.59 cores=0,2,4,6
/proc/25347/stat : 25347 (java) S 25344 25347 11586 0 -1 1077944320 14250 0 0 0 331 28 0 0 20 0 15 0 51064054 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140729840747520 140423283551991 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
/proc/25347/statm: 2637808 109731 3098 1 0 2627261 0
[pid=25347/tid=25349] ppid=25344 vsize=10551232 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/25347/task/25349/stat : 25349 (java) S 25344 25347 11586 0 -1 1077944384 7606 0 0 0 114 5 0 0 20 0 15 0 51064062 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140423287788544 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25350] ppid=25344 vsize=10551232 memory=246508 CPUtime=0.17 cores=0,2,4,6
/proc/25347/task/25350/stat : 25350 (java) R 25344 25347 11586 0 -1 4202560 152 0 0 0 13 4 0 0 20 0 15 0 51064063 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140423224589072 140423268579114 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25351] ppid=25344 vsize=10551232 memory=79 CPUtime=0.18 cores=0,2,4,6
/proc/25347/task/25351/stat : 25351 (java) R 25344 25347 11586 0 -1 4202560 179 0 0 0 13 5 0 0 20 0 15 0 51064063 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140423223536728 140423276648585 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25352] ppid=25344 vsize=10551232 memory=2 CPUtime=0.18 cores=0,2,4,6
/proc/25347/task/25352/stat : 25352 (java) R 25344 25347 11586 0 -1 4202560 147 0 0 0 13 5 0 0 20 0 15 0 51064063 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140423222483872 140423268579114 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25353] ppid=25344 vsize=10551232 memory=665 CPUtime=0.18 cores=0,2,4,6
/proc/25347/task/25353/stat : 25353 (java) R 25344 25347 11586 0 -1 4202560 146 0 0 0 13 5 0 0 20 0 15 0 51064063 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140423221431440 140423276648835 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25354] ppid=25344 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25354/stat : 25354 (java) S 25344 25347 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 51064065 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140422780043808 140423283562197 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25355] ppid=25344 vsize=10551232 memory=576461252103989788 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25355/stat : 25355 (java) S 25344 25347 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51064065 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140422778991520 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25356] ppid=25344 vsize=10551232 memory=288286671177540750 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25356/stat : 25356 (java) S 25344 25347 11586 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 51064065 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140422777938928 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25357] ppid=25344 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25357/stat : 25357 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51064068 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140422776887504 140423283570587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25358] ppid=25344 vsize=10551232 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/25347/task/25358/stat : 25358 (java) S 25344 25347 11586 0 -1 1077944384 1374 0 0 0 60 0 0 0 20 0 15 0 51064068 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140422775835120 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25359] ppid=25344 vsize=10551232 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/25347/task/25359/stat : 25359 (java) S 25344 25347 11586 0 -1 1077944384 1367 0 0 0 67 0 0 0 20 0 15 0 51064068 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140422774782576 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25360] ppid=25344 vsize=10551232 memory=-8774313645642428999 CPUtime=0.35 cores=0,2,4,6
/proc/25347/task/25360/stat : 25360 (java) S 25344 25347 11586 0 -1 1077944384 1834 0 0 0 34 1 0 0 20 0 15 0 51064068 10804461568 109731 18446744073709551615 4194304 4196468 140729840764976 140422773730032 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
################
# More data... #
################
/proc/25347/task/25351/stat : 25351 (java) S 25344 25347 11586 0 -1 1077944384 22894 0 0 0 1361 126 0 0 20 0 16 0 51064063 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140423223536528 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25352] ppid=25344 vsize=10617796 memory=5199064 CPUtime=14.9 cores=0,2,4,6
/proc/25347/task/25352/stat : 25352 (java) S 25344 25347 11586 0 -1 1077944384 19205 0 0 0 1363 127 0 0 20 0 16 0 51064063 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140423222483984 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25353] ppid=25344 vsize=10617796 memory=5198892 CPUtime=14.96 cores=0,2,4,6
/proc/25347/task/25353/stat : 25353 (java) S 25344 25347 11586 0 -1 1077944384 18304 0 0 0 1373 123 0 0 20 0 16 0 51064063 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140423221431440 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25354] ppid=25344 vsize=10617796 memory=5199064 CPUtime=4.35 cores=0,2,4,6
/proc/25347/task/25354/stat : 25354 (java) S 25344 25347 11586 0 -1 1077944384 15697 0 0 0 432 3 0 0 20 0 16 0 51064065 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422780045296 140423283563138 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25355] ppid=25344 vsize=10617796 memory=5199064 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25355/stat : 25355 (java) S 25344 25347 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 51064065 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422778991584 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25356] ppid=25344 vsize=10617796 memory=5199064 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25356/stat : 25356 (java) S 25344 25347 11586 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 51064065 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422777938944 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25357] ppid=25344 vsize=10617796 memory=5198892 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25357/stat : 25357 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 51064068 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422776887504 140423283570587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25358] ppid=25344 vsize=10617796 memory=5198892 CPUtime=1.95 cores=0,2,4,6
/proc/25347/task/25358/stat : 25358 (java) S 25344 25347 11586 0 -1 1077944384 8939 0 0 0 194 1 0 0 20 0 16 0 51064068 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422775835120 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25359] ppid=25344 vsize=10617796 memory=5199064 CPUtime=2.45 cores=0,2,4,6
/proc/25347/task/25359/stat : 25359 (java) S 25344 25347 11586 0 -1 1077944384 12057 0 0 0 243 2 0 0 20 0 16 0 51064068 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422774782576 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25360] ppid=25344 vsize=10617796 memory=5199064 CPUtime=0.56 cores=0,2,4,6
/proc/25347/task/25360/stat : 25360 (java) S 25344 25347 11586 0 -1 1077944384 4312 0 0 0 55 1 0 0 20 0 16 0 51064068 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422773730032 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25361] ppid=25344 vsize=10617796 memory=5199064 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25361/stat : 25361 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 51064068 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422772677728 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25362] ppid=25344 vsize=10617796 memory=5199064 CPUtime=1.5 cores=0,2,4,6
/proc/25347/task/25362/stat : 25362 (java) S 25344 25347 11586 0 -1 1077944384 2600 0 0 0 72 78 0 0 20 0 16 0 51064071 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422771624240 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25363] ppid=25344 vsize=10617796 memory=5199064 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25363/stat : 25363 (java) S 25344 25347 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 51065420 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422770570032 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
Current children cumulated CPU time: 2493.24 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 5199064 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2469.11 s]
/proc/loadavg: 1.98 2.07 2.16 3/211 25581
/proc/meminfo: memFree=22007568/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=10617796 memory=5199064 CPUtime=2520.07 cores=0,2,4,6
/proc/25347/stat : 25347 (java) S 25344 25347 11586 0 -1 1077944320 381461 0 0 0 251413 594 0 0 20 0 16 0 51064054 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140729840747520 140423283551991 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
/proc/25347/statm: 2654449 1299766 3146 1 0 2643902 0
[pid=25347/tid=25349] ppid=25344 vsize=10617796 memory=5199064 CPUtime=2449.53 cores=0,2,4,6
/proc/25347/task/25349/stat : 25349 (java) R 25344 25347 11586 0 -1 4202560 260277 0 0 0 244923 30 0 0 20 0 16 0 51064062 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140423287790944 140422904753329 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25350] ppid=25344 vsize=10617796 memory=5199064 CPUtime=14.89 cores=0,2,4,6
/proc/25347/task/25350/stat : 25350 (java) S 25344 25347 11586 0 -1 1077944384 15661 0 0 0 1369 120 0 0 20 0 16 0 51064063 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140423224589072 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25351] ppid=25344 vsize=10617796 memory=56 CPUtime=14.87 cores=0,2,4,6
/proc/25347/task/25351/stat : 25351 (java) S 25344 25347 11586 0 -1 1077944384 22894 0 0 0 1361 126 0 0 20 0 16 0 51064063 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140423223536528 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25352] ppid=25344 vsize=10617796 memory=5199064 CPUtime=14.9 cores=0,2,4,6
/proc/25347/task/25352/stat : 25352 (java) S 25344 25347 11586 0 -1 1077944384 19205 0 0 0 1363 127 0 0 20 0 16 0 51064063 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140423222483984 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25353] ppid=25344 vsize=10617796 memory=5199064 CPUtime=14.96 cores=0,2,4,6
/proc/25347/task/25353/stat : 25353 (java) S 25344 25347 11586 0 -1 1077944384 18304 0 0 0 1373 123 0 0 20 0 16 0 51064063 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140423221431440 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25354] ppid=25344 vsize=10617796 memory=5199064 CPUtime=4.35 cores=0,2,4,6
/proc/25347/task/25354/stat : 25354 (java) S 25344 25347 11586 0 -1 1077944384 15706 0 0 0 432 3 0 0 20 0 16 0 51064065 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422780045296 140423283563138 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25355] ppid=25344 vsize=10617796 memory=5199064 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25355/stat : 25355 (java) S 25344 25347 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 51064065 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422778991584 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25356] ppid=25344 vsize=10617796 memory=5199064 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25356/stat : 25356 (java) S 25344 25347 11586 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 51064065 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422777938944 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25357] ppid=25344 vsize=10617796 memory=5199064 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25357/stat : 25357 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 51064068 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422776887504 140423283570587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25358] ppid=25344 vsize=10617796 memory=5199064 CPUtime=1.96 cores=0,2,4,6
/proc/25347/task/25358/stat : 25358 (java) S 25344 25347 11586 0 -1 1077944384 8943 0 0 0 194 2 0 0 20 0 16 0 51064068 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422775835120 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25359] ppid=25344 vsize=10617796 memory=5199064 CPUtime=2.45 cores=0,2,4,6
/proc/25347/task/25359/stat : 25359 (java) S 25344 25347 11586 0 -1 1077944384 12062 0 0 0 243 2 0 0 20 0 16 0 51064068 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422774782576 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25360] ppid=25344 vsize=10617796 memory=5199064 CPUtime=0.56 cores=0,2,4,6
/proc/25347/task/25360/stat : 25360 (java) S 25344 25347 11586 0 -1 1077944384 4318 0 0 0 55 1 0 0 20 0 16 0 51064068 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422773730032 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25361] ppid=25344 vsize=10617796 memory=5199064 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25361/stat : 25361 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 51064068 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422772677728 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25362] ppid=25344 vsize=10617796 memory=288230574492221466 CPUtime=1.51 cores=0,2,4,6
/proc/25347/task/25362/stat : 25362 (java) S 25344 25347 11586 0 -1 1077944384 2639 0 0 0 73 78 0 0 20 0 16 0 51064071 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422771624240 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25363] ppid=25344 vsize=10617796 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25363/stat : 25363 (java) S 25344 25347 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 51065420 10872623104 1299766 18446744073709551615 4194304 4196468 140729840764976 140422770570032 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 5199064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2469.43 s]
# the end of solver process 25347 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.28 s, system=5.97786 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2469.21 s]
/proc/loadavg: 1.98 2.07 2.16 3/211 25581
/proc/meminfo: memFree=22007568/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=10817488 memory=5199420 CPUtime=2520.08 cores=0,2,4,6
/proc/25347/stat : 25347 (java) S 25344 25347 11586 0 -1 1077944320 382366 0 0 0 251414 594 0 0 20 0 17 0 51064054 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140729840747520 140423283551991 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
/proc/25347/statm: 2704372 1299855 3149 1 0 2693825 0
[pid=25347/tid=25349] ppid=25344 vsize=10817488 memory=8547710663883855229 CPUtime=2449.53 cores=0,2,4,6
/proc/25347/task/25349/stat : 25349 (java) S 25344 25347 11586 0 -1 1077944384 260346 0 0 0 244923 30 0 0 20 0 17 0 51064062 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140423287794864 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25350] ppid=25344 vsize=10817488 memory=-3472574944341025154 CPUtime=14.89 cores=0,2,4,6
/proc/25347/task/25350/stat : 25350 (java) S 25344 25347 11586 0 -1 1077944384 15661 0 0 0 1369 120 0 0 20 0 17 0 51064063 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140423224589072 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25351] ppid=25344 vsize=10817488 memory=609233304230588198 CPUtime=14.87 cores=0,2,4,6
/proc/25347/task/25351/stat : 25351 (java) S 25344 25347 11586 0 -1 1077944384 22894 0 0 0 1361 126 0 0 20 0 17 0 51064063 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140423223536528 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25352] ppid=25344 vsize=10817488 memory=8547710663883855229 CPUtime=14.9 cores=0,2,4,6
/proc/25347/task/25352/stat : 25352 (java) S 25344 25347 11586 0 -1 1077944384 19205 0 0 0 1363 127 0 0 20 0 17 0 51064063 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140423222483984 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25353] ppid=25344 vsize=10817488 memory=566027 CPUtime=14.96 cores=0,2,4,6
/proc/25347/task/25353/stat : 25353 (java) S 25344 25347 11586 0 -1 1077944384 18304 0 0 0 1373 123 0 0 20 0 17 0 51064063 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140423221431440 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25354] ppid=25344 vsize=10817488 memory=-9174445032661854264 CPUtime=4.35 cores=0,2,4,6
/proc/25347/task/25354/stat : 25354 (java) S 25344 25347 11586 0 -1 1077944384 15743 0 0 0 432 3 0 0 20 0 17 0 51064065 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140422780045296 140423283563138 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25355] ppid=25344 vsize=10817488 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25355/stat : 25355 (java) S 25344 25347 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 17 0 51064065 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140422778991584 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25356] ppid=25344 vsize=10817488 memory=-7097481891625773097 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25356/stat : 25356 (java) S 25344 25347 11586 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 17 0 51064065 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140422777938944 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25357] ppid=25344 vsize=10817488 memory=-3967418655009478193 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25357/stat : 25357 (java) S 25344 25347 11586 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 17 0 51064068 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140422776887504 140423283570587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25358] ppid=25344 vsize=10817488 memory=-3472574944341025154 CPUtime=1.96 cores=0,2,4,6
/proc/25347/task/25358/stat : 25358 (java) S 25344 25347 11586 0 -1 1077944384 8943 0 0 0 194 2 0 0 20 0 17 0 51064068 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140422775835120 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25359] ppid=25344 vsize=10817488 memory=-3967418655009478193 CPUtime=2.45 cores=0,2,4,6
/proc/25347/task/25359/stat : 25359 (java) S 25344 25347 11586 0 -1 1077944384 12062 0 0 0 243 2 0 0 20 0 17 0 51064068 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140422774782576 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25360] ppid=25344 vsize=10817488 memory=1156 CPUtime=0.56 cores=0,2,4,6
/proc/25347/task/25360/stat : 25360 (java) S 25344 25347 11586 0 -1 1077944384 4490 0 0 0 55 1 0 0 20 0 17 0 51064068 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140422773730032 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25361] ppid=25344 vsize=10817488 memory=3192 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25361/stat : 25361 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51064068 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140422772677728 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25362] ppid=25344 vsize=10817488 memory=4599888 CPUtime=1.51 cores=0,2,4,6
/proc/25347/task/25362/stat : 25362 (java) S 25344 25347 11586 0 -1 1077944384 2639 0 0 0 73 78 0 0 20 0 17 0 51064071 11077107712 1299855 18446744073709551615 4194304 4196468 140729840764976 140422771624240 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 5199420 KiB
[startup+2469.4 s]
/proc/loadavg: 1.98 2.07 2.16 3/211 25581
/proc/meminfo: memFree=22007568/32770624 swapFree=67108860/67108860
[pid=25347] ppid=25344 vsize=10817488 memory=5199504 CPUtime=2520.22 cores=0,2,4,6
/proc/25347/stat : 25347 (java) S 25344 25347 11586 0 -1 1077944320 384992 0 0 0 251427 595 0 0 20 0 17 0 51064054 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140729840747520 140423283551991 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
/proc/25347/statm: 2704372 1299876 3149 1 0 2693825 0
[pid=25347/tid=25349] ppid=25344 vsize=10817488 memory=-8774313645642428999 CPUtime=2449.53 cores=0,2,4,6
/proc/25347/task/25349/stat : 25349 (java) S 25344 25347 11586 0 -1 1077944384 260346 0 0 0 244923 30 0 0 20 0 17 0 51064062 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140423287794864 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25350] ppid=25344 vsize=10817488 memory=1232 CPUtime=14.89 cores=0,2,4,6
/proc/25347/task/25350/stat : 25350 (java) S 25344 25347 11586 0 -1 1077944384 15661 0 0 0 1369 120 0 0 20 0 17 0 51064063 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140423224589072 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25351] ppid=25344 vsize=10817488 memory=8900 CPUtime=14.87 cores=0,2,4,6
/proc/25347/task/25351/stat : 25351 (java) S 25344 25347 11586 0 -1 1077944384 22894 0 0 0 1361 126 0 0 20 0 17 0 51064063 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140423223536528 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25352] ppid=25344 vsize=10817488 memory=4616 CPUtime=14.9 cores=0,2,4,6
/proc/25347/task/25352/stat : 25352 (java) S 25344 25347 11586 0 -1 1077944384 19205 0 0 0 1363 127 0 0 20 0 17 0 51064063 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140423222483984 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25353] ppid=25344 vsize=10817488 memory=1440 CPUtime=14.96 cores=0,2,4,6
/proc/25347/task/25353/stat : 25353 (java) S 25344 25347 11586 0 -1 1077944384 18304 0 0 0 1373 123 0 0 20 0 17 0 51064063 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140423221431440 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25354] ppid=25344 vsize=10817488 memory=1204 CPUtime=4.35 cores=0,2,4,6
/proc/25347/task/25354/stat : 25354 (java) S 25344 25347 11586 0 -1 1077944384 15743 0 0 0 432 3 0 0 20 0 17 0 51064065 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140422780045296 140423283563138 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25355] ppid=25344 vsize=10817488 memory=5199064 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25355/stat : 25355 (java) S 25344 25347 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 17 0 51064065 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140422778991584 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25356] ppid=25344 vsize=10817488 memory=3196 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25356/stat : 25356 (java) S 25344 25347 11586 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 17 0 51064065 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140422777938944 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25357] ppid=25344 vsize=10817488 memory=5199064 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25357/stat : 25357 (java) S 25344 25347 11586 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 17 0 51064068 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140422776887504 140423283570587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25358] ppid=25344 vsize=10817488 memory=4064 CPUtime=1.97 cores=0,2,4,6
/proc/25347/task/25358/stat : 25358 (java) S 25344 25347 11586 0 -1 1077944384 9459 0 0 0 195 2 0 0 20 0 17 0 51064068 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140422775835120 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25359] ppid=25344 vsize=10817488 memory=5199064 CPUtime=2.47 cores=0,2,4,6
/proc/25347/task/25359/stat : 25359 (java) S 25344 25347 11586 0 -1 1077944384 12985 0 0 0 245 2 0 0 20 0 17 0 51064068 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140422774782576 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25360] ppid=25344 vsize=10817488 memory=4599888 CPUtime=0.56 cores=0,2,4,6
/proc/25347/task/25360/stat : 25360 (java) S 25344 25347 11586 0 -1 1077944384 5462 0 0 0 55 1 0 0 20 0 17 0 51064068 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140422773730032 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25361] ppid=25344 vsize=10817488 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/25347/task/25361/stat : 25361 (java) S 25344 25347 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 51064068 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140422772677728 140423283562197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
[pid=25347/tid=25362] ppid=25344 vsize=10817488 memory=5199064 CPUtime=1.51 cores=0,2,4,6
/proc/25347/task/25362/stat : 25362 (java) S 25344 25347 11586 0 -1 1077944384 2639 0 0 0 73 78 0 0 20 0 17 0 51064071 11077107712 1299876 18446744073709551615 4194304 4196468 140729840764976 140422771624240 140423283563138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20815872 140729840767376 140729840767529 140729840767529 140729840771023 0
Current children cumulated CPU time: 2520.22 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 5199504 KiB
Child status: 143
Real time (s): 2469.43
CPU time (s): 2520.26
CPU user time (s): 2514.28
CPU system time (s): 5.97786
CPU usage (%): 102.058
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 5199504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.28
system time used= 5.97786
maximum resident set size= 5199600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56781
involuntary context switches= 3444
# summary of solver processes directly reported to runsolver:
# pid: 25347
# total CPU time (s): 2520.26
# total CPU user time (s): 2514.28
# total CPU system time (s): 5.97786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.838 second user time and 24.7687 second system time
The end