Trace number 4262712

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 NameAnswerCPU timeWall clock time
Concrete 3.4SAT 18.0191 7.5752201

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-xcsp2-s20/
TravellingSalesman-20-076_X2.xml
MD5SUM63d95fcac4968a6897becae9cdc29854
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.6216102
Satisfiable
(Un)Satisfiability was proved
Number of variables61
Number of constraints230
Number of domains5
Minimum domain size1
Maximum domain size1001
Distribution of domain sizes[{"size":1,"count":2},{"size":20,"count":20},{"size":183,"count":19},{"size":1001,"count":20}]
Minimum variable degree1
Maximum variable degree20
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":39},{"degree":20,"count":20}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":210},{"arity":3,"count":20}]
Number of extensional constraints230
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":230}]
Optimization problemNO
Type of objective

Solver Data 

3.25/2.23	c Concrete v3.4 running
17.83/7.55	v <instantiation>
17.83/7.55	v       <list>
17.83/7.55	v         w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18]
17.83/7.55	v       </list>
17.83/7.55	v       <values>
17.83/7.55	v         182 0 5 10 2 15 13 7 19 9 14 8 12 3 20 18 16 17 1 4 11 6 2 5 3 3 24 18 17 11 5 8 13 22 26 3 3 4 0 3 4 8 7 10 13 37 55 72 83 88 96 109 131 157 160 163 167 167 170 174 182
17.83/7.55	v       </values>
17.83/7.55	v     </instantiation>
17.83/7.55	s SATISFIABLE

Verifier Data 

OK

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-4262712-1502467021/watcher-4262712-1502467021 -o /tmp/evaluation-result-4262712-1502467021/solver-4262712-1502467021 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580 bin/concrete HOME/instance-4262712-1502467021.xml 

pid=21361
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.45 1.45 1.46 3/198 21364
/proc/meminfo: memFree=30242660/32770624 swapFree=0/438284
[pid=21364] ppid=21361 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/21364/stat : 21364 (runsolver) D 21361 21364 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 94517327 24240128 108 18446744073709551615 4194304 4338465 140726487265472 140726487263112 140442239169239 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 26554368 140726487269585 140726487269961 140726487269961 140726487273418 0
/proc/21364/statm: 5918 108 54 36 0 2156 0

[startup+0.100162 s]
/proc/loadavg: 1.45 1.45 1.46 3/198 21364
/proc/meminfo: memFree=30242660/32770624 swapFree=0/438284
[pid=21364] ppid=21361 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/21364/stat : 21364 (runsolver) D 21361 21364 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 94517327 24240128 108 18446744073709551615 4194304 4338465 140726487265472 140726487263112 140442239169239 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 26554368 140726487269585 140726487269961 140726487269961 140726487273418 0
/proc/21364/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200254 s]
/proc/loadavg: 1.45 1.45 1.46 3/198 21364
/proc/meminfo: memFree=30242660/32770624 swapFree=0/438284
[pid=21364] ppid=21361 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/21364/stat : 21364 (bash) S 21361 21364 4821 0 -1 4202496 891 6489 0 0 0 0 0 1 20 0 1 0 94517327 9867264 377 18446744073709551615 4194304 5098028 140721148530688 140721148524696 140089878440960 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 11 0 0 7196144 7232144 30638080 140721148535316 140721148535401 140721148535401 140721148538858 0
/proc/21364/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300295 s]
/proc/loadavg: 1.45 1.45 1.46 3/198 21364
/proc/meminfo: memFree=30242660/32770624 swapFree=0/438284
[pid=21364] ppid=21361 vsize=13574488 CPUtime=0.11 cores=1,3,5,7
/proc/21364/stat : 21364 (java) S 21361 21364 4821 0 -1 1077944320 5112 12865 0 0 3 1 4 3 20 0 9 0 94517327 13900275712 4846 18446744073709551615 4194304 4196468 140732267798448 140732267780992 139988190707447 0 0 1 16800970 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
/proc/21364/statm: 3393622 4846 2138 1 0 3383119 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13574488

