2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	? (problem)		1899.25	527.447
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 (11167 MiB free)
  memory of node 1: 16384 MiB (11897 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289754-1532209718/watcher-4289754-1532209718 -o /tmp/evaluation-result-4289754-1532209718/solver-4289754-1532209718 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532209718-27131 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289754-1532209718.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=27156, runsolver pid=27153

[startup+0.100145 s]*
/proc/loadavg: 1.00 1.01 1.12 7/216 27191
/proc/meminfo: memFree=23586572/32770624 swapFree=67108860/67108860
[pid=27156] ppid=27153 vsize=10659012 memory=31340 CPUtime=0.12 cores=0,2,4,6
/proc/27156/stat : 27156 (java) S 27153 27156 24904 0 -1 1077944320 6374 0 0 0 11 1 0 0 20 0 15 0 38534965 10914828288 7835 33554432000 4194304 4196468 140721321283456 140721321266000 140433578237687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
/proc/27156/statm: 2664753 7835 2845 1 0 2627263 0
[pid=27156/tid=27158] ppid=27153 vsize=10659012 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/27156/task/27158/stat : 27158 (java) R 27153 27156 24904 0 -1 4202560 4216 0 0 0 8 1 0 0 20 0 15 0 38534966 10914828288 7835 33554432000 4194304 4196468 140721321283456 140433582442352 140433562318174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27165] ppid=27153 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27165/stat : 27165 (java) S 27153 27156 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534967 10914828288 7835 33554432000 4194304 4196468 140721321283456 140433504311952 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27166] ppid=27153 vsize=10659012 memory=140303211361920 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27166/stat : 27166 (java) S 27153 27156 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534967 10914828288 7835 33554432000 4194304 4196468 140721321283456 140433503259152 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27168] ppid=27153 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27168/stat : 27168 (java) S 27153 27156 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534967 10914828288 7835 33554432000 4194304 4196468 140721321283456 140433502206352 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27169] ppid=27153 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27169/stat : 27169 (java) S 27153 27156 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534967 10914828288 7835 33554432000 4194304 4196468 140721321283456 140433501153552 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27174] ppid=27153 vsize=10659012 memory=140303211361920 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27174/stat : 27174 (java) S 27153 27156 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534968 10914828288 7835 33554432000 4194304 4196468 140721321283456 140432883067760 140433578248834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27175] ppid=27153 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27175/stat : 27175 (java) S 27153 27156 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38534968 10914828288 7835 33554432000 4194304 4196468 140721321283456 140432679888416 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27176] ppid=27153 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27176/stat : 27176 (java) S 27153 27156 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38534969 10914828288 7835 33554432000 4194304 4196468 140721321283456 140432678835568 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27180] ppid=27153 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27180/stat : 27180 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534971 10914828288 7835 33554432000 4194304 4196468 140721321283456 140432677783888 140433578256283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27181] ppid=27153 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27181/stat : 27181 (java) S 27153 27156 24904 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 38534971 10914828288 7835 33554432000 4194304 4196468 140721321283456 140432676731248 140433578248834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27182] ppid=27153 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27182/stat : 27182 (java) S 27153 27156 24904 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 38534971 10914828288 7835 33554432000 4194304 4196468 140721321283456 140432675678448 140433578248834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27183] ppid=27153 vsize=10659012 memory=140303211361920 CPUtime=0.01 cores=0,2,4,6
/proc/27156/task/27183/stat : 27183 (java) R 27153 27156 24904 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 15 0 38534971 10914828288 7835 33554432000 4194304 4196468 140721321283456 140432674625648 140433556903867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27184] ppid=27153 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27184/stat : 27184 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534971 10914828288 7835 33554432000 4194304 4196468 140721321283456 140432673573088 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27185] ppid=27153 vsize=10659012 memory=140303211361920 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27185/stat : 27185 (java) S 27153 27156 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534971 10914828288 7835 33554432000 4194304 4196468 140721321283456 140432672521392 140433578248834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31340 KiB

