Trace number 4262726

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4? (TO) 2528.22 1815.0699

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-40-40.xml
MD5SUM2ccb4f0641fb73c42fbac15220770a0a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1600
Number of constraints608401
Number of domains1
Minimum domain size1600
Maximum domain size1600
Distribution of domain sizes[{"size":1600,"count":1600}]
Minimum variable degree1523
Maximum variable degree1523
Distribution of variable degrees[{"degree":1523,"count":1600}]
Minimum constraint arity4
Maximum constraint arity1600
Distribution of constraint arities[{"arity":4,"count":608400},{"arity":1600,"count":1}]
Number of extensional constraints0
Number of intensional constraints608400
Distribution of constraint types[{"type":"intension","count":608400},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

3.14/2.19	c Concrete v3.4 running

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262726-1502483822/watcher-4262726-1502483822 -o /tmp/evaluation-result-4262726-1502483822/solver-4262726-1502483822 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580 bin/concrete HOME/instance-4262726-1502483822.xml 

pid=24989
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.86 1.66 1.72 2/197 24992
/proc/meminfo: memFree=30415348/32770624 swapFree=0/456904
[pid=24992] ppid=24989 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24992/stat : 24992 (runsolver) D 24989 24992 4896 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 148035060 24240128 107 18446744073709551615 4194304 4338465 140728736842752 140728736840392 139769095545559 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31051776 140728736850129 140728736850505 140728736850505 140728736853962 0
/proc/24992/statm: 5918 107 54 36 0 2156 0

[startup+0.100245 s]
/proc/loadavg: 1.86 1.66 1.72 2/197 24992
/proc/meminfo: memFree=30415348/32770624 swapFree=0/456904
[pid=24992] ppid=24989 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/24992/stat : 24992 (bash) S 24989 24992 4896 0 -1 4202496 683 1542 0 0 0 0 0 0 20 0 1 0 148035060 9736192 351 18446744073709551615 4194304 5098028 140736202891584 140736202889224 139639059627008 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 27852800 140736202899988 140736202900073 140736202900073 140736202903530 0
/proc/24992/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200194 s]
/proc/loadavg: 1.86 1.66 1.72 2/197 24992
/proc/meminfo: memFree=30415348/32770624 swapFree=0/456904
[pid=24992] ppid=24989 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/24992/stat : 24992 (bash) S 24989 24992 4896 0 -1 4202496 892 6484 0 0 0 0 0 1 20 0 1 0 148035060 9867264 377 18446744073709551615 4194304 5098028 140736202891584 140736202885592 139639059627008 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 27852800 140736202899988 140736202900073 140736202900073 140736202903530 0
/proc/24992/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300296 s]
/proc/loadavg: 1.86 1.66 1.72 2/197 24992
/proc/meminfo: memFree=30415348/32770624 swapFree=0/456904
[pid=24992] ppid=24989 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/24992/stat : 24992 (java) S 24989 24992 4896 0 -1 1077944320 5875 12699 0 0 5 1 5 3 20 0 14 0 148035060 14241083392 5540 18446744073709551615 4194304 4196468 140734854982864 140734854965408 140267862920951 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
/proc/24992/statm: 3476827 5540 2563 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.701126 s]
/proc/loadavg: 1.86 1.66 1.72 2/197 24992
/proc/meminfo: memFree=30415348/32770624 swapFree=0/456904
[pid=24992] ppid=24989 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/24992/stat : 24992 (java) S 24989 24992 4896 0 -1 1077944320 14015 12699 0 0 57 5 5 3 20 0 15 0 148035060 14310178816 14975 18446744073709551615 4194304 4196468 140734854982864 140734854965408 140267862920951 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
/proc/24992/statm: 3493696 14975 3125 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784

