Trace number 4248019

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
R1: Concrete 3.4SAT 7.2441101 3.9257801

General information on the benchmark

NameCoveringArray/CoveringArray-elt-s1/
CoveringArray-elt-3-04-2-08.xml
MD5SUM17db91fb5ac5a139b323ef8c05694434
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 benchmark0.0036190001
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints44
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":64}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":32},{"degree":9,"count":32}]
Minimum constraint arity4
Maximum constraint arity9
Distribution of constraint arities[{"arity":4,"count":8},{"arity":8,"count":4},{"arity":9,"count":32}]
Number of extensional constraints8
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":8},{"type":"allDifferent","count":4},{"type":"element","count":32}]
Optimization problemNO
Type of objective

Solver Data 

3.10/2.19	c Concrete v3.4 running
7.19/3.90	v <instantiation>
7.19/3.90	v       <list>
7.19/3.90	v         p[0][0] p[0][1] p[0][2] p[0][3] p[0][4] p[0][5] p[0][6] p[0][7] p[1][0] p[1][1] p[1][2] p[1][3] p[1][4] p[1][5] p[1][6] p[1][7] p[2][0] p[2][1] p[2][2] p[2][3] p[2][4] p[2][5] p[2][6] p[2][7] p[3][0] p[3][1] p[3][2] p[3][3] p[3][4] p[3][5] p[3][6] p[3][7] v[0][0] v[0][1] v[0][2] v[0][3] v[0][4] v[0][5] v[0][6] v[0][7] v[1][0] v[1][1] v[1][2] v[1][3] v[1][4] v[1][5] v[1][6] v[1][7] v[2][0] v[2][1] v[2][2] v[2][3] v[2][4] v[2][5] v[2][6] v[2][7] v[3][0] v[3][1] v[3][2] v[3][3] v[3][4] v[3][5] v[3][6] v[3][7]
7.19/3.90	v       </list>
7.19/3.90	v       <values>
7.19/3.90	v         0 3 1 5 6 4 2 7 3 0 1 5 6 4 7 2 1 0 3 5 6 2 7 4 6 0 3 4 1 2 7 5 0 2 6 1 5 3 4 7 1 2 7 0 5 3 4 6 1 0 5 2 7 3 4 6 1 4 5 2 3 7 0 6
7.19/3.90	v       </values>
7.19/3.90	v     </instantiation>
7.19/3.90	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-4248019-1502107596/watcher-4248019-1502107596 -o /tmp/evaluation-result-4248019-1502107596/solver-4248019-1502107596 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502077974-12598 --watchdog 2560 bin/concrete HOME/instance-4248019-1502107596.xml 

pid=19081
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.92 1.91 1.88 2/199 19084
/proc/meminfo: memFree=24931424/32770624 swapFree=0/440852
[pid=19084] ppid=19081 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/19084/stat : 19084 (runsolver) D 19081 19084 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 58265628 24240128 106 18446744073709551615 4194304 4338465 140721308698016 140721308695656 139990549938903 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 16801792 140721308704976 140721308705353 140721308705353 140721308708810 0
/proc/19084/statm: 5918 106 53 36 0 2156 0

[startup+0.100162 s]
/proc/loadavg: 1.92 1.91 1.88 2/199 19084
/proc/meminfo: memFree=24931424/32770624 swapFree=0/440852
[pid=19084] ppid=19081 vsize=9640 CPUtime=0.01 cores=0,2,4,6
/proc/19084/stat : 19084 (bash) S 19081 19084 25139 0 -1 4202496 888 6452 0 0 0 0 0 1 20 0 1 0 58265628 9871360 373 18446744073709551615 4194304 5098028 140721112557312 140721112551320 140398609296384 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 7 0 0 7196144 7232144 29081600 140721112564244 140721112564329 140721112564329 140721112567786 0
/proc/19084/statm: 2410 373 292 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200254 s]
/proc/loadavg: 1.92 1.91 1.88 2/199 19084
/proc/meminfo: memFree=24931424/32770624 swapFree=0/440852
[pid=19084] ppid=19081 vsize=9640 CPUtime=0.01 cores=0,2,4,6
/proc/19084/stat : 19084 (bash) S 19081 19084 25139 0 -1 4202496 888 6452 0 0 0 0 0 1 20 0 1 0 58265628 9871360 373 18446744073709551615 4194304 5098028 140721112557312 140721112551320 140398609296384 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 7 0 0 7196144 7232144 29081600 140721112564244 140721112564329 140721112564329 140721112567786 0
/proc/19084/statm: 2410 373 292 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.300363 s]
/proc/loadavg: 1.92 1.91 1.88 2/199 19084
/proc/meminfo: memFree=24931424/32770624 swapFree=0/440852
[pid=19084] ppid=19081 vsize=10485316 CPUtime=0.13 cores=0,2,4,6
/proc/19084/stat : 19084 (java) S 19081 19084 25139 0 -1 1077944320 5303 12702 0 0 5 1 4 3 20 0 14 0 58265628 10736963584 6011 18446744073709551615 4194304 4196468 140726595811296 140726595793840 140656513011447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
/proc/19084/statm: 2621329 6011 2573 1 0 2610826 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10485316