[startup+0.70022 s]
/proc/loadavg: 1.45 1.45 1.46 3/198 21364
/proc/meminfo: memFree=30242660/32770624 swapFree=0/438284
[pid=21364] ppid=21361 vsize=13974784 CPUtime=0.6 cores=1,3,5,7
/proc/21364/stat : 21364 (java) S 21361 21364 4821 0 -1 1077944320 13711 12865 0 0 48 5 4 3 20 0 15 0 94517327 14310178816 14155 18446744073709551615 4194304 4196468 140732267798448 140732267780992 139988190707447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
/proc/21364/statm: 3493696 14155 3073 1 0 3482965 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13974784

[startup+1.50062 s]
/proc/loadavg: 1.57 1.47 1.46 4/213 21427
/proc/meminfo: memFree=30151956/32770624 swapFree=0/438592
[pid=21364] ppid=21361 vsize=13985408 CPUtime=1.79 cores=1,3,5,7
/proc/21364/stat : 21364 (java) S 21361 21364 4821 0 -1 1077944320 27351 12865 0 0 163 9 4 3 20 0 15 0 94517327 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 140732267780992 139988190707447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
/proc/21364/statm: 3496352 33882 3342 1 0 3485525 0
[pid=21364/tid=21414] ppid=21361 vsize=13985408 CPUtime=1.26 cores=1,3,5,7
/proc/21364/task/21414/stat : 21414 (java) R 21361 21364 4821 0 -1 4202560 22183 12865 0 0 113 6 4 3 20 0 15 0 94517352 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139988194939304 139988173228539 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21415] ppid=21361 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21415/stat : 21415 (java) S 21361 21364 4821 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 94517353 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987790523024 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21416] ppid=21361 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21416/stat : 21416 (java) S 21361 21364 4821 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 94517353 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987789470224 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21417] ppid=21361 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21417/stat : 21417 (java) S 21361 21364 4821 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 94517353 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987788417424 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21418] ppid=21361 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21418/stat : 21418 (java) S 21361 21364 4821 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 94517353 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987787364624 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21419] ppid=21361 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21419/stat : 21419 (java) S 21361 21364 4821 0 -1 1077944384 5 12865 0 0 0 0 4 3 20 0 15 0 94517354 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987669298032 139988190718594 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21420] ppid=21361 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21420/stat : 21420 (java) S 21361 21364 4821 0 -1 1077944384 33 12865 0 0 0 0 4 3 20 0 15 0 94517355 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987668244000 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21421] ppid=21361 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21421/stat : 21421 (java) S 21361 21364 4821 0 -1 1077944384 21 12865 0 0 0 0 4 3 20 0 15 0 94517355 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987667191152 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21422] ppid=21361 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21422/stat : 21422 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987666139472 139988190726043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21423] ppid=21361 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/21364/task/21423/stat : 21423 (java) S 21361 21364 4821 0 -1 1077944384 1047 12865 0 0 13 0 4 3 20 0 15 0 94517358 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987665086832 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21424] ppid=21361 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/21364/task/21424/stat : 21424 (java) S 21361 21364 4821 0 -1 1077944384 603 12865 0 0 14 0 4 3 20 0 15 0 94517358 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987664034032 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21425] ppid=21361 vsize=13985408 CPUtime=0.28 cores=1,3,5,7
/proc/21364/task/21425/stat : 21425 (java) S 21361 21364 4821 0 -1 1077944384 1294 12865 0 0 21 0 4 3 20 0 15 0 94517358 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987662980416 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21426] ppid=21361 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21426/stat : 21426 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987661928672 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21427] ppid=21361 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21427/stat : 21427 (java) S 21361 21364 4821 0 -1 1077944384 5 12865 0 0 0 0 4 3 20 0 15 0 94517361 14321057792 33882 18446744073709551615 4194304 4196468 140732267798448 139987660876976 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 13985408