[startup+1.50059 s]
/proc/loadavg: 1.79 1.65 1.72 3/212 25055
/proc/meminfo: memFree=30317368/32770624 swapFree=0/457200
[pid=24992] ppid=24989 vsize=13985408 CPUtime=1.9 cores=1,3,5,7
/proc/24992/stat : 24992 (java) S 24989 24992 4896 0 -1 1077944320 28610 12699 0 0 172 10 5 3 20 0 15 0 148035060 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140734854965408 140267862920951 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
/proc/24992/statm: 3496352 40741 3371 1 0 3485525 0
[pid=24992/tid=25042] ppid=24989 vsize=13985408 CPUtime=1.3 cores=1,3,5,7
/proc/24992/task/25042/stat : 25042 (java) S 24989 24992 4896 0 -1 1077944384 22134 12699 0 0 115 7 5 3 20 0 15 0 148035081 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267867139664 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25043] ppid=24989 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25043/stat : 25043 (java) S 24989 24992 4896 0 -1 1077944384 174 12699 0 0 0 0 5 3 20 0 15 0 148035082 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267797355664 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25044] ppid=24989 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25044/stat : 25044 (java) S 24989 24992 4896 0 -1 1077944384 67 12699 0 0 0 0 5 3 20 0 15 0 148035082 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267796302864 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25045] ppid=24989 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25045/stat : 25045 (java) S 24989 24992 4896 0 -1 1077944384 31 12699 0 0 0 0 5 3 20 0 15 0 148035082 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267795250064 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25046] ppid=24989 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25046/stat : 25046 (java) S 24989 24992 4896 0 -1 1077944384 52 12699 0 0 0 0 5 3 20 0 15 0 148035082 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267459623696 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25047] ppid=24989 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25047/stat : 25047 (java) R 24989 24992 4896 0 -1 4202560 825 12699 0 0 0 0 5 3 20 0 15 0 148035083 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267341382336 140267844559285 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25048] ppid=24989 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25048/stat : 25048 (java) S 24989 24992 4896 0 -1 1077944384 33 12699 0 0 0 0 5 3 20 0 15 0 148035084 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267340330016 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25049] ppid=24989 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25049/stat : 25049 (java) S 24989 24992 4896 0 -1 1077944384 21 12699 0 0 0 0 5 3 20 0 15 0 148035084 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267339277168 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25050] ppid=24989 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25050/stat : 25050 (java) S 24989 24992 4896 0 -1 1077944384 3 12699 0 0 0 0 5 3 20 0 15 0 148035087 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267338225488 140267862939547 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25051] ppid=24989 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/24992/task/25051/stat : 25051 (java) S 24989 24992 4896 0 -1 1077944384 1360 12699 0 0 16 0 5 3 20 0 15 0 148035087 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267337173872 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25052] ppid=24989 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/24992/task/25052/stat : 25052 (java) S 24989 24992 4896 0 -1 1077944384 489 12699 0 0 13 0 5 3 20 0 15 0 148035087 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267336121072 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25053] ppid=24989 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/24992/task/25053/stat : 25053 (java) S 24989 24992 4896 0 -1 1077944384 1372 12699 0 0 23 0 5 3 20 0 15 0 148035087 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267335068272 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25054] ppid=24989 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25054/stat : 25054 (java) S 24989 24992 4896 0 -1 1077944384 3 12699 0 0 0 0 5 3 20 0 15 0 148035087 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267334015712 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25055] ppid=24989 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25055/stat : 25055 (java) S 24989 24992 4896 0 -1 1077944384 10 12699 0 0 0 0 5 3 20 0 15 0 148035091 14321057792 40741 18446744073709551615 4194304 4196468 140734854982864 140267332962992 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13985408

[startup+3.1011 s]
/proc/loadavg: 1.79 1.65 1.72 3/212 25055
/proc/meminfo: memFree=30241612/32770624 swapFree=0/457200
[pid=24992] ppid=24989 vsize=13993712 CPUtime=5.49 cores=1,3,5,7
/proc/24992/stat : 24992 (java) S 24989 24992 4896 0 -1 1077944320 37120 12699 0 0 493 48 5 3 20 0 15 0 148035060 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140734854965408 140267862920951 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
/proc/24992/statm: 3498428 127175 3444 1 0 3487061 0
[pid=24992/tid=25042] ppid=24989 vsize=13993712 CPUtime=2.61 cores=1,3,5,7
/proc/24992/task/25042/stat : 25042 (java) S 24989 24992 4896 0 -1 1077944384 25122 12699 0 0 243 10 5 3 20 0 15 0 148035081 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267867156256 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25043] ppid=24989 vsize=13993712 CPUtime=0.34 cores=1,3,5,7
/proc/24992/task/25043/stat : 25043 (java) R 24989 24992 4896 0 -1 4202560 512 12699 0 0 18 8 5 3 20 0 15 0 148035082 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267797355864 140267847906247 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25044] ppid=24989 vsize=13993712 CPUtime=0.35 cores=1,3,5,7
/proc/24992/task/25044/stat : 25044 (java) R 24989 24992 4896 0 -1 4202560 252 12699 0 0 19 8 5 3 20 0 15 0 148035082 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267796303064 140267844516811 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25045] ppid=24989 vsize=13993712 CPUtime=0.35 cores=1,3,5,7
/proc/24992/task/25045/stat : 25045 (java) R 24989 24992 4896 0 -1 4202560 217 12699 0 0 19 8 5 3 20 0 15 0 148035082 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267795249952 140267847618712 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25046] ppid=24989 vsize=13993712 CPUtime=0.34 cores=1,3,5,7
/proc/24992/task/25046/stat : 25046 (java) R 24989 24992 4896 0 -1 4202560 229 12699 0 0 19 7 5 3 20 0 15 0 148035082 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267459623696 140267847618590 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25047] ppid=24989 vsize=13993712 CPUtime=0.09 cores=1,3,5,7
/proc/24992/task/25047/stat : 25047 (java) S 24989 24992 4896 0 -1 1077944384 1594 12699 0 0 1 0 5 3 20 0 15 0 148035083 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267341382368 140267862931157 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25048] ppid=24989 vsize=13993712 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25048/stat : 25048 (java) S 24989 24992 4896 0 -1 1077944384 56 12699 0 0 0 0 5 3 20 0 15 0 148035084 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267340330080 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25049] ppid=24989 vsize=13993712 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25049/stat : 25049 (java) S 24989 24992 4896 0 -1 1077944384 45 12699 0 0 0 0 5 3 20 0 15 0 148035084 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267339277184 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25050] ppid=24989 vsize=13993712 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25050/stat : 25050 (java) S 24989 24992 4896 0 -1 1077944384 3 12699 0 0 0 0 5 3 20 0 15 0 148035087 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267338225488 140267862939547 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25051] ppid=24989 vsize=13993712 CPUtime=0.62 cores=1,3,5,7
/proc/24992/task/25051/stat : 25051 (java) S 24989 24992 4896 0 -1 1077944384 1905 12699 0 0 54 0 5 3 20 0 15 0 148035087 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267337173872 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25052] ppid=24989 vsize=13993712 CPUtime=0.55 cores=1,3,5,7
/proc/24992/task/25052/stat : 25052 (java) S 24989 24992 4896 0 -1 1077944384 1666 12699 0 0 47 0 5 3 20 0 15 0 148035087 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267336121072 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25053] ppid=24989 vsize=13993712 CPUtime=0.76 cores=1,3,5,7
/proc/24992/task/25053/stat : 25053 (java) S 24989 24992 4896 0 -1 1077944384 3351 12699 0 0 67 1 5 3 20 0 15 0 148035087 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267335068272 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25054] ppid=24989 vsize=13993712 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25054/stat : 25054 (java) S 24989 24992 4896 0 -1 1077944384 3 12699 0 0 0 0 5 3 20 0 15 0 148035087 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267334015712 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25055] ppid=24989 vsize=13993712 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25055/stat : 25055 (java) S 24989 24992 4896 0 -1 1077944384 13 12699 0 0 0 0 5 3 20 0 15 0 148035091 14329561088 127175 18446744073709551615 4194304 4196468 140734854982864 140267332962992 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 13993712