[startup+0.210637 s]*
/proc/loadavg: 1.00 1.01 1.12 6/216 27191
/proc/meminfo: memFree=23563500/32770624 swapFree=67108860/67108860
[pid=27156] ppid=27153 vsize=10659012 memory=42088 CPUtime=0.32 cores=0,2,4,6
/proc/27156/stat : 27156 (java) S 27153 27156 24904 0 -1 1077944320 7575 0 0 0 30 2 0 0 20 0 15 0 38534965 10914828288 10522 33554432000 4194304 4196468 140721321283456 140721321266000 140433578237687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
/proc/27156/statm: 2664753 10522 2998 1 0 2627263 0
[pid=27156/tid=27158] ppid=27153 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/27156/task/27158/stat : 27158 (java) R 27153 27156 24904 0 -1 4202560 4559 0 0 0 18 1 0 0 20 0 15 0 38534966 10914828288 10522 33554432000 4194304 4196468 140721321283456 140433582465296 140433562281317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27165] ppid=27153 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27165/stat : 27165 (java) S 27153 27156 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534967 10914828288 10522 33554432000 4194304 4196468 140721321283456 140433504311952 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27166] ppid=27153 vsize=10659012 memory=288370679363073664 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27166/stat : 27166 (java) S 27153 27156 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534967 10914828288 10522 33554432000 4194304 4196468 140721321283456 140433503259152 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27168] ppid=27153 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27168/stat : 27168 (java) S 27153 27156 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534967 10914828288 10522 33554432000 4194304 4196468 140721321283456 140433502206352 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27169] ppid=27153 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27169/stat : 27169 (java) S 27153 27156 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534967 10914828288 10522 33554432000 4194304 4196468 140721321283456 140433501153552 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27174] ppid=27153 vsize=10659012 memory=140303211361920 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27174/stat : 27174 (java) S 27153 27156 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534968 10914828288 10522 33554432000 4194304 4196468 140721321283456 140432883067760 140433578248834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27175] ppid=27153 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27175/stat : 27175 (java) S 27153 27156 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38534968 10914828288 10522 33554432000 4194304 4196468 140721321283456 140432679888416 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27176] ppid=27153 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27176/stat : 27176 (java) S 27153 27156 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38534969 10914828288 10522 33554432000 4194304 4196468 140721321283456 140432678835568 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27180] ppid=27153 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27180/stat : 27180 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534971 10914828288 10522 33554432000 4194304 4196468 140721321283456 140432677783888 140433578256283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27181] ppid=27153 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27156/task/27181/stat : 27181 (java) S 27153 27156 24904 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 15 0 38534971 10914828288 10522 33554432000 4194304 4196468 140721321283456 140432676731248 140433578248834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27182] ppid=27153 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27156/task/27182/stat : 27182 (java) S 27153 27156 24904 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 38534971 10914828288 10522 33554432000 4194304 4196468 140721321283456 140432675678448 140433578248834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27183] ppid=27153 vsize=10659012 memory=140303211361920 CPUtime=0.07 cores=0,2,4,6
/proc/27156/task/27183/stat : 27183 (java) R 27153 27156 24904 0 -1 4202560 674 0 0 0 7 0 0 0 20 0 15 0 38534971 10914828288 10522 33554432000 4194304 4196468 140721321283456 140432674625648 140433557187501 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27184] ppid=27153 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27184/stat : 27184 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534971 10914828288 10522 33554432000 4194304 4196468 140721321283456 140432673573088 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27185] ppid=27153 vsize=10659012 memory=140303211361920 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27185/stat : 27185 (java) S 27153 27156 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534971 10914828288 10522 33554432000 4194304 4196468 140721321283456 140432672521392 140433578248834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42088 KiB

