Trace number 4259426

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.4OPT2 11.3573 4.96315

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-05-05.xml
MD5SUMcbd4b7ec6b21cb5f2314c56a12817dc1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.122878
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints101
Number of domains1
Minimum domain size25
Maximum domain size25
Distribution of domain sizes[{"size":25,"count":25}]
Minimum variable degree18
Maximum variable degree18
Distribution of variable degrees[{"degree":18,"count":25}]
Minimum constraint arity4
Maximum constraint arity25
Distribution of constraint arities[{"arity":4,"count":100},{"arity":25,"count":1}]
Number of extensional constraints0
Number of intensional constraints100
Distribution of constraint types[{"type":"intension","count":100},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.27/2.16	c Concrete v3.4 running
9.88/4.54	o 24
9.88/4.59	o 23
10.16/4.63	o 22
10.16/4.64	o 21
10.16/4.66	o 20
10.16/4.68	o 19
10.16/4.69	o 18
10.52/4.70	o 17
10.52/4.71	o 16
10.52/4.73	o 15
10.52/4.74	o 14
10.52/4.77	o 13
10.52/4.78	o 12
10.52/4.79	o 11
10.87/4.80	o 10
10.87/4.81	o 9
10.87/4.82	o 8
10.87/4.82	o 7
10.87/4.83	o 6
10.87/4.84	o 5
10.87/4.85	o 4
10.87/4.86	o 3
10.87/4.87	o 2
11.21/4.94	v <instantiation cost="2">
11.21/4.94	v       <list>
11.21/4.94	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4]
11.21/4.94	v       </list>
11.21/4.94	v       <values>
11.21/4.94	v         0 0 1 2 2 1 2 2 1 2 2 0 2 2 1 2 1 1 1 2 2 2 1 0 1
11.21/4.94	v       </values>
11.21/4.94	v     </instantiation>
11.21/4.94	s OPTIMUM FOUND

Verifier Data 

OK	2

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-4259426-1501997983/watcher-4259426-1501997983 -o /tmp/evaluation-result-4259426-1501997983/solver-4259426-1501997983 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501995163-16060 --watchdog 300 bin/concrete HOME/instance-4259426-1501997983.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.54 1.53 1.56 2/199 19191
/proc/meminfo: memFree=29010028/32770624 swapFree=0/299048
[pid=19191] ppid=19188 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19191/stat : 19191 (runsolver) D 19188 19191 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 47613600 24240128 108 18446744073709551615 4194304 4338465 140733770686384 140733770684024 140145338258135 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 19607552 140733770694870 140733770695244 140733770695244 140733770698698 0
/proc/19191/statm: 5918 108 54 36 0 2156 0

[startup+0.100115 s]
/proc/loadavg: 1.54 1.53 1.56 2/199 19191
/proc/meminfo: memFree=29010028/32770624 swapFree=0/299048
[pid=19191] ppid=19188 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/19191/stat : 19191 (bash) S 19188 19191 30500 0 -1 4202496 896 6482 0 0 0 0 0 1 20 0 1 0 47613600 9867264 377 18446744073709551615 4194304 5098028 140736082822704 140736082816712 140396229258240 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 7 0 0 7196144 7232144 28532736 140736082829847 140736082829932 140736082829932 140736082833386 0
/proc/19191/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200234 s]
/proc/loadavg: 1.54 1.53 1.56 2/199 19191
/proc/meminfo: memFree=29010028/32770624 swapFree=0/299048
[pid=19191] ppid=19188 vsize=11659684 CPUtime=0.08 cores=1,3,5,7
/proc/19191/stat : 19191 (java) S 19188 19191 30500 0 -1 1077944320 3109 12360 0 0 0 0 5 3 20 0 4 0 47613600 11939516416 1880 18446744073709551615 4194304 4196468 140730301205424 140730301187968 140441303834359 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
/proc/19191/statm: 2915178 1946 1163 1 0 2905148 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11659684