[startup+3.10658 s]
/proc/loadavg: 1.57 1.47 1.46 3/213 21427
/proc/meminfo: memFree=30075644/32770624 swapFree=0/438592
[pid=21364] ppid=21361 vsize=13997884 CPUtime=5.29 cores=1,3,5,7
/proc/21364/stat : 21364 (java) S 21361 21364 4821 0 -1 1077944320 48317 12865 0 0 505 17 4 3 20 0 15 0 94517327 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 140732267780992 139988190707447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
/proc/21364/statm: 3499471 62074 3455 1 0 3488085 0
[pid=21364/tid=21414] ppid=21361 vsize=13997884 CPUtime=2.83 cores=1,3,5,7
/proc/21364/task/21414/stat : 21414 (java) R 21361 21364 4821 0 -1 4202560 35524 12865 0 0 267 9 4 3 20 0 15 0 94517352 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139988194934288 139987841006732 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21415] ppid=21361 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21415/stat : 21415 (java) S 21361 21364 4821 0 -1 1077944384 37 12865 0 0 0 0 4 3 20 0 15 0 94517353 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987790523024 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21416] ppid=21361 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21364/task/21416/stat : 21416 (java) S 21361 21364 4821 0 -1 1077944384 68 12865 0 0 1 0 4 3 20 0 15 0 94517353 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987789470224 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21417] ppid=21361 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21417/stat : 21417 (java) S 21361 21364 4821 0 -1 1077944384 46 12865 0 0 0 0 4 3 20 0 15 0 94517353 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987788417424 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21418] ppid=21361 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21418/stat : 21418 (java) S 21361 21364 4821 0 -1 1077944384 201 12865 0 0 0 0 4 3 20 0 15 0 94517353 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987787364624 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21419] ppid=21361 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21364/task/21419/stat : 21419 (java) S 21361 21364 4821 0 -1 1077944384 1651 12865 0 0 1 0 4 3 20 0 15 0 94517354 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987669298032 139988190718594 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21420] ppid=21361 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21420/stat : 21420 (java) S 21361 21364 4821 0 -1 1077944384 56 12865 0 0 0 0 4 3 20 0 15 0 94517355 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987668244064 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21421] ppid=21361 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21421/stat : 21421 (java) S 21361 21364 4821 0 -1 1077944384 43 12865 0 0 0 0 4 3 20 0 15 0 94517355 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987667191152 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21422] ppid=21361 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21422/stat : 21422 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987666139472 139988190726043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21423] ppid=21361 vsize=13997884 CPUtime=0.79 cores=1,3,5,7
/proc/21364/task/21423/stat : 21423 (java) R 21361 21364 4821 0 -1 4202560 2500 12865 0 0 71 1 4 3 20 0 15 0 94517358 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987665073680 139988168724430 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21424] ppid=21361 vsize=13997884 CPUtime=0.78 cores=1,3,5,7
/proc/21364/task/21424/stat : 21424 (java) R 21361 21364 4821 0 -1 4202560 2088 12865 0 0 70 1 4 3 20 0 15 0 94517358 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987664014472 139988174094031 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21425] ppid=21361 vsize=13997884 CPUtime=0.97 cores=1,3,5,7
/proc/21364/task/21425/stat : 21425 (java) S 21361 21364 4821 0 -1 1077944384 3940 12865 0 0 89 1 4 3 20 0 15 0 94517358 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987662981232 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21426] ppid=21361 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21426/stat : 21426 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987661928672 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21427] ppid=21361 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21427/stat : 21427 (java) S 21361 21364 4821 0 -1 1077944384 6 12865 0 0 0 0 4 3 20 0 15 0 94517361 14333833216 62074 18446744073709551615 4194304 4196468 140732267798448 139987660876976 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 13997884