[startup+0.310359 s]*
/proc/loadavg: 1.00 1.01 1.12 7/216 27191
/proc/meminfo: memFree=23549604/32770624 swapFree=67108860/67108860
[pid=27156] ppid=27153 vsize=10659088 memory=46676 CPUtime=0.51 cores=0,2,4,6
/proc/27156/stat : 27156 (java) S 27153 27156 24904 0 -1 1077944320 8271 0 0 0 48 3 0 0 20 0 15 0 38534965 10914906112 11669 33554432000 4194304 4196468 140721321283456 140721321266000 140433578237687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
/proc/27156/statm: 2664772 11669 3019 1 0 2627263 0
[pid=27156/tid=27158] ppid=27153 vsize=10659088 memory=93310431 CPUtime=0.3 cores=0,2,4,6
/proc/27156/task/27158/stat : 27158 (java) R 27153 27156 24904 0 -1 4202560 5117 0 0 0 28 2 0 0 20 0 15 0 38534966 10914906112 11669 33554432000 4194304 4196468 140721321283456 140433582475440 140433166533088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27165] ppid=27153 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27165/stat : 27165 (java) S 27153 27156 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534967 10914906112 11669 33554432000 4194304 4196468 140721321283456 140433504311952 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27166] ppid=27153 vsize=10659088 memory=140303092783055 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27166/stat : 27166 (java) S 27153 27156 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534967 10914906112 11669 33554432000 4194304 4196468 140721321283456 140433503259152 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27168] ppid=27153 vsize=10659088 memory=280606185563792 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27168/stat : 27168 (java) S 27153 27156 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534967 10914906112 11669 33554432000 4194304 4196468 140721321283456 140433502206352 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27169] ppid=27153 vsize=10659088 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27169/stat : 27169 (java) S 27153 27156 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534967 10914906112 11669 33554432000 4194304 4196468 140721321283456 140433501153552 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27174] ppid=27153 vsize=10659088 memory=280606304151872 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27174/stat : 27174 (java) S 27153 27156 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534968 10914906112 11669 33554432000 4194304 4196468 140721321283456 140432883067760 140433578248834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27175] ppid=27153 vsize=10659088 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27175/stat : 27175 (java) S 27153 27156 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38534968 10914906112 11669 33554432000 4194304 4196468 140721321283456 140432679888416 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27176] ppid=27153 vsize=10659088 memory=2110653699921732 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27176/stat : 27176 (java) S 27153 27156 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38534969 10914906112 11669 33554432000 4194304 4196468 140721321283456 140432678835568 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27180] ppid=27153 vsize=10659088 memory=2110653699921764 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27180/stat : 27180 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534971 10914906112 11669 33554432000 4194304 4196468 140721321283456 140432677783888 140433578256283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27181] ppid=27153 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27156/task/27181/stat : 27181 (java) R 27153 27156 24904 0 -1 4202560 514 0 0 0 4 0 0 0 20 0 15 0 38534971 10914906112 11669 33554432000 4194304 4196468 140721321283456 140432676721632 140433556653843 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27182] ppid=27153 vsize=10659088 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/27156/task/27182/stat : 27182 (java) R 27153 27156 24904 0 -1 1077944384 519 0 0 0 3 0 0 0 20 0 15 0 38534971 10914906112 11669 33554432000 4194304 4196468 140721321283456 140432675678544 140433578247893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27183] ppid=27153 vsize=10659088 memory=140303211361920 CPUtime=0.12 cores=0,2,4,6
/proc/27156/task/27183/stat : 27183 (java) R 27153 27156 24904 0 -1 4202560 753 0 0 0 12 0 0 0 20 0 15 0 38534971 10914906112 11669 33554432000 4194304 4196468 140721321283456 140432674625648 140433557372129 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27184] ppid=27153 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27184/stat : 27184 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534971 10914906112 11669 33554432000 4194304 4196468 140721321283456 140432673573088 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27185] ppid=27153 vsize=10659088 memory=140303211361920 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27185/stat : 27185 (java) R 27153 27156 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534971 10914906112 11669 33554432000 4194304 4196468 140721321283456 140432672521392 140433578248834 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46676 KiB