[startup+0.304785 s]
/proc/loadavg: 1.54 1.53 1.56 2/199 19191
/proc/meminfo: memFree=29010028/32770624 swapFree=0/299048
[pid=19191] ppid=19188 vsize=13974356 CPUtime=0.19 cores=1,3,5,7
/proc/19191/stat : 19191 (java) S 19188 19191 30500 0 -1 1077944320 6679 12360 0 0 10 1 5 3 20 0 15 0 47613600 14309740544 7333 18446744073709551615 4194304 4196468 140730301205424 140730301187968 140441303834359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
/proc/19191/statm: 3493589 7333 2904 1 0 3482965 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13974356

[startup+0.707566 s]
/proc/loadavg: 1.54 1.53 1.56 2/199 19191
/proc/meminfo: memFree=29010028/32770624 swapFree=0/299048
[pid=19191] ppid=19188 vsize=13974784 CPUtime=0.74 cores=1,3,5,7
/proc/19191/stat : 19191 (java) S 19188 19191 30500 0 -1 1077944320 14019 12360 0 0 61 5 5 3 20 0 15 0 47613600 14310178816 14970 18446744073709551615 4194304 4196468 140730301205424 140730301187968 140441303834359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
/proc/19191/statm: 3493696 14970 3129 1 0 3482965 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 13974784

[startup+1.50294 s]
/proc/loadavg: 1.54 1.53 1.56 3/214 19254
/proc/meminfo: memFree=28915844/32770624 swapFree=0/299076
[pid=19191] ppid=19188 vsize=13985408 CPUtime=1.97 cores=1,3,5,7
/proc/19191/stat : 19191 (java) S 19188 19191 30500 0 -1 1077944320 29762 12360 0 0 178 11 5 3 20 0 15 0 47613600 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140730301187968 140441303834359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
/proc/19191/statm: 3496352 42728 3380 1 0 3485525 0
[pid=19191/tid=19241] ppid=19188 vsize=13985408 CPUtime=1.31 cores=1,3,5,7
/proc/19191/task/19241/stat : 19241 (java) R 19188 19191 30500 0 -1 4202560 22419 12360 0 0 116 7 5 3 20 0 15 0 47613619 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140441308053808 140441285397968 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19242] ppid=19188 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19242/stat : 19242 (java) S 19188 19191 30500 0 -1 1077944384 43 12360 0 0 0 0 5 3 20 0 15 0 47613620 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140441271392528 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19243] ppid=19188 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/19191/task/19243/stat : 19243 (java) S 19188 19191 30500 0 -1 1077944384 182 12360 0 0 1 0 5 3 20 0 15 0 47613620 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140440902912400 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19244] ppid=19188 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/19191/task/19244/stat : 19244 (java) S 19188 19191 30500 0 -1 1077944384 59 12360 0 0 1 0 5 3 20 0 15 0 47613620 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140440901859856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19245] ppid=19188 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19245/stat : 19245 (java) S 19188 19191 30500 0 -1 1077944384 69 12360 0 0 0 0 5 3 20 0 15 0 47613620 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140440900807312 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19246] ppid=19188 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/19191/task/19246/stat : 19246 (java) S 19188 19191 30500 0 -1 1077944384 1626 12360 0 0 1 0 5 3 20 0 15 0 47613621 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140440782334448 140441303845506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19247] ppid=19188 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19247/stat : 19247 (java) S 19188 19191 30500 0 -1 1077944384 55 12360 0 0 0 0 5 3 20 0 15 0 47613622 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140440781280672 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19248] ppid=19188 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19248/stat : 19248 (java) S 19188 19191 30500 0 -1 1077944384 45 12360 0 0 0 0 5 3 20 0 15 0 47613622 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140440780228096 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19249] ppid=19188 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19249/stat : 19249 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140440779176656 140441303852955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19250] ppid=19188 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/19191/task/19250/stat : 19250 (java) R 19188 19191 30500 0 -1 4202560 1097 12360 0 0 17 0 5 3 20 0 15 0 47613625 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140440778123248 140441284534656 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19251] ppid=19188 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/19191/task/19251/stat : 19251 (java) R 19188 19191 30500 0 -1 4202560 581 12360 0 0 13 0 5 3 20 0 15 0 47613625 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140440777070704 140441287360974 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19252] ppid=19188 vsize=13985408 CPUtime=0.32 cores=1,3,5,7
/proc/19191/task/19252/stat : 19252 (java) S 19188 19191 30500 0 -1 1077944384 1416 12360 0 0 24 0 5 3 20 0 15 0 47613625 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140440776018160 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19253] ppid=19188 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19253/stat : 19253 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140440774965856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19254] ppid=19188 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19254/stat : 19254 (java) S 19188 19191 30500 0 -1 1077944384 10 12360 0 0 0 0 5 3 20 0 15 0 47613628 14321057792 42728 18446744073709551615 4194304 4196468 140730301205424 140440773913392 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 13985408