[startup+6.30114 s]
/proc/loadavg: 1.73 1.63 1.71 3/212 25055
/proc/meminfo: memFree=29278644/32770624 swapFree=0/457196
[pid=24992] ppid=24989 vsize=13993788 CPUtime=11.77 cores=1,3,5,7
/proc/24992/stat : 24992 (java) S 24989 24992 4896 0 -1 1077944320 43607 12699 0 0 1057 112 5 3 20 0 15 0 148035060 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140734854965408 140267862920951 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
/proc/24992/statm: 3498447 344357 3470 1 0 3487061 0
[pid=24992/tid=25042] ppid=24989 vsize=13993788 CPUtime=5.08 cores=1,3,5,7
/proc/24992/task/25042/stat : 25042 (java) R 24989 24992 4896 0 -1 4202560 26395 12699 0 0 482 18 5 3 20 0 15 0 148035081 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267867154832 140267482753645 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25043] ppid=24989 vsize=13993788 CPUtime=1.03 cores=1,3,5,7
/proc/24992/task/25043/stat : 25043 (java) S 24989 24992 4896 0 -1 1077944384 819 12699 0 0 72 23 5 3 20 0 15 0 148035082 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267797355664 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25044] ppid=24989 vsize=13993788 CPUtime=1.05 cores=1,3,5,7
/proc/24992/task/25044/stat : 25044 (java) S 24989 24992 4896 0 -1 1077944384 553 12699 0 0 76 21 5 3 20 0 15 0 148035082 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267796302864 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25045] ppid=24989 vsize=13993788 CPUtime=1.01 cores=1,3,5,7
/proc/24992/task/25045/stat : 25045 (java) S 24989 24992 4896 0 -1 1077944384 556 12699 0 0 72 21 5 3 20 0 15 0 148035082 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267795250064 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25046] ppid=24989 vsize=13993788 CPUtime=1.03 cores=1,3,5,7
/proc/24992/task/25046/stat : 25046 (java) S 24989 24992 4896 0 -1 1077944384 611 12699 0 0 75 20 5 3 20 0 15 0 148035082 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267459623696 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25047] ppid=24989 vsize=13993788 CPUtime=0.11 cores=1,3,5,7
/proc/24992/task/25047/stat : 25047 (java) S 24989 24992 4896 0 -1 1077944384 3776 12699 0 0 3 0 5 3 20 0 15 0 148035083 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267341384048 140267862932098 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25048] ppid=24989 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25048/stat : 25048 (java) S 24989 24992 4896 0 -1 1077944384 56 12699 0 0 0 0 5 3 20 0 15 0 148035084 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267340330080 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25049] ppid=24989 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25049/stat : 25049 (java) S 24989 24992 4896 0 -1 1077944384 45 12699 0 0 0 0 5 3 20 0 15 0 148035084 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267339277184 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25050] ppid=24989 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25050/stat : 25050 (java) S 24989 24992 4896 0 -1 1077944384 3 12699 0 0 0 0 5 3 20 0 15 0 148035087 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267338225488 140267862939547 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25051] ppid=24989 vsize=13993788 CPUtime=1.07 cores=1,3,5,7
/proc/24992/task/25051/stat : 25051 (java) S 24989 24992 4896 0 -1 1077944384 2397 12699 0 0 98 1 5 3 20 0 15 0 148035087 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267337173872 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25052] ppid=24989 vsize=13993788 CPUtime=1.06 cores=1,3,5,7
/proc/24992/task/25052/stat : 25052 (java) S 24989 24992 4896 0 -1 1077944384 2157 12699 0 0 96 2 5 3 20 0 15 0 148035087 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267336121072 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25053] ppid=24989 vsize=13993788 CPUtime=0.88 cores=1,3,5,7
/proc/24992/task/25053/stat : 25053 (java) S 24989 24992 4896 0 -1 1077944384 3571 12699 0 0 79 1 5 3 20 0 15 0 148035087 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267335068272 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25054] ppid=24989 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25054/stat : 25054 (java) S 24989 24992 4896 0 -1 1077944384 3 12699 0 0 0 0 5 3 20 0 15 0 148035087 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267334015712 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25055] ppid=24989 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25055/stat : 25055 (java) S 24989 24992 4896 0 -1 1077944384 513 12699 0 0 0 0 5 3 20 0 15 0 148035091 14329638912 344357 18446744073709551615 4194304 4196468 140734854982864 140267332962992 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
Current children cumulated CPU time (s) 11.77
Current children cumulated vsize (KiB) 13993788