[startup+0.705635 s]
/proc/loadavg: 1.92 1.91 1.88 2/199 19084
/proc/meminfo: memFree=24931424/32770624 swapFree=0/440852
[pid=19084] ppid=19081 vsize=10552792 CPUtime=0.68 cores=0,2,4,6
/proc/19084/stat : 19084 (java) S 19081 19084 25139 0 -1 1077944320 13342 12702 0 0 57 4 4 3 20 0 15 0 58265628 10806059008 15317 18446744073709551615 4194304 4196468 140726595811296 140726595793840 140656513011447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
/proc/19084/statm: 2638198 15317 3126 1 0 2627467 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10552792

[startup+1.50058 s]
/proc/loadavg: 1.92 1.92 1.88 3/214 19147
/proc/meminfo: memFree=24835356/32770624 swapFree=0/440884
[pid=19084] ppid=19081 vsize=10563416 CPUtime=1.87 cores=0,2,4,6
/proc/19084/stat : 19084 (java) S 19081 19084 25139 0 -1 1077944320 29374 12702 0 0 170 10 4 3 20 0 15 0 58265628 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140726595793840 140656513011447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
/proc/19084/statm: 2640854 40947 3372 1 0 2630027 0
[pid=19084/tid=19134] ppid=19081 vsize=10563416 CPUtime=1.28 cores=0,2,4,6
/proc/19084/task/19134/stat : 19134 (java) S 19081 19084 25139 0 -1 1077944384 23643 12702 0 0 114 7 4 3 20 0 15 0 58265649 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656517228752 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19135] ppid=19081 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19135/stat : 19135 (java) S 19081 19084 25139 0 -1 1077944384 166 12702 0 0 0 0 4 3 20 0 15 0 58265650 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656443431568 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19136] ppid=19081 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19136/stat : 19136 (java) S 19081 19084 25139 0 -1 1077944384 24 12702 0 0 0 0 4 3 20 0 15 0 58265650 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656442378768 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19137] ppid=19081 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19137/stat : 19137 (java) S 19081 19084 25139 0 -1 1077944384 54 12702 0 0 0 0 4 3 20 0 15 0 58265650 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656441325968 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19138] ppid=19081 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19138/stat : 19138 (java) S 19081 19084 25139 0 -1 1077944384 53 12702 0 0 0 0 4 3 20 0 15 0 58265650 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656440273168 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19139] ppid=19081 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19139/stat : 19139 (java) R 19081 19084 25139 0 -1 4202560 258 12702 0 0 0 0 4 3 20 0 15 0 58265651 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656009360576 140656505245691 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19140] ppid=19081 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19140/stat : 19140 (java) S 19081 19084 25139 0 -1 1077944384 33 12702 0 0 0 0 4 3 20 0 15 0 58265651 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656008308256 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19141] ppid=19081 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19141/stat : 19141 (java) S 19081 19084 25139 0 -1 1077944384 21 12702 0 0 0 0 4 3 20 0 15 0 58265652 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656007255408 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19142] ppid=19081 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19142/stat : 19142 (java) S 19081 19084 25139 0 -1 1077944384 3 12702 0 0 0 0 4 3 20 0 15 0 58265654 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656006203728 140656513030043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19143] ppid=19081 vsize=10563416 CPUtime=0.22 cores=0,2,4,6
/proc/19084/task/19143/stat : 19143 (java) S 19081 19084 25139 0 -1 1077944384 895 12702 0 0 15 0 4 3 20 0 15 0 58265654 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656005151088 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19144] ppid=19081 vsize=10563416 CPUtime=0.22 cores=0,2,4,6
/proc/19084/task/19144/stat : 19144 (java) S 19081 19084 25139 0 -1 1077944384 787 12702 0 0 15 0 4 3 20 0 15 0 58265654 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656004098288 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19145] ppid=19081 vsize=10563416 CPUtime=0.3 cores=0,2,4,6
/proc/19084/task/19145/stat : 19145 (java) S 19081 19084 25139 0 -1 1077944384 1300 12702 0 0 23 0 4 3 20 0 15 0 58265654 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656003040864 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19146] ppid=19081 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19146/stat : 19146 (java) S 19081 19084 25139 0 -1 1077944384 3 12702 0 0 0 0 4 3 20 0 15 0 58265654 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656001992928 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19147] ppid=19081 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19147/stat : 19147 (java) S 19081 19084 25139 0 -1 1077944384 6 12702 0 0 0 0 4 3 20 0 15 0 58265659 10816937984 40947 18446744073709551615 4194304 4196468 140726595811296 140656000941232 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10563416