[startup+3.10456 s]
/proc/loadavg: 1.54 1.53 1.56 4/214 19254
/proc/meminfo: memFree=28844992/32770624 swapFree=0/299076
[pid=19191] ppid=19188 vsize=13997884 CPUtime=6.24 cores=1,3,5,7
/proc/19191/stat : 19191 (java) S 19188 19191 30500 0 -1 1077944320 47575 12360 0 0 599 17 5 3 20 0 15 0 47613600 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140730301187968 140441303834359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
/proc/19191/statm: 3499471 55702 3450 1 0 3488085 0
[pid=19191/tid=19241] ppid=19188 vsize=13997884 CPUtime=2.91 cores=1,3,5,7
/proc/19191/task/19241/stat : 19241 (java) R 19188 19191 30500 0 -1 4202560 30213 12360 0 0 273 10 5 3 20 0 15 0 47613619 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140441308065336 140440952351772 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19242] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19242/stat : 19242 (java) S 19188 19191 30500 0 -1 1077944384 43 12360 0 0 0 0 5 3 20 0 15 0 47613620 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140441271392528 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19243] ppid=19188 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/19191/task/19243/stat : 19243 (java) S 19188 19191 30500 0 -1 1077944384 182 12360 0 0 1 0 5 3 20 0 15 0 47613620 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140440902912400 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19244] ppid=19188 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/19191/task/19244/stat : 19244 (java) S 19188 19191 30500 0 -1 1077944384 59 12360 0 0 1 0 5 3 20 0 15 0 47613620 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140440901859856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19245] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19245/stat : 19245 (java) S 19188 19191 30500 0 -1 1077944384 69 12360 0 0 0 0 5 3 20 0 15 0 47613620 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140440900807312 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19246] ppid=19188 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/19191/task/19246/stat : 19246 (java) S 19188 19191 30500 0 -1 1077944384 1639 12360 0 0 1 0 5 3 20 0 15 0 47613621 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140440782334448 140441303845506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19247] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19247/stat : 19247 (java) S 19188 19191 30500 0 -1 1077944384 55 12360 0 0 0 0 5 3 20 0 15 0 47613622 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140440781280672 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19248] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19248/stat : 19248 (java) S 19188 19191 30500 0 -1 1077944384 45 12360 0 0 0 0 5 3 20 0 15 0 47613622 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140440780228096 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19249] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19249/stat : 19249 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140440779176656 140441303852955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19250] ppid=19188 vsize=13997884 CPUtime=1.02 cores=1,3,5,7
/proc/19191/task/19250/stat : 19250 (java) R 19188 19191 30500 0 -1 4202560 3273 12360 0 0 93 1 5 3 20 0 15 0 47613625 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140440778106720 140441288960300 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19251] ppid=19188 vsize=13997884 CPUtime=1.21 cores=1,3,5,7
/proc/19191/task/19251/stat : 19251 (java) R 19188 19191 30500 0 -1 4202560 4128 12360 0 0 112 1 5 3 20 0 15 0 47613625 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140440777054896 140441287827186 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19252] ppid=19188 vsize=13997884 CPUtime=1.22 cores=1,3,5,7
/proc/19191/task/19252/stat : 19252 (java) R 19188 19191 30500 0 -1 4202560 5698 12360 0 0 113 1 5 3 20 0 15 0 47613625 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140440776017968 140441283244144 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19253] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19253/stat : 19253 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140440774965856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19254] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19254/stat : 19254 (java) S 19188 19191 30500 0 -1 1077944384 11 12360 0 0 0 0 5 3 20 0 15 0 47613628 14333833216 55702 18446744073709551615 4194304 4196468 140730301205424 140440773913392 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 13997884

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19191 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.2016 s]
/proc/loadavg: 1.54 1.53 1.56 4/214 19254
/proc/meminfo: memFree=28844992/32770624 swapFree=0/299076
[pid=19191] ppid=19188 vsize=13997884 CPUtime=6.56 cores=1,3,5,7
/proc/19191/stat : 19191 (java) S 19188 19191 30500 0 -1 1077944320 47735 12360 0 0 631 17 5 3 20 0 15 0 47613600 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140730301187968 140441303834359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
/proc/19191/statm: 3499471 58427 3450 1 0 3488085 0
[pid=19191/tid=19241] ppid=19188 vsize=13997884 CPUtime=3 cores=1,3,5,7
/proc/19191/task/19241/stat : 19241 (java) R 19188 19191 30500 0 -1 4202560 30229 12360 0 0 282 10 5 3 20 0 15 0 47613619 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140441308067144 140440953302208 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19242] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19242/stat : 19242 (java) S 19188 19191 30500 0 -1 1077944384 43 12360 0 0 0 0 5 3 20 0 15 0 47613620 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140441271392528 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19243] ppid=19188 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/19191/task/19243/stat : 19243 (java) S 19188 19191 30500 0 -1 1077944384 182 12360 0 0 1 0 5 3 20 0 15 0 47613620 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140440902912400 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19244] ppid=19188 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/19191/task/19244/stat : 19244 (java) S 19188 19191 30500 0 -1 1077944384 59 12360 0 0 1 0 5 3 20 0 15 0 47613620 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140440901859856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19245] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19245/stat : 19245 (java) S 19188 19191 30500 0 -1 1077944384 69 12360 0 0 0 0 5 3 20 0 15 0 47613620 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140440900807312 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19246] ppid=19188 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/19191/task/19246/stat : 19246 (java) S 19188 19191 30500 0 -1 1077944384 1639 12360 0 0 1 0 5 3 20 0 15 0 47613621 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140440782334448 140441303845506 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19247] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19247/stat : 19247 (java) S 19188 19191 30500 0 -1 1077944384 55 12360 0 0 0 0 5 3 20 0 15 0 47613622 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140440781280672 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19248] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19248/stat : 19248 (java) S 19188 19191 30500 0 -1 1077944384 45 12360 0 0 0 0 5 3 20 0 15 0 47613622 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140440780228096 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19249] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19249/stat : 19249 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140440779176656 140441303852955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19250] ppid=19188 vsize=13997884 CPUtime=1.11 cores=1,3,5,7
/proc/19191/task/19250/stat : 19250 (java) R 19188 19191 30500 0 -1 4202560 3304 12360 0 0 102 1 5 3 20 0 15 0 47613625 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140440778104784 140441287221144 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19251] ppid=19188 vsize=13997884 CPUtime=1.31 cores=1,3,5,7
/proc/19191/task/19251/stat : 19251 (java) R 19188 19191 30500 0 -1 4202560 4149 12360 0 0 122 1 5 3 20 0 15 0 47613625 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140440777062656 140441285356836 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19252] ppid=19188 vsize=13997884 CPUtime=1.25 cores=1,3,5,7
/proc/19191/task/19252/stat : 19252 (java) S 19188 19191 30500 0 -1 1077944384 5790 12360 0 0 116 1 5 3 20 0 15 0 47613625 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140440776018160 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19253] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19253/stat : 19253 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140440774965856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19254] ppid=19188 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19254/stat : 19254 (java) S 19188 19191 30500 0 -1 1077944384 11 12360 0 0 0 0 5 3 20 0 15 0 47613628 14333833216 58427 18446744073709551615 4194304 4196468 140730301205424 140440773913392 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 13997884