[startup+0.700728 s]
/proc/loadavg: 1.00 1.01 1.12 8/216 27191
/proc/meminfo: memFree=23485028/32770624 swapFree=67108860/67108860
[pid=27156] ppid=27153 vsize=10661136 memory=153956 CPUtime=1.8 cores=0,2,4,6
/proc/27156/stat : 27156 (java) S 27153 27156 24904 0 -1 1077944320 15895 0 0 0 174 6 0 0 20 0 15 0 38534965 10917003264 38489 33554432000 4194304 4196468 140721321283456 140721321266000 140433578237687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
/proc/27156/statm: 2665284 38489 3086 1 0 2627775 0
[pid=27156/tid=27158] ppid=27153 vsize=10661136 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/27156/task/27158/stat : 27158 (java) R 27153 27156 24904 0 -1 4202560 5715 0 0 0 62 4 0 0 20 0 15 0 38534966 10917003264 38489 33554432000 4194304 4196468 140721321283456 140433582473920 140433170602404 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27165] ppid=27153 vsize=10661136 memory=3184238223168781504 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27165/stat : 27165 (java) S 27153 27156 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534967 10917003264 38489 33554432000 4194304 4196468 140721321283456 140433504311952 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27166] ppid=27153 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27166/stat : 27166 (java) S 27153 27156 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534967 10917003264 38489 33554432000 4194304 4196468 140721321283456 140433503259152 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27168] ppid=27153 vsize=10661136 memory=257014534012289 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27168/stat : 27168 (java) S 27153 27156 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534967 10917003264 38489 33554432000 4194304 4196468 140721321283456 140433502206352 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27169] ppid=27153 vsize=10661136 memory=100823 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27169/stat : 27169 (java) S 27153 27156 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38534967 10917003264 38489 33554432000 4194304 4196468 140721321283456 140433501153552 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27174] ppid=27153 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27174/stat : 27174 (java) S 27153 27156 24904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38534968 10917003264 38489 33554432000 4194304 4196468 140721321283456 140432883067760 140433578248834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27175] ppid=27153 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27175/stat : 27175 (java) S 27153 27156 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38534968 10917003264 38489 33554432000 4194304 4196468 140721321283456 140432679888416 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27176] ppid=27153 vsize=10661136 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27176/stat : 27176 (java) S 27153 27156 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38534969 10917003264 38489 33554432000 4194304 4196468 140721321283456 140432678835568 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27180] ppid=27153 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27180/stat : 27180 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534971 10917003264 38489 33554432000 4194304 4196468 140721321283456 140432677783888 140433578256283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27181] ppid=27153 vsize=10661136 memory=9049591598359937197 CPUtime=0.38 cores=0,2,4,6
/proc/27156/task/27181/stat : 27181 (java) R 27153 27156 24904 0 -1 4202560 2803 0 0 0 38 0 0 0 20 0 15 0 38534971 10917003264 38489 33554432000 4194304 4196468 140721321283456 140432676720512 140433563119065 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27182] ppid=27153 vsize=10661136 memory=6943526294502006880 CPUtime=0.36 cores=0,2,4,6
/proc/27156/task/27182/stat : 27182 (java) R 27153 27156 24904 0 -1 4202560 2724 0 0 0 36 0 0 0 20 0 15 0 38534971 10917003264 38489 33554432000 4194304 4196468 140721321283456 140432675665296 140433557670752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27183] ppid=27153 vsize=10661136 memory=6656426216303648864 CPUtime=0.37 cores=0,2,4,6
/proc/27156/task/27183/stat : 27183 (java) S 27153 27156 24904 0 -1 1077944384 3281 0 0 0 36 1 0 0 20 0 15 0 38534971 10917003264 38489 33554432000 4194304 4196468 140721321283456 140432674625648 140433578248834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27184] ppid=27153 vsize=10661136 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27184/stat : 27184 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38534971 10917003264 38489 33554432000 4194304 4196468 140721321283456 140432673573088 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27185] ppid=27153 vsize=10661136 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27185/stat : 27185 (java) S 27153 27156 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38534971 10917003264 38489 33554432000 4194304 4196468 140721321283456 140432672521392 140433578248834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 153956 KiB

[startup+1.50074 s]
/proc/loadavg: 1.00 1.01 1.12 7/216 27191
/proc/meminfo: memFree=23192388/32770624 swapFree=67108860/67108860
[pid=27156] ppid=27153 vsize=10661136 memory=302580 CPUtime=4.24 cores=0,2,4,6
/proc/27156/stat : 27156 (java) S 27153 27156 24904 0 -1 1077944320 19831 0 0 0 413 11 0 0 20 0 15 0 38534965 10917003264 75645 33554432000 4194304 4196468 140721321283456 140721321266000 140433578237687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
/proc/27156/statm: 2665284 75645 3152 1 0 2627775 0
[pid=27156/tid=27158] ppid=27153 vsize=10661136 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/27156/task/27158/stat : 27158 (java) R 27153 27156 24904 0 -1 4202560 5755 0 0 0 132 4 0 0 20 0 15 0 38534966 10917003264 75645 33554432000 4194304 4196468 140721321283456 140433582463792 140433563371304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27165] ppid=27153 vsize=10661136 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27156/task/27165/stat : 27165 (java) S 27153 27156 24904 0 -1 1077944384 175 0 0 0 3 1 0 0 20 0 15 0 38534967 10917003264 75645 33554432000 4194304 4196468 140721321283456 140433504311952 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27166] ppid=27153 vsize=10661136 memory=4529 CPUtime=0.03 cores=0,2,4,6
/proc/27156/task/27166/stat : 27166 (java) S 27153 27156 24904 0 -1 1077944384 25 0 0 0 3 0 0 0 20 0 15 0 38534967 10917003264 75645 33554432000 4194304 4196468 140721321283456 140433503259152 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27168] ppid=27153 vsize=10661136 memory=15540721591606013 CPUtime=0.03 cores=0,2,4,6
/proc/27156/task/27168/stat : 27168 (java) S 27153 27156 24904 0 -1 1077944384 42 0 0 0 3 0 0 0 20 0 15 0 38534967 10917003264 75645 33554432000 4194304 4196468 140721321283456 140433502206352 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27169] ppid=27153 vsize=10661136 memory=140303092972627 CPUtime=0.05 cores=0,2,4,6
/proc/27156/task/27169/stat : 27169 (java) S 27153 27156 24904 0 -1 1077944384 142 0 0 0 4 1 0 0 20 0 15 0 38534967 10917003264 75645 33554432000 4194304 4196468 140721321283456 140433501153552 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27174] ppid=27153 vsize=10661136 memory=280606185449952 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27174/stat : 27174 (java) S 27153 27156 24904 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 38534968 10917003264 75645 33554432000 4194304 4196468 140721321283456 140432883067760 140433578248834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0