[startup+3.10062 s]
/proc/loadavg: 1.92 1.92 1.88 4/214 19148
/proc/meminfo: memFree=24757108/32770624 swapFree=0/440884
[pid=19084] ppid=19081 vsize=10577940 CPUtime=4.84 cores=0,2,4,6
/proc/19084/stat : 19084 (java) S 19081 19084 25139 0 -1 1077944320 47013 12702 0 0 461 16 4 3 20 0 15 0 58265628 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140726595793840 140656513011447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
/proc/19084/statm: 2644485 59672 3460 1 0 2633099 0
[pid=19084/tid=19134] ppid=19081 vsize=10577940 CPUtime=2.83 cores=0,2,4,6
/proc/19084/task/19134/stat : 19134 (java) S 19081 19084 25139 0 -1 1077944384 37320 12702 0 0 266 10 4 3 20 0 15 0 58265649 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656517235888 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19135] ppid=19081 vsize=10577940 CPUtime=0.08 cores=0,2,4,6
/proc/19084/task/19135/stat : 19135 (java) S 19081 19084 25139 0 -1 1077944384 187 12702 0 0 1 0 4 3 20 0 15 0 58265650 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656443431568 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19136] ppid=19081 vsize=10577940 CPUtime=0.08 cores=0,2,4,6
/proc/19084/task/19136/stat : 19136 (java) S 19081 19084 25139 0 -1 1077944384 47 12702 0 0 1 0 4 3 20 0 15 0 58265650 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656442378768 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19137] ppid=19081 vsize=10577940 CPUtime=0.08 cores=0,2,4,6
/proc/19084/task/19137/stat : 19137 (java) S 19081 19084 25139 0 -1 1077944384 87 12702 0 0 1 0 4 3 20 0 15 0 58265650 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656441325968 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19138] ppid=19081 vsize=10577940 CPUtime=0.08 cores=0,2,4,6
/proc/19084/task/19138/stat : 19138 (java) S 19081 19084 25139 0 -1 1077944384 73 12702 0 0 1 0 4 3 20 0 15 0 58265650 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656440273168 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19139] ppid=19081 vsize=10577940 CPUtime=0.09 cores=0,2,4,6
/proc/19084/task/19139/stat : 19139 (java) R 19081 19084 25139 0 -1 4202560 1357 12702 0 0 2 0 4 3 20 0 15 0 58265651 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656009360576 140656491142948 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19140] ppid=19081 vsize=10577940 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19140/stat : 19140 (java) S 19081 19084 25139 0 -1 1077944384 55 12702 0 0 0 0 4 3 20 0 15 0 58265651 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656008308320 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19141] ppid=19081 vsize=10577940 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19141/stat : 19141 (java) S 19081 19084 25139 0 -1 1077944384 43 12702 0 0 0 0 4 3 20 0 15 0 58265652 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656007255424 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19142] ppid=19081 vsize=10577940 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19142/stat : 19142 (java) S 19081 19084 25139 0 -1 1077944384 3 12702 0 0 0 0 4 3 20 0 15 0 58265654 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656006203728 140656513030043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19143] ppid=19081 vsize=10577940 CPUtime=0.58 cores=0,2,4,6
/proc/19084/task/19143/stat : 19143 (java) S 19081 19084 25139 0 -1 1077944384 1460 12702 0 0 51 0 4 3 20 0 15 0 58265654 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656005151088 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19144] ppid=19081 vsize=10577940 CPUtime=0.5 cores=0,2,4,6
/proc/19084/task/19144/stat : 19144 (java) S 19081 19084 25139 0 -1 1077944384 1173 12702 0 0 42 1 4 3 20 0 15 0 58265654 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656004098288 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19145] ppid=19081 vsize=10577940 CPUtime=0.96 cores=0,2,4,6
/proc/19084/task/19145/stat : 19145 (java) S 19081 19084 25139 0 -1 1077944384 3059 12702 0 0 89 0 4 3 20 0 15 0 58265654 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656003045488 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19146] ppid=19081 vsize=10577940 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19146/stat : 19146 (java) S 19081 19084 25139 0 -1 1077944384 3 12702 0 0 0 0 4 3 20 0 15 0 58265654 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656001992928 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19147] ppid=19081 vsize=10577940 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19147/stat : 19147 (java) S 19081 19084 25139 0 -1 1077944384 9 12702 0 0 0 0 4 3 20 0 15 0 58265659 10831810560 59672 18446744073709551615 4194304 4196468 140726595811296 140656000941232 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 10577940

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