[startup+4.0007 s]
/proc/loadavg: 1.54 1.53 1.56 5/214 19254
/proc/meminfo: memFree=28800036/32770624 swapFree=0/299076
[pid=19191] ppid=19188 vsize=14001980 CPUtime=8.85 cores=1,3,5,7
/proc/19191/stat : 19191 (java) S 19188 19191 30500 0 -1 1077944320 50945 12360 0 0 857 20 5 3 20 0 15 0 47613600 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140730301187968 140441303834359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
/proc/19191/statm: 3500495 72759 3463 1 0 3489109 0
[pid=19191/tid=19241] ppid=19188 vsize=14001980 CPUtime=3.74 cores=1,3,5,7
/proc/19191/task/19241/stat : 19241 (java) R 19188 19191 30500 0 -1 4202560 31406 12360 0 0 355 11 5 3 20 0 15 0 47613619 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140441308066496 140441284110030 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19242] ppid=19188 vsize=14001980 CPUtime=0.11 cores=1,3,5,7
/proc/19191/task/19242/stat : 19242 (java) S 19188 19191 30500 0 -1 1077944384 117 12360 0 0 3 0 5 3 20 0 15 0 47613620 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140441271392528 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19243] ppid=19188 vsize=14001980 CPUtime=0.11 cores=1,3,5,7
/proc/19191/task/19243/stat : 19243 (java) S 19188 19191 30500 0 -1 1077944384 195 12360 0 0 3 0 5 3 20 0 15 0 47613620 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140440902912400 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19244] ppid=19188 vsize=14001980 CPUtime=0.11 cores=1,3,5,7
/proc/19191/task/19244/stat : 19244 (java) S 19188 19191 30500 0 -1 1077944384 80 12360 0 0 3 0 5 3 20 0 15 0 47613620 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140440901859856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19245] ppid=19188 vsize=14001980 CPUtime=0.11 cores=1,3,5,7
/proc/19191/task/19245/stat : 19245 (java) S 19188 19191 30500 0 -1 1077944384 86 12360 0 0 3 0 5 3 20 0 15 0 47613620 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140440900807312 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19246] ppid=19188 vsize=14001980 CPUtime=0.11 cores=1,3,5,7
/proc/19191/task/19246/stat : 19246 (java) S 19188 19191 30500 0 -1 1077944384 2265 12360 0 0 3 0 5 3 20 0 15 0 47613621 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140440782334448 140441303845506 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19247] ppid=19188 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19247/stat : 19247 (java) S 19188 19191 30500 0 -1 1077944384 55 12360 0 0 0 0 5 3 20 0 15 0 47613622 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140440781280736 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19248] ppid=19188 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19248/stat : 19248 (java) S 19188 19191 30500 0 -1 1077944384 45 12360 0 0 0 0 5 3 20 0 15 0 47613622 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140440780228096 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19249] ppid=19188 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19249/stat : 19249 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140440779176656 140441303852955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19250] ppid=19188 vsize=14001980 CPUtime=1.64 cores=1,3,5,7
/proc/19191/task/19250/stat : 19250 (java) S 19188 19191 30500 0 -1 1077944384 3608 12360 0 0 155 1 5 3 20 0 15 0 47613625 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140440778123248 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19251] ppid=19188 vsize=14001980 CPUtime=1.8 cores=1,3,5,7
/proc/19191/task/19251/stat : 19251 (java) S 19188 19191 30500 0 -1 1077944384 4356 12360 0 0 171 1 5 3 20 0 15 0 47613625 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140440777070704 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19252] ppid=19188 vsize=14001980 CPUtime=1.65 cores=1,3,5,7
/proc/19191/task/19252/stat : 19252 (java) S 19188 19191 30500 0 -1 1077944384 6561 12360 0 0 155 2 5 3 20 0 15 0 47613625 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140440776018160 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19253] ppid=19188 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19253/stat : 19253 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140440774965856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19254] ppid=19188 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19254/stat : 19254 (java) S 19188 19191 30500 0 -1 1077944384 11 12360 0 0 0 0 5 3 20 0 15 0 47613628 14338027520 72759 18446744073709551615 4194304 4196468 140730301205424 140440773913392 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
Current children cumulated CPU time (s) 8.85
Current children cumulated vsize (KiB) 14001980