[startup+12.7007 s]
/proc/loadavg: 1.75 1.64 1.72 6/212 25055
/proc/meminfo: memFree=28175384/32770624 swapFree=0/457192
[pid=24992] ppid=24989 vsize=13995836 CPUtime=25.88 cores=1,3,5,7
/proc/24992/stat : 24992 (java) S 24989 24992 4896 0 -1 1077944320 53171 12699 0 0 2431 149 5 3 20 0 15 0 148035060 14331736064 557378 18446744073709551615 4194304 4196468 140734854982864 140734854965408 140267862920951 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
/proc/24992/statm: 3498959 557378 3482 1 0 3487573 0
[pid=24992/tid=25042] ppid=24989 vsize=13995836 CPUtime=9.69 cores=1,3,5,7
/proc/24992/task/25042/stat : 25042 (java) S 24989 24992 4896 0 -1 1077944384 27580 12699 0 0 935 26 5 3 20 0 15 0 148035081 14331736064 557378 18446744073709551615 4194304 4196468 140734854982864 140267867155216 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25043] ppid=24989 vsize=13995836 CPUtime=2.59 cores=1,3,5,7
/proc/24992/task/25043/stat : 25043 (java) S 24989 24992 4896 0 -1 1077944384 1119 12699 0 0 221 30 5 3 20 0 15 0 148035082 14331736064 557378 18446744073709551615 4194304 4196468 140734854982864 140267797355664 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25044] ppid=24989 vsize=13995836 CPUtime=2.61 cores=1,3,5,7
/proc/24992/task/25044/stat : 25044 (java) S 24989 24992 4896 0 -1 1077944384 876 12699 0 0 225 28 5 3 20 0 15 0 148035082 14331736064 557378 18446744073709551615 4194304 4196468 140734854982864 140267796302864 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25045] ppid=24989 vsize=13995836 CPUtime=2.58 cores=1,3,5,7
/proc/24992/task/25045/stat : 25045 (java) S 24989 24992 4896 0 -1 1077944384 2456 12699 0 0 222 28 5 3 20 0 15 0 148035082 14331736064 557378 18446744073709551615 4194304 4196468 140734854982864 140267795250064 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25046] ppid=24989 vsize=13995836 CPUtime=2.58 cores=1,3,5,7
/proc/24992/task/25046/stat : 25046 (java) S 24989 24992 4896 0 -1 1077944384 957 12699 0 0 223 27 5 3 20 0 15 0 148035082 14331736064 557378 18446744073709551615 4194304 4196468 140734854982864 140267459623696 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25047] ppid=24989 vsize=13995836 CPUtime=0.33 cores=1,3,5,7
/proc/24992/task/25047/stat : 25047 (java) R 24989 24992 4896 0 -1 4202560 4124 12699 0 0 25 0 5 3 20 0 15 0 148035083 14331736064 557378 18446744073709551615 4194304 4196468 140734854982864 140267341382592 140267847621584 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25048] ppid=24989 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25048/stat : 25048 (java) S 24989 24992 4896 0 -1 1077944384 56 12699 0 0 0 0 5 3 20 0 15 0 148035084 14331736064 557378 18446744073709551615 4194304 4196468 140734854982864 140267340330080 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25049] ppid=24989 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25049/stat : 25049 (java) S 24989 24992 4896 0 -1 1077944384 45 12699 0 0 0 0 5 3 20 0 15 0 148035084 14331736064 557378 18446744073709551615 4194304 4196468 140734854982864 140267339277184 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25050] ppid=24989 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25050/stat : 25050 (java) S 24989 24992 4896 0 -1 1077944384 3 12699 0 0 0 0 5 3 20 0 15 0 148035087 14331736064 557378 18446744073709551615 4194304 4196468 140734854982864 140267338225488 140267862939547 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0

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




Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813 s]
/proc/loadavg: 2.32 1.95 1.87 6/214 25296
/proc/meminfo: memFree=15326372/32770624 swapFree=0/457480
[pid=24992] ppid=24989 vsize=13997884 CPUtime=2520.14 cores=1,3,5,7
/proc/24992/stat : 24992 (java) S 24989 24992 4896 0 -1 1077944320 919699 12699 0 0 250983 1023 5 3 20 0 15 0 148035060 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140734854965408 140267862920951 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
/proc/24992/statm: 3499471 2934030 3486 1 0 3488085 0
[pid=24992/tid=25042] ppid=24989 vsize=13997884 CPUtime=1566.2 cores=1,3,5,7
/proc/24992/task/25042/stat : 25042 (java) S 24989 24992 4896 0 -1 1077944384 241213 12699 0 0 156541 71 5 3 20 0 15 0 148035081 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267867155920 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25043] ppid=24989 vsize=13997884 CPUtime=233.08 cores=1,3,5,7
/proc/24992/task/25043/stat : 25043 (java) R 24989 24992 4896 0 -1 4202560 103842 12699 0 0 23080 220 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267797355664 140267847618776 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25044] ppid=24989 vsize=13997884 CPUtime=232.84 cores=1,3,5,7
/proc/24992/task/25044/stat : 25044 (java) R 24989 24992 4896 0 -1 4202560 122367 12699 0 0 23051 225 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267796303064 140267844517409 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25045] ppid=24989 vsize=13997884 CPUtime=233.48 cores=1,3,5,7
/proc/24992/task/25045/stat : 25045 (java) R 24989 24992 4896 0 -1 4202560 134744 12699 0 0 23117 223 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267795249952 140267847618676 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25046] ppid=24989 vsize=13997884 CPUtime=232.92 cores=1,3,5,7
/proc/24992/task/25046/stat : 25046 (java) R 24989 24992 4896 0 -1 4202560 113953 12699 0 0 23070 214 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267459623896 140267844517418 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25047] ppid=24989 vsize=13997884 CPUtime=11.49 cores=1,3,5,7
/proc/24992/task/25047/stat : 25047 (java) S 24989 24992 4896 0 -1 1077944384 160583 12699 0 0 1123 18 5 3 20 0 15 0 148035083 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267341382368 140267862931157 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25048] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25048/stat : 25048 (java) S 24989 24992 4896 0 -1 1077944384 65 12699 0 0 0 0 5 3 20 0 15 0 148035084 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267340330080 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25049] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25049/stat : 25049 (java) S 24989 24992 4896 0 -1 1077944384 50 12699 0 0 0 0 5 3 20 0 15 0 148035084 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267339277184 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25050] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25050/stat : 25050 (java) S 24989 24992 4896 0 -1 1077944384 3 12699 0 0 0 0 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267338225488 140267862939547 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25051] ppid=24989 vsize=13997884 CPUtime=3.84 cores=1,3,5,7
/proc/24992/task/25051/stat : 25051 (java) S 24989 24992 4896 0 -1 1077944384 11943 12699 0 0 373 3 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267337173872 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25052] ppid=24989 vsize=13997884 CPUtime=3.83 cores=1,3,5,7
/proc/24992/task/25052/stat : 25052 (java) S 24989 24992 4896 0 -1 1077944384 10720 12699 0 0 371 4 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267336121072 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25053] ppid=24989 vsize=13997884 CPUtime=1.67 cores=1,3,5,7
/proc/24992/task/25053/stat : 25053 (java) S 24989 24992 4896 0 -1 1077944384 16380 12699 0 0 155 4 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267335068272 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25054] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25054/stat : 25054 (java) S 24989 24992 4896 0 -1 1077944384 3 12699 0 0 0 0 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267334015712 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25055] ppid=24989 vsize=13997884 CPUtime=1.42 cores=1,3,5,7
/proc/24992/task/25055/stat : 25055 (java) S 24989 24992 4896 0 -1 1077944384 1681 12699 0 0 65 69 5 3 20 0 15 0 148035091 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267332962992 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
Current children cumulated CPU time (s) 2520.14
Current children cumulated vsize (KiB) 13997884

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -24992
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24992 sig 9
??? kill -24992 sig 9
??? end of watcher thread