[startup+6.30158 s]
/proc/loadavg: 1.57 1.47 1.46 4/213 21427
/proc/meminfo: memFree=29885512/32770624 swapFree=0/438584
[pid=21364] ppid=21361 vsize=14067516 CPUtime=14.13 cores=1,3,5,7
/proc/21364/stat : 21364 (java) S 21361 21364 4821 0 -1 1077944320 63126 12865 0 0 1378 28 4 3 20 0 15 0 94517327 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 140732267780992 139988190707447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
/proc/21364/statm: 3516879 123079 3465 1 0 3505493 0
[pid=21364/tid=21414] ppid=21361 vsize=14067516 CPUtime=5.92 cores=1,3,5,7
/proc/21364/task/21414/stat : 21414 (java) R 21361 21364 4821 0 -1 4202560 43928 12865 0 0 571 14 4 3 20 0 15 0 94517352 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139988194939376 139987846648025 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21415] ppid=21361 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/21364/task/21415/stat : 21415 (java) S 21361 21364 4821 0 -1 1077944384 87 12865 0 0 5 1 4 3 20 0 15 0 94517353 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987790523024 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21416] ppid=21361 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/21364/task/21416/stat : 21416 (java) S 21361 21364 4821 0 -1 1077944384 163 12865 0 0 6 1 4 3 20 0 15 0 94517353 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987789470224 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21417] ppid=21361 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/21364/task/21417/stat : 21417 (java) S 21361 21364 4821 0 -1 1077944384 85 12865 0 0 6 1 4 3 20 0 15 0 94517353 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987788417424 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21418] ppid=21361 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/21364/task/21418/stat : 21418 (java) S 21361 21364 4821 0 -1 1077944384 253 12865 0 0 6 1 4 3 20 0 15 0 94517353 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987787364624 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21419] ppid=21361 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/21364/task/21419/stat : 21419 (java) S 21361 21364 4821 0 -1 1077944384 2433 12865 0 0 4 0 4 3 20 0 15 0 94517354 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987669298032 139988190718594 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21420] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21420/stat : 21420 (java) S 21361 21364 4821 0 -1 1077944384 56 12865 0 0 0 0 4 3 20 0 15 0 94517355 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987668244128 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21421] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21421/stat : 21421 (java) S 21361 21364 4821 0 -1 1077944384 43 12865 0 0 0 0 4 3 20 0 15 0 94517355 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987667191168 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21422] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21422/stat : 21422 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987666139472 139988190726043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21423] ppid=21361 vsize=14067516 CPUtime=3.2 cores=1,3,5,7
/proc/21364/task/21423/stat : 21423 (java) R 21361 21364 4821 0 -1 4202560 3699 12865 0 0 312 1 4 3 20 0 15 0 94517358 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987665086832 139988172227122 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21424] ppid=21361 vsize=14067516 CPUtime=3.29 cores=1,3,5,7
/proc/21364/task/21424/stat : 21424 (java) R 21361 21364 4821 0 -1 4202560 5313 12865 0 0 320 2 4 3 20 0 15 0 94517358 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987664020056 139988172251703 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21425] ppid=21361 vsize=14067516 CPUtime=1.51 cores=1,3,5,7
/proc/21364/task/21425/stat : 21425 (java) R 21361 21364 4821 0 -1 4202560 4902 12865 0 0 142 2 4 3 20 0 15 0 94517358 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987662981232 139988172272033 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21426] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21426/stat : 21426 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987661928672 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21427] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21427/stat : 21427 (java) S 21361 21364 4821 0 -1 1077944384 7 12865 0 0 0 0 4 3 20 0 15 0 94517361 14405136384 123079 18446744073709551615 4194304 4196468 140732267798448 139987660876976 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
Current children cumulated CPU time (s) 14.13
Current children cumulated vsize (KiB) 14067516

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