[startup+3.20168 s]
/proc/loadavg: 1.92 1.92 1.88 4/214 19148
/proc/meminfo: memFree=24757108/32770624 swapFree=0/440884
[pid=19084] ppid=19081 vsize=10579988 CPUtime=5.1 cores=0,2,4,6
/proc/19084/stat : 19084 (java) S 19081 19084 25139 0 -1 1077944320 47972 12702 0 0 486 17 4 3 20 0 15 0 58265628 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140726595793840 140656513011447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
/proc/19084/statm: 2644997 61347 3462 1 0 2633611 0
[pid=19084/tid=19134] ppid=19081 vsize=10579988 CPUtime=2.92 cores=0,2,4,6
/proc/19084/task/19134/stat : 19134 (java) R 19081 19084 25139 0 -1 4202560 37522 12702 0 0 275 10 4 3 20 0 15 0 58265649 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656517248088 140656102173008 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19135] ppid=19081 vsize=10579988 CPUtime=0.09 cores=0,2,4,6
/proc/19084/task/19135/stat : 19135 (java) S 19081 19084 25139 0 -1 1077944384 187 12702 0 0 2 0 4 3 20 0 15 0 58265650 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656443431568 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19136] ppid=19081 vsize=10579988 CPUtime=0.09 cores=0,2,4,6
/proc/19084/task/19136/stat : 19136 (java) S 19081 19084 25139 0 -1 1077944384 49 12702 0 0 2 0 4 3 20 0 15 0 58265650 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656442378768 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19137] ppid=19081 vsize=10579988 CPUtime=0.09 cores=0,2,4,6
/proc/19084/task/19137/stat : 19137 (java) S 19081 19084 25139 0 -1 1077944384 87 12702 0 0 2 0 4 3 20 0 15 0 58265650 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656441325968 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19138] ppid=19081 vsize=10579988 CPUtime=0.09 cores=0,2,4,6
/proc/19084/task/19138/stat : 19138 (java) S 19081 19084 25139 0 -1 1077944384 73 12702 0 0 2 0 4 3 20 0 15 0 58265650 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656440273168 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19139] ppid=19081 vsize=10579988 CPUtime=0.1 cores=0,2,4,6
/proc/19084/task/19139/stat : 19139 (java) S 19081 19084 25139 0 -1 1077944384 1763 12702 0 0 3 0 4 3 20 0 15 0 58265651 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656009362288 140656513022594 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19140] ppid=19081 vsize=10579988 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19140/stat : 19140 (java) S 19081 19084 25139 0 -1 1077944384 55 12702 0 0 0 0 4 3 20 0 15 0 58265651 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656008308320 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19141] ppid=19081 vsize=10579988 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19141/stat : 19141 (java) S 19081 19084 25139 0 -1 1077944384 43 12702 0 0 0 0 4 3 20 0 15 0 58265652 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656007255424 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19142] ppid=19081 vsize=10579988 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19142/stat : 19142 (java) S 19081 19084 25139 0 -1 1077944384 3 12702 0 0 0 0 4 3 20 0 15 0 58265654 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656006203728 140656513030043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19143] ppid=19081 vsize=10579988 CPUtime=0.61 cores=0,2,4,6
/proc/19084/task/19143/stat : 19143 (java) R 19081 19084 25139 0 -1 4202560 1497 12702 0 0 54 0 4 3 20 0 15 0 58265654 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656005151088 140656496479478 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19144] ppid=19081 vsize=10579988 CPUtime=0.54 cores=0,2,4,6
/proc/19084/task/19144/stat : 19144 (java) R 19081 19084 25139 0 -1 4202560 1354 12702 0 0 46 1 4 3 20 0 15 0 58265654 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656004087552 140656505300896 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19145] ppid=19081 vsize=10579988 CPUtime=1.02 cores=0,2,4,6
/proc/19084/task/19145/stat : 19145 (java) R 19081 19084 25139 0 -1 4202560 3194 12702 0 0 94 1 4 3 20 0 15 0 58265654 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656003045488 140656491979574 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19146] ppid=19081 vsize=10579988 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19146/stat : 19146 (java) S 19081 19084 25139 0 -1 1077944384 3 12702 0 0 0 0 4 3 20 0 15 0 58265654 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656001992928 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19147] ppid=19081 vsize=10579988 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19147/stat : 19147 (java) S 19081 19084 25139 0 -1 1077944384 9 12702 0 0 0 0 4 3 20 0 15 0 58265659 10833907712 61347 18446744073709551615 4194304 4196468 140726595811296 140656000941232 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 10579988