[startup+4.40061 s]
/proc/loadavg: 1.58 1.54 1.56 3/214 19254
/proc/meminfo: memFree=28719748/32770624 swapFree=0/299076
[pid=19191] ppid=19188 vsize=14069564 CPUtime=9.65 cores=1,3,5,7
/proc/19191/stat : 19191 (java) S 19188 19191 30500 0 -1 1077944320 61004 12360 0 0 934 23 5 3 20 0 15 0 47613600 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140730301187968 140441303834359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
/proc/19191/statm: 3517391 82693 3464 1 0 3506005 0
[pid=19191/tid=19241] ppid=19188 vsize=14069564 CPUtime=4.05 cores=1,3,5,7
/proc/19191/task/19241/stat : 19241 (java) S 19188 19191 30500 0 -1 1077944384 41234 12360 0 0 383 14 5 3 20 0 15 0 47613619 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140441308071904 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19242] ppid=19188 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/19191/task/19242/stat : 19242 (java) S 19188 19191 30500 0 -1 1077944384 125 12360 0 0 10 0 5 3 20 0 15 0 47613620 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140441271392528 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19243] ppid=19188 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/19191/task/19243/stat : 19243 (java) S 19188 19191 30500 0 -1 1077944384 197 12360 0 0 10 0 5 3 20 0 15 0 47613620 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140440902912400 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19244] ppid=19188 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/19191/task/19244/stat : 19244 (java) S 19188 19191 30500 0 -1 1077944384 86 12360 0 0 10 0 5 3 20 0 15 0 47613620 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140440901859856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19245] ppid=19188 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/19191/task/19245/stat : 19245 (java) S 19188 19191 30500 0 -1 1077944384 89 12360 0 0 10 0 5 3 20 0 15 0 47613620 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140440900807312 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19246] ppid=19188 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/19191/task/19246/stat : 19246 (java) R 19188 19191 30500 0 -1 4202560 2282 12360 0 0 7 0 5 3 20 0 15 0 47613621 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140440782332848 140441288840289 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19247] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19247/stat : 19247 (java) S 19188 19191 30500 0 -1 1077944384 55 12360 0 0 0 0 5 3 20 0 15 0 47613622 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140440781280640 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19248] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19248/stat : 19248 (java) S 19188 19191 30500 0 -1 1077944384 45 12360 0 0 0 0 5 3 20 0 15 0 47613622 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140440780228096 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19249] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19249/stat : 19249 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140440779176656 140441303852955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19250] ppid=19188 vsize=14069564 CPUtime=1.68 cores=1,3,5,7
/proc/19191/task/19250/stat : 19250 (java) S 19188 19191 30500 0 -1 1077944384 3641 12360 0 0 159 1 5 3 20 0 15 0 47613625 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140440778123248 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19251] ppid=19188 vsize=14069564 CPUtime=1.87 cores=1,3,5,7
/proc/19191/task/19251/stat : 19251 (java) S 19188 19191 30500 0 -1 1077944384 4385 12360 0 0 178 1 5 3 20 0 15 0 47613625 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140440777061984 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19252] ppid=19188 vsize=14069564 CPUtime=1.73 cores=1,3,5,7
/proc/19191/task/19252/stat : 19252 (java) S 19188 19191 30500 0 -1 1077944384 6692 12360 0 0 163 2 5 3 20 0 15 0 47613625 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140440776018160 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19253] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19253/stat : 19253 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140440774965856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19254] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19254/stat : 19254 (java) S 19188 19191 30500 0 -1 1077944384 13 12360 0 0 0 0 5 3 20 0 15 0 47613628 14407233536 82693 18446744073709551615 4194304 4196468 140730301205424 140440773913392 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (KiB) 14069564