[startup+6.40858 s]
/proc/loadavg: 1.57 1.47 1.46 4/213 21427
/proc/meminfo: memFree=29885512/32770624 swapFree=0/438584
[pid=21364] ppid=21361 vsize=14067516 CPUtime=14.46 cores=1,3,5,7
/proc/21364/stat : 21364 (java) S 21361 21364 4821 0 -1 1077944320 63241 12865 0 0 1411 28 4 3 20 0 15 0 94517327 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 140732267780992 139988190707447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
/proc/21364/statm: 3516879 122386 3466 1 0 3505493 0
[pid=21364/tid=21414] ppid=21361 vsize=14067516 CPUtime=6.02 cores=1,3,5,7
/proc/21364/task/21414/stat : 21414 (java) R 21361 21364 4821 0 -1 4202560 43935 12865 0 0 581 14 4 3 20 0 15 0 94517352 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139988194938384 139987846695822 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21415] ppid=21361 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/21364/task/21415/stat : 21415 (java) S 21361 21364 4821 0 -1 1077944384 87 12865 0 0 5 1 4 3 20 0 15 0 94517353 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987790523024 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21416] ppid=21361 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/21364/task/21416/stat : 21416 (java) S 21361 21364 4821 0 -1 1077944384 163 12865 0 0 6 1 4 3 20 0 15 0 94517353 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987789470224 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21417] ppid=21361 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/21364/task/21417/stat : 21417 (java) S 21361 21364 4821 0 -1 1077944384 85 12865 0 0 6 1 4 3 20 0 15 0 94517353 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987788417424 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21418] ppid=21361 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/21364/task/21418/stat : 21418 (java) S 21361 21364 4821 0 -1 1077944384 253 12865 0 0 6 1 4 3 20 0 15 0 94517353 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987787364624 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21419] ppid=21361 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/21364/task/21419/stat : 21419 (java) S 21361 21364 4821 0 -1 1077944384 2433 12865 0 0 4 0 4 3 20 0 15 0 94517354 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987669298032 139988190718594 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21420] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21420/stat : 21420 (java) S 21361 21364 4821 0 -1 1077944384 56 12865 0 0 0 0 4 3 20 0 15 0 94517355 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987668244128 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21421] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21421/stat : 21421 (java) S 21361 21364 4821 0 -1 1077944384 43 12865 0 0 0 0 4 3 20 0 15 0 94517355 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987667191168 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21422] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21422/stat : 21422 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987666139472 139988190726043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21423] ppid=21361 vsize=14067516 CPUtime=3.3 cores=1,3,5,7
/proc/21364/task/21423/stat : 21423 (java) R 21361 21364 4821 0 -1 4202560 3735 12865 0 0 322 1 4 3 20 0 15 0 94517358 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987665078784 139988169925278 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21424] ppid=21361 vsize=14067516 CPUtime=3.39 cores=1,3,5,7
/proc/21364/task/21424/stat : 21424 (java) R 21361 21364 4821 0 -1 4202560 5363 12865 0 0 330 2 4 3 20 0 15 0 94517358 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987664021472 139988170551014 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21425] ppid=21361 vsize=14067516 CPUtime=1.53 cores=1,3,5,7
/proc/21364/task/21425/stat : 21425 (java) S 21361 21364 4821 0 -1 1077944384 4924 12865 0 0 144 2 4 3 20 0 15 0 94517358 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987662981232 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21426] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21426/stat : 21426 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987661928672 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21427] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21427/stat : 21427 (java) S 21361 21364 4821 0 -1 1077944384 7 12865 0 0 0 0 4 3 20 0 15 0 94517361 14405136384 122386 18446744073709551615 4194304 4196468 140732267798448 139987660876976 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
Current children cumulated CPU time (s) 14.46
Current children cumulated vsize (KiB) 14067516

