Trace number 4260959

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
Mistral-2.0 2017-07-28SAT (TO)799 2519.95 2520.02

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-25-a4.xml
MD5SUMa6ebb4642302e72810e9d3407e53c8ef
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark661
Best CPU time to get the best result obtained on this benchmark2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints42552
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":25}]
Minimum variable degree6625
Maximum variable degree6626
Distribution of variable degrees[{"degree":6625,"count":23},{"degree":6626,"count":2}]
Minimum constraint arity1
Maximum constraint arity25
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":4600},{"arity":4,"count":37950},{"arity":25,"count":1}]
Number of extensional constraints0
Number of intensional constraints42551
Distribution of constraint types[{"type":"intension","count":42551},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.00/0.09	c 280717
511.29/511.43	o 799
2519.91/2520.00	s SATISFIABLE
2519.91/2520.00	v <instantiation type="solution">
2519.91/2520.00	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] </list>
2519.91/2520.00	v   <values> 0 1 4 9 11 23 29 44 60 86 99 131 165 192 238 276 306 354 395 478 528 575 628 741 799 </values>
2519.91/2520.00	v </instantiation>

Verifier Data 

OK	799

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-4260959-1502364203/watcher-4260959-1502364203 -o /tmp/evaluation-result-4260959-1502364203/solver-4260959-1502364203 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20547 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1905071407 HOME/instance-4260959-1502364203.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 26787
/proc/meminfo: memFree=31359688/32770624 swapFree=0/481464
[pid=26787] ppid=26784 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/26787/stat : 26787 (runsolver) D 26784 26787 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 38641087 24240128 106 18446744073709551615 4194304 4338465 140732563249952 140732563247592 140144689558231 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 28139520 140732563251339 140732563251786 140732563251786 140732563255242 0
/proc/26787/statm: 5918 106 53 36 0 2156 0

