Trace number 4242715

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Mistral-2.0 2017-06-28SAT (TO)3 2400.0901 2400.3101

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-12-12.xml
MD5SUM413eb2f3dbc4c6295d83fc35d5100e1e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark2400.0901
Satisfiable
(Un)Satisfiability was proved
Number of variables144
Number of constraints4357
Number of domains1
Minimum domain size144
Maximum domain size144
Distribution of domain sizes[{"size":144,"count":144}]
Minimum variable degree123
Maximum variable degree123
Distribution of variable degrees[{"degree":123,"count":144}]
Minimum constraint arity4
Maximum constraint arity144
Distribution of constraint arities[{"arity":4,"count":4356},{"arity":144,"count":1}]
Number of extensional constraints0
Number of intensional constraints4356
Distribution of constraint types[{"type":"intension","count":4356},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.10	c Mistral-2017-06-28
21.89/22.06	o 6
22.08/22.23	o 5
22.28/22.45	o 4
107.87/108.05	o 3
2400.08/2400.30	s SATISFIABLE
2400.08/2400.30	v <instantiation type="solution">
2400.08/2400.30	v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] </list>
2400.08/2400.30	v   <values> 0 0 0 0 0 1 1 1 2 2 2 3 0 1 2 2 2 1 3 3 0 0 1 1 0 3 1 2 3 0 1 3 1 3 2 0 1 0 1 2 3 0 2 1 2 0 0 1 1 1 0 1 1 2 2 3 3 0 3 3 1 2 3 3 2 3 2 3 0 2 1 0 1 3 3 0 2 0 0 2 0 1 2 3 2 2 3 2 3 2 3 2 0 1 0 1 3 1 0 2 3 3 0 0 1 2 3 0 3 1 0 3 2 2 3 1 2 1 0 3 3 2 2 1 0 0 1 0 3 3 2 1 3 3 2 1 0 1 0 2 1 2 0 2 </values>
2400.08/2400.30	v </instantiation>

Verifier Data 

OK	3

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-4242715-1502058675/watcher-4242715-1502058675 -o /tmp/evaluation-result-4242715-1502058675/solver-4242715-1502058675 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28342 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 360597997 HOME/instance-4242715-1502058675.xml 

pid=30928
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: 2.22 2.06 2.06 3/179 30931
/proc/meminfo: memFree=31667088/32770624 swapFree=0/344348
[pid=30931] ppid=30928 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/30931/stat : 30931 (runsolver) D 30928 30931 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8061211 24240128 106 18446744073709551615 4194304 4338465 140737198302784 140737198300424 139936291467991 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 36610048 140737198305420 140737198305866 140737198305866 140737198309322 0
/proc/30931/statm: 5918 106 53 36 0 2156 0

[startup+0.100171 s]
/proc/loadavg: 2.22 2.06 2.06 3/179 30931
/proc/meminfo: memFree=31667088/32770624 swapFree=0/344348
[pid=30931] ppid=30928 vsize=28312 CPUtime=0 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4194304 307 0 0 0 0 0 0 0 20 0 1 0 8061211 28991488 158 18446744073709551615 4194304 7402444 140720874167968 140720874165016 140080059396480 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 7078 158 119 784 0 60 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28312

[startup+0.200329 s]
/proc/loadavg: 2.22 2.06 2.06 3/179 30931
/proc/meminfo: memFree=31667088/32770624 swapFree=0/344348
[pid=30931] ppid=30928 vsize=29344 CPUtime=0.1 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 1188 0 0 0 10 0 0 0 20 0 1 0 8061211 30048256 1001 18446744073709551615 4194304 7402444 140720874167968 140720874165016 140080042504517 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 7336 1001 704 784 0 350 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29344

[startup+0.300325 s]
/proc/loadavg: 2.22 2.06 2.06 3/179 30931
/proc/meminfo: memFree=31667088/32770624 swapFree=0/344348
[pid=30931] ppid=30928 vsize=30008 CPUtime=0.2 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 1367 0 0 0 20 0 0 0 20 0 1 0 8061211 30728192 1182 18446744073709551615 4194304 7402444 140720874167968 140720874165016 140080039018049 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 7502 1182 733 784 0 516 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30008