[startup+7.20658 s]
/proc/loadavg: 1.60 1.48 1.47 5/213 21427
/proc/meminfo: memFree=29762544/32770624 swapFree=0/438584
[pid=21364] ppid=21361 vsize=14067516 CPUtime=16.92 cores=1,3,5,7
/proc/21364/stat : 21364 (java) S 21361 21364 4821 0 -1 1077944320 64331 12865 0 0 1654 31 4 3 20 0 15 0 94517327 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 140732267780992 139988190707447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
/proc/21364/statm: 3516879 154554 3471 1 0 3505493 0
[pid=21364/tid=21414] ppid=21361 vsize=14067516 CPUtime=6.8 cores=1,3,5,7
/proc/21364/task/21414/stat : 21414 (java) S 21361 21364 4821 0 -1 1077944384 44094 12865 0 0 658 15 4 3 20 0 15 0 94517352 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139988194945232 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21415] ppid=21361 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/21364/task/21415/stat : 21415 (java) R 21361 21364 4821 0 -1 4202560 87 12865 0 0 5 1 4 3 20 0 15 0 94517353 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987790523024 139988183812100 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21416] ppid=21361 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/21364/task/21416/stat : 21416 (java) R 21361 21364 4821 0 -1 4202560 170 12865 0 0 7 1 4 3 20 0 15 0 94517353 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987789470424 139988175731125 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21417] ppid=21361 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/21364/task/21417/stat : 21417 (java) R 21361 21364 4821 0 -1 4202560 94 12865 0 0 7 1 4 3 20 0 15 0 94517353 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987788417424 139988172354960 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21418] ppid=21361 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/21364/task/21418/stat : 21418 (java) R 21361 21364 4821 0 -1 4202560 260 12865 0 0 7 1 4 3 20 0 15 0 94517353 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987787364824 139988175734866 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21419] ppid=21361 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/21364/task/21419/stat : 21419 (java) S 21361 21364 4821 0 -1 1077944384 2433 12865 0 0 4 0 4 3 20 0 15 0 94517354 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987669296624 139988190717653 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21420] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21420/stat : 21420 (java) S 21361 21364 4821 0 -1 1077944384 56 12865 0 0 0 0 4 3 20 0 15 0 94517355 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987668244128 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21421] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21421/stat : 21421 (java) S 21361 21364 4821 0 -1 1077944384 43 12865 0 0 0 0 4 3 20 0 15 0 94517355 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987667191168 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21422] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21422/stat : 21422 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987666139472 139988190726043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21423] ppid=21361 vsize=14067516 CPUtime=4.08 cores=1,3,5,7
/proc/21364/task/21423/stat : 21423 (java) R 21361 21364 4821 0 -1 4202560 3954 12865 0 0 400 1 4 3 20 0 15 0 94517358 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987665072688 139988172251954 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21424] ppid=21361 vsize=14067516 CPUtime=4.18 cores=1,3,5,7
/proc/21364/task/21424/stat : 21424 (java) S 21361 21364 4821 0 -1 1077944384 5983 12865 0 0 409 2 4 3 20 0 15 0 94517358 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987664013072 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21425] ppid=21361 vsize=14067516 CPUtime=1.6 cores=1,3,5,7
/proc/21364/task/21425/stat : 21425 (java) S 21361 21364 4821 0 -1 1077944384 4993 12865 0 0 150 3 4 3 20 0 15 0 94517358 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987662981232 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21426] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21426/stat : 21426 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987661928672 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21427] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21427/stat : 21427 (java) S 21361 21364 4821 0 -1 1077944384 7 12865 0 0 0 0 4 3 20 0 15 0 94517361 14405136384 154554 18446744073709551615 4194304 4196468 140732267798448 139987660876976 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
Current children cumulated CPU time (s) 16.92
Current children cumulated vsize (KiB) 14067516