################
# More data... #
################

/proc/27156/task/27169/stat : 27169 (java) R 27153 27156 24904 0 -1 4202560 344868 0 0 0 45196 203 0 0 20 0 16 0 38534967 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140433501153552 140433559847296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27174] ppid=27153 vsize=10794416 memory=8246176 CPUtime=20.17 cores=0,2,4,6
/proc/27156/task/27174/stat : 27174 (java) S 27153 27156 24904 0 -1 1077944384 102281 0 0 0 2012 5 0 0 20 0 16 0 38534968 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432883066304 140433578247893 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27175] ppid=27153 vsize=10794416 memory=8246176 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27175/stat : 27175 (java) S 27153 27156 24904 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 38534968 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432679888480 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27176] ppid=27153 vsize=10794416 memory=8246176 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27176/stat : 27176 (java) S 27153 27156 24904 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 38534969 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432678835584 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27180] ppid=27153 vsize=10794416 memory=8246176 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27180/stat : 27180 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432677783888 140433578256283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27181] ppid=27153 vsize=10794416 memory=8245076 CPUtime=1.48 cores=0,2,4,6
/proc/27156/task/27181/stat : 27181 (java) S 27153 27156 24904 0 -1 1077944384 7941 0 0 0 148 0 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432676731008 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27182] ppid=27153 vsize=10794416 memory=8245076 CPUtime=1.74 cores=0,2,4,6
/proc/27156/task/27182/stat : 27182 (java) S 27153 27156 24904 0 -1 1077944384 7723 0 0 0 173 1 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432675678496 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27183] ppid=27153 vsize=10794416 memory=8246176 CPUtime=0.52 cores=0,2,4,6
/proc/27156/task/27183/stat : 27183 (java) S 27153 27156 24904 0 -1 1077944384 6528 0 0 0 51 1 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432674621520 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27184] ppid=27153 vsize=10794416 memory=8246176 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27184/stat : 27184 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432673573088 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27185] ppid=27153 vsize=10794416 memory=8246136 CPUtime=0.32 cores=0,2,4,6
/proc/27156/task/27185/stat : 27185 (java) S 27153 27156 24904 0 -1 1077944384 508 0 0 0 18 14 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432672521392 140433578248834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27224] ppid=27153 vsize=10794416 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27224/stat : 27224 (java) S 27153 27156 24904 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 38582183 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432668316048 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
Current children cumulated CPU time: 1881.34 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8246176 KiB