Solver just ended.
Dumping a history of the last processes samples

[startup+1814.4 s]
/proc/loadavg: 2.32 1.95 1.87 6/214 25296
/proc/meminfo: memFree=15326968/32770624 swapFree=0/457476
[pid=24992] ppid=24989 vsize=13997884 CPUtime=2525.72 cores=1,3,5,7
/proc/24992/stat : 24992 (java) S 24989 24992 4896 0 -1 1077944320 919716 12699 0 0 251541 1023 5 3 20 0 15 0 148035060 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140734854965408 140267862920951 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
/proc/24992/statm: 3499471 2934030 3486 1 0 3488085 0
[pid=24992/tid=25042] ppid=24989 vsize=13997884 CPUtime=1566.2 cores=1,3,5,7
/proc/24992/task/25042/stat : 25042 (java) S 24989 24992 4896 0 -1 1077944384 241213 12699 0 0 156541 71 5 3 20 0 15 0 148035081 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267867155920 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25043] ppid=24989 vsize=13997884 CPUtime=234.48 cores=1,3,5,7
/proc/24992/task/25043/stat : 25043 (java) R 24989 24992 4896 0 -1 4202560 103843 12699 0 0 23220 220 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267797355864 140267847618590 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25044] ppid=24989 vsize=13997884 CPUtime=234.24 cores=1,3,5,7
/proc/24992/task/25044/stat : 25044 (java) R 24989 24992 4896 0 -1 4202560 122377 12699 0 0 23191 225 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267796303064 140267847872109 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25045] ppid=24989 vsize=13997884 CPUtime=234.87 cores=1,3,5,7
/proc/24992/task/25045/stat : 25045 (java) R 24989 24992 4896 0 -1 4202560 134744 12699 0 0 23256 223 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267795249952 140267844516784 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25046] ppid=24989 vsize=13997884 CPUtime=234.32 cores=1,3,5,7
/proc/24992/task/25046/stat : 25046 (java) R 24989 24992 4896 0 -1 4202560 113955 12699 0 0 23210 214 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267459623896 140267847906247 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25047] ppid=24989 vsize=13997884 CPUtime=11.49 cores=1,3,5,7
/proc/24992/task/25047/stat : 25047 (java) S 24989 24992 4896 0 -1 1077944384 160583 12699 0 0 1123 18 5 3 20 0 15 0 148035083 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267341382368 140267862931157 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25048] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25048/stat : 25048 (java) S 24989 24992 4896 0 -1 1077944384 65 12699 0 0 0 0 5 3 20 0 15 0 148035084 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267340330080 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25049] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25049/stat : 25049 (java) S 24989 24992 4896 0 -1 1077944384 50 12699 0 0 0 0 5 3 20 0 15 0 148035084 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267339277184 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25050] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25050/stat : 25050 (java) S 24989 24992 4896 0 -1 1077944384 6 12699 0 0 0 0 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267338225136 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25051] ppid=24989 vsize=13997884 CPUtime=3.84 cores=1,3,5,7
/proc/24992/task/25051/stat : 25051 (java) S 24989 24992 4896 0 -1 1077944384 11943 12699 0 0 373 3 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267337173872 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25052] ppid=24989 vsize=13997884 CPUtime=3.83 cores=1,3,5,7
/proc/24992/task/25052/stat : 25052 (java) S 24989 24992 4896 0 -1 1077944384 10720 12699 0 0 371 4 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267336121072 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25053] ppid=24989 vsize=13997884 CPUtime=1.67 cores=1,3,5,7
/proc/24992/task/25053/stat : 25053 (java) S 24989 24992 4896 0 -1 1077944384 16380 12699 0 0 155 4 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267335068272 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25054] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25054/stat : 25054 (java) S 24989 24992 4896 0 -1 1077944384 3 12699 0 0 0 0 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267334015712 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25055] ppid=24989 vsize=13997884 CPUtime=1.42 cores=1,3,5,7
/proc/24992/task/25055/stat : 25055 (java) S 24989 24992 4896 0 -1 1077944384 1681 12699 0 0 65 69 5 3 20 0 15 0 148035091 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267332962992 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
Current children cumulated CPU time (s) 2525.72
Current children cumulated vsize (KiB) 13997884