[startup+7.40214 s]
/proc/loadavg: 1.60 1.48 1.47 5/213 21427
/proc/meminfo: memFree=29762544/32770624 swapFree=0/438584
[pid=21364] ppid=21361 vsize=14067516 CPUtime=17.57 cores=1,3,5,7
/proc/21364/stat : 21364 (java) S 21361 21364 4821 0 -1 1077944320 64508 12865 0 0 1718 32 4 3 20 0 15 0 94517327 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 140732267780992 139988190707447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
/proc/21364/statm: 3516879 160260 3473 1 0 3505493 0
[pid=21364/tid=21414] ppid=21361 vsize=14067516 CPUtime=6.8 cores=1,3,5,7
/proc/21364/task/21414/stat : 21414 (java) S 21361 21364 4821 0 -1 1077944384 44094 12865 0 0 658 15 4 3 20 0 15 0 94517352 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139988194945232 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21415] ppid=21361 vsize=14067516 CPUtime=0.29 cores=1,3,5,7
/proc/21364/task/21415/stat : 21415 (java) S 21361 21364 4821 0 -1 1077944384 119 12865 0 0 20 2 4 3 20 0 15 0 94517353 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987790523024 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21416] ppid=21361 vsize=14067516 CPUtime=0.31 cores=1,3,5,7
/proc/21364/task/21416/stat : 21416 (java) S 21361 21364 4821 0 -1 1077944384 187 12865 0 0 22 2 4 3 20 0 15 0 94517353 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987789470224 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21417] ppid=21361 vsize=14067516 CPUtime=0.3 cores=1,3,5,7
/proc/21364/task/21417/stat : 21417 (java) S 21361 21364 4821 0 -1 1077944384 111 12865 0 0 22 1 4 3 20 0 15 0 94517353 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987788417424 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21418] ppid=21361 vsize=14067516 CPUtime=0.31 cores=1,3,5,7
/proc/21364/task/21418/stat : 21418 (java) S 21361 21364 4821 0 -1 1077944384 356 12865 0 0 23 1 4 3 20 0 15 0 94517353 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987787364624 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21419] ppid=21361 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/21364/task/21419/stat : 21419 (java) R 21361 21364 4821 0 -1 4202560 2447 12865 0 0 8 0 4 3 20 0 15 0 94517354 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987669296432 139988190728794 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21420] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21420/stat : 21420 (java) S 21361 21364 4821 0 -1 1077944384 57 12865 0 0 0 0 4 3 20 0 15 0 94517355 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987668243728 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21421] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21421/stat : 21421 (java) S 21361 21364 4821 0 -1 1077944384 43 12865 0 0 0 0 4 3 20 0 15 0 94517355 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987667191168 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21422] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21422/stat : 21422 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987666139472 139988190726043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21423] ppid=21361 vsize=14067516 CPUtime=4.08 cores=1,3,5,7
/proc/21364/task/21423/stat : 21423 (java) S 21361 21364 4821 0 -1 1077944384 3954 12865 0 0 400 1 4 3 20 0 15 0 94517358 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987665071824 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21424] ppid=21361 vsize=14067516 CPUtime=4.18 cores=1,3,5,7
/proc/21364/task/21424/stat : 21424 (java) S 21361 21364 4821 0 -1 1077944384 5983 12865 0 0 409 2 4 3 20 0 15 0 94517358 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987664013072 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21425] ppid=21361 vsize=14067516 CPUtime=1.6 cores=1,3,5,7
/proc/21364/task/21425/stat : 21425 (java) S 21361 21364 4821 0 -1 1077944384 4993 12865 0 0 150 3 4 3 20 0 15 0 94517358 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987662981232 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21426] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21426/stat : 21426 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987661928672 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21427] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21427/stat : 21427 (java) S 21361 21364 4821 0 -1 1077944384 7 12865 0 0 0 0 4 3 20 0 15 0 94517361 14405136384 160260 18446744073709551615 4194304 4196468 140732267798448 139987660876976 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
Current children cumulated CPU time (s) 17.57
Current children cumulated vsize (KiB) 14067516