[startup+527.447 s]
# the end of solver process 27156 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1890.97 s, system=8.28069 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+524.801 s]
/proc/loadavg: 4.70 4.01 2.59 6/218 27225
/proc/meminfo: memFree=13435640/32770624 swapFree=67108860/67108860
[pid=27156] ppid=27153 vsize=10794416 memory=8246176 CPUtime=1891.04 cores=0,2,4,6
/proc/27156/stat : 27156 (java) S 27153 27156 24904 0 -1 1077944320 1293881 0 0 0 188285 819 0 0 20 0 16 0 38534965 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140721321266000 140433578237687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
/proc/27156/statm: 2698604 2061544 3217 1 0 2661057 0
[pid=27156/tid=27158] ppid=27153 vsize=10794416 memory=5300 CPUtime=38.3 cores=0,2,4,6
/proc/27156/task/27158/stat : 27158 (java) S 27153 27156 24904 0 -1 1077944384 21689 0 0 0 3805 25 0 0 20 0 16 0 38534966 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140433582478368 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27165] ppid=27153 vsize=10794416 memory=8246176 CPUtime=457.03 cores=0,2,4,6
/proc/27156/task/27165/stat : 27165 (java) R 27153 27156 24904 0 -1 4202560 383704 0 0 0 45501 202 0 0 20 0 16 0 38534967 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140433504312072 140433570865895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27166] ppid=27153 vsize=10794416 memory=1788 CPUtime=457.71 cores=0,2,4,6
/proc/27156/task/27166/stat : 27166 (java) R 27153 27156 24904 0 -1 4202560 177088 0 0 0 45595 176 0 0 20 0 16 0 38534967 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140433503258960 140433570865895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27168] ppid=27153 vsize=10794416 memory=8246176 CPUtime=457.19 cores=0,2,4,6
/proc/27156/task/27168/stat : 27168 (java) R 27153 27156 24904 0 -1 4202560 226819 0 0 0 45521 198 0 0 20 0 16 0 38534967 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140433502206160 140433570865895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27169] ppid=27153 vsize=10794416 memory=13804 CPUtime=456.49 cores=0,2,4,6
/proc/27156/task/27169/stat : 27169 (java) R 27153 27156 24904 0 -1 4202560 358033 0 0 0 45445 204 0 0 20 0 16 0 38534967 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140433501153752 140433563227330 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27174] ppid=27153 vsize=10794416 memory=1296 CPUtime=20.17 cores=0,2,4,6
/proc/27156/task/27174/stat : 27174 (java) S 27153 27156 24904 0 -1 1077944384 102281 0 0 0 2012 5 0 0 20 0 16 0 38534968 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432883066304 140433578247893 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27175] ppid=27153 vsize=10794416 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27175/stat : 27175 (java) S 27153 27156 24904 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 38534968 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432679888480 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27176] ppid=27153 vsize=10794416 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27176/stat : 27176 (java) S 27153 27156 24904 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 38534969 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432678835584 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27180] ppid=27153 vsize=10794416 memory=8246092 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27180/stat : 27180 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432677783888 140433578256283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27181] ppid=27153 vsize=10794416 memory=8246096 CPUtime=1.48 cores=0,2,4,6
/proc/27156/task/27181/stat : 27181 (java) S 27153 27156 24904 0 -1 1077944384 7941 0 0 0 148 0 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432676731008 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27182] ppid=27153 vsize=10794416 memory=8246136 CPUtime=1.74 cores=0,2,4,6
/proc/27156/task/27182/stat : 27182 (java) S 27153 27156 24904 0 -1 1077944384 7723 0 0 0 173 1 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432675678496 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27183] ppid=27153 vsize=10794416 memory=6791534058613427641 CPUtime=0.52 cores=0,2,4,6
/proc/27156/task/27183/stat : 27183 (java) S 27153 27156 24904 0 -1 1077944384 6528 0 0 0 51 1 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432674621520 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27184] ppid=27153 vsize=10794416 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27184/stat : 27184 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432673573088 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27185] ppid=27153 vsize=10794416 memory=7233160768458352213 CPUtime=0.32 cores=0,2,4,6
/proc/27156/task/27185/stat : 27185 (java) S 27153 27156 24904 0 -1 1077944384 508 0 0 0 18 14 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432672521392 140433578248834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27224] ppid=27153 vsize=10794416 memory=7233160768458352213 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27224/stat : 27224 (java) S 27153 27156 24904 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 38582183 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432668316048 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
Current children cumulated CPU time: 1891.04 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8246176 KiB