[startup+4.80065 s]
/proc/loadavg: 1.58 1.54 1.56 3/214 19254
/proc/meminfo: memFree=28719748/32770624 swapFree=0/299076
[pid=19191] ppid=19188 vsize=14069564 CPUtime=10.87 cores=1,3,5,7
/proc/19191/stat : 19191 (java) S 19188 19191 30500 0 -1 1077944320 65956 12360 0 0 1055 24 5 3 20 0 15 0 47613600 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140730301187968 140441303834359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
/proc/19191/statm: 3517391 83268 3464 1 0 3506005 0
[pid=19191/tid=19241] ppid=19188 vsize=14069564 CPUtime=4.35 cores=1,3,5,7
/proc/19191/task/19241/stat : 19241 (java) R 19188 19191 30500 0 -1 4202560 41661 12360 0 0 413 14 5 3 20 0 15 0 47613619 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140441308067264 140440944539784 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19242] ppid=19188 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/19191/task/19242/stat : 19242 (java) S 19188 19191 30500 0 -1 1077944384 131 12360 0 0 14 0 5 3 20 0 15 0 47613620 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140441271392528 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19243] ppid=19188 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/19191/task/19243/stat : 19243 (java) S 19188 19191 30500 0 -1 1077944384 201 12360 0 0 14 0 5 3 20 0 15 0 47613620 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140440902912400 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19244] ppid=19188 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/19191/task/19244/stat : 19244 (java) S 19188 19191 30500 0 -1 1077944384 87 12360 0 0 13 0 5 3 20 0 15 0 47613620 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140440901859856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19245] ppid=19188 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/19191/task/19245/stat : 19245 (java) S 19188 19191 30500 0 -1 1077944384 89 12360 0 0 13 0 5 3 20 0 15 0 47613620 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140440900807312 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19246] ppid=19188 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/19191/task/19246/stat : 19246 (java) S 19188 19191 30500 0 -1 1077944384 2296 12360 0 0 12 0 5 3 20 0 15 0 47613621 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140440782334448 140441303845506 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19247] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19247/stat : 19247 (java) S 19188 19191 30500 0 -1 1077944384 55 12360 0 0 0 0 5 3 20 0 15 0 47613622 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140440781280736 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19248] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19248/stat : 19248 (java) S 19188 19191 30500 0 -1 1077944384 46 12360 0 0 0 0 5 3 20 0 15 0 47613622 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140440780228096 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19249] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19249/stat : 19249 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140440779176656 140441303852955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19250] ppid=19188 vsize=14069564 CPUtime=1.95 cores=1,3,5,7
/proc/19191/task/19250/stat : 19250 (java) R 19188 19191 30500 0 -1 4202560 4853 12360 0 0 185 2 5 3 20 0 15 0 47613625 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140440778104848 140441288759412 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19251] ppid=19188 vsize=14069564 CPUtime=2.17 cores=1,3,5,7
/proc/19191/task/19251/stat : 19251 (java) R 19188 19191 30500 0 -1 4202560 6520 12360 0 0 208 1 5 3 20 0 15 0 47613625 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140440777058384 140441288949605 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19252] ppid=19188 vsize=14069564 CPUtime=1.88 cores=1,3,5,7
/proc/19191/task/19252/stat : 19252 (java) S 19188 19191 30500 0 -1 1077944384 7844 12360 0 0 178 2 5 3 20 0 15 0 47613625 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140440776018160 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19253] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19253/stat : 19253 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140440774965856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19254] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19254/stat : 19254 (java) S 19188 19191 30500 0 -1 1077944384 13 12360 0 0 0 0 5 3 20 0 15 0 47613628 14407233536 83268 18446744073709551615 4194304 4196468 140730301205424 140440773913392 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
Current children cumulated CPU time (s) 10.87
Current children cumulated vsize (KiB) 14069564