[startup+3.60068 s]
/proc/loadavg: 1.92 1.92 1.88 5/214 19148
/proc/meminfo: memFree=24695864/32770624 swapFree=0/440884
[pid=19084] ppid=19081 vsize=10645524 CPUtime=6.29 cores=0,2,4,6
/proc/19084/stat : 19084 (java) S 19081 19084 25139 0 -1 1077944320 58351 12702 0 0 604 18 4 3 20 0 15 0 58265628 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140726595793840 140656513011447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
/proc/19084/statm: 2661381 71772 3467 1 0 2649995 0
[pid=19084/tid=19134] ppid=19081 vsize=10645524 CPUtime=3.31 cores=0,2,4,6
/proc/19084/task/19134/stat : 19134 (java) R 19081 19084 25139 0 -1 4202560 45214 12702 0 0 313 11 4 3 20 0 15 0 58265649 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656517243008 140656102223130 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19135] ppid=19081 vsize=10645524 CPUtime=0.09 cores=0,2,4,6
/proc/19084/task/19135/stat : 19135 (java) S 19081 19084 25139 0 -1 1077944384 187 12702 0 0 2 0 4 3 20 0 15 0 58265650 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656443431568 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19136] ppid=19081 vsize=10645524 CPUtime=0.09 cores=0,2,4,6
/proc/19084/task/19136/stat : 19136 (java) S 19081 19084 25139 0 -1 1077944384 49 12702 0 0 2 0 4 3 20 0 15 0 58265650 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656442378768 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19137] ppid=19081 vsize=10645524 CPUtime=0.09 cores=0,2,4,6
/proc/19084/task/19137/stat : 19137 (java) S 19081 19084 25139 0 -1 1077944384 87 12702 0 0 2 0 4 3 20 0 15 0 58265650 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656441325968 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19138] ppid=19081 vsize=10645524 CPUtime=0.09 cores=0,2,4,6
/proc/19084/task/19138/stat : 19138 (java) S 19081 19084 25139 0 -1 1077944384 73 12702 0 0 2 0 4 3 20 0 15 0 58265650 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656440273168 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19139] ppid=19081 vsize=10645524 CPUtime=0.1 cores=0,2,4,6
/proc/19084/task/19139/stat : 19139 (java) S 19081 19084 25139 0 -1 1077944384 1763 12702 0 0 3 0 4 3 20 0 15 0 58265651 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656009362288 140656513022594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19140] ppid=19081 vsize=10645524 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19140/stat : 19140 (java) S 19081 19084 25139 0 -1 1077944384 55 12702 0 0 0 0 4 3 20 0 15 0 58265651 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656008308320 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19141] ppid=19081 vsize=10645524 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19141/stat : 19141 (java) S 19081 19084 25139 0 -1 1077944384 43 12702 0 0 0 0 4 3 20 0 15 0 58265652 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656007255424 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19142] ppid=19081 vsize=10645524 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19142/stat : 19142 (java) S 19081 19084 25139 0 -1 1077944384 3 12702 0 0 0 0 4 3 20 0 15 0 58265654 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656006203728 140656513030043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19143] ppid=19081 vsize=10645524 CPUtime=0.84 cores=0,2,4,6
/proc/19084/task/19143/stat : 19143 (java) R 19081 19084 25139 0 -1 4202560 2060 12702 0 0 77 0 4 3 20 0 15 0 58265654 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656005132656 140656492865008 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19144] ppid=19081 vsize=10645524 CPUtime=0.93 cores=0,2,4,6
/proc/19084/task/19144/stat : 19144 (java) R 19081 19084 25139 0 -1 4202560 3030 12702 0 0 85 1 4 3 20 0 15 0 58265654 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656004079304 140656491402891 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19145] ppid=19081 vsize=10645524 CPUtime=1.2 cores=0,2,4,6
/proc/19084/task/19145/stat : 19145 (java) R 19081 19084 25139 0 -1 4202560 3641 12702 0 0 112 1 4 3 20 0 15 0 58265654 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656003045488 140656506111294 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19146] ppid=19081 vsize=10645524 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19146/stat : 19146 (java) S 19081 19084 25139 0 -1 1077944384 3 12702 0 0 0 0 4 3 20 0 15 0 58265654 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656001992928 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19147] ppid=19081 vsize=10645524 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19147/stat : 19147 (java) S 19081 19084 25139 0 -1 1077944384 9 12702 0 0 0 0 4 3 20 0 15 0 58265659 10901016576 71772 18446744073709551615 4194304 4196468 140726595811296 140656000941232 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10645524