[startup+526.401 s]
/proc/loadavg: 4.70 4.01 2.59 6/218 27225
/proc/meminfo: memFree=13435640/32770624 swapFree=67108860/67108860
[pid=27156] ppid=27153 vsize=10794416 memory=8246176 CPUtime=1897.23 cores=0,2,4,6
/proc/27156/stat : 27156 (java) S 27153 27156 24904 0 -1 1077944320 1293913 0 0 0 188902 821 0 0 20 0 16 0 38534965 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140721321266000 140433578237687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
/proc/27156/statm: 2698604 2061544 3217 1 0 2661057 0
[pid=27156/tid=27158] ppid=27153 vsize=10794416 memory=4128 CPUtime=38.3 cores=0,2,4,6
/proc/27156/task/27158/stat : 27158 (java) S 27153 27156 24904 0 -1 1077944384 21689 0 0 0 3805 25 0 0 20 0 16 0 38534966 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140433582478368 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27165] ppid=27153 vsize=10794416 memory=2200 CPUtime=458.55 cores=0,2,4,6
/proc/27156/task/27165/stat : 27165 (java) R 27153 27156 24904 0 -1 4202560 383704 0 0 0 45652 203 0 0 20 0 16 0 38534967 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140433504312072 140433570865895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27166] ppid=27153 vsize=10794416 memory=7392 CPUtime=459.24 cores=0,2,4,6
/proc/27156/task/27166/stat : 27166 (java) R 27153 27156 24904 0 -1 4202560 177088 0 0 0 45748 176 0 0 20 0 16 0 38534967 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140433503258960 140433570865895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27168] ppid=27153 vsize=10794416 memory=6791534058613427641 CPUtime=458.73 cores=0,2,4,6
/proc/27156/task/27168/stat : 27168 (java) R 27153 27156 24904 0 -1 4202560 226819 0 0 0 45674 199 0 0 20 0 16 0 38534967 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140433502206160 140433570865895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27169] ppid=27153 vsize=10794416 memory=13804 CPUtime=458.09 cores=0,2,4,6
/proc/27156/task/27169/stat : 27169 (java) R 27153 27156 24904 0 -1 4202560 358065 0 0 0 45605 204 0 0 20 0 16 0 38534967 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140433501153752 140433562695257 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27174] ppid=27153 vsize=10794416 memory=1296 CPUtime=20.17 cores=0,2,4,6
/proc/27156/task/27174/stat : 27174 (java) S 27153 27156 24904 0 -1 1077944384 102281 0 0 0 2012 5 0 0 20 0 16 0 38534968 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432883066304 140433578247893 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27175] ppid=27153 vsize=10794416 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27175/stat : 27175 (java) S 27153 27156 24904 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 38534968 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432679888480 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27176] ppid=27153 vsize=10794416 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27176/stat : 27176 (java) S 27153 27156 24904 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 38534969 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432678835584 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27180] ppid=27153 vsize=10794416 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27180/stat : 27180 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432677783888 140433578256283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27181] ppid=27153 vsize=10794416 memory=1428 CPUtime=1.48 cores=0,2,4,6
/proc/27156/task/27181/stat : 27181 (java) S 27153 27156 24904 0 -1 1077944384 7941 0 0 0 148 0 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432676731008 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27182] ppid=27153 vsize=10794416 memory=1196 CPUtime=1.74 cores=0,2,4,6
/proc/27156/task/27182/stat : 27182 (java) S 27153 27156 24904 0 -1 1077944384 7723 0 0 0 173 1 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432675678496 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27183] ppid=27153 vsize=10794416 memory=5300 CPUtime=0.52 cores=0,2,4,6
/proc/27156/task/27183/stat : 27183 (java) S 27153 27156 24904 0 -1 1077944384 6528 0 0 0 51 1 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432674621520 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27184] ppid=27153 vsize=10794416 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27184/stat : 27184 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432673573088 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27185] ppid=27153 vsize=10794416 memory=2340 CPUtime=0.32 cores=0,2,4,6
/proc/27156/task/27185/stat : 27185 (java) S 27153 27156 24904 0 -1 1077944384 508 0 0 0 18 14 0 0 20 0 16 0 38534971 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432672521392 140433578248834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27224] ppid=27153 vsize=10794416 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27224/stat : 27224 (java) S 27153 27156 24904 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 38582183 11053481984 2061544 33554432000 4194304 4196468 140721321283456 140432668316048 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
Current children cumulated CPU time: 1897.23 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8246176 KiB

