Trace number 4260836

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-28? (TO) 2520.03 2520

General information on the benchmark

NameBinPacking/
BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml
MD5SUMff12bcd9867be4bcc392b8c45936f1c7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables389
Number of constraints100
Number of domains2
Minimum domain size98
Maximum domain size137
Distribution of domain sizes[{"size":98,"count":1},{"size":137,"count":388}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":291},{"degree":4,"count":97}]
Minimum constraint arity4
Maximum constraint arity388
Distribution of constraint arities[{"arity":4,"count":97},{"arity":98,"count":1},{"arity":388,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":97},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.10	c 280717
2520.02/2520.00	s UNKNOWN

Verifier Data


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-4260836-1502390592/watcher-4260836-1502390592 -o /tmp/evaluation-result-4260836-1502390592/solver-4260836-1502390592 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502333976-23274 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1339977524 HOME/instance-4260836-1502390592.xml 

pid=32682
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.16 2.05 2.06 2/185 32685
/proc/meminfo: memFree=31177256/32770624 swapFree=0/416556
[pid=32685] ppid=32682 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/32685/stat : 32685 (runsolver) D 32682 32685 1774 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 86874409 24240128 106 18446744073709551615 4194304 4338465 140726145432400 140726145430040 139809018708695 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 29151232 140726145433738 140726145434185 140726145434185 140726145437642 0
/proc/32685/statm: 5918 106 53 36 0 2156 0

[startup+0.10006 s]
/proc/loadavg: 2.16 2.05 2.06 2/185 32685
/proc/meminfo: memFree=31177256/32770624 swapFree=0/416556
[pid=32685] ppid=32682 vsize=28180 CPUtime=0 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 521 0 0 0 0 0 0 0 20 0 1 0 86874409 28856320 344 18446744073709551615 4194304 7396336 140737160174480 140737160171480 139983454006041 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 7045 344 287 782 0 61 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28180

[startup+0.200297 s]
/proc/loadavg: 2.16 2.05 2.06 2/185 32685
/proc/meminfo: memFree=31177256/32770624 swapFree=0/416556
[pid=32685] ppid=32682 vsize=38888 CPUtime=0.09 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 3851 0 0 0 9 0 0 0 20 0 1 0 86874409 39821312 3165 18446744073709551615 4194304 7396336 140737160174480 140737160171480 4224096 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 9722 3165 646 782 0 2738 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38888

[startup+0.300371 s]
/proc/loadavg: 2.16 2.05 2.06 2/185 32685
/proc/meminfo: memFree=31177256/32770624 swapFree=0/416556
[pid=32685] ppid=32682 vsize=53228 CPUtime=0.19 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 7436 0 0 0 19 0 0 0 20 0 1 0 86874409 54505472 6729 18446744073709551615 4194304 7396336 140737160174480 140737160171480 6318023 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 13307 6729 646 782 0 6323 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 53228

[startup+0.700344 s]
/proc/loadavg: 2.16 2.05 2.06 2/185 32685
/proc/meminfo: memFree=31177256/32770624 swapFree=0/416556
[pid=32685] ppid=32682 vsize=110600 CPUtime=0.59 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 21780 0 0 0 57 2 0 0 20 0 1 0 86874409 113254400 21051 18446744073709551615 4194304 7396336 140737160174480 140737160165352 6318269 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 27650 21051 646 782 0 20666 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 110600

[startup+1.50031 s]
/proc/loadavg: 2.16 2.05 2.06 3/185 32686
/proc/meminfo: memFree=31038728/32770624 swapFree=0/416568
[pid=32685] ppid=32682 vsize=211088 CPUtime=1.4 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 46907 0 0 0 134 6 0 0 20 0 1 0 86874409 216154112 46194 18446744073709551615 4194304 7396336 140737160174480 140737160165352 4565872 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 52772 46194 664 782 0 45788 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 211088

[startup+3.10018 s]
/proc/loadavg: 2.16 2.05 2.06 3/184 32686
/proc/meminfo: memFree=30968864/32770624 swapFree=0/416568
[pid=32685] ppid=32682 vsize=253704 CPUtime=2.99 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 58678 0 0 0 292 7 0 0 20 0 1 0 86874409 259792896 56835 18446744073709551615 4194304 7396336 140737160174480 140737160165240 4566048 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 63426 56835 664 782 0 56442 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 253704

[startup+6.30036 s]
/proc/loadavg: 2.15 2.05 2.06 3/184 32686
/proc/meminfo: memFree=30922248/32770624 swapFree=0/416564
[pid=32685] ppid=32682 vsize=290208 CPUtime=6.2 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 108432 0 0 0 610 10 0 0 20 0 1 0 86874409 297172992 66169 18446744073709551615 4194304 7396336 140737160174480 140737160169016 4582365 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 72552 66169 767 782 0 65568 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 290208

[startup+12.7003 s]
/proc/loadavg: 2.14 2.05 2.06 3/184 32686
/proc/meminfo: memFree=30902768/32770624 swapFree=0/416564
[pid=32685] ppid=32682 vsize=304544 CPUtime=12.6 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 149417 0 0 0 1248 12 0 0 20 0 1 0 86874409 311853056 69802 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5614053 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 76136 69802 767 782 0 69152 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 304544

[startup+25.5004 s]
/proc/loadavg: 2.11 2.04 2.05 3/184 32687
/proc/meminfo: memFree=30900100/32770624 swapFree=0/416552
[pid=32685] ppid=32682 vsize=306756 CPUtime=25.39 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 190394 0 0 0 2525 14 0 0 20 0 1 0 86874409 314118144 70350 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5165805 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 76689 70350 767 782 0 69705 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 306756

[startup+51.1004 s]
/proc/loadavg: 2.07 2.04 2.05 3/184 32687
/proc/meminfo: memFree=30897512/32770624 swapFree=0/416552
[pid=32685] ppid=32682 vsize=309000 CPUtime=50.98 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 227730 0 0 0 5083 15 0 0 20 0 1 0 86874409 316416000 70936 18446744073709551615 4194304 7396336 140737160174480 140737160169016 4249696 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 77250 70936 767 782 0 70266 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 309000

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/189 32705
/proc/meminfo: memFree=30888264/32770624 swapFree=0/416552
[pid=32685] ppid=32682 vsize=312564 CPUtime=102.17 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 260097 0 0 0 10200 17 0 0 20 0 1 0 86874409 320065536 71790 18446744073709551615 4194304 7396336 140737160174480 140737160169016 4246560 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 78141 71790 767 782 0 71157 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 312564

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 32707
/proc/meminfo: memFree=30886060/32770624 swapFree=0/416564
[pid=32685] ppid=32682 vsize=315864 CPUtime=162.14 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 281449 0 0 0 16196 18 0 0 20 0 1 0 86874409 323444736 72628 18446744073709551615 4194304 7396336 140737160174480 140737160169016 4581738 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 78966 72628 767 782 0 71982 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 315864

[startup+222.306 s]
/proc/loadavg: 1.97 2.01 2.04 3/186 306
/proc/meminfo: memFree=30834536/32770624 swapFree=0/416584
[pid=32685] ppid=32682 vsize=316260 CPUtime=222.14 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 286880 0 0 0 22196 18 0 0 20 0 1 0 86874409 323850240 72742 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5792027 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 79065 72742 767 782 0 72081 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 316260

[startup+282.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 308
/proc/meminfo: memFree=30833840/32770624 swapFree=0/416600
[pid=32685] ppid=32682 vsize=317448 CPUtime=282.14 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 288169 0 0 0 28196 18 0 0 20 0 1 0 86874409 325066752 73017 18446744073709551615 4194304 7396336 140737160174480 140737160168760 5649201 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 79362 73017 767 782 0 72378 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 317448

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 312
/proc/meminfo: memFree=30832540/32770624 swapFree=0/416608
[pid=32685] ppid=32682 vsize=318656 CPUtime=342.15 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 289207 0 0 0 34197 18 0 0 20 0 1 0 86874409 326303744 73273 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5792248 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 79664 73273 767 782 0 72680 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 318656

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 315
/proc/meminfo: memFree=30832140/32770624 swapFree=0/416624
[pid=32685] ppid=32682 vsize=318936 CPUtime=402.16 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 290835 0 0 0 40197 19 0 0 20 0 1 0 86874409 326590464 73383 18446744073709551615 4194304 7396336 140737160174480 140737160169096 5586302 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 79734 73383 767 782 0 72750 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 318936

[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/186 317
/proc/meminfo: memFree=30829980/32770624 swapFree=0/416644
[pid=32685] ppid=32682 vsize=320916 CPUtime=462.16 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 291843 0 0 0 46197 19 0 0 20 0 1 0 86874409 328617984 73849 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5165771 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 80229 73849 767 782 0 73245 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 320916

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 322
/proc/meminfo: memFree=30830004/32770624 swapFree=0/416648
[pid=32685] ppid=32682 vsize=320916 CPUtime=522.16 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 292429 0 0 0 52197 19 0 0 20 0 1 0 86874409 328617984 73893 18446744073709551615 4194304 7396336 140737160174480 140737160169016 4379138 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 80229 73893 767 782 0 73245 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 320916

[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 324
/proc/meminfo: memFree=30829212/32770624 swapFree=0/416672
[pid=32685] ppid=32682 vsize=321708 CPUtime=582.17 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 293142 0 0 0 58198 19 0 0 20 0 1 0 86874409 329428992 74056 18446744073709551615 4194304 7396336 140737160174480 140737160169016 4249478 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 80427 74056 767 782 0 73443 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 321708


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


[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 395
/proc/meminfo: memFree=30826520/32770624 swapFree=0/416868
[pid=32685] ppid=32682 vsize=323480 CPUtime=1602.25 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 305117 0 0 0 160205 20 0 0 20 0 1 0 86874409 331243520 74543 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5165842 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 80870 74543 767 782 0 73886 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 323480

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 397
/proc/meminfo: memFree=30826720/32770624 swapFree=0/416884
[pid=32685] ppid=32682 vsize=323612 CPUtime=1662.26 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 305834 0 0 0 166206 20 0 0 20 0 1 0 86874409 331378688 74546 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5792000 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 80903 74546 767 782 0 73919 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 323612

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 399
/proc/meminfo: memFree=30826556/32770624 swapFree=0/416888
[pid=32685] ppid=32682 vsize=323612 CPUtime=1722.26 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 307117 0 0 0 172206 20 0 0 20 0 1 0 86874409 331378688 74588 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5628600 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 80903 74588 767 782 0 73919 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 323612

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 403
/proc/meminfo: memFree=30825504/32770624 swapFree=0/416896
[pid=32685] ppid=32682 vsize=324008 CPUtime=1782.27 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 307800 0 0 0 178207 20 0 0 20 0 1 0 86874409 331784192 74660 18446744073709551615 4194304 7396336 140737160174480 140737160169016 4249696 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81002 74660 767 782 0 74018 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 324008

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 405
/proc/meminfo: memFree=30825460/32770624 swapFree=0/416912
[pid=32685] ppid=32682 vsize=324140 CPUtime=1842.27 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 308592 0 0 0 184207 20 0 0 20 0 1 0 86874409 331919360 74669 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5165842 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81035 74669 767 782 0 74051 0
Current children cumulated CPU time (s) 1842.27
Current children cumulated vsize (KiB) 324140

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 421
/proc/meminfo: memFree=30822072/32770624 swapFree=0/416900
[pid=32685] ppid=32682 vsize=324272 CPUtime=1902.27 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 309284 0 0 0 190207 20 0 0 20 0 1 0 86874409 332054528 74705 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5586494 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81068 74705 767 782 0 74084 0
Current children cumulated CPU time (s) 1902.27
Current children cumulated vsize (KiB) 324272

[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 448
/proc/meminfo: memFree=30820156/32770624 swapFree=0/416936
[pid=32685] ppid=32682 vsize=324272 CPUtime=1962.28 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 309548 0 0 0 196208 20 0 0 20 0 1 0 86874409 332054528 74753 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5165805 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81068 74753 767 782 0 74084 0
Current children cumulated CPU time (s) 1962.28
Current children cumulated vsize (KiB) 324272

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 450
/proc/meminfo: memFree=30822076/32770624 swapFree=0/416940
[pid=32685] ppid=32682 vsize=324404 CPUtime=2022.28 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 310243 0 0 0 202208 20 0 0 20 0 1 0 86874409 332189696 74753 18446744073709551615 4194304 7396336 140737160174480 140737160169016 4581738 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81101 74753 767 782 0 74117 0
Current children cumulated CPU time (s) 2022.28
Current children cumulated vsize (KiB) 324404

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 453
/proc/meminfo: memFree=30824556/32770624 swapFree=0/416944
[pid=32685] ppid=32682 vsize=324404 CPUtime=2082.3 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 311236 0 0 0 208209 21 0 0 20 0 1 0 86874409 332189696 74777 18446744073709551615 4194304 7396336 140737160174480 140737160169016 4249730 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81101 74777 767 782 0 74117 0
Current children cumulated CPU time (s) 2082.3
Current children cumulated vsize (KiB) 324404

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 455
/proc/meminfo: memFree=30824724/32770624 swapFree=0/416956
[pid=32685] ppid=32682 vsize=324536 CPUtime=2142.3 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 311516 0 0 0 214209 21 0 0 20 0 1 0 86874409 332324864 74780 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5839021 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81134 74780 767 782 0 74150 0
Current children cumulated CPU time (s) 2142.3
Current children cumulated vsize (KiB) 324536

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 459
/proc/meminfo: memFree=30825008/32770624 swapFree=0/416960
[pid=32685] ppid=32682 vsize=324668 CPUtime=2202.31 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 312280 0 0 0 220210 21 0 0 20 0 1 0 86874409 332460032 74820 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5165842 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81167 74820 767 782 0 74183 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 324668

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 463
/proc/meminfo: memFree=30824836/32770624 swapFree=0/416968
[pid=32685] ppid=32682 vsize=324668 CPUtime=2262.31 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 312551 0 0 0 226210 21 0 0 20 0 1 0 86874409 332460032 74838 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5586420 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81167 74838 767 782 0 74183 0
Current children cumulated CPU time (s) 2262.31
Current children cumulated vsize (KiB) 324668

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 465
/proc/meminfo: memFree=30824820/32770624 swapFree=0/416980
[pid=32685] ppid=32682 vsize=324800 CPUtime=2322.31 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 313336 0 0 0 232210 21 0 0 20 0 1 0 86874409 332595200 74843 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5586494 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81200 74843 767 782 0 74216 0
Current children cumulated CPU time (s) 2322.31
Current children cumulated vsize (KiB) 324800

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 467
/proc/meminfo: memFree=30824404/32770624 swapFree=0/416992
[pid=32685] ppid=32682 vsize=324800 CPUtime=2382.31 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 314408 0 0 0 238210 21 0 0 20 0 1 0 86874409 332595200 74869 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5576665 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81200 74869 767 782 0 74216 0
Current children cumulated CPU time (s) 2382.31
Current children cumulated vsize (KiB) 324800

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 469
/proc/meminfo: memFree=30824260/32770624 swapFree=0/417008
[pid=32685] ppid=32682 vsize=324800 CPUtime=2442.31 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 314670 0 0 0 244210 21 0 0 20 0 1 0 86874409 332595200 74869 18446744073709551615 4194304 7396336 140737160174480 140737160169016 4581738 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81200 74869 767 782 0 74216 0
Current children cumulated CPU time (s) 2442.31
Current children cumulated vsize (KiB) 324800

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 487
/proc/meminfo: memFree=30821500/32770624 swapFree=0/417036
[pid=32685] ppid=32682 vsize=325064 CPUtime=2502.32 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 315548 0 0 0 250211 21 0 0 20 0 1 0 86874409 332865536 74893 18446744073709551615 4194304 7396336 140737160174480 140737160169016 5792027 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81266 74893 767 782 0 74282 0
Current children cumulated CPU time (s) 2502.32
Current children cumulated vsize (KiB) 325064



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 488
/proc/meminfo: memFree=30820760/32770624 swapFree=0/417044
[pid=32685] ppid=32682 vsize=325064 CPUtime=2520.02 cores=0,2,4,6
/proc/32685/stat : 32685 (MistralXCSP) R 32682 32685 1774 0 -1 4202496 315548 0 0 0 251981 21 0 0 20 0 1 0 86874409 332865536 74893 18446744073709551615 4194304 7396336 140737160174480 140737160169016 4543936 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 20197376 140737160180146 140737160180296 140737160180296 140737160183753 0
/proc/32685/statm: 81266 74893 767 782 0 74282 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 325064

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

Child status: 0
Real time (s): 2520
CPU time (s): 2520.03
CPU user time (s): 2519.82
CPU system time (s): 0.218017
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 325064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.82
system time used= 0.218017
maximum resident set size= 299756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315778
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= 112
involuntary context switches= 834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89375 second user time and 11.0094 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-10 20:29:04
IDJOB=4260836
IDBENCH=136117
IDSOLVER=2649
FILE ID=node133/4260836-1502390592
RUNJOBID= node133-1502333976-23274
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-ft/BinPacking-mdd-ft249-19.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-4260836-1502390592/watcher-4260836-1502390592 -o /tmp/evaluation-result-4260836-1502390592/solver-4260836-1502390592 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502333976-23274 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1339977524 HOME/instance-4260836-1502390592.xml

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

MD5SUM BENCH= ff12bcd9867be4bcc392b8c45936f1c7
RANDOM SEED=1339977524

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31177648 kB
MemAvailable:   31970900 kB
Buffers:          279320 kB
Cached:           809256 kB
SwapCached:            0 kB
Active:           711976 kB
Inactive:         449668 kB
Active(anon):      73452 kB
Inactive(anon):    33112 kB
Active(file):     638524 kB
Inactive(file):   416556 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5880 kB
Writeback:             8 kB
AnonPages:         72260 kB
Mapped:            50600 kB
Shmem:             33468 kB
Slab:             134992 kB
SReclaimable:     108012 kB
SUnreclaim:        26980 kB
KernelStack:        3296 kB
PageTables:         4508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62020 MiB
End job on node133 at 2017-08-10 21:11:05