[startup+4.9007 s]
/proc/loadavg: 1.58 1.54 1.56 3/214 19254
/proc/meminfo: memFree=28719748/32770624 swapFree=0/299076
[pid=19191] ppid=19188 vsize=14069564 CPUtime=11.21 cores=1,3,5,7
/proc/19191/stat : 19191 (java) S 19188 19191 30500 0 -1 1077944320 66383 12360 0 0 1089 24 5 3 20 0 15 0 47613600 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140730301187968 140441303834359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
/proc/19191/statm: 3517391 83357 3464 1 0 3506005 0
[pid=19191/tid=19241] ppid=19188 vsize=14069564 CPUtime=4.45 cores=1,3,5,7
/proc/19191/task/19241/stat : 19241 (java) R 19188 19191 30500 0 -1 4202560 41676 12360 0 0 423 14 5 3 20 0 15 0 47613619 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140441308064064 140440963080021 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19242] ppid=19188 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/19191/task/19242/stat : 19242 (java) S 19188 19191 30500 0 -1 1077944384 131 12360 0 0 14 0 5 3 20 0 15 0 47613620 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140441271392528 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19243] ppid=19188 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/19191/task/19243/stat : 19243 (java) S 19188 19191 30500 0 -1 1077944384 201 12360 0 0 14 0 5 3 20 0 15 0 47613620 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140440902912400 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19244] ppid=19188 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/19191/task/19244/stat : 19244 (java) S 19188 19191 30500 0 -1 1077944384 87 12360 0 0 13 0 5 3 20 0 15 0 47613620 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140440901859856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19245] ppid=19188 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/19191/task/19245/stat : 19245 (java) S 19188 19191 30500 0 -1 1077944384 89 12360 0 0 13 0 5 3 20 0 15 0 47613620 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140440900807312 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19246] ppid=19188 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/19191/task/19246/stat : 19246 (java) S 19188 19191 30500 0 -1 1077944384 2296 12360 0 0 12 0 5 3 20 0 15 0 47613621 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140440782334448 140441303845506 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19247] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19247/stat : 19247 (java) S 19188 19191 30500 0 -1 1077944384 55 12360 0 0 0 0 5 3 20 0 15 0 47613622 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140440781280736 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19248] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19248/stat : 19248 (java) S 19188 19191 30500 0 -1 1077944384 46 12360 0 0 0 0 5 3 20 0 15 0 47613622 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140440780228096 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19249] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19249/stat : 19249 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140440779176656 140441303852955 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19250] ppid=19188 vsize=14069564 CPUtime=2.05 cores=1,3,5,7
/proc/19191/task/19250/stat : 19250 (java) R 19188 19191 30500 0 -1 4202560 4984 12360 0 0 195 2 5 3 20 0 15 0 47613625 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140440778123376 140441288960436 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19251] ppid=19188 vsize=14069564 CPUtime=2.27 cores=1,3,5,7
/proc/19191/task/19251/stat : 19251 (java) R 19188 19191 30500 0 -1 4202560 6577 12360 0 0 218 1 5 3 20 0 15 0 47613625 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140440777062032 140441287038309 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19252] ppid=19188 vsize=14069564 CPUtime=1.92 cores=1,3,5,7
/proc/19191/task/19252/stat : 19252 (java) S 19188 19191 30500 0 -1 1077944384 8068 12360 0 0 182 2 5 3 20 0 15 0 47613625 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140440776018160 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19253] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19253/stat : 19253 (java) S 19188 19191 30500 0 -1 1077944384 3 12360 0 0 0 0 5 3 20 0 15 0 47613625 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140440774965856 140441303844565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
[pid=19191/tid=19254] ppid=19188 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/19191/task/19254/stat : 19254 (java) S 19188 19191 30500 0 -1 1077944384 13 12360 0 0 0 0 5 3 20 0 15 0 47613628 14407233536 83357 18446744073709551615 4194304 4196468 140730301205424 140440773913392 140441303845506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26525696 140730301212627 140730301215412 140730301215412 140730301218767 0
Current children cumulated CPU time (s) 11.21
Current children cumulated vsize (KiB) 14069564

