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 (13125 MiB free)
memory of node 1: 16384 MiB (11045 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291918-1532263130/watcher-4291918-1532263130 -o /tmp/evaluation-result-4291918-1532263130/solver-4291918-1532263130 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532258378-5991 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4291918-1532263130.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=6460, runsolver pid=6457
[startup+0.100173 s]*
/proc/loadavg: 2.08 2.06 2.05 3/220 6475
/proc/meminfo: memFree=24732620/32770624 swapFree=67108860/67108860
[pid=6460] ppid=6457 vsize=10659012 memory=30092 CPUtime=0.13 cores=0,2,4,6
/proc/6460/stat : 6460 (java) S 6457 6460 5960 0 -1 1077944320 6602 0 0 0 12 1 0 0 20 0 15 0 43876221 10914828288 7523 33554432000 4194304 4196468 140729934248912 140729934231456 140561804271351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
/proc/6460/statm: 2664753 7523 2819 1 0 2627263 0
[pid=6460/tid=6462] ppid=6457 vsize=10659012 memory=-8535555468869596352 CPUtime=0.08 cores=0,2,4,6
/proc/6460/task/6462/stat : 6462 (java) R 6457 6460 5960 0 -1 4202560 4431 0 0 0 8 0 0 0 20 0 15 0 43876222 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561808476016 140561804293277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6463] ppid=6457 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6463/stat : 6463 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876223 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561411467920 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6464] ppid=6457 vsize=10659012 memory=140372746311296 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6464/stat : 6464 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876223 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561410415120 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6465] ppid=6457 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6465/stat : 6465 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876223 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561409362320 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6466] ppid=6457 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6466/stat : 6466 (java) S 6457 6460 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43876223 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561408309520 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6467] ppid=6457 vsize=10659012 memory=140372746311296 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6467/stat : 6467 (java) S 6457 6460 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43876224 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561296919408 140561804282498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6468] ppid=6457 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6468/stat : 6468 (java) S 6457 6460 5960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43876224 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561295865376 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6469] ppid=6457 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6469/stat : 6469 (java) S 6457 6460 5960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43876225 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561294812528 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6470] ppid=6457 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6470/stat : 6470 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43876227 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561293760848 140561804289947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6471] ppid=6457 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6471/stat : 6471 (java) S 6457 6460 5960 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 43876227 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561292708208 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6472] ppid=6457 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6472/stat : 6472 (java) S 6457 6460 5960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43876227 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561291655408 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6473] ppid=6457 vsize=10659012 memory=140372746311296 CPUtime=0.02 cores=0,2,4,6
/proc/6460/task/6473/stat : 6473 (java) R 6457 6460 5960 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 43876227 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561290602608 140561804283286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6474] ppid=6457 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6474/stat : 6474 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43876227 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561289550048 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6475] ppid=6457 vsize=10659012 memory=140372746311296 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6475/stat : 6475 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876227 10914828288 7523 33554432000 4194304 4196468 140729934248912 140561288498352 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30092 KiB
[startup+0.210825 s]*
/proc/loadavg: 2.08 2.06 2.05 5/220 6475
/proc/meminfo: memFree=24723184/32770624 swapFree=67108860/67108860
[pid=6460] ppid=6457 vsize=10659012 memory=41808 CPUtime=0.33 cores=0,2,4,6
/proc/6460/stat : 6460 (java) S 6457 6460 5960 0 -1 1077944320 8070 0 0 0 31 2 0 0 20 0 15 0 43876221 10914828288 10452 33554432000 4194304 4196468 140729934248912 140729934231456 140561804271351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
/proc/6460/statm: 2664753 10452 3008 1 0 2627263 0
[pid=6460/tid=6462] ppid=6457 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/6460/task/6462/stat : 6462 (java) R 6457 6460 5960 0 -1 4202560 5023 0 0 0 19 1 0 0 20 0 15 0 43876222 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561808507632 140561804293277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6463] ppid=6457 vsize=10659012 memory=345 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6463/stat : 6463 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876223 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561411467920 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6464] ppid=6457 vsize=10659012 memory=140372746317947 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6464/stat : 6464 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876223 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561410415120 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6465] ppid=6457 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6465/stat : 6465 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876223 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561409362320 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6466] ppid=6457 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6466/stat : 6466 (java) S 6457 6460 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43876223 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561408309520 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6467] ppid=6457 vsize=10659012 memory=140372746311296 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6467/stat : 6467 (java) S 6457 6460 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43876224 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561296919408 140561804282498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6468] ppid=6457 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6468/stat : 6468 (java) S 6457 6460 5960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43876224 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561295865376 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6469] ppid=6457 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6469/stat : 6469 (java) S 6457 6460 5960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43876225 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561294812528 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6470] ppid=6457 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6470/stat : 6470 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43876227 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561293760848 140561804289947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6471] ppid=6457 vsize=10659012 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6460/task/6471/stat : 6471 (java) S 6457 6460 5960 0 -1 1077944384 650 0 0 0 1 0 0 0 20 0 15 0 43876227 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561292708208 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6472] ppid=6457 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6460/task/6472/stat : 6472 (java) S 6457 6460 5960 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 15 0 43876227 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561291655408 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6473] ppid=6457 vsize=10659012 memory=140372746311296 CPUtime=0.07 cores=0,2,4,6
/proc/6460/task/6473/stat : 6473 (java) S 6457 6460 5960 0 -1 1077944384 699 0 0 0 7 0 0 0 20 0 15 0 43876227 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561290602608 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6474] ppid=6457 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6474/stat : 6474 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43876227 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561289550048 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6475] ppid=6457 vsize=10659012 memory=140372746311296 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6475/stat : 6475 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876227 10914828288 10452 33554432000 4194304 4196468 140729934248912 140561288498352 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41808 KiB
[startup+0.31731 s]*
/proc/loadavg: 2.08 2.06 2.05 6/220 6475
/proc/meminfo: memFree=24716236/32770624 swapFree=67108860/67108860
[pid=6460] ppid=6457 vsize=10659088 memory=47200 CPUtime=0.56 cores=0,2,4,6
/proc/6460/stat : 6460 (java) S 6457 6460 5960 0 -1 1077944320 8972 0 0 0 53 3 0 0 20 0 15 0 43876221 10914906112 11800 33554432000 4194304 4196468 140729934248912 140729934231456 140561804271351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
/proc/6460/statm: 2664772 11800 3056 1 0 2627263 0
[pid=6460/tid=6462] ppid=6457 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/6460/task/6462/stat : 6462 (java) R 6457 6460 5960 0 -1 4202560 5608 0 0 0 29 1 0 0 20 0 15 0 43876222 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561808507968 140561788314981 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6463] ppid=6457 vsize=10659088 memory=4294980951 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6463/stat : 6463 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876223 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561411467920 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6464] ppid=6457 vsize=10659088 memory=140372746566475 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6464/stat : 6464 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876223 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561410415120 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6465] ppid=6457 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6465/stat : 6465 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876223 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561409362320 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6466] ppid=6457 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6466/stat : 6466 (java) S 6457 6460 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43876223 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561408309520 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6467] ppid=6457 vsize=10659088 memory=140372746311296 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6467/stat : 6467 (java) S 6457 6460 5960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43876224 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561296919408 140561804282498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6468] ppid=6457 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6468/stat : 6468 (java) S 6457 6460 5960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43876224 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561295865376 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6469] ppid=6457 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6469/stat : 6469 (java) S 6457 6460 5960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43876225 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561294812528 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6470] ppid=6457 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6470/stat : 6470 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43876227 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561293760848 140561804289947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6471] ppid=6457 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6460/task/6471/stat : 6471 (java) R 6457 6460 5960 0 -1 4202560 725 0 0 0 4 0 0 0 20 0 15 0 43876227 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561292708208 140561796560800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6472] ppid=6457 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/6460/task/6472/stat : 6472 (java) R 6457 6460 5960 0 -1 4202560 449 0 0 0 4 0 0 0 20 0 15 0 43876227 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561291642144 140561781867504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6473] ppid=6457 vsize=10659088 memory=140372746311296 CPUtime=0.14 cores=0,2,4,6
/proc/6460/task/6473/stat : 6473 (java) R 6457 6460 5960 0 -1 4202560 841 0 0 0 14 0 0 0 20 0 15 0 43876227 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561290602608 140561784240127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6474] ppid=6457 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6474/stat : 6474 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43876227 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561289550048 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6475] ppid=6457 vsize=10659088 memory=140372746311296 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6475/stat : 6475 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876227 10914906112 11800 33554432000 4194304 4196468 140729934248912 140561288498352 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47200 KiB
[startup+0.700698 s]
/proc/loadavg: 2.08 2.06 2.05 6/220 6475
/proc/meminfo: memFree=24684996/32770624 swapFree=67108860/67108860
[pid=6460] ppid=6457 vsize=10661136 memory=127236 CPUtime=1.78 cores=0,2,4,6
/proc/6460/stat : 6460 (java) S 6457 6460 5960 0 -1 1077944320 12121 0 0 0 173 5 0 0 20 0 15 0 43876221 10917003264 31809 33554432000 4194304 4196468 140729934248912 140729934231456 140561804271351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
/proc/6460/statm: 2665284 31809 3107 1 0 2627775 0
[pid=6460/tid=6462] ppid=6457 vsize=10661136 memory=1236 CPUtime=0.68 cores=0,2,4,6
/proc/6460/task/6462/stat : 6462 (java) R 6457 6460 5960 0 -1 4202560 6058 0 0 0 65 3 0 0 20 0 15 0 43876222 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561808505696 140561804283286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6463] ppid=6457 vsize=10661136 memory=9204 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6463/stat : 6463 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876223 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561411467920 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6464] ppid=6457 vsize=10661136 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6464/stat : 6464 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876223 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561410415120 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6465] ppid=6457 vsize=10661136 memory=644 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6465/stat : 6465 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876223 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561409362320 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6466] ppid=6457 vsize=10661136 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6466/stat : 6466 (java) S 6457 6460 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43876223 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561408309520 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6467] ppid=6457 vsize=10661136 memory=956 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6467/stat : 6467 (java) S 6457 6460 5960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43876224 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561296919408 140561804282498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6468] ppid=6457 vsize=10661136 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6468/stat : 6468 (java) S 6457 6460 5960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43876224 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561295865376 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6469] ppid=6457 vsize=10661136 memory=928 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6469/stat : 6469 (java) S 6457 6460 5960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43876225 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561294812528 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6470] ppid=6457 vsize=10661136 memory=6153431502485415525 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6470/stat : 6470 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43876227 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561293760848 140561804289947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6471] ppid=6457 vsize=10661136 memory=7236558186460768598 CPUtime=0.37 cores=0,2,4,6
/proc/6460/task/6471/stat : 6471 (java) R 6457 6460 5960 0 -1 4202560 1517 0 0 0 37 0 0 0 20 0 15 0 43876227 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561292695520 140561783527722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6472] ppid=6457 vsize=10661136 memory=6076878065162868073 CPUtime=0.32 cores=0,2,4,6
/proc/6460/task/6472/stat : 6472 (java) R 6457 6460 5960 0 -1 4202560 1323 0 0 0 32 0 0 0 20 0 15 0 43876227 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561291633840 140561787682329 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6473] ppid=6457 vsize=10661136 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/6460/task/6473/stat : 6473 (java) R 6457 6460 5960 0 -1 1077944384 1852 0 0 0 37 0 0 0 20 0 15 0 43876227 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561290602608 140561804282498 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6474] ppid=6457 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6474/stat : 6474 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43876227 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561289550048 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6475] ppid=6457 vsize=10661136 memory=10416 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6475/stat : 6475 (java) S 6457 6460 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43876227 10917003264 31809 33554432000 4194304 4196468 140729934248912 140561288498352 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 127236 KiB
[startup+1.50135 s]
/proc/loadavg: 2.24 2.09 2.06 6/220 6475
/proc/meminfo: memFree=24537236/32770624 swapFree=67108860/67108860
[pid=6460] ppid=6457 vsize=10661136 memory=384528 CPUtime=4.08 cores=0,2,4,6
/proc/6460/stat : 6460 (java) S 6457 6460 5960 0 -1 1077944320 15501 0 0 0 386 22 0 0 20 0 15 0 43876221 10917003264 96132 33554432000 4194304 4196468 140729934248912 140729934231456 140561804271351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
/proc/6460/statm: 2665284 96132 3144 1 0 2627775 0
[pid=6460/tid=6462] ppid=6457 vsize=10661136 memory=308392 CPUtime=1.32 cores=0,2,4,6
/proc/6460/task/6462/stat : 6462 (java) R 6457 6460 5960 0 -1 4202560 6156 0 0 0 128 4 0 0 20 0 15 0 43876222 10917003264 96132 33554432000 4194304 4196468 140729934248912 140561808503608 140561786218637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6463] ppid=6457 vsize=10661136 memory=8112282956445269571 CPUtime=0.14 cores=0,2,4,6
/proc/6460/task/6463/stat : 6463 (java) S 6457 6460 5960 0 -1 1077944384 156 0 0 0 11 3 0 0 20 0 15 0 43876223 10917003264 96132 33554432000 4194304 4196468 140729934248912 140561411467920 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6464] ppid=6457 vsize=10661136 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6460/task/6464/stat : 6464 (java) S 6457 6460 5960 0 -1 1077944384 116 0 0 0 10 3 0 0 20 0 15 0 43876223 10917003264 96132 33554432000 4194304 4196468 140729934248912 140561410415120 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6465] ppid=6457 vsize=10661136 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6460/task/6465/stat : 6465 (java) S 6457 6460 5960 0 -1 1077944384 146 0 0 0 10 3 0 0 20 0 15 0 43876223 10917003264 96132 33554432000 4194304 4196468 140729934248912 140561409362320 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6466] ppid=6457 vsize=10661136 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/6460/task/6466/stat : 6466 (java) S 6457 6460 5960 0 -1 1077944384 127 0 0 0 11 3 0 0 20 0 15 0 43876223 10917003264 96132 33554432000 4194304 4196468 140729934248912 140561408309520 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6467] ppid=6457 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6467/stat : 6467 (java) S 6457 6460 5960 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 43876224 10917003264 96132 33554432000 4194304 4196468 140729934248912 140561296919408 140561804282498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
################
# More data... #
################
/proc/6460/task/6468/stat : 6468 (java) S 6457 6460 5960 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 43876224 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561295865440 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6469] ppid=6457 vsize=10727700 memory=5281640 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6469/stat : 6469 (java) S 6457 6460 5960 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 43876225 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561294812528 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6470] ppid=6457 vsize=10727700 memory=5281640 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6470/stat : 6470 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43876227 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561293760848 140561804289947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6471] ppid=6457 vsize=10727700 memory=5281640 CPUtime=2.17 cores=0,2,4,6
/proc/6460/task/6471/stat : 6471 (java) S 6457 6460 5960 0 -1 1077944384 14015 0 0 0 215 2 0 0 20 0 16 0 43876227 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561292708208 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6472] ppid=6457 vsize=10727700 memory=2396 CPUtime=2.32 cores=0,2,4,6
/proc/6460/task/6472/stat : 6472 (java) S 6457 6460 5960 0 -1 1077944384 10279 0 0 0 230 2 0 0 20 0 16 0 43876227 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561291655408 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6473] ppid=6457 vsize=10727700 memory=4096 CPUtime=0.63 cores=0,2,4,6
/proc/6460/task/6473/stat : 6473 (java) S 6457 6460 5960 0 -1 1077944384 6137 0 0 0 62 1 0 0 20 0 16 0 43876227 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561290602608 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6474] ppid=6457 vsize=10727700 memory=15144 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6474/stat : 6474 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43876227 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561289550048 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6475] ppid=6457 vsize=10727700 memory=1292 CPUtime=1.21 cores=0,2,4,6
/proc/6460/task/6475/stat : 6475 (java) S 6457 6460 5960 0 -1 1077944384 2256 0 0 0 59 62 0 0 20 0 16 0 43876227 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561288498352 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6555] ppid=6457 vsize=10727700 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6555/stat : 6555 (java) S 6457 6460 5960 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 43878878 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561285346736 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
Current children cumulated CPU time: 2389.4 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 5281640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2332.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/222 6734
/proc/meminfo: memFree=20059180/32770624 swapFree=67108860/67108860
[pid=6460] ppid=6457 vsize=10727700 memory=5281640 CPUtime=2400.01 cores=0,2,4,6
/proc/6460/stat : 6460 (java) S 6457 6460 5960 0 -1 1077944320 891912 0 0 0 239432 569 0 0 20 0 16 0 43876221 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140729934231456 140561804271351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
/proc/6460/statm: 2681925 1320410 3185 1 0 2644416 0
[pid=6460/tid=6462] ppid=6457 vsize=10727700 memory=5281640 CPUtime=2305.19 cores=0,2,4,6
/proc/6460/task/6462/stat : 6462 (java) R 6457 6460 5960 0 -1 4202560 742641 0 0 0 230454 65 0 0 20 0 16 0 43876222 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561808510272 140561418237988 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6463] ppid=6457 vsize=10727700 memory=5281640 CPUtime=20.37 cores=0,2,4,6
/proc/6460/task/6463/stat : 6463 (java) S 6457 6460 5960 0 -1 1077944384 23944 0 0 0 1927 110 0 0 20 0 16 0 43876223 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561411467920 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6464] ppid=6457 vsize=10727700 memory=5281640 CPUtime=20.38 cores=0,2,4,6
/proc/6460/task/6464/stat : 6464 (java) S 6457 6460 5960 0 -1 1077944384 25834 0 0 0 1929 109 0 0 20 0 16 0 43876223 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561410415120 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6465] ppid=6457 vsize=10727700 memory=5281640 CPUtime=20.21 cores=0,2,4,6
/proc/6460/task/6465/stat : 6465 (java) S 6457 6460 5960 0 -1 1077944384 25291 0 0 0 1907 114 0 0 20 0 16 0 43876223 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561409362320 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6466] ppid=6457 vsize=10727700 memory=5281640 CPUtime=20.23 cores=0,2,4,6
/proc/6460/task/6466/stat : 6466 (java) S 6457 6460 5960 0 -1 1077944384 22777 0 0 0 1913 110 0 0 20 0 16 0 43876223 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561408309520 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6467] ppid=6457 vsize=10727700 memory=5281640 CPUtime=7.2 cores=0,2,4,6
/proc/6460/task/6467/stat : 6467 (java) S 6457 6460 5960 0 -1 1077944384 17330 0 0 0 717 3 0 0 20 0 16 0 43876224 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561296919408 140561804282498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6468] ppid=6457 vsize=10727700 memory=5281640 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6468/stat : 6468 (java) S 6457 6460 5960 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 43876224 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561295865440 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6469] ppid=6457 vsize=10727700 memory=15144 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6469/stat : 6469 (java) S 6457 6460 5960 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 43876225 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561294812528 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6470] ppid=6457 vsize=10727700 memory=2396 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6470/stat : 6470 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43876227 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561293760848 140561804289947 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6471] ppid=6457 vsize=10727700 memory=5281640 CPUtime=2.17 cores=0,2,4,6
/proc/6460/task/6471/stat : 6471 (java) S 6457 6460 5960 0 -1 1077944384 14015 0 0 0 215 2 0 0 20 0 16 0 43876227 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561292708208 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6472] ppid=6457 vsize=10727700 memory=0 CPUtime=2.32 cores=0,2,4,6
/proc/6460/task/6472/stat : 6472 (java) S 6457 6460 5960 0 -1 1077944384 10279 0 0 0 230 2 0 0 20 0 16 0 43876227 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561291655408 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6473] ppid=6457 vsize=10727700 memory=288230574492221466 CPUtime=0.63 cores=0,2,4,6
/proc/6460/task/6473/stat : 6473 (java) S 6457 6460 5960 0 -1 1077944384 6137 0 0 0 62 1 0 0 20 0 16 0 43876227 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561290602608 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6474] ppid=6457 vsize=10727700 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6474/stat : 6474 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43876227 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561289550048 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6475] ppid=6457 vsize=10727700 memory=5281640 CPUtime=1.21 cores=0,2,4,6
/proc/6460/task/6475/stat : 6475 (java) S 6457 6460 5960 0 -1 1077944384 2258 0 0 0 59 62 0 0 20 0 16 0 43876227 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561288498352 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6555] ppid=6457 vsize=10727700 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6555/stat : 6555 (java) S 6457 6460 5960 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 43878878 10985164800 1320410 33554432000 4194304 4196468 140729934248912 140561285346736 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 5281640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2333.18 s]
# the end of solver process 6460 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2394.65 s, system=5.71855 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2333.01 s]*
/proc/loadavg: 2.00 2.01 2.05 3/223 6737
/proc/meminfo: memFree=20059008/32770624 swapFree=67108860/67108860
[pid=6460] ppid=6457 vsize=10927392 memory=5281940 CPUtime=2400.13 cores=0,2,4,6
/proc/6460/stat : 6460 (java) S 6457 6460 5960 0 -1 1077944320 893366 0 0 0 239444 569 0 0 20 0 17 0 43876221 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140729934231456 140561804271351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
/proc/6460/statm: 2731848 1320485 3188 1 0 2694339 0
[pid=6460/tid=6462] ppid=6457 vsize=10927392 memory=8112282956445269571 CPUtime=2305.3 cores=0,2,4,6
/proc/6460/task/6462/stat : 6462 (java) R 6457 6460 5960 0 -1 4202560 742890 0 0 0 230465 65 0 0 20 0 17 0 43876222 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561808507680 140561411811190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6463] ppid=6457 vsize=10927392 memory=8112282956445269571 CPUtime=20.37 cores=0,2,4,6
/proc/6460/task/6463/stat : 6463 (java) S 6457 6460 5960 0 -1 1077944384 23944 0 0 0 1927 110 0 0 20 0 17 0 43876223 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561411467920 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6464] ppid=6457 vsize=10927392 memory=1408 CPUtime=20.38 cores=0,2,4,6
/proc/6460/task/6464/stat : 6464 (java) S 6457 6460 5960 0 -1 1077944384 25834 0 0 0 1929 109 0 0 20 0 17 0 43876223 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561410415120 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6465] ppid=6457 vsize=10927392 memory=5281640 CPUtime=20.21 cores=0,2,4,6
/proc/6460/task/6465/stat : 6465 (java) S 6457 6460 5960 0 -1 1077944384 25291 0 0 0 1907 114 0 0 20 0 17 0 43876223 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561409362320 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6466] ppid=6457 vsize=10927392 memory=4126316290023845779 CPUtime=20.23 cores=0,2,4,6
/proc/6460/task/6466/stat : 6466 (java) S 6457 6460 5960 0 -1 1077944384 22777 0 0 0 1913 110 0 0 20 0 17 0 43876223 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561408309520 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6467] ppid=6457 vsize=10927392 memory=4616 CPUtime=7.2 cores=0,2,4,6
/proc/6460/task/6467/stat : 6467 (java) S 6457 6460 5960 0 -1 1077944384 17369 0 0 0 717 3 0 0 20 0 17 0 43876224 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561296919408 140561804282498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6468] ppid=6457 vsize=10927392 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6468/stat : 6468 (java) S 6457 6460 5960 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 17 0 43876224 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561295865440 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6469] ppid=6457 vsize=10927392 memory=10940 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6469/stat : 6469 (java) S 6457 6460 5960 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 43876225 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561294812528 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6470] ppid=6457 vsize=10927392 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6470/stat : 6470 (java) S 6457 6460 5960 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 17 0 43876227 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561293760848 140561804289947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6471] ppid=6457 vsize=10927392 memory=1228 CPUtime=2.17 cores=0,2,4,6
/proc/6460/task/6471/stat : 6471 (java) S 6457 6460 5960 0 -1 1077944384 14123 0 0 0 215 2 0 0 20 0 17 0 43876227 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561292708208 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6472] ppid=6457 vsize=10927392 memory=1704 CPUtime=2.32 cores=0,2,4,6
/proc/6460/task/6472/stat : 6472 (java) S 6457 6460 5960 0 -1 1077944384 10542 0 0 0 230 2 0 0 20 0 17 0 43876227 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561291655408 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6473] ppid=6457 vsize=10927392 memory=1948 CPUtime=0.63 cores=0,2,4,6
/proc/6460/task/6473/stat : 6473 (java) S 6457 6460 5960 0 -1 1077944384 6319 0 0 0 62 1 0 0 20 0 17 0 43876227 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561290602608 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6474] ppid=6457 vsize=10927392 memory=10416 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6474/stat : 6474 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 43876227 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561289550048 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6475] ppid=6457 vsize=10927392 memory=15872 CPUtime=1.21 cores=0,2,4,6
/proc/6460/task/6475/stat : 6475 (java) S 6457 6460 5960 0 -1 1077944384 2258 0 0 0 59 62 0 0 20 0 17 0 43876227 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561288498352 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6735] ppid=6457 vsize=10927392 memory=18476 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6735/stat : 6735 (java) S 6457 6460 5960 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 17 0 44109512 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561284293232 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6736] ppid=6457 vsize=10927392 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6736/stat : 6736 (java) S 6457 6460 5960 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 17 0 44109512 11189649408 1320485 33554432000 4194304 4196468 140729934248912 140561283241360 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
Current children cumulated CPU time: 2400.13 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 5281940 KiB
[startup+2333.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/223 6737
/proc/meminfo: memFree=20059008/32770624 swapFree=67108860/67108860
[pid=6460] ppid=6457 vsize=10927392 memory=5281948 CPUtime=2400.24 cores=0,2,4,6
/proc/6460/stat : 6460 (java) S 6457 6460 5960 0 -1 1077944320 893521 0 0 0 239455 569 0 0 20 0 17 0 43876221 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140729934231456 140561804271351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
/proc/6460/statm: 2731848 1320487 3188 1 0 2694339 0
[pid=6460/tid=6462] ppid=6457 vsize=10927392 memory=5281640 CPUtime=2305.4 cores=0,2,4,6
/proc/6460/task/6462/stat : 6462 (java) R 6457 6460 5960 0 -1 4202560 742946 0 0 0 230475 65 0 0 20 0 17 0 43876222 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561808507680 140561411811214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6463] ppid=6457 vsize=10927392 memory=5281640 CPUtime=20.37 cores=0,2,4,6
/proc/6460/task/6463/stat : 6463 (java) S 6457 6460 5960 0 -1 1077944384 23944 0 0 0 1927 110 0 0 20 0 17 0 43876223 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561411467920 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6464] ppid=6457 vsize=10927392 memory=5281640 CPUtime=20.38 cores=0,2,4,6
/proc/6460/task/6464/stat : 6464 (java) S 6457 6460 5960 0 -1 1077944384 25834 0 0 0 1929 109 0 0 20 0 17 0 43876223 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561410415120 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6465] ppid=6457 vsize=10927392 memory=5281640 CPUtime=20.21 cores=0,2,4,6
/proc/6460/task/6465/stat : 6465 (java) S 6457 6460 5960 0 -1 1077944384 25291 0 0 0 1907 114 0 0 20 0 17 0 43876223 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561409362320 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6466] ppid=6457 vsize=10927392 memory=5281640 CPUtime=20.23 cores=0,2,4,6
/proc/6460/task/6466/stat : 6466 (java) S 6457 6460 5960 0 -1 1077944384 22777 0 0 0 1913 110 0 0 20 0 17 0 43876223 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561408309520 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6467] ppid=6457 vsize=10927392 memory=5281640 CPUtime=7.2 cores=0,2,4,6
/proc/6460/task/6467/stat : 6467 (java) S 6457 6460 5960 0 -1 1077944384 17369 0 0 0 717 3 0 0 20 0 17 0 43876224 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561296919408 140561804282498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6468] ppid=6457 vsize=10927392 memory=9232 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6468/stat : 6468 (java) S 6457 6460 5960 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 17 0 43876224 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561295865440 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6469] ppid=6457 vsize=10927392 memory=5281640 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6469/stat : 6469 (java) S 6457 6460 5960 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 43876225 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561294812528 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6470] ppid=6457 vsize=10927392 memory=5281640 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6470/stat : 6470 (java) S 6457 6460 5960 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 17 0 43876227 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561293760848 140561804289947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6471] ppid=6457 vsize=10927392 memory=0 CPUtime=2.17 cores=0,2,4,6
/proc/6460/task/6471/stat : 6471 (java) S 6457 6460 5960 0 -1 1077944384 14127 0 0 0 215 2 0 0 20 0 17 0 43876227 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561292708208 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6472] ppid=6457 vsize=10927392 memory=288230574492221466 CPUtime=2.32 cores=0,2,4,6
/proc/6460/task/6472/stat : 6472 (java) S 6457 6460 5960 0 -1 1077944384 10542 0 0 0 230 2 0 0 20 0 17 0 43876227 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561291655408 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6473] ppid=6457 vsize=10927392 memory=288230583166042426 CPUtime=0.63 cores=0,2,4,6
/proc/6460/task/6473/stat : 6473 (java) S 6457 6460 5960 0 -1 1077944384 6319 0 0 0 62 1 0 0 20 0 17 0 43876227 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561290602608 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6474] ppid=6457 vsize=10927392 memory=5281640 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6474/stat : 6474 (java) S 6457 6460 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 43876227 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561289550048 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6475] ppid=6457 vsize=10927392 memory=4096 CPUtime=1.21 cores=0,2,4,6
/proc/6460/task/6475/stat : 6475 (java) S 6457 6460 5960 0 -1 1077944384 2258 0 0 0 59 62 0 0 20 0 17 0 43876227 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561288498352 140561804282498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6735] ppid=6457 vsize=10927392 memory=15144 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6735/stat : 6735 (java) S 6457 6460 5960 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 17 0 44109512 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561284293232 140561804281557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
[pid=6460/tid=6736] ppid=6457 vsize=10927392 memory=2396 CPUtime=0 cores=0,2,4,6
/proc/6460/task/6736/stat : 6736 (java) R 6457 6460 5960 0 -1 4202560 169 0 0 0 0 0 0 0 20 0 17 0 44109512 11189649408 1320487 33554432000 4194304 4196468 140729934248912 140561283241360 140561411615771 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18669568 140729934255217 140729934255369 140729934255369 140729934258127 0
Current children cumulated CPU time: 2400.24 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 5281948 KiB
Child status: 143
Real time (s): 2333.18
CPU time (s): 2400.36
CPU user time (s): 2394.65
CPU system time (s): 5.71855
CPU usage (%): 102.879
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 5281948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.65
system time used= 5.71855
maximum resident set size= 5282208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 894715
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54153
involuntary context switches= 1781
# summary of solver processes directly reported to runsolver:
# pid: 6460
# total CPU time (s): 2400.36
# total CPU user time (s): 2394.65
# total CPU system time (s): 5.71855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3429 second user time and 21.0496 second system time
The end