[startup+1814.8 s]
/proc/loadavg: 2.32 1.95 1.87 6/214 25296
/proc/meminfo: memFree=15326968/32770624 swapFree=0/457476
[pid=24992] ppid=24989 vsize=13997884 CPUtime=2527.32 cores=1,3,5,7
/proc/24992/stat : 24992 (java) S 24989 24992 4896 0 -1 1077944320 919720 12699 0 0 251701 1023 5 3 20 0 15 0 148035060 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140734854965408 140267862920951 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
/proc/24992/statm: 3499471 2934030 3486 1 0 3488085 0
[pid=24992/tid=25042] ppid=24989 vsize=13997884 CPUtime=1566.2 cores=1,3,5,7
/proc/24992/task/25042/stat : 25042 (java) S 24989 24992 4896 0 -1 1077944384 241213 12699 0 0 156541 71 5 3 20 0 15 0 148035081 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267867155920 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25043] ppid=24989 vsize=13997884 CPUtime=234.88 cores=1,3,5,7
/proc/24992/task/25043/stat : 25043 (java) R 24989 24992 4896 0 -1 4202560 103843 12699 0 0 23260 220 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267797355864 140267855549159 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25044] ppid=24989 vsize=13997884 CPUtime=234.64 cores=1,3,5,7
/proc/24992/task/25044/stat : 25044 (java) R 24989 24992 4896 0 -1 4202560 122380 12699 0 0 23231 225 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267796303064 140267855549159 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25045] ppid=24989 vsize=13997884 CPUtime=235.27 cores=1,3,5,7
/proc/24992/task/25045/stat : 25045 (java) R 24989 24992 4896 0 -1 4202560 134745 12699 0 0 23296 223 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267795249952 140267847374630 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25046] ppid=24989 vsize=13997884 CPUtime=234.72 cores=1,3,5,7
/proc/24992/task/25046/stat : 25046 (java) R 24989 24992 4896 0 -1 4202560 113955 12699 0 0 23250 214 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267459623896 140267855549159 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25047] ppid=24989 vsize=13997884 CPUtime=11.49 cores=1,3,5,7
/proc/24992/task/25047/stat : 25047 (java) S 24989 24992 4896 0 -1 1077944384 160583 12699 0 0 1123 18 5 3 20 0 15 0 148035083 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267341382368 140267862931157 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25048] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25048/stat : 25048 (java) S 24989 24992 4896 0 -1 1077944384 65 12699 0 0 0 0 5 3 20 0 15 0 148035084 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267340330080 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25049] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25049/stat : 25049 (java) S 24989 24992 4896 0 -1 1077944384 50 12699 0 0 0 0 5 3 20 0 15 0 148035084 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267339277184 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25050] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25050/stat : 25050 (java) S 24989 24992 4896 0 -1 1077944384 6 12699 0 0 0 0 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267338225136 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25051] ppid=24989 vsize=13997884 CPUtime=3.84 cores=1,3,5,7
/proc/24992/task/25051/stat : 25051 (java) S 24989 24992 4896 0 -1 1077944384 11943 12699 0 0 373 3 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267337173872 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25052] ppid=24989 vsize=13997884 CPUtime=3.83 cores=1,3,5,7
/proc/24992/task/25052/stat : 25052 (java) S 24989 24992 4896 0 -1 1077944384 10720 12699 0 0 371 4 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267336121072 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25053] ppid=24989 vsize=13997884 CPUtime=1.67 cores=1,3,5,7
/proc/24992/task/25053/stat : 25053 (java) S 24989 24992 4896 0 -1 1077944384 16380 12699 0 0 155 4 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267335068272 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25054] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25054/stat : 25054 (java) S 24989 24992 4896 0 -1 1077944384 3 12699 0 0 0 0 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267334015712 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25055] ppid=24989 vsize=13997884 CPUtime=1.42 cores=1,3,5,7
/proc/24992/task/25055/stat : 25055 (java) S 24989 24992 4896 0 -1 1077944384 1681 12699 0 0 65 69 5 3 20 0 15 0 148035091 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267332962992 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
Current children cumulated CPU time (s) 2527.32
Current children cumulated vsize (KiB) 13997884