[startup+0.700279 s]
/proc/loadavg: 2.22 2.06 2.06 3/179 30931
/proc/meminfo: memFree=31667088/32770624 swapFree=0/344348
[pid=30931] ppid=30928 vsize=34500 CPUtime=0.59 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 2549 0 0 0 59 0 0 0 20 0 1 0 8061211 35328000 2308 18446744073709551615 4194304 7402444 140720874167968 140720874165016 6011214 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 8625 2308 733 784 0 1639 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 34500

[startup+1.50027 s]
/proc/loadavg: 2.22 2.06 2.06 3/180 30932
/proc/meminfo: memFree=31658596/32770624 swapFree=0/344204
[pid=30931] ppid=30928 vsize=38888 CPUtime=1.39 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 3662 0 0 0 139 0 0 0 20 0 1 0 8061211 39821312 3360 18446744073709551615 4194304 7402444 140720874167968 140720874165016 4731480 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 9722 3360 733 784 0 2736 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 38888

[startup+3.10028 s]
/proc/loadavg: 2.22 2.06 2.06 3/180 30932
/proc/meminfo: memFree=31649440/32770624 swapFree=0/344204
[pid=30931] ppid=30928 vsize=51564 CPUtime=2.99 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 7726 0 0 0 298 1 0 0 20 0 1 0 8061211 52801536 6570 18446744073709551615 4194304 7402444 140720874167968 140720874165016 4340199 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 12891 6570 733 784 0 5905 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 51564

[startup+6.30028 s]
/proc/loadavg: 2.21 2.06 2.06 3/180 30932
/proc/meminfo: memFree=31616188/32770624 swapFree=0/344616
[pid=30931] ppid=30928 vsize=78088 CPUtime=6.19 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 21211 0 0 0 617 2 0 0 20 0 1 0 8061211 79962112 13218 18446744073709551615 4194304 7402444 140720874167968 140720874158520 6011278 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 19522 13218 733 784 0 12536 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 78088

[startup+12.7003 s]
/proc/loadavg: 2.19 2.06 2.06 3/180 30932
/proc/meminfo: memFree=31597296/32770624 swapFree=0/344616
[pid=30931] ppid=30928 vsize=96992 CPUtime=12.59 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 37778 0 0 0 1255 4 0 0 20 0 1 0 8061211 99319808 17999 18446744073709551615 4194304 7402444 140720874167968 140720874163320 5747585 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24248 17999 776 784 0 17262 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 96992

[startup+25.5004 s]
/proc/loadavg: 2.15 2.06 2.06 3/180 30932
/proc/meminfo: memFree=31595248/32770624 swapFree=0/344632
[pid=30931] ppid=30928 vsize=98388 CPUtime=25.39 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 64247 0 0 0 2534 5 0 0 20 0 1 0 8061211 100749312 18354 18446744073709551615 4194304 7402444 140720874167968 140720874162984 4709390 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24597 18354 782 784 0 17611 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 98388

[startup+51.1004 s]
/proc/loadavg: 2.10 2.05 2.06 3/180 30933
/proc/meminfo: memFree=31595204/32770624 swapFree=0/344640
[pid=30931] ppid=30928 vsize=98388 CPUtime=50.98 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 73487 0 0 0 5093 5 0 0 20 0 1 0 8061211 100749312 18354 18446744073709551615 4194304 7402444 140720874167968 140720874162984 4242183 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24597 18354 782 784 0 17611 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 98388

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 30936
/proc/meminfo: memFree=31594136/32770624 swapFree=0/344680
[pid=30931] ppid=30928 vsize=98388 CPUtime=102.17 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 74730 0 0 0 10212 5 0 0 20 0 1 0 8061211 100749312 18354 18446744073709551615 4194304 7402444 140720874167968 140720874162984 4238492 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24597 18354 782 784 0 17611 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 98388

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 30938
/proc/meminfo: memFree=31593888/32770624 swapFree=0/344720
[pid=30931] ppid=30928 vsize=98388 CPUtime=162.17 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 75837 0 0 0 16211 6 0 0 20 0 1 0 8061211 100749312 18354 18446744073709551615 4194304 7402444 140720874167968 140720874162984 5327160 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24597 18354 782 784 0 17611 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 98388