[startup+527.201 s]
/proc/loadavg: 4.70 4.01 2.59 3/218 27225
/proc/meminfo: memFree=13435640/32770624 swapFree=67108860/67108860
[pid=27156] ppid=27153 vsize=10794416 memory=8246228 CPUtime=1899 cores=0,2,4,6
/proc/27156/stat : 27156 (java) S 27153 27156 24904 0 -1 1077944320 1294010 0 0 0 189078 822 0 0 20 0 16 0 38534965 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140721321266000 140433578237687 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
/proc/27156/statm: 2698604 2061557 3217 1 0 2661057 0
[pid=27156/tid=27158] ppid=27153 vsize=10794416 memory=4140 CPUtime=38.3 cores=0,2,4,6
/proc/27156/task/27158/stat : 27158 (java) S 27153 27156 24904 0 -1 1077944384 21689 0 0 0 3805 25 0 0 20 0 16 0 38534966 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140433582478368 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27165] ppid=27153 vsize=10794416 memory=13804 CPUtime=458.87 cores=0,2,4,6
/proc/27156/task/27165/stat : 27165 (java) S 27153 27156 24904 0 -1 1077944384 383704 0 0 0 45684 203 0 0 20 0 16 0 38534967 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140433504311952 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27166] ppid=27153 vsize=10794416 memory=1296 CPUtime=459.57 cores=0,2,4,6
/proc/27156/task/27166/stat : 27166 (java) S 27153 27156 24904 0 -1 1077944384 177088 0 0 0 45780 177 0 0 20 0 16 0 38534967 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140433503259152 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27168] ppid=27153 vsize=10794416 memory=6791534058613427641 CPUtime=459.05 cores=0,2,4,6
/proc/27156/task/27168/stat : 27168 (java) S 27153 27156 24904 0 -1 1077944384 226819 0 0 0 45706 199 0 0 20 0 16 0 38534967 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140433502206352 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27169] ppid=27153 vsize=10794416 memory=288230621803970871 CPUtime=458.42 cores=0,2,4,6
/proc/27156/task/27169/stat : 27169 (java) S 27153 27156 24904 0 -1 1077944384 358065 0 0 0 45638 204 0 0 20 0 16 0 38534967 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140433501153552 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27174] ppid=27153 vsize=10794416 memory=13572582825790009 CPUtime=20.63 cores=0,2,4,6
/proc/27156/task/27174/stat : 27174 (java) R 27153 27156 24904 0 -1 4202560 102378 0 0 0 2058 5 0 0 20 0 16 0 38534968 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140432883066192 140433562695307 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27175] ppid=27153 vsize=10794416 memory=3852 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27175/stat : 27175 (java) S 27153 27156 24904 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 38534968 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140432679888480 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27176] ppid=27153 vsize=10794416 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27176/stat : 27176 (java) S 27153 27156 24904 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 38534969 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140432678835584 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27180] ppid=27153 vsize=10794416 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27180/stat : 27180 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534971 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140432677783888 140433578256283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27181] ppid=27153 vsize=10794416 memory=928 CPUtime=1.48 cores=0,2,4,6
/proc/27156/task/27181/stat : 27181 (java) S 27153 27156 24904 0 -1 1077944384 7941 0 0 0 148 0 0 0 20 0 16 0 38534971 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140432676731008 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27182] ppid=27153 vsize=10794416 memory=2240 CPUtime=1.74 cores=0,2,4,6
/proc/27156/task/27182/stat : 27182 (java) S 27153 27156 24904 0 -1 1077944384 7723 0 0 0 173 1 0 0 20 0 16 0 38534971 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140432675678496 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27183] ppid=27153 vsize=10794416 memory=4128 CPUtime=0.52 cores=0,2,4,6
/proc/27156/task/27183/stat : 27183 (java) S 27153 27156 24904 0 -1 1077944384 6528 0 0 0 51 1 0 0 20 0 16 0 38534971 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140432674621520 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27184] ppid=27153 vsize=10794416 memory=2200 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27184/stat : 27184 (java) S 27153 27156 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38534971 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140432673573088 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27185] ppid=27153 vsize=10794416 memory=4616 CPUtime=0.32 cores=0,2,4,6
/proc/27156/task/27185/stat : 27185 (java) S 27153 27156 24904 0 -1 1077944384 508 0 0 0 18 14 0 0 20 0 16 0 38534971 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140432672521392 140433578248834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
[pid=27156/tid=27224] ppid=27153 vsize=10794416 memory=11960 CPUtime=0 cores=0,2,4,6
/proc/27156/task/27224/stat : 27224 (java) S 27153 27156 24904 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 38582183 11053481984 2061557 33554432000 4194304 4196468 140721321283456 140432668316048 140433578247893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721321284721 140721321284873 140721321284873 140721321287631 0
Current children cumulated CPU time: 1899 s
Current children cumulated vsize: 10794416 KiB
Current children cumulated memory: 8246228 KiB

[startup+527.404 s]*
/proc/loadavg: 4.70 4.01 2.59 3/204 27225
/proc/meminfo: memFree=16487628/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 527.447
CPU time (s): 1899.25
CPU user time (s): 1890.97
CPU system time (s): 8.28069
CPU usage (%): 360.083
Max. virtual memory (cumulated for all children) (KiB): 10794416
Max. memory (cumulated for all children) (KiB): 8246236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1890.97
system time used= 8.28069
maximum resident set size= 8246500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1294069
page faults= 0
swaps= 0
block input operations= 264
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42887
involuntary context switches= 22584


# summary of solver processes directly reported to runsolver:
#   pid: 27156
#   total CPU time (s): 1899.25
#   total CPU user time (s): 1890.97
#   total CPU system time (s): 8.28069

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.18141 second user time and 5.264 second system time

The end
Name	StillLife/ StillLife-wastage-21_c18.xml
MD5SUM	a6f0507a9e94bceb0819229116432592
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	232
Best CPU time to get the best result obtained on this benchmark	194.302
Satisfiable
(Un)Satisfiability was proved
Number of variables	1082
Number of constraints	659
Number of domains	4
Minimum domain size	2
Maximum domain size	1059
Distribution of domain sizes	[{"size":2,"count":529},{"size":3,"count":529},{"size":442,"count":1},{"size":1059,"count":23}]
Minimum variable degree	1
Maximum variable degree	24
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":526},{"degree":3,"count":26},{"degree":4,"count":84},{"degree":8,"count":80},{"degree":9,"count":361},{"degree":24,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	25
Distribution of constraint arities	[{"arity":2,"count":107},{"arity":3,"count":84},{"arity":10,"count":441},{"arity":23,"count":4},{"arity":24,"count":1},{"arity":25,"count":22}]
Number of extensional constraints	525
Number of intensional constraints	106
Distribution of constraint types	[{"type":"extension","count":525},{"type":"intension","count":106},{"type":"sum","count":24},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR
Trace number 4289754

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