[startup+3.80067 s]
/proc/loadavg: 1.92 1.92 1.88 5/214 19148
/proc/meminfo: memFree=24695864/32770624 swapFree=0/440884
[pid=19084] ppid=19081 vsize=10647572 CPUtime=6.92 cores=0,2,4,6
/proc/19084/stat : 19084 (java) S 19081 19084 25139 0 -1 1077944320 58769 12702 0 0 666 19 4 3 20 0 15 0 58265628 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140726595793840 140656513011447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
/proc/19084/statm: 2661893 72121 3467 1 0 2650507 0
[pid=19084/tid=19134] ppid=19081 vsize=10647572 CPUtime=3.36 cores=0,2,4,6
/proc/19084/task/19134/stat : 19134 (java) S 19081 19084 25139 0 -1 1077944384 45233 12702 0 0 318 11 4 3 20 0 15 0 58265649 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656517248992 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19135] ppid=19081 vsize=10647572 CPUtime=0.18 cores=0,2,4,6
/proc/19084/task/19135/stat : 19135 (java) S 19081 19084 25139 0 -1 1077944384 191 12702 0 0 11 0 4 3 20 0 15 0 58265650 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656443431568 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19136] ppid=19081 vsize=10647572 CPUtime=0.14 cores=0,2,4,6
/proc/19084/task/19136/stat : 19136 (java) S 19081 19084 25139 0 -1 1077944384 59 12702 0 0 7 0 4 3 20 0 15 0 58265650 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656442378768 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19137] ppid=19081 vsize=10647572 CPUtime=0.19 cores=0,2,4,6
/proc/19084/task/19137/stat : 19137 (java) S 19081 19084 25139 0 -1 1077944384 91 12702 0 0 12 0 4 3 20 0 15 0 58265650 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656441325968 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19138] ppid=19081 vsize=10647572 CPUtime=0.16 cores=0,2,4,6
/proc/19084/task/19138/stat : 19138 (java) S 19081 19084 25139 0 -1 1077944384 81 12702 0 0 9 0 4 3 20 0 15 0 58265650 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656440273168 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19139] ppid=19081 vsize=10647572 CPUtime=0.14 cores=0,2,4,6
/proc/19084/task/19139/stat : 19139 (java) R 19081 19084 25139 0 -1 4202560 1776 12702 0 0 7 0 4 3 20 0 15 0 58265651 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656009360688 140656497367641 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19140] ppid=19081 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19140/stat : 19140 (java) S 19081 19084 25139 0 -1 1077944384 55 12702 0 0 0 0 4 3 20 0 15 0 58265651 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656008308464 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19141] ppid=19081 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19141/stat : 19141 (java) S 19081 19084 25139 0 -1 1077944384 43 12702 0 0 0 0 4 3 20 0 15 0 58265652 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656007255424 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19142] ppid=19081 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19142/stat : 19142 (java) S 19081 19084 25139 0 -1 1077944384 3 12702 0 0 0 0 4 3 20 0 15 0 58265654 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656006203728 140656513030043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19143] ppid=19081 vsize=10647572 CPUtime=0.9 cores=0,2,4,6
/proc/19084/task/19143/stat : 19143 (java) S 19081 19084 25139 0 -1 1077944384 2082 12702 0 0 83 0 4 3 20 0 15 0 58265654 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656005138736 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19144] ppid=19081 vsize=10647572 CPUtime=1.07 cores=0,2,4,6
/proc/19084/task/19144/stat : 19144 (java) S 19081 19084 25139 0 -1 1077944384 3317 12702 0 0 99 1 4 3 20 0 15 0 58265654 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656004084816 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19145] ppid=19081 vsize=10647572 CPUtime=1.22 cores=0,2,4,6
/proc/19084/task/19145/stat : 19145 (java) S 19081 19084 25139 0 -1 1077944384 3689 12702 0 0 114 1 4 3 20 0 15 0 58265654 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656003045488 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19146] ppid=19081 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19146/stat : 19146 (java) S 19081 19084 25139 0 -1 1077944384 3 12702 0 0 0 0 4 3 20 0 15 0 58265654 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656001992928 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19147] ppid=19081 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19147/stat : 19147 (java) S 19081 19084 25139 0 -1 1077944384 9 12702 0 0 0 0 4 3 20 0 15 0 58265659 10903113728 72121 18446744073709551615 4194304 4196468 140726595811296 140656000941232 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 10647572