[startup+222.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 30955
/proc/meminfo: memFree=31590176/32770624 swapFree=0/344784
[pid=30931] ppid=30928 vsize=98388 CPUtime=222.18 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 76908 0 0 0 22212 6 0 0 20 0 1 0 8061211 100749312 18354 18446744073709551615 4194304 7402444 140720874167968 140720874162984 5327250 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24597 18354 782 784 0 17611 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 98388

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 30957
/proc/meminfo: memFree=31593212/32770624 swapFree=0/344812
[pid=30931] ppid=30928 vsize=98388 CPUtime=282.17 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 77990 0 0 0 28211 6 0 0 20 0 1 0 8061211 100749312 18354 18446744073709551615 4194304 7402444 140720874167968 140720874162984 5871456 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24597 18354 782 784 0 17611 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 98388

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 30959
/proc/meminfo: memFree=31593676/32770624 swapFree=0/344840
[pid=30931] ppid=30928 vsize=98388 CPUtime=342.16 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 79041 0 0 0 34210 6 0 0 20 0 1 0 8061211 100749312 18354 18446744073709551615 4194304 7402444 140720874167968 140720874162984 4712848 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24597 18354 782 784 0 17611 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 98388

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 30961
/proc/meminfo: memFree=31594056/32770624 swapFree=0/344872
[pid=30931] ppid=30928 vsize=98388 CPUtime=402.16 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 80105 0 0 0 40210 6 0 0 20 0 1 0 8061211 100749312 18356 18446744073709551615 4194304 7402444 140720874167968 140720874162984 4747098 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24597 18356 782 784 0 17611 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 98388

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 30963
/proc/meminfo: memFree=31594676/32770624 swapFree=0/344900
[pid=30931] ppid=30928 vsize=98388 CPUtime=462.16 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 81137 0 0 0 46210 6 0 0 20 0 1 0 8061211 100749312 18362 18446744073709551615 4194304 7402444 140720874167968 140720874162984 5327254 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24597 18362 782 784 0 17611 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 98388

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30966
/proc/meminfo: memFree=31594320/32770624 swapFree=0/344944
[pid=30931] ppid=30928 vsize=98388 CPUtime=522.16 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 82249 0 0 0 52210 6 0 0 20 0 1 0 8061211 100749312 18363 18446744073709551615 4194304 7402444 140720874167968 140720874162984 4302649 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24597 18363 782 784 0 17611 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 98388

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30968
/proc/meminfo: memFree=31594756/32770624 swapFree=0/344968
[pid=30931] ppid=30928 vsize=98388 CPUtime=582.15 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 83383 0 0 0 58209 6 0 0 20 0 1 0 8061211 100749312 18364 18446744073709551615 4194304 7402444 140720874167968 140720874162984 5327336 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24597 18364 782 784 0 17611 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 98388


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


[startup+1542.31 s]
/proc/loadavg: 2.07 2.05 2.05 3/182 31091
/proc/meminfo: memFree=31541656/32770624 swapFree=0/345596
[pid=30931] ppid=30928 vsize=98520 CPUtime=1542.11 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 100800 0 0 0 154205 6 0 0 20 0 1 0 8061211 100884480 18387 18446744073709551615 4194304 7402444 140720874167968 140720874162360 4747338 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18387 782 784 0 17644 0
Current children cumulated CPU time (s) 1542.11
Current children cumulated vsize (KiB) 98520

[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 31093
/proc/meminfo: memFree=31541828/32770624 swapFree=0/345628
[pid=30931] ppid=30928 vsize=98520 CPUtime=1602.1 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 101927 0 0 0 160204 6 0 0 20 0 1 0 8061211 100884480 18387 18446744073709551615 4194304 7402444 140720874167968 140720874162360 5327213 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18387 782 784 0 17644 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 98520

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 31095
/proc/meminfo: memFree=31541940/32770624 swapFree=0/345664
[pid=30931] ppid=30928 vsize=98520 CPUtime=1662.1 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 102962 0 0 0 166204 6 0 0 20 0 1 0 8061211 100884480 18388 18446744073709551615 4194304 7402444 140720874167968 140720874162360 5696096 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18388 782 784 0 17644 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 98520

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 31097
/proc/meminfo: memFree=31541772/32770624 swapFree=0/345696
[pid=30931] ppid=30928 vsize=98520 CPUtime=1722.1 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 103948 0 0 0 172204 6 0 0 20 0 1 0 8061211 100884480 18390 18446744073709551615 4194304 7402444 140720874167968 140720874162360 5758679 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18390 782 784 0 17644 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 98520

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31099
/proc/meminfo: memFree=31541520/32770624 swapFree=0/345724
[pid=30931] ppid=30928 vsize=98520 CPUtime=1782.11 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 105106 0 0 0 178204 7 0 0 20 0 1 0 8061211 100884480 18393 18446744073709551615 4194304 7402444 140720874167968 140720874162360 5327204 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18393 782 784 0 17644 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 98520

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 31101
/proc/meminfo: memFree=31541212/32770624 swapFree=0/345752
[pid=30931] ppid=30928 vsize=98520 CPUtime=1842.1 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 106226 0 0 0 184203 7 0 0 20 0 1 0 8061211 100884480 18394 18446744073709551615 4194304 7402444 140720874167968 140720874162360 5327193 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18394 782 784 0 17644 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 98520

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31103
/proc/meminfo: memFree=31541600/32770624 swapFree=0/345784
[pid=30931] ppid=30928 vsize=98520 CPUtime=1902.1 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 107114 0 0 0 190203 7 0 0 20 0 1 0 8061211 100884480 18394 18446744073709551615 4194304 7402444 140720874167968 140720874162360 4248770 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18394 782 784 0 17644 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 98520

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31105
/proc/meminfo: memFree=31541724/32770624 swapFree=0/345816
[pid=30931] ppid=30928 vsize=98520 CPUtime=1962.1 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 108003 0 0 0 196203 7 0 0 20 0 1 0 8061211 100884480 18396 18446744073709551615 4194304 7402444 140720874167968 140720874162360 4747310 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18396 782 784 0 17644 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 98520

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31121
/proc/meminfo: memFree=31537076/32770624 swapFree=0/345872
[pid=30931] ppid=30928 vsize=98520 CPUtime=2022.09 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 108933 0 0 0 202202 7 0 0 20 0 1 0 8061211 100884480 18396 18446744073709551615 4194304 7402444 140720874167968 140720874162360 4248770 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18396 782 784 0 17644 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 98520

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31123
/proc/meminfo: memFree=31540348/32770624 swapFree=0/345904
[pid=30931] ppid=30928 vsize=98520 CPUtime=2082.1 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 109831 0 0 0 208203 7 0 0 20 0 1 0 8061211 100884480 18396 18446744073709551615 4194304 7402444 140720874167968 140720874162360 5327229 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18396 782 784 0 17644 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 98520

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31125
/proc/meminfo: memFree=31541040/32770624 swapFree=0/345932
[pid=30931] ppid=30928 vsize=98520 CPUtime=2142.09 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 110695 0 0 0 214202 7 0 0 20 0 1 0 8061211 100884480 18397 18446744073709551615 4194304 7402444 140720874167968 140720874162360 4238492 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18397 782 784 0 17644 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 98520

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31127
/proc/meminfo: memFree=31541288/32770624 swapFree=0/345960
[pid=30931] ppid=30928 vsize=98520 CPUtime=2202.09 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 111631 0 0 0 220202 7 0 0 20 0 1 0 8061211 100884480 18399 18446744073709551615 4194304 7402444 140720874167968 140720874162360 4747338 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18399 782 784 0 17644 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 98520

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31129
/proc/meminfo: memFree=31541976/32770624 swapFree=0/346000
[pid=30931] ppid=30928 vsize=98520 CPUtime=2262.08 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 112508 0 0 0 226201 7 0 0 20 0 1 0 8061211 100884480 18399 18446744073709551615 4194304 7402444 140720874167968 140720874162360 5327250 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18399 782 784 0 17644 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 98520

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31132
/proc/meminfo: memFree=31541588/32770624 swapFree=0/346036
[pid=30931] ppid=30928 vsize=98520 CPUtime=2322.08 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 113394 0 0 0 232201 7 0 0 20 0 1 0 8061211 100884480 18399 18446744073709551615 4194304 7402444 140720874167968 140720874162360 5753544 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18399 782 784 0 17644 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 98520

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31134
/proc/meminfo: memFree=31541648/32770624 swapFree=0/346064
[pid=30931] ppid=30928 vsize=98520 CPUtime=2382.08 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 114310 0 0 0 238201 7 0 0 20 0 1 0 8061211 100884480 18400 18446744073709551615 4194304 7402444 140720874167968 140720874162360 5327213 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18400 782 784 0 17644 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 98520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31134
/proc/meminfo: memFree=31541656/32770624 swapFree=0/346068
[pid=30931] ppid=30928 vsize=98520 CPUtime=2400.08 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 115127 0 0 0 240001 7 0 0 20 0 1 0 8061211 100884480 18401 18446744073709551615 4194304 7402444 140720874167968 140720874162360 4712898 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18401 782 784 0 17644 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 98520

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

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

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31134
/proc/meminfo: memFree=31541656/32770624 swapFree=0/346068
[pid=30931] ppid=30928 vsize=98520 CPUtime=2400.08 cores=0,2,4,6
/proc/30931/stat : 30931 (MistralXCSP) R 30928 30931 20633 0 -1 4202496 115127 0 0 0 240001 7 0 0 20 0 1 0 8061211 100884480 18401 18446744073709551615 4194304 7402444 140720874167968 140720874162360 4712898 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9500608 9505824 17494016 140720874172852 140720874173001 140720874173001 140720874176457 0
/proc/30931/statm: 24630 18401 782 784 0 17644 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 98520

Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.09
CPU user time (s): 2400.01
CPU system time (s): 0.079996
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 98520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.079996
maximum resident set size= 73628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 699

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39461 second user time and 9.70186 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-07 00:17:10
IDJOB=4242715
IDBENCH=139727
IDSOLVER=2622
FILE ID=node127/4242715-1502058675
RUNJOBID= node127-1502041295-28342
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-12-12.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242715-1502058675/watcher-4242715-1502058675 -o /tmp/evaluation-result-4242715-1502058675/solver-4242715-1502058675 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28342 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 360597997 HOME/instance-4242715-1502058675.xml

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

MD5SUM BENCH= 413eb2f3dbc4c6295d83fc35d5100e1e
RANDOM SEED=360597997

node127.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.92
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.92
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.92
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.92
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:        31667460 kB
MemAvailable:   31975152 kB
Buffers:          127608 kB
Cached:           460448 kB
SwapCached:            0 kB
Active:           343888 kB
Inactive:         352880 kB
Active(anon):     108972 kB
Inactive(anon):     8532 kB
Active(file):     234916 kB
Inactive(file):   344348 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5968 kB
Writeback:             4 kB
AnonPages:        108004 kB
Mapped:            31780 kB
Shmem:              8868 kB
Slab:             113188 kB
SReclaimable:      88524 kB
SUnreclaim:        24664 kB
KernelStack:        3184 kB
PageTables:         5016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     352068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62020 MiB
End job on node127 at 2017-08-07 00:57:11