[startup+1815 s]
/proc/loadavg: 2.32 1.95 1.87 6/215 25297
/proc/meminfo: memFree=15327488/32770624 swapFree=0/457476
[pid=24992] ppid=24989 vsize=13997884 CPUtime=2528.12 cores=1,3,5,7
/proc/24992/stat : 24992 (java) S 24989 24992 4896 0 -1 1077944320 919722 12699 0 0 251780 1024 5 3 20 0 15 0 148035060 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140734854965408 140267862920951 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
/proc/24992/statm: 3499471 2934030 3486 1 0 3488085 0
[pid=24992/tid=25042] ppid=24989 vsize=13997884 CPUtime=1566.2 cores=1,3,5,7
/proc/24992/task/25042/stat : 25042 (java) S 24989 24992 4896 0 -1 1077944384 241213 12699 0 0 156541 71 5 3 20 0 15 0 148035081 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267867155920 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25043] ppid=24989 vsize=13997884 CPUtime=235.08 cores=1,3,5,7
/proc/24992/task/25043/stat : 25043 (java) R 24989 24992 4896 0 -1 4202560 103843 12699 0 0 23280 220 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267797355248 140267855549159 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25044] ppid=24989 vsize=13997884 CPUtime=234.84 cores=1,3,5,7
/proc/24992/task/25044/stat : 25044 (java) R 24989 24992 4896 0 -1 4202560 122380 12699 0 0 23251 225 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267796302448 140267855549159 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25045] ppid=24989 vsize=13997884 CPUtime=235.47 cores=1,3,5,7
/proc/24992/task/25045/stat : 25045 (java) R 24989 24992 4896 0 -1 4202560 134747 12699 0 0 23316 223 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267795249952 140267847618519 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25046] ppid=24989 vsize=13997884 CPUtime=234.91 cores=1,3,5,7
/proc/24992/task/25046/stat : 25046 (java) R 24989 24992 4896 0 -1 4202560 113955 12699 0 0 23269 214 5 3 20 0 15 0 148035082 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267459623280 140267855549159 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25047] ppid=24989 vsize=13997884 CPUtime=11.49 cores=1,3,5,7
/proc/24992/task/25047/stat : 25047 (java) S 24989 24992 4896 0 -1 1077944384 160583 12699 0 0 1123 18 5 3 20 0 15 0 148035083 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267341382368 140267862931157 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25048] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25048/stat : 25048 (java) S 24989 24992 4896 0 -1 1077944384 65 12699 0 0 0 0 5 3 20 0 15 0 148035084 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267340330080 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25049] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25049/stat : 25049 (java) S 24989 24992 4896 0 -1 1077944384 50 12699 0 0 0 0 5 3 20 0 15 0 148035084 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267339277184 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25050] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25050/stat : 25050 (java) S 24989 24992 4896 0 -1 1077944384 6 12699 0 0 0 0 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267338225136 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25051] ppid=24989 vsize=13997884 CPUtime=3.84 cores=1,3,5,7
/proc/24992/task/25051/stat : 25051 (java) S 24989 24992 4896 0 -1 1077944384 11943 12699 0 0 373 3 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267337173872 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25052] ppid=24989 vsize=13997884 CPUtime=3.83 cores=1,3,5,7
/proc/24992/task/25052/stat : 25052 (java) S 24989 24992 4896 0 -1 1077944384 10720 12699 0 0 371 4 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267336121072 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25053] ppid=24989 vsize=13997884 CPUtime=1.67 cores=1,3,5,7
/proc/24992/task/25053/stat : 25053 (java) S 24989 24992 4896 0 -1 1077944384 16380 12699 0 0 155 4 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267335068272 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25054] ppid=24989 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/24992/task/25054/stat : 25054 (java) S 24989 24992 4896 0 -1 1077944384 3 12699 0 0 0 0 5 3 20 0 15 0 148035087 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267334015712 140267862931157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
[pid=24992/tid=25055] ppid=24989 vsize=13997884 CPUtime=1.42 cores=1,3,5,7
/proc/24992/task/25055/stat : 25055 (java) S 24989 24992 4896 0 -1 1077944384 1681 12699 0 0 65 69 5 3 20 0 15 0 148035091 14333833216 2934030 18446744073709551615 4194304 4196468 140734854982864 140267332962992 140267862932098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24768512 140734854985680 140734854988465 140734854988465 140734854991823 0
Current children cumulated CPU time (s) 2528.12
Current children cumulated vsize (KiB) 13997884

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1815.07
CPU time (s): 2528.22
CPU user time (s): 2517.89
CPU system time (s): 10.3243
CPU usage (%): 139.291
Max. virtual memory (cumulated for all children) (KiB): 13997884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.89
system time used= 10.3243
maximum resident set size= 11739436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 932425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86048
involuntary context switches= 12437

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.58445 second user time and 12.5296 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-11 22:22:38
IDJOB=4262726
IDBENCH=139739
IDSOLVER=2650
FILE ID=node132/4262726-1502483822
RUNJOBID= node132-1502411403-4960
PBS_JOBID= 
Free space on /tmp= 61972 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-40-40.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262726-1502483822/watcher-4262726-1502483822 -o /tmp/evaluation-result-4262726-1502483822/solver-4262726-1502483822 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580  bin/concrete HOME/instance-4262726-1502483822.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2ccb4f0641fb73c42fbac15220770a0a
RANDOM SEED=1285970610

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30415692 kB
MemAvailable:   31333352 kB
Buffers:          302584 kB
Cached:           924996 kB
SwapCached:            0 kB
Active:          1410736 kB
Inactive:         505916 kB
Active(anon):     690248 kB
Inactive(anon):    49012 kB
Active(file):     720488 kB
Inactive(file):   456904 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             59320 kB
Writeback:             0 kB
AnonPages:        689032 kB
Mapped:            73532 kB
Shmem:             49852 kB
Slab:             139080 kB
SReclaimable:     112208 kB
SUnreclaim:        26872 kB
KernelStack:        3472 kB
PageTables:         6784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1291612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    501760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61948 MiB
End job on node132 at 2017-08-11 22:52:53