[startup+3.90061 s]
/proc/loadavg: 1.92 1.92 1.88 5/214 19148
/proc/meminfo: memFree=24695864/32770624 swapFree=0/440884
[pid=19084] ppid=19081 vsize=10647572 CPUtime=7.19 cores=0,2,4,6
/proc/19084/stat : 19084 (java) S 19081 19084 25139 0 -1 1077944320 58984 12702 0 0 693 19 4 3 20 0 15 0 58265628 10903113728 71457 18446744073709551615 4194304 4196468 140726595811296 140726595793840 140656513011447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
/proc/19084/statm: 2661893 71457 3467 1 0 2650507 0
[pid=19084/tid=19134] ppid=19081 vsize=10647572 CPUtime=3.41 cores=0,2,4,6
/proc/19084/task/19134/stat : 19134 (java) R 19081 19084 25139 0 -1 4202560 45369 12702 0 0 323 11 4 3 20 0 15 0 58265649 10903113728 71457 18446744073709551615 4194304 4196468 140726595811296 140656517237616 140656497055077 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19135] ppid=19081 vsize=10647572 CPUtime=0.2 cores=0,2,4,6
/proc/19084/task/19135/stat : 19135 (java) S 19081 19084 25139 0 -1 1077944384 191 12702 0 0 13 0 4 3 20 0 15 0 58265650 10903113728 71457 18446744073709551615 4194304 4196468 140726595811296 140656443431568 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19136] ppid=19081 vsize=10647572 CPUtime=0.16 cores=0,2,4,6
/proc/19084/task/19136/stat : 19136 (java) S 19081 19084 25139 0 -1 1077944384 61 12702 0 0 9 0 4 3 20 0 15 0 58265650 10903113728 71457 18446744073709551615 4194304 4196468 140726595811296 140656442378768 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19137] ppid=19081 vsize=10647572 CPUtime=0.21 cores=0,2,4,6
/proc/19084/task/19137/stat : 19137 (java) S 19081 19084 25139 0 -1 1077944384 95 12702 0 0 14 0 4 3 20 0 15 0 58265650 10903113728 71457 18446744073709551615 4194304 4196468 140726595811296 140656441325968 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19138] ppid=19081 vsize=10647572 CPUtime=0.19 cores=0,2,4,6
/proc/19084/task/19138/stat : 19138 (java) S 19081 19084 25139 0 -1 1077944384 81 12702 0 0 11 1 4 3 20 0 15 0 58265650 10903113728 71457 18446744073709551615 4194304 4196468 140726595811296 140656440273168 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19139] ppid=19081 vsize=10647572 CPUtime=0.17 cores=0,2,4,6
/proc/19084/task/19139/stat : 19139 (java) S 19081 19084 25139 0 -1 1077944384 1776 12702 0 0 10 0 4 3 20 0 15 0 58265651 10903113728 71457 18446744073709551615 4194304 4196468 140726595811296 140656009362288 140656513022594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19140] ppid=19081 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19140/stat : 19140 (java) S 19081 19084 25139 0 -1 1077944384 55 12702 0 0 0 0 4 3 20 0 15 0 58265651 10903113728 71457 18446744073709551615 4194304 4196468 140726595811296 140656008308384 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19141] ppid=19081 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19141/stat : 19141 (java) S 19081 19084 25139 0 -1 1077944384 44 12702 0 0 0 0 4 3 20 0 15 0 58265652 10903113728 71457 18446744073709551615 4194304 4196468 140726595811296 140656007255424 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19142] ppid=19081 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19142/stat : 19142 (java) S 19081 19084 25139 0 -1 1077944384 3 12702 0 0 0 0 4 3 20 0 15 0 58265654 10903113728 71457 18446744073709551615 4194304 4196468 140726595811296 140656006203728 140656513030043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19143] ppid=19081 vsize=10647572 CPUtime=0.95 cores=0,2,4,6
/proc/19084/task/19143/stat : 19143 (java) R 19081 19084 25139 0 -1 4202560 2089 12702 0 0 88 0 4 3 20 0 15 0 58265654 10903113728 71457 18446744073709551615 4194304 4196468 140726595811296 140656005131024 140656490606464 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19144] ppid=19081 vsize=10647572 CPUtime=1.13 cores=0,2,4,6
/proc/19084/task/19144/stat : 19144 (java) R 19081 19084 25139 0 -1 4202560 3348 12702 0 0 105 1 4 3 20 0 15 0 58265654 10903113728 71460 18446744073709551615 4194304 4196468 140726595811296 140656004077776 140656494531438 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19145] ppid=19081 vsize=10647572 CPUtime=1.24 cores=0,2,4,6
/proc/19084/task/19145/stat : 19145 (java) S 19081 19084 25139 0 -1 1077944384 3724 12702 0 0 116 1 4 3 20 0 15 0 58265654 10903113728 71460 18446744073709551615 4194304 4196468 140726595811296 140656003045488 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19146] ppid=19081 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19146/stat : 19146 (java) S 19081 19084 25139 0 -1 1077944384 3 12702 0 0 0 0 4 3 20 0 15 0 58265654 10903113728 71460 18446744073709551615 4194304 4196468 140726595811296 140656001992928 140656513021653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
[pid=19084/tid=19147] ppid=19081 vsize=10647572 CPUtime=0.07 cores=0,2,4,6
/proc/19084/task/19147/stat : 19147 (java) S 19081 19084 25139 0 -1 1077944384 9 12702 0 0 0 0 4 3 20 0 15 0 58265659 10903113728 71460 18446744073709551615 4194304 4196468 140726595811296 140656000941232 140656513022594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140726595819483 140726595822257 140726595822257 140726595825615 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 10647572