[startup+7.50059 s]
/proc/loadavg: 1.60 1.48 1.47 5/213 21427
/proc/meminfo: memFree=29762544/32770624 swapFree=0/438584
[pid=21364] ppid=21361 vsize=14067516 CPUtime=17.83 cores=1,3,5,7
/proc/21364/stat : 21364 (java) S 21361 21364 4821 0 -1 1077944320 64528 12865 0 0 1744 32 4 3 20 0 15 0 94517327 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 140732267780992 139988190707447 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
/proc/21364/statm: 3516879 160261 3473 1 0 3505493 0
[pid=21364/tid=21414] ppid=21361 vsize=14067516 CPUtime=6.8 cores=1,3,5,7
/proc/21364/task/21414/stat : 21414 (java) S 21361 21364 4821 0 -1 1077944384 44095 12865 0 0 658 15 4 3 20 0 15 0 94517352 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139988194945232 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21415] ppid=21361 vsize=14067516 CPUtime=0.34 cores=1,3,5,7
/proc/21364/task/21415/stat : 21415 (java) R 21361 21364 4821 0 -1 4202560 124 12865 0 0 25 2 4 3 20 0 15 0 94517353 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987790523024 139988183335655 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21416] ppid=21361 vsize=14067516 CPUtime=0.37 cores=1,3,5,7
/proc/21364/task/21416/stat : 21416 (java) R 21361 21364 4821 0 -1 4202560 188 12865 0 0 28 2 4 3 20 0 15 0 94517353 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987789470224 139988175704109 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21417] ppid=21361 vsize=14067516 CPUtime=0.35 cores=1,3,5,7
/proc/21364/task/21417/stat : 21417 (java) R 21361 21364 4821 0 -1 4202560 118 12865 0 0 27 1 4 3 20 0 15 0 94517353 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987788417544 139988183335655 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21418] ppid=21361 vsize=14067516 CPUtime=0.36 cores=1,3,5,7
/proc/21364/task/21418/stat : 21418 (java) R 21361 21364 4821 0 -1 4202560 360 12865 0 0 28 1 4 3 20 0 15 0 94517353 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987787364624 139988183335655 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21419] ppid=21361 vsize=14067516 CPUtime=0.2 cores=1,3,5,7
/proc/21364/task/21419/stat : 21419 (java) S 21361 21364 4821 0 -1 1077944384 2448 12865 0 0 13 0 4 3 20 0 15 0 94517354 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987669296656 139988190717653 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21420] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21420/stat : 21420 (java) S 21361 21364 4821 0 -1 1077944384 57 12865 0 0 0 0 4 3 20 0 15 0 94517355 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987668243728 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21421] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21421/stat : 21421 (java) S 21361 21364 4821 0 -1 1077944384 43 12865 0 0 0 0 4 3 20 0 15 0 94517355 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987667191168 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21422] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21422/stat : 21422 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987666139472 139988190726043 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21423] ppid=21361 vsize=14067516 CPUtime=4.08 cores=1,3,5,7
/proc/21364/task/21423/stat : 21423 (java) S 21361 21364 4821 0 -1 1077944384 3955 12865 0 0 400 1 4 3 20 0 15 0 94517358 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987665071664 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21424] ppid=21361 vsize=14067516 CPUtime=4.18 cores=1,3,5,7
/proc/21364/task/21424/stat : 21424 (java) S 21361 21364 4821 0 -1 1077944384 5983 12865 0 0 409 2 4 3 20 0 15 0 94517358 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987664014704 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21425] ppid=21361 vsize=14067516 CPUtime=1.6 cores=1,3,5,7
/proc/21364/task/21425/stat : 21425 (java) S 21361 21364 4821 0 -1 1077944384 4993 12865 0 0 150 3 4 3 20 0 15 0 94517358 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987662981232 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21426] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21426/stat : 21426 (java) S 21361 21364 4821 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 94517358 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987661928672 139988190717653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
[pid=21364/tid=21427] ppid=21361 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21364/task/21427/stat : 21427 (java) S 21361 21364 4821 0 -1 1077944384 7 12865 0 0 0 0 4 3 20 0 15 0 94517361 14405136384 160261 18446744073709551615 4194304 4196468 140732267798448 139987660876976 139988190718594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12034048 140732267800528 140732267803313 140732267803313 140732267806671 0
Current children cumulated CPU time (s) 17.83
Current children cumulated vsize (KiB) 14067516

Child status: 0
Real time (s): 7.57522
CPU time (s): 18.0191
CPU user time (s): 17.6436
CPU system time (s): 0.375471
CPU usage (%): 237.868
Max. virtual memory (cumulated for all children) (KiB): 14067516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.6436
system time used= 0.375471
maximum resident set size= 642396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7505
involuntary context switches= 91

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045827 second user time and 0.036662 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-11 17:42:53
IDJOB=4262712
IDBENCH=135684
IDSOLVER=2650
FILE ID=node133/4262712-1502467021
RUNJOBID= node133-1502411423-4885
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20/TravellingSalesman-20-076_X2.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262712-1502467021/watcher-4262712-1502467021 -o /tmp/evaluation-result-4262712-1502467021/solver-4262712-1502467021 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580  bin/concrete HOME/instance-4262712-1502467021.xml

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

MD5SUM BENCH= 63d95fcac4968a6897becae9cdc29854
RANDOM SEED=361062353

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:        30242924 kB
MemAvailable:   31134844 kB
Buffers:          296340 kB
Cached:           889708 kB
SwapCached:            0 kB
Active:          1618292 kB
Inactive:         471396 kB
Active(anon):     904124 kB
Inactive(anon):    33112 kB
Active(file):     714168 kB
Inactive(file):   438284 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24156 kB
Writeback:             8 kB
AnonPages:        903296 kB
Mapped:            64616 kB
Shmem:             33468 kB
Slab:             137808 kB
SReclaimable:     110608 kB
SUnreclaim:        27200 kB
KernelStack:        3504 kB
PageTables:         7648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1442664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    720896 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-11 17:43:01