[startup+0.100196 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 26787
/proc/meminfo: memFree=31359688/32770624 swapFree=0/481464
[pid=26787] ppid=26784 vsize=28816 CPUtime=0.01 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 946 0 0 0 1 0 0 0 20 0 1 0 38641087 29507584 736 18446744073709551615 4194304 7396336 140729335585472 140729335582472 6034724 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 7204 736 584 782 0 220 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28816

[startup+0.200334 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 26787
/proc/meminfo: memFree=31359688/32770624 swapFree=0/481464
[pid=26787] ppid=26784 vsize=29192 CPUtime=0.11 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 1048 0 0 0 11 0 0 0 20 0 1 0 38641087 29892608 868 18446744073709551615 4194304 7396336 140729335585472 140729335582472 6034747 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 7298 868 613 782 0 314 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 29192

[startup+0.300328 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 26787
/proc/meminfo: memFree=31359688/32770624 swapFree=0/481464
[pid=26787] ppid=26784 vsize=29648 CPUtime=0.2 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 1201 0 0 0 20 0 0 0 20 0 1 0 38641087 30359552 984 18446744073709551615 4194304 7396336 140729335585472 140729335582472 140640239680485 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 7412 984 613 782 0 428 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 29648

[startup+0.700284 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 26787
/proc/meminfo: memFree=31359688/32770624 swapFree=0/481464
[pid=26787] ppid=26784 vsize=31856 CPUtime=0.6 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 1904 0 0 0 60 0 0 0 20 0 1 0 38641087 32620544 1351 18446744073709551615 4194304 7396336 140729335585472 140729335582472 140640239726707 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 7964 1351 613 782 0 980 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 31856

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26788
/proc/meminfo: memFree=31354732/32770624 swapFree=0/481376
[pid=26787] ppid=26784 vsize=35092 CPUtime=1.41 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 2832 0 0 0 140 1 0 0 20 0 1 0 38641087 35934208 2274 18446744073709551615 4194304 7396336 140729335585472 140729335575896 6148777 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 8773 2274 716 782 0 1789 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 35092

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26788
/proc/meminfo: memFree=31349808/32770624 swapFree=0/481476
[pid=26787] ppid=26784 vsize=41684 CPUtime=3 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 4804 0 0 0 299 1 0 0 20 0 1 0 38641087 42684416 3934 18446744073709551615 4194304 7396336 140729335585472 140729335575896 140640239680485 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 10421 3934 716 782 0 3437 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 41684

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26788
/proc/meminfo: memFree=31335280/32770624 swapFree=0/481476
[pid=26787] ppid=26784 vsize=55324 CPUtime=6.21 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 11078 0 0 0 619 2 0 0 20 0 1 0 38641087 56651776 7342 18446744073709551615 4194304 7396336 140729335585472 140729335575976 140640246167842 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 13831 7342 716 782 0 6847 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 55324

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26788
/proc/meminfo: memFree=31305392/32770624 swapFree=0/481484
[pid=26787] ppid=26784 vsize=81848 CPUtime=12.61 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 24147 0 0 0 1258 3 0 0 20 0 1 0 38641087 83812352 13998 18446744073709551615 4194304 7396336 140729335585472 140729335575976 6036730 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 20462 13998 716 782 0 13478 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 81848

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26788
/proc/meminfo: memFree=31266548/32770624 swapFree=0/481480
[pid=26787] ppid=26784 vsize=121764 CPUtime=25.41 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 36026 0 0 0 2537 4 0 0 20 0 1 0 38641087 124686336 23946 18446744073709551615 4194304 7396336 140729335585472 140729335576136 6190394 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 30441 23946 716 782 0 23457 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 121764

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 26803
/proc/meminfo: memFree=31181668/32770624 swapFree=0/481508
[pid=26787] ppid=26784 vsize=201756 CPUtime=51 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 63154 0 0 0 5093 7 0 0 20 0 1 0 38641087 206598144 43884 18446744073709551615 4194304 7396336 140729335585472 140729335575976 5941582 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 50439 43884 716 782 0 43455 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 201756

[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/184 26805
/proc/meminfo: memFree=31060312/32770624 swapFree=0/481536
[pid=26787] ppid=26784 vsize=322536 CPUtime=102.21 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 91944 0 0 0 10210 11 0 0 20 0 1 0 38641087 330276864 73954 18446744073709551615 4194304 7396336 140729335585472 140729335575976 4565872 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 80634 73954 716 782 0 73650 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 322536

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 26807
/proc/meminfo: memFree=30178240/32770624 swapFree=0/481548
[pid=26787] ppid=26784 vsize=1205140 CPUtime=162.2 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 325219 0 0 0 16180 40 0 0 20 0 1 0 38641087 1234063360 295018 18446744073709551615 4194304 7396336 140729335585472 140729335579752 4581576 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 301285 295018 753 782 0 294301 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 1205140

[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 26809
/proc/meminfo: memFree=30005796/32770624 swapFree=0/481544
[pid=26787] ppid=26784 vsize=1377224 CPUtime=222.21 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 493051 0 0 0 22170 51 0 0 20 0 1 0 38641087 1410277376 337997 18446744073709551615 4194304 7396336 140729335585472 140729335579752 4407713 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 344306 337997 753 782 0 337322 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1377224

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26811
/proc/meminfo: memFree=29986108/32770624 swapFree=0/481564
[pid=26787] ppid=26784 vsize=1396892 CPUtime=282.2 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 560273 0 0 0 28165 55 0 0 20 0 1 0 38641087 1430417408 342941 18446744073709551615 4194304 7396336 140729335585472 140729335580008 5586242 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 349223 342941 753 782 0 342239 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1396892

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26874
/proc/meminfo: memFree=29944848/32770624 swapFree=0/481604
[pid=26787] ppid=26784 vsize=1412468 CPUtime=342.2 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 628049 0 0 0 34162 58 0 0 20 0 1 0 38641087 1446367232 346826 18446744073709551615 4194304 7396336 140729335585472 140729335579880 140640243115753 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 353117 346826 753 782 0 346133 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1412468

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26876
/proc/meminfo: memFree=29937932/32770624 swapFree=0/481624
[pid=26787] ppid=26784 vsize=1419068 CPUtime=402.2 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 630281 0 0 0 40162 58 0 0 20 0 1 0 38641087 1453125632 348510 18446744073709551615 4194304 7396336 140729335585472 140729335579768 4249696 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 354767 348510 753 782 0 347783 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1419068

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26878
/proc/meminfo: memFree=29898852/32770624 swapFree=0/481632
[pid=26787] ppid=26784 vsize=1458140 CPUtime=462.19 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 803090 0 0 0 46152 67 0 0 20 0 1 0 38641087 1493135360 358271 18446744073709551615 4194304 7396336 140729335585472 140729335579896 4581738 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 364535 358271 753 782 0 357551 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1458140

[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 26880
/proc/meminfo: memFree=29853380/32770624 swapFree=0/481632
[pid=26787] ppid=26784 vsize=1504604 CPUtime=522.19 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 961447 0 0 0 52143 76 0 0 20 0 1 0 38641087 1540714496 369898 18446744073709551615 4194304 7396336 140729335585472 140729335579752 140640243115703 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 376151 369898 753 782 0 369167 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1504604

[startup+582.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/181 26882
/proc/meminfo: memFree=29486428/32770624 swapFree=0/481640
[pid=26787] ppid=26784 vsize=1870608 CPUtime=582.19 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 1208307 0 0 0 58123 96 0 0 20 0 1 0 38641087 1915502592 461402 18446744073709551615 4194304 7396336 140729335585472 140729335579752 5575964 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 467652 461402 753 782 0 460668 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1870608


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


[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 26948
/proc/meminfo: memFree=28946600/32770624 swapFree=0/481848
[pid=26787] ppid=26784 vsize=2406528 CPUtime=1602.16 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 2857868 0 0 0 160028 188 0 0 20 0 1 0 38641087 2464284672 595387 18446744073709551615 4194304 7396336 140729335585472 140729335579752 4406506 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 601632 595387 753 782 0 594648 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 2406528

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 26950
/proc/meminfo: memFree=28911880/32770624 swapFree=0/481852
[pid=26787] ppid=26784 vsize=2441640 CPUtime=1662.16 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 2878702 0 0 0 166026 190 0 0 20 0 1 0 38641087 2500239360 604154 18446744073709551615 4194304 7396336 140729335585472 140729335579896 4257728 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 610410 604154 753 782 0 603426 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 2441640

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26952
/proc/meminfo: memFree=28888908/32770624 swapFree=0/481868
[pid=26787] ppid=26784 vsize=2464608 CPUtime=1722.17 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 2900932 0 0 0 172025 192 0 0 20 0 1 0 38641087 2523758592 609892 18446744073709551615 4194304 7396336 140729335585472 140729335579752 4406503 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 616152 609892 753 782 0 609168 0
Current children cumulated CPU time (s) 1722.17
Current children cumulated vsize (KiB) 2464608

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26954
/proc/meminfo: memFree=28853320/32770624 swapFree=0/481864
[pid=26787] ppid=26784 vsize=2500036 CPUtime=1782.17 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 2939331 0 0 0 178023 194 0 0 20 0 1 0 38641087 2560036864 618712 18446744073709551615 4194304 7396336 140729335585472 140729335579752 4257822 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 625009 618712 753 782 0 618025 0
Current children cumulated CPU time (s) 1782.17
Current children cumulated vsize (KiB) 2500036

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26956
/proc/meminfo: memFree=28810408/32770624 swapFree=0/481856
[pid=26787] ppid=26784 vsize=2542672 CPUtime=1842.17 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 2979168 0 0 0 184020 197 0 0 20 0 1 0 38641087 2603696128 629411 18446744073709551615 4194304 7396336 140729335585472 140729335579768 4257799 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 635668 629411 753 782 0 628684 0
Current children cumulated CPU time (s) 1842.17
Current children cumulated vsize (KiB) 2542672

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 26972
/proc/meminfo: memFree=28796604/32770624 swapFree=0/481904
[pid=26787] ppid=26784 vsize=2552440 CPUtime=1902.18 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 3014707 0 0 0 190019 199 0 0 20 0 1 0 38641087 2613698560 631837 18446744073709551615 4194304 7396336 140729335585472 140729335579768 4257799 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 638110 631837 753 782 0 631126 0
Current children cumulated CPU time (s) 1902.18
Current children cumulated vsize (KiB) 2552440

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26974
/proc/meminfo: memFree=28789816/32770624 swapFree=0/481904
[pid=26787] ppid=26784 vsize=2563660 CPUtime=1962.18 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 3083784 0 0 0 196016 202 0 0 20 0 1 0 38641087 2625187840 634652 18446744073709551615 4194304 7396336 140729335585472 140729335579752 4257837 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 640915 634652 753 782 0 633931 0
Current children cumulated CPU time (s) 1962.18
Current children cumulated vsize (KiB) 2563660

[startup+2022.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 26976
/proc/meminfo: memFree=28779976/32770624 swapFree=0/481912
[pid=26787] ppid=26784 vsize=2573692 CPUtime=2022.19 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 3133874 0 0 0 202014 205 0 0 20 0 1 0 38641087 2635460608 637170 18446744073709551615 4194304 7396336 140729335585472 140729335579896 5666527 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 643423 637170 753 782 0 636439 0
Current children cumulated CPU time (s) 2022.19
Current children cumulated vsize (KiB) 2573692

[startup+2082.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 26978
/proc/meminfo: memFree=28777124/32770624 swapFree=0/481928
[pid=26787] ppid=26784 vsize=2576596 CPUtime=2082.19 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 3183744 0 0 0 208012 207 0 0 20 0 1 0 38641087 2638434304 637881 18446744073709551615 4194304 7396336 140729335585472 140729335579880 4406356 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 644149 637881 753 782 0 637165 0
Current children cumulated CPU time (s) 2082.19
Current children cumulated vsize (KiB) 2576596

[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 26980
/proc/meminfo: memFree=28775636/32770624 swapFree=0/481924
[pid=26787] ppid=26784 vsize=2577784 CPUtime=2142.19 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 3202237 0 0 0 214011 208 0 0 20 0 1 0 38641087 2639650816 638179 18446744073709551615 4194304 7396336 140729335585472 140729335579880 4407040 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 644446 638179 753 782 0 637462 0
Current children cumulated CPU time (s) 2142.19
Current children cumulated vsize (KiB) 2577784

[startup+2202.31 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 26982
/proc/meminfo: memFree=28770588/32770624 swapFree=0/481944
[pid=26787] ppid=26784 vsize=2582932 CPUtime=2202.2 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 3260148 0 0 0 220009 211 0 0 20 0 1 0 38641087 2644922368 639494 18446744073709551615 4194304 7396336 140729335585472 140729335579880 4257788 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 645733 639494 753 782 0 638749 0
Current children cumulated CPU time (s) 2202.2
Current children cumulated vsize (KiB) 2582932

[startup+2262.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/181 26984
/proc/meminfo: memFree=28758808/32770624 swapFree=0/481952
[pid=26787] ppid=26784 vsize=2594812 CPUtime=2262.2 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 3340718 0 0 0 226004 216 0 0 20 0 1 0 38641087 2657087488 642415 18446744073709551615 4194304 7396336 140729335585472 140729335579752 4406552 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 648703 642415 753 782 0 641719 0
Current children cumulated CPU time (s) 2262.2
Current children cumulated vsize (KiB) 2594812

[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 26987
/proc/meminfo: memFree=28749864/32770624 swapFree=0/481972
[pid=26787] ppid=26784 vsize=2604052 CPUtime=2322.21 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 3398649 0 0 0 232001 220 0 0 20 0 1 0 38641087 2666549248 644739 18446744073709551615 4194304 7396336 140729335585472 140729335579752 5575964 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 651013 644739 753 782 0 644029 0
Current children cumulated CPU time (s) 2322.21
Current children cumulated vsize (KiB) 2604052

[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 26989
/proc/meminfo: memFree=28740316/32770624 swapFree=0/481988
[pid=26787] ppid=26784 vsize=2613556 CPUtime=2382.2 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 3458360 0 0 0 237997 223 0 0 20 0 1 0 38641087 2676281344 647070 18446744073709551615 4194304 7396336 140729335585472 140729335579752 4406506 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 653389 647070 753 782 0 646405 0
Current children cumulated CPU time (s) 2382.2
Current children cumulated vsize (KiB) 2613556

[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 26991
/proc/meminfo: memFree=28718492/32770624 swapFree=0/482004
[pid=26787] ppid=26784 vsize=2635732 CPUtime=2442.21 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 3502527 0 0 0 243995 226 0 0 20 0 1 0 38641087 2698989568 652662 18446744073709551615 4194304 7396336 140729335585472 140729335579880 4257788 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 658933 652662 753 782 0 651949 0
Current children cumulated CPU time (s) 2442.21
Current children cumulated vsize (KiB) 2635732

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 27007
/proc/meminfo: memFree=28711936/32770624 swapFree=0/482032
[pid=26787] ppid=26784 vsize=2638108 CPUtime=2502.21 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 3591502 0 0 0 249991 230 0 0 20 0 1 0 38641087 2701422592 653277 18446744073709551615 4194304 7396336 140729335585472 140729335579880 4406506 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 659527 653277 753 782 0 652543 0
Current children cumulated CPU time (s) 2502.21
Current children cumulated vsize (KiB) 2638108



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 27007
/proc/meminfo: memFree=28711816/32770624 swapFree=0/482024
[pid=26787] ppid=26784 vsize=2638372 CPUtime=2519.91 cores=0,2,4,6
/proc/26787/stat : 26787 (MistralXCSP) R 26784 26787 4057 0 -1 4202496 3591947 0 0 0 251761 230 0 0 20 0 1 0 38641087 2701692928 653329 18446744073709551615 4194304 7396336 140729335585472 140729335579896 4406867 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 20611072 140729335587251 140729335587401 140729335587401 140729335590857 0
/proc/26787/statm: 659593 653329 753 782 0 652609 0
Current children cumulated CPU time (s) 2519.91
Current children cumulated vsize (KiB) 2638372

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 26787 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.95
CPU user time (s): 2517.62
CPU system time (s): 2.32914
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 2638372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.62
system time used= 2.32914
maximum resident set size= 2613336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3591978
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= 388
involuntary context switches= 2933

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.27904 second user time and 13.6176 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-10 13:09:18
IDJOB=4260959
IDBENCH=126239
IDSOLVER=2649
FILE ID=node125/4260959-1502364203
RUNJOBID= node125-1502331121-20547
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-25-a4.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-4260959-1502364203/watcher-4260959-1502364203 -o /tmp/evaluation-result-4260959-1502364203/solver-4260959-1502364203 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20547 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1905071407 HOME/instance-4260959-1502364203.xml

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

MD5SUM BENCH= a6ebb4642302e72810e9d3407e53c8ef
RANDOM SEED=1905071407

node125.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.07
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.07
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.07
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.07
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:        31360064 kB
MemAvailable:   32004124 kB
Buffers:          227596 kB
Cached:           708936 kB
SwapCached:            0 kB
Active:           487368 kB
Inactive:         506372 kB
Active(anon):      57512 kB
Inactive(anon):    24908 kB
Active(file):     429856 kB
Inactive(file):   481464 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7452 kB
Writeback:             0 kB
AnonPages:         57188 kB
Mapped:            40648 kB
Shmem:             25252 kB
Slab:             121852 kB
SReclaimable:      97148 kB
SUnreclaim:        24704 kB
KernelStack:        3200 kB
PageTables:         4776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     319500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 62016 MiB
End job on node125 at 2017-08-10 13:51:18