Child status: 0
Real time (s): 3.92578
CPU time (s): 7.24411
CPU user time (s): 6.99848
CPU system time (s): 0.245625
CPU usage (%): 184.527
Max. virtual memory (cumulated for all children) (KiB): 10647572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.99848
system time used= 0.245625
maximum resident set size= 288756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71770
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= 6382
involuntary context switches= 58

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020059 second user time and 0.024779 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-07 13:52:37
IDJOB=4248019
IDBENCH=139760
IDSOLVER=2630
FILE ID=node134/4248019-1502107596
RUNJOBID= node134-1502077974-12598
PBS_JOBID= 
Free space on /tmp= 61996 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/CoveringArray/CoveringArray-elt-s1/CoveringArray-elt-3-04-2-08.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248019-1502107596/watcher-4248019-1502107596 -o /tmp/evaluation-result-4248019-1502107596/solver-4248019-1502107596 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502077974-12598 --watchdog 2560  bin/concrete HOME/instance-4248019-1502107596.xml

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

MD5SUM BENCH= 17db91fb5ac5a139b323ef8c05694434
RANDOM SEED=1849724766

node134.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.43
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.43
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.43
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.43
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:        24931708 kB
MemAvailable:   25608024 kB
Buffers:          215776 kB
Cached:           749988 kB
SwapCached:            0 kB
Active:          6936280 kB
Inactive:         463884 kB
Active(anon):    6436636 kB
Inactive(anon):    23032 kB
Active(file):     499644 kB
Inactive(file):   440852 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24368 kB
Writeback:             4 kB
AnonPages:       6434408 kB
Mapped:            54340 kB
Shmem:             25276 kB
Slab:             129028 kB
SReclaimable:     103312 kB
SUnreclaim:        25716 kB
KernelStack:        3520 kB
PageTables:        17588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8099284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6144000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61972 MiB
End job on node134 at 2017-08-07 13:52:42