Child status: 0
Real time (s): 4.96315
CPU time (s): 11.3573
CPU user time (s): 11.0704
CPU system time (s): 0.286875
CPU usage (%): 228.833
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.0704
system time used= 0.286875
maximum resident set size= 334332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78905
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7181
involuntary context switches= 57

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.022236 second user time and 0.036134 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-06 07:25:36
IDJOB=4259426
IDBENCH=139720
IDSOLVER=2646
FILE ID=node133/4259426-1501997983
RUNJOBID= node133-1501995163-16060
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-05-05.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259426-1501997983/watcher-4259426-1501997983 -o /tmp/evaluation-result-4259426-1501997983/solver-4259426-1501997983 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501995163-16060 --watchdog 300  bin/concrete HOME/instance-4259426-1501997983.xml

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

MD5SUM BENCH= cbd4b7ec6b21cb5f2314c56a12817dc1
RANDOM SEED=1234813951

node133.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.17
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.17
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.17
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.17
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:        29010140 kB
MemAvailable:   29435824 kB
Buffers:          181560 kB
Cached:           536812 kB
SwapCached:            0 kB
Active:          3009232 kB
Inactive:         323968 kB
Active(anon):    2615440 kB
Inactive(anon):    24920 kB
Active(file):     393792 kB
Inactive(file):   299048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24540 kB
Writeback:             4 kB
AnonPages:       2617148 kB
Mapped:            51324 kB
Shmem:             25276 kB
Slab:             124048 kB
SReclaimable:      97356 kB
SUnreclaim:        26692 kB
KernelStack:        3488 kB
PageTables:        11012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3437140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2387968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-06 07:25:41