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 (7836 MiB free)
memory of node 1: 16384 MiB (7062 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290002-1532218137/watcher-4290002-1532218137 -o /tmp/evaluation-result-4290002-1532218137/solver-4290002-1532218137 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532209713-28358 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290002-1532218137.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
solver pid=29495, runsolver pid=29492
Current StackSize limit: 8192 KiB
[startup+0.101514 s]*
/proc/loadavg: 2.17 2.32 2.54 2/221 29510
/proc/meminfo: memFree=15239428/32770624 swapFree=67108860/67108860
[pid=29495] ppid=29492 vsize=10659012 memory=30680 CPUtime=0.12 cores=0,2,4,6
/proc/29495/stat : 29495 (java) S 29492 29495 26255 0 -1 1077944320 6745 0 0 0 11 1 0 0 20 0 15 0 39376890 10914828288 7670 33554432000 4194304 4196468 140723054467488 140723054450032 140680044179191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
/proc/29495/statm: 2664753 7670 2846 1 0 2627263 0
[pid=29495/tid=29497] ppid=29492 vsize=10659012 memory=-8773748148830113149 CPUtime=0.09 cores=0,2,4,6
/proc/29495/task/29497/stat : 29497 (java) R 29492 29495 26255 0 -1 4202560 4573 0 0 0 9 0 0 0 20 0 15 0 39376890 10914828288 7670 33554432000 4194304 4196468 140723054467488 140680048403888 140680044191126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29498] ppid=29492 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29498/stat : 29498 (java) S 29492 29495 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39376891 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679980869904 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29499] ppid=29492 vsize=10659012 memory=140554779870848 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29499/stat : 29499 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376891 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679979817360 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29500] ppid=29492 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29500/stat : 29500 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376891 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679978764816 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29501] ppid=29492 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29501/stat : 29501 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376891 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679977712272 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29502] ppid=29492 vsize=10659012 memory=140554779870848 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29502/stat : 29502 (java) S 29492 29495 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39376892 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679536454128 140680044190338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29503] ppid=29492 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29503/stat : 29503 (java) S 29492 29495 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39376893 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679535400352 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29504] ppid=29492 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29504/stat : 29504 (java) S 29492 29495 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39376893 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679534347760 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29505] ppid=29492 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29505/stat : 29505 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39376895 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679533296336 140680044197787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29506] ppid=29492 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29506/stat : 29506 (java) S 29492 29495 26255 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 39376895 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679532242928 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29507] ppid=29492 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29507/stat : 29507 (java) S 29492 29495 26255 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 39376895 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679531190384 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29508] ppid=29492 vsize=10659012 memory=140554779870848 CPUtime=0.02 cores=0,2,4,6
/proc/29495/task/29508/stat : 29508 (java) R 29492 29495 26255 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 39376895 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679530137840 140680044200538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29509] ppid=29492 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29509/stat : 29509 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39376896 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679529085536 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29510] ppid=29492 vsize=10659012 memory=140554779870848 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29510/stat : 29510 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376896 10914828288 7670 33554432000 4194304 4196468 140723054467488 140679528033072 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30680 KiB
[startup+0.210696 s]*
/proc/loadavg: 2.17 2.32 2.54 3/221 29510
/proc/meminfo: memFree=15229448/32770624 swapFree=67108860/67108860
[pid=29495] ppid=29492 vsize=10659012 memory=41608 CPUtime=0.33 cores=0,2,4,6
/proc/29495/stat : 29495 (java) S 29492 29495 26255 0 -1 1077944320 8058 0 0 0 31 2 0 0 20 0 15 0 39376890 10914828288 10402 33554432000 4194304 4196468 140723054467488 140723054450032 140680044179191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
/proc/29495/statm: 2664753 10402 2993 1 0 2627263 0
[pid=29495/tid=29497] ppid=29492 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29495/task/29497/stat : 29497 (java) R 29492 29495 26255 0 -1 4202560 5015 0 0 0 19 1 0 0 20 0 15 0 39376890 10914828288 10402 33554432000 4194304 4196468 140723054467488 140680048415472 140680028222821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29498] ppid=29492 vsize=10659012 memory=339 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29498/stat : 29498 (java) S 29492 29495 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39376891 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679980869904 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29499] ppid=29492 vsize=10659012 memory=288370930931582592 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29499/stat : 29499 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376891 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679979817360 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29500] ppid=29492 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29500/stat : 29500 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376891 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679978764816 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29501] ppid=29492 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29501/stat : 29501 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376891 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679977712272 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29502] ppid=29492 vsize=10659012 memory=140554779870848 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29502/stat : 29502 (java) S 29492 29495 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39376892 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679536454128 140680044190338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29503] ppid=29492 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29503/stat : 29503 (java) S 29492 29495 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39376893 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679535400352 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29504] ppid=29492 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29504/stat : 29504 (java) S 29492 29495 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39376893 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679534347760 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29505] ppid=29492 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29505/stat : 29505 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39376895 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679533296336 140680044197787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29506] ppid=29492 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29495/task/29506/stat : 29506 (java) S 29492 29495 26255 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 39376895 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679532242928 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29507] ppid=29492 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29495/task/29507/stat : 29507 (java) S 29492 29495 26255 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 15 0 39376895 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679531190384 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29508] ppid=29492 vsize=10659012 memory=140554779870848 CPUtime=0.07 cores=0,2,4,6
/proc/29495/task/29508/stat : 29508 (java) R 29492 29495 26255 0 -1 4202560 702 0 0 0 7 0 0 0 20 0 15 0 39376895 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679530137840 140680028756289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29509] ppid=29492 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29509/stat : 29509 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39376896 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679529085536 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29510] ppid=29492 vsize=10659012 memory=140554779870848 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29510/stat : 29510 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376896 10914828288 10402 33554432000 4194304 4196468 140723054467488 140679528033072 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41608 KiB
[startup+0.316061 s]*
/proc/loadavg: 2.17 2.32 2.54 6/221 29510
/proc/meminfo: memFree=15221880/32770624 swapFree=67108860/67108860
[pid=29495] ppid=29492 vsize=10659088 memory=49168 CPUtime=0.54 cores=0,2,4,6
/proc/29495/stat : 29495 (java) S 29492 29495 26255 0 -1 1077944320 8868 0 0 0 51 3 0 0 20 0 15 0 39376890 10914906112 12292 33554432000 4194304 4196468 140723054467488 140723054450032 140680044179191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
/proc/29495/statm: 2664772 12292 3061 1 0 2627263 0
[pid=29495/tid=29497] ppid=29492 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/29495/task/29497/stat : 29497 (java) R 29492 29495 26255 0 -1 4202560 5595 0 0 0 29 1 0 0 20 0 15 0 39376890 10914906112 12292 33554432000 4194304 4196468 140723054467488 140680048413888 140680029254785 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29498] ppid=29492 vsize=10659088 memory=288230596118052887 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29498/stat : 29498 (java) S 29492 29495 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39376891 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679980869904 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29499] ppid=29492 vsize=10659088 memory=288370930931582592 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29499/stat : 29499 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376891 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679979817360 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29500] ppid=29492 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29500/stat : 29500 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376891 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679978764816 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29501] ppid=29492 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29501/stat : 29501 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376891 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679977712272 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29502] ppid=29492 vsize=10659088 memory=140554779870848 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29502/stat : 29502 (java) S 29492 29495 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39376892 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679536454128 140680044190338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29503] ppid=29492 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29503/stat : 29503 (java) S 29492 29495 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39376893 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679535400352 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29504] ppid=29492 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29504/stat : 29504 (java) S 29492 29495 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39376893 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679534347760 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29505] ppid=29492 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29505/stat : 29505 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39376895 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679533296336 140680044197787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29506] ppid=29492 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/29495/task/29506/stat : 29506 (java) R 29492 29495 26255 0 -1 4202560 561 0 0 0 5 0 0 0 20 0 15 0 39376895 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679532230480 140680029105152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29507] ppid=29492 vsize=10659088 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/29495/task/29507/stat : 29507 (java) R 29492 29495 26255 0 -1 4202560 560 0 0 0 3 0 0 0 20 0 15 0 39376895 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679531176928 140680027735847 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29508] ppid=29492 vsize=10659088 memory=140554779870848 CPUtime=0.13 cores=0,2,4,6
/proc/29495/task/29508/stat : 29508 (java) R 29492 29495 26255 0 -1 4202560 785 0 0 0 13 0 0 0 20 0 15 0 39376895 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679530134208 140680028259678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29509] ppid=29492 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29509/stat : 29509 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39376896 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679529085536 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29510] ppid=29492 vsize=10659088 memory=140554779870848 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29510/stat : 29510 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376896 10914906112 12292 33554432000 4194304 4196468 140723054467488 140679528033072 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 49168 KiB
[startup+0.701963 s]
/proc/loadavg: 2.17 2.32 2.54 6/221 29510
/proc/meminfo: memFree=15198532/32770624 swapFree=67108860/67108860
[pid=29495] ppid=29492 vsize=10661136 memory=113028 CPUtime=1.79 cores=0,2,4,6
/proc/29495/stat : 29495 (java) S 29492 29495 26255 0 -1 1077944320 12623 0 0 0 174 5 0 0 20 0 15 0 39376890 10917003264 28257 33554432000 4194304 4196468 140723054467488 140723054450032 140680044179191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
/proc/29495/statm: 2665284 28257 3107 1 0 2627775 0
[pid=29495/tid=29497] ppid=29492 vsize=10661136 memory=1844 CPUtime=0.67 cores=0,2,4,6
/proc/29495/task/29497/stat : 29497 (java) R 29492 29495 26255 0 -1 4202560 6066 0 0 0 65 2 0 0 20 0 15 0 39376890 10917003264 28257 33554432000 4194304 4196468 140723054467488 140680048414744 140679657587018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29498] ppid=29492 vsize=10661136 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29498/stat : 29498 (java) S 29492 29495 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39376891 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679980869904 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29499] ppid=29492 vsize=10661136 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29499/stat : 29499 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376891 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679979817360 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29500] ppid=29492 vsize=10661136 memory=12984 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29500/stat : 29500 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376891 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679978764816 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29501] ppid=29492 vsize=10661136 memory=5664 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29501/stat : 29501 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376891 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679977712272 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29502] ppid=29492 vsize=10661136 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29502/stat : 29502 (java) S 29492 29495 26255 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39376892 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679536454128 140680044190338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29503] ppid=29492 vsize=10661136 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29503/stat : 29503 (java) S 29492 29495 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39376893 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679535400352 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29504] ppid=29492 vsize=10661136 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29504/stat : 29504 (java) S 29492 29495 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39376893 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679534347760 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29505] ppid=29492 vsize=10661136 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29505/stat : 29505 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39376895 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679533296336 140680044197787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29506] ppid=29492 vsize=10661136 memory=6296683612537770333 CPUtime=0.39 cores=0,2,4,6
/proc/29495/task/29506/stat : 29506 (java) R 29492 29495 26255 0 -1 4202560 1642 0 0 0 39 0 0 0 20 0 15 0 39376895 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679532230480 140680044200538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29507] ppid=29492 vsize=10661136 memory=7595725831727968097 CPUtime=0.3 cores=0,2,4,6
/proc/29495/task/29507/stat : 29507 (java) R 29492 29495 26255 0 -1 4202560 1659 0 0 0 30 0 0 0 20 0 15 0 39376895 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679531180176 140680044200538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29508] ppid=29492 vsize=10661136 memory=7810487918915055718 CPUtime=0.38 cores=0,2,4,6
/proc/29495/task/29508/stat : 29508 (java) R 29492 29495 26255 0 -1 1077944384 1885 0 0 0 38 0 0 0 20 0 15 0 39376895 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679530137840 140680044190338 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29509] ppid=29492 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29509/stat : 29509 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39376896 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679529085536 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29510] ppid=29492 vsize=10661136 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29510/stat : 29510 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39376896 10917003264 28257 33554432000 4194304 4196468 140723054467488 140679528033072 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 113028 KiB
[startup+1.50076 s]
/proc/loadavg: 2.17 2.32 2.54 3/222 29511
/proc/meminfo: memFree=15144612/32770624 swapFree=67108860/67108860
[pid=29495] ppid=29492 vsize=10727700 memory=126768 CPUtime=3.56 cores=0,2,4,6
/proc/29495/stat : 29495 (java) S 29492 29495 26255 0 -1 1077944320 15851 0 0 0 351 5 0 0 20 0 16 0 39376890 10985164800 31692 33554432000 4194304 4196468 140723054467488 140723054450032 140680044179191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
/proc/29495/statm: 2681925 31692 3116 1 0 2644416 0
[pid=29495/tid=29497] ppid=29492 vsize=10727700 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/29495/task/29497/stat : 29497 (java) R 29492 29495 26255 0 -1 4202560 6591 0 0 0 144 3 0 0 20 0 16 0 39376890 10985164800 31692 33554432000 4194304 4196468 140723054467488 140680048417360 140679662561267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29498] ppid=29492 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29498/stat : 29498 (java) S 29492 29495 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 39376891 10985164800 31692 33554432000 4194304 4196468 140723054467488 140679980869904 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29499] ppid=29492 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29499/stat : 29499 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39376891 10985164800 31692 33554432000 4194304 4196468 140723054467488 140679979817360 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29500] ppid=29492 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29500/stat : 29500 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39376891 10985164800 31692 33554432000 4194304 4196468 140723054467488 140679978764816 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29501] ppid=29492 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29501/stat : 29501 (java) S 29492 29495 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 39376891 10985164800 31692 33554432000 4194304 4196468 140723054467488 140679977712272 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29502] ppid=29492 vsize=10727700 memory=140554779872561 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29502/stat : 29502 (java) S 29492 29495 26255 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 39376892 10985164800 31692 33554432000 4194304 4196468 140723054467488 140679536454128 140680044190338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
################
# More data... #
################
/proc/29495/task/29502/stat : 29502 (java) S 29492 29495 26255 0 -1 1077944384 2775 0 0 0 4 3 0 0 20 0 16 0 39376892 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679536454128 140680044190338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29503] ppid=29492 vsize=10727700 memory=433892 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29503/stat : 29503 (java) S 29492 29495 26255 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 39376893 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679535400352 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29504] ppid=29492 vsize=10727700 memory=14072 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29504/stat : 29504 (java) S 29492 29495 26255 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 39376893 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679534347760 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29505] ppid=29492 vsize=10727700 memory=433892 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29505/stat : 29505 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39376895 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679533296336 140680044197787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29506] ppid=29492 vsize=10727700 memory=433892 CPUtime=1.91 cores=0,2,4,6
/proc/29495/task/29506/stat : 29506 (java) S 29492 29495 26255 0 -1 1077944384 12685 0 0 0 189 2 0 0 20 0 16 0 39376895 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679532242928 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29507] ppid=29492 vsize=10727700 memory=433892 CPUtime=1.41 cores=0,2,4,6
/proc/29495/task/29507/stat : 29507 (java) S 29492 29495 26255 0 -1 1077944384 9971 0 0 0 140 1 0 0 20 0 16 0 39376895 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679531190384 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29508] ppid=29492 vsize=10727700 memory=433892 CPUtime=0.53 cores=0,2,4,6
/proc/29495/task/29508/stat : 29508 (java) S 29492 29495 26255 0 -1 1077944384 4697 0 0 0 52 1 0 0 20 0 16 0 39376895 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679530137840 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29509] ppid=29492 vsize=10727700 memory=433892 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29509/stat : 29509 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39376896 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679529085536 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29510] ppid=29492 vsize=10727700 memory=4036 CPUtime=1.32 cores=0,2,4,6
/proc/29495/task/29510/stat : 29510 (java) S 29492 29495 26255 0 -1 1077944384 1672 0 0 0 70 62 0 0 20 0 16 0 39376896 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679528033072 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29511] ppid=29492 vsize=10727700 memory=433892 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29511/stat : 29511 (java) S 29492 29495 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39376963 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679524881712 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
Current children cumulated CPU time: 2388.48 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 433892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2393.9 s]
/proc/loadavg: 2.03 2.57 2.66 3/221 29824
/proc/meminfo: memFree=15859000/32770624 swapFree=67108860/67108860
[pid=29495] ppid=29492 vsize=10727700 memory=433892 CPUtime=2400.08 cores=0,2,4,6
/proc/29495/stat : 29495 (java) S 29492 29495 26255 0 -1 1077944320 61663 0 0 0 239919 89 0 0 20 0 16 0 39376890 10985164800 108473 33554432000 4194304 4196468 140723054467488 140723054450032 140680044179191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
/proc/29495/statm: 2681925 108473 3165 1 0 2644416 0
[pid=29495/tid=29497] ppid=29492 vsize=10727700 memory=433892 CPUtime=2393.67 cores=0,2,4,6
/proc/29495/task/29497/stat : 29497 (java) R 29492 29495 26255 0 -1 4202560 16586 0 0 0 239361 6 0 0 20 0 16 0 39376890 10985164800 108473 33554432000 4194304 4196468 140723054467488 140680048418192 140679662312466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29498] ppid=29492 vsize=10727700 memory=433892 CPUtime=0.28 cores=0,2,4,6
/proc/29495/task/29498/stat : 29498 (java) S 29492 29495 26255 0 -1 1077944384 2262 0 0 0 21 7 0 0 20 0 16 0 39376891 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679980869904 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29499] ppid=29492 vsize=10727700 memory=433892 CPUtime=0.27 cores=0,2,4,6
/proc/29495/task/29499/stat : 29499 (java) S 29492 29495 26255 0 -1 1077944384 3063 0 0 0 20 7 0 0 20 0 16 0 39376891 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679979817360 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29500] ppid=29492 vsize=10727700 memory=433892 CPUtime=0.28 cores=0,2,4,6
/proc/29495/task/29500/stat : 29500 (java) S 29492 29495 26255 0 -1 1077944384 4478 0 0 0 21 7 0 0 20 0 16 0 39376891 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679978764816 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29501] ppid=29492 vsize=10727700 memory=433892 CPUtime=0.27 cores=0,2,4,6
/proc/29495/task/29501/stat : 29501 (java) S 29492 29495 26255 0 -1 1077944384 2020 0 0 0 20 7 0 0 20 0 16 0 39376891 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679977712272 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29502] ppid=29492 vsize=10727700 memory=433892 CPUtime=0.07 cores=0,2,4,6
/proc/29495/task/29502/stat : 29502 (java) S 29492 29495 26255 0 -1 1077944384 2775 0 0 0 4 3 0 0 20 0 16 0 39376892 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679536454128 140680044190338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29503] ppid=29492 vsize=10727700 memory=433892 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29503/stat : 29503 (java) S 29492 29495 26255 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 39376893 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679535400352 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29504] ppid=29492 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29504/stat : 29504 (java) S 29492 29495 26255 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 39376893 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679534347760 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29505] ppid=29492 vsize=10727700 memory=433892 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29505/stat : 29505 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39376895 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679533296336 140680044197787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29506] ppid=29492 vsize=10727700 memory=433892 CPUtime=1.91 cores=0,2,4,6
/proc/29495/task/29506/stat : 29506 (java) S 29492 29495 26255 0 -1 1077944384 12685 0 0 0 189 2 0 0 20 0 16 0 39376895 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679532242928 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29507] ppid=29492 vsize=10727700 memory=796 CPUtime=1.41 cores=0,2,4,6
/proc/29495/task/29507/stat : 29507 (java) S 29492 29495 26255 0 -1 1077944384 9971 0 0 0 140 1 0 0 20 0 16 0 39376895 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679531190384 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29508] ppid=29492 vsize=10727700 memory=433892 CPUtime=0.53 cores=0,2,4,6
/proc/29495/task/29508/stat : 29508 (java) S 29492 29495 26255 0 -1 1077944384 4697 0 0 0 52 1 0 0 20 0 16 0 39376895 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679530137840 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29509] ppid=29492 vsize=10727700 memory=433892 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29509/stat : 29509 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39376896 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679529085536 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29510] ppid=29492 vsize=10727700 memory=14072 CPUtime=1.32 cores=0,2,4,6
/proc/29495/task/29510/stat : 29510 (java) S 29492 29495 26255 0 -1 1077944384 1672 0 0 0 70 62 0 0 20 0 16 0 39376896 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679528033072 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29511] ppid=29492 vsize=10727700 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29511/stat : 29511 (java) S 29492 29495 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39376963 10985164800 108473 33554432000 4194304 4196468 140723054467488 140679524881712 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 433892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2394.12 s]
# the end of solver process 29495 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.26 s, system=0.900212 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2394.01 s]*
/proc/loadavg: 2.03 2.57 2.66 2/222 29827
/proc/meminfo: memFree=15859000/32770624 swapFree=67108860/67108860
[pid=29495] ppid=29492 vsize=10927392 memory=434132 CPUtime=2400.13 cores=0,2,4,6
/proc/29495/stat : 29495 (java) S 29492 29495 26255 0 -1 1077944320 62087 0 0 0 239924 89 0 0 20 0 17 0 39376890 11189649408 108533 33554432000 4194304 4196468 140723054467488 140723054450032 140680044179191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
/proc/29495/statm: 2731848 108533 3167 1 0 2694339 0
[pid=29495/tid=29497] ppid=29492 vsize=10927392 memory=6791534058613427641 CPUtime=2393.71 cores=0,2,4,6
/proc/29495/task/29497/stat : 29497 (java) S 29492 29495 26255 0 -1 1077944384 16643 0 0 0 239365 6 0 0 20 0 17 0 39376890 11189649408 108533 33554432000 4194304 4196468 140723054467488 140680048422064 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29498] ppid=29492 vsize=10927392 memory=4126316290023845779 CPUtime=0.28 cores=0,2,4,6
/proc/29495/task/29498/stat : 29498 (java) S 29492 29495 26255 0 -1 1077944384 2262 0 0 0 21 7 0 0 20 0 17 0 39376891 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679980869904 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29499] ppid=29492 vsize=10927392 memory=1788 CPUtime=0.27 cores=0,2,4,6
/proc/29495/task/29499/stat : 29499 (java) S 29492 29495 26255 0 -1 1077944384 3063 0 0 0 20 7 0 0 20 0 17 0 39376891 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679979817360 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29500] ppid=29492 vsize=10927392 memory=644 CPUtime=0.28 cores=0,2,4,6
/proc/29495/task/29500/stat : 29500 (java) S 29492 29495 26255 0 -1 1077944384 4478 0 0 0 21 7 0 0 20 0 17 0 39376891 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679978764816 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29501] ppid=29492 vsize=10927392 memory=956 CPUtime=0.27 cores=0,2,4,6
/proc/29495/task/29501/stat : 29501 (java) S 29492 29495 26255 0 -1 1077944384 2020 0 0 0 20 7 0 0 20 0 17 0 39376891 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679977712272 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29502] ppid=29492 vsize=10927392 memory=2336 CPUtime=0.07 cores=0,2,4,6
/proc/29495/task/29502/stat : 29502 (java) S 29492 29495 26255 0 -1 1077944384 2775 0 0 0 4 3 0 0 20 0 17 0 39376892 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679536454128 140680044190338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29503] ppid=29492 vsize=10927392 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29503/stat : 29503 (java) S 29492 29495 26255 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 17 0 39376893 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679535400352 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29504] ppid=29492 vsize=10927392 memory=433892 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29504/stat : 29504 (java) S 29492 29495 26255 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 17 0 39376893 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679534347760 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29505] ppid=29492 vsize=10927392 memory=956 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29505/stat : 29505 (java) S 29492 29495 26255 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 17 0 39376895 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679533296336 140680044197787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29506] ppid=29492 vsize=10927392 memory=2336 CPUtime=1.91 cores=0,2,4,6
/proc/29495/task/29506/stat : 29506 (java) S 29492 29495 26255 0 -1 1077944384 12701 0 0 0 189 2 0 0 20 0 17 0 39376895 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679532242928 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29507] ppid=29492 vsize=10927392 memory=1572 CPUtime=1.41 cores=0,2,4,6
/proc/29495/task/29507/stat : 29507 (java) S 29492 29495 26255 0 -1 1077944384 10018 0 0 0 140 1 0 0 20 0 17 0 39376895 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679531190384 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29508] ppid=29492 vsize=10927392 memory=928 CPUtime=0.53 cores=0,2,4,6
/proc/29495/task/29508/stat : 29508 (java) S 29492 29495 26255 0 -1 1077944384 4730 0 0 0 52 1 0 0 20 0 17 0 39376895 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679530137840 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29509] ppid=29492 vsize=10927392 memory=433892 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29509/stat : 29509 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39376896 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679529085536 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29510] ppid=29492 vsize=10927392 memory=5664 CPUtime=1.32 cores=0,2,4,6
/proc/29495/task/29510/stat : 29510 (java) S 29492 29495 26255 0 -1 1077944384 1672 0 0 0 70 62 0 0 20 0 17 0 39376896 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679528033072 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29825] ppid=29492 vsize=10927392 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29825/stat : 29825 (java) S 29492 29495 26255 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 17 0 39616281 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679523828464 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29826] ppid=29492 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29826/stat : 29826 (java) S 29492 29495 26255 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 17 0 39616281 11189649408 108533 33554432000 4194304 4196468 140723054467488 140679522776848 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
Current children cumulated CPU time: 2400.13 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 434132 KiB
[startup+2394.11 s]
/proc/loadavg: 2.03 2.57 2.66 2/222 29827
/proc/meminfo: memFree=15859000/32770624 swapFree=67108860/67108860
[pid=29495] ppid=29492 vsize=10927392 memory=434216 CPUtime=2400.14 cores=0,2,4,6
/proc/29495/stat : 29495 (java) S 29492 29495 26255 0 -1 1077944320 62209 0 0 0 239925 89 0 0 20 0 17 0 39376890 11189649408 108554 33554432000 4194304 4196468 140723054467488 140723054450032 140680044179191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
/proc/29495/statm: 2731848 108554 3167 1 0 2694339 0
[pid=29495/tid=29497] ppid=29492 vsize=10927392 memory=433892 CPUtime=2393.71 cores=0,2,4,6
/proc/29495/task/29497/stat : 29497 (java) S 29492 29495 26255 0 -1 1077944384 16643 0 0 0 239365 6 0 0 20 0 17 0 39376890 11189649408 108554 33554432000 4194304 4196468 140723054467488 140680048422064 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29498] ppid=29492 vsize=10927392 memory=433892 CPUtime=0.28 cores=0,2,4,6
/proc/29495/task/29498/stat : 29498 (java) S 29492 29495 26255 0 -1 1077944384 2262 0 0 0 21 7 0 0 20 0 17 0 39376891 11189649408 108554 33554432000 4194304 4196468 140723054467488 140679980869904 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29499] ppid=29492 vsize=10927392 memory=433892 CPUtime=0.27 cores=0,2,4,6
/proc/29495/task/29499/stat : 29499 (java) S 29492 29495 26255 0 -1 1077944384 3063 0 0 0 20 7 0 0 20 0 17 0 39376891 11189649408 108554 33554432000 4194304 4196468 140723054467488 140679979817360 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29500] ppid=29492 vsize=10927392 memory=433892 CPUtime=0.28 cores=0,2,4,6
/proc/29495/task/29500/stat : 29500 (java) S 29492 29495 26255 0 -1 1077944384 4478 0 0 0 21 7 0 0 20 0 17 0 39376891 11189649408 108554 33554432000 4194304 4196468 140723054467488 140679978764816 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29501] ppid=29492 vsize=10927392 memory=433892 CPUtime=0.27 cores=0,2,4,6
/proc/29495/task/29501/stat : 29501 (java) S 29492 29495 26255 0 -1 1077944384 2020 0 0 0 20 7 0 0 20 0 17 0 39376891 11189649408 108554 33554432000 4194304 4196468 140723054467488 140679977712272 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29502] ppid=29492 vsize=10927392 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/29495/task/29502/stat : 29502 (java) S 29492 29495 26255 0 -1 1077944384 2795 0 0 0 4 3 0 0 20 0 17 0 39376892 11189649408 108554 33554432000 4194304 4196468 140723054467488 140679536454128 140680044190338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29503] ppid=29492 vsize=10927392 memory=433892 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29503/stat : 29503 (java) S 29492 29495 26255 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 17 0 39376893 11189649408 108554 33554432000 4194304 4196468 140723054467488 140679535400352 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29504] ppid=29492 vsize=10927392 memory=433892 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29504/stat : 29504 (java) S 29492 29495 26255 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 17 0 39376893 11189649408 108554 33554432000 4194304 4196468 140723054467488 140679534347760 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29505] ppid=29492 vsize=10927392 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29505/stat : 29505 (java) S 29492 29495 26255 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 17 0 39376895 11189649408 108554 33554432000 4194304 4196468 140723054467488 140679533296336 140680044197787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29506] ppid=29492 vsize=10927392 memory=433892 CPUtime=1.91 cores=0,2,4,6
/proc/29495/task/29506/stat : 29506 (java) R 29492 29495 26255 0 -1 4202560 12707 0 0 0 189 2 0 0 20 0 17 0 39376895 11189649408 108554 33554432000 4194304 4196468 140723054467488 140679532223168 140680044200538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29507] ppid=29492 vsize=10927392 memory=433892 CPUtime=1.41 cores=0,2,4,6
/proc/29495/task/29507/stat : 29507 (java) S 29492 29495 26255 0 -1 1077944384 10018 0 0 0 140 1 0 0 20 0 17 0 39376895 11189649408 108554 33554432000 4194304 4196468 140723054467488 140679531190384 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29508] ppid=29492 vsize=10927392 memory=14072 CPUtime=0.53 cores=0,2,4,6
/proc/29495/task/29508/stat : 29508 (java) R 29492 29495 26255 0 -1 4202560 4759 0 0 0 52 1 0 0 20 0 17 0 39376895 11189649408 108568 33554432000 4194304 4196468 140723054467488 140679530132160 140680037285110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29509] ppid=29492 vsize=10927392 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29509/stat : 29509 (java) S 29492 29495 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39376896 11189649408 108549 33554432000 4194304 4196468 140723054467488 140679529085536 140680044189397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29510] ppid=29492 vsize=10927392 memory=433892 CPUtime=1.32 cores=0,2,4,6
/proc/29495/task/29510/stat : 29510 (java) S 29492 29495 26255 0 -1 1077944384 1672 0 0 0 70 62 0 0 20 0 16 0 39376896 11189649408 108549 33554432000 4194304 4196468 140723054467488 140679528033072 140680044190338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
[pid=29495/tid=29825] ppid=29492 vsize=10927392 memory=433892 CPUtime=0 cores=0,2,4,6
/proc/29495/task/29825/stat : 29825 (java) R 29492 29495 26255 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 16 0 39616281 11189649408 108549 33554432000 4194304 4196468 140723054467488 140679523828464 140680039846118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6717440 140723054474353 140723054474505 140723054474505 140723054477263 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 434216 KiB
Child status: 143
Real time (s): 2394.12
CPU time (s): 2400.16
CPU user time (s): 2399.26
CPU system time (s): 0.900212
CPU usage (%): 100.252
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 434216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.26
system time used= 0.900212
maximum resident set size= 434372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62281
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54351
involuntary context switches= 1251
# summary of solver processes directly reported to runsolver:
# pid: 29495
# total CPU time (s): 2400.16
# total CPU user time (s): 2399.26
# total CPU system time (s): 0.900212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2997 second user time and 23.4122 second system time
The end