Trace number 4265550

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
BTD 2017-08-10? (TO) 2519.78 2520

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os20/
SuperTaillard-os-20-17.xml
MD5SUM4b4738a8e40cdda4c63a077f136d1653
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints23200
Number of domains98
Minimum domain size1322
Maximum domain size1420
Distribution of domain sizes[{"size":1322,"count":14},{"size":1323,"count":8},{"size":1324,"count":16},{"size":1325,"count":6},{"size":1326,"count":6},{"size":1327,"count":4},{"size":1328,"count":12},{"size":1329,"count":4},{"size":1330,"count":18},{"size":1331,"count":10},{"size":1332,"count":4},{"size":1333,"count":20},{"size":1334,"count":8},{"size":1335,"count":2},{"size":1336,"count":16},{"size":1337,"count":12},{"size":1338,"count":8},{"size":1339,"count":4},{"size":1340,"count":12},{"size":1341,"count":2},{"size":1342,"count":10},{"size":1343,"count":12},{"size":1344,"count":12},{"size":1345,"count":12},{"size":1346,"count":10},"...",{"size":1396,"count":10}, {"size":1397,"count":14}, {"size":1398,"count":8}, {"size":1399,"count":12}, {"size":1400,"count":4}, {"size":1401,"count":6}, {"size":1402,"count":12}, {"size":1403,"count":10}, {"size":1404,"count":6}, {"size":1405,"count":6}, {"size":1406,"count":6}, {"size":1407,"count":6}, {"size":1408,"count":4}, {"size":1409,"count":8}, {"size":1410,"count":6}, {"size":1411,"count":6}, {"size":1412,"count":8}, {"size":1413,"count":8}, {"size":1414,"count":8}, {"size":1415,"count":4}, {"size":1416,"count":10}, {"size":1417,"count":6}, {"size":1418,"count":10}, {"size":1419,"count":8}, {"size":1420,"count":6}]
Minimum variable degree39
Maximum variable degree77
Distribution of variable degrees[{"degree":39,"count":400},{"degree":77,"count":400}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":23200}]
Number of extensional constraints0
Number of intensional constraints23200
Distribution of constraint types[{"type":"intension","count":23200}]
Optimization problemNO
Type of objective

Solver Data 

20.12/20.26	c Version: 2017-08-10

Verifier Data 

One s line expected

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14516 MiB free)
  memory of node 1: 16384 MiB (15500 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265550-1502780954/watcher-4265550-1502780954 -o /tmp/evaluation-result-4265550-1502780954/solver-4265550-1502780954 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21655 --watchdog 2580 BTD 2520 HOME/instance-4265550-1502780954.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=24697, runsolver pid=24694

[startup+0.100159 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 24698
/proc/meminfo: memFree=30736212/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=31696 memory=2040 CPUtime=0.02 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 653 0 0 0 2 0 0 0 20 0 1 0 80288699 32456704 510 18446744073709551615 4194304 35031035 140731070121824 140731070121824 4211400 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 7924 510 217 7529 0 371 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 31696 KiB
Current children cumulated memory: 2040 KiB

[startup+0.209026 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 24698
/proc/meminfo: memFree=30732120/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=35864 memory=6080 CPUtime=0.13 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 1684 0 0 0 13 0 0 0 20 0 1 0 80288699 36724736 1520 18446744073709551615 4194304 35031035 140731070121824 140731070121824 4211400 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 8966 1520 217 7529 0 1413 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 35864 KiB
Current children cumulated memory: 6080 KiB

[startup+0.309038 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 24698
/proc/meminfo: memFree=30728400/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=39564 memory=9792 CPUtime=0.23 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 2619 0 0 0 23 0 0 0 20 0 1 0 80288699 40513536 2448 18446744073709551615 4194304 35031035 140731070121824 140731070121824 7416160 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 9891 2448 217 7529 0 2338 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 39564 KiB
Current children cumulated memory: 9792 KiB

[startup+0.700293 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24698
/proc/meminfo: memFree=30720960/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=53996 memory=24368 CPUtime=0.61 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 6223 0 0 0 61 0 0 0 20 0 1 0 80288699 55291904 6092 18446744073709551615 4194304 35031035 140731070121824 140731070121824 7399984 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 13499 6092 220 7529 0 5946 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 53996 KiB
Current children cumulated memory: 24368 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24698
/proc/meminfo: memFree=30702572/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=83912 memory=54116 CPUtime=1.41 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 13705 0 0 0 140 1 0 0 20 0 1 0 80288699 85925888 13529 18446744073709551615 4194304 35031035 140731070121824 140731070117784 7408826 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 20978 13529 220 7529 0 13425 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 83912 KiB
Current children cumulated memory: 54116 KiB

[startup+3.10983 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24698
/proc/meminfo: memFree=30642876/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=112692 memory=83284 CPUtime=3.02 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 23117 0 0 0 300 2 0 0 20 0 1 0 80288699 115396608 20821 18446744073709551615 4194304 35031035 140731070121824 140731070117064 7408826 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 28173 20821 411 7529 0 20620 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 112692 KiB
Current children cumulated memory: 83284 KiB

[startup+6.30027 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 24698
/proc/meminfo: memFree=30650424/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=117856 memory=88632 CPUtime=6.21 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 26180 0 0 0 618 3 0 0 20 0 1 0 80288699 120684544 22158 18446744073709551615 4194304 35031035 140731070121824 140731070114648 6441824 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 29464 22158 411 7529 0 21911 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 117856 KiB
Current children cumulated memory: 88632 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 24698
/proc/meminfo: memFree=30641696/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=127460 memory=98060 CPUtime=12.61 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 32343 0 0 0 1258 3 0 0 20 0 1 0 80288699 130519040 24515 18446744073709551615 4194304 35031035 140731070121824 140731070114648 6446151 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 31865 24515 411 7529 0 24312 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 127460 KiB
Current children cumulated memory: 98060 KiB

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 24698
/proc/meminfo: memFree=29581900/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1201948 memory=1155160 CPUtime=25.4 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 317827 0 0 0 2504 36 0 0 20 0 1 0 80288699 1230794752 288790 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4541531 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 300487 288790 467 7529 0 292934 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1201948 KiB
Current children cumulated memory: 1155160 KiB

[startup+51.1004 s]*
/proc/loadavg: 1.96 2.00 2.04 3/181 24699
/proc/meminfo: memFree=29581160/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1202608 memory=1155804 CPUtime=51.01 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 318061 0 0 0 5064 37 0 0 20 0 1 0 80288699 1231470592 288951 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4497512 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 300652 288951 467 7529 0 293099 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 1202608 KiB
Current children cumulated memory: 1155804 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 24701
/proc/meminfo: memFree=29580540/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1203532 memory=1156716 CPUtime=102.2 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 334473 0 0 0 10179 41 0 0 20 0 1 0 80288699 1232416768 289179 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4496685 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 300883 289179 467 7529 0 293330 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 1203532 KiB
Current children cumulated memory: 1156716 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 24703
/proc/meminfo: memFree=29579176/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1204588 memory=1157676 CPUtime=162.2 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 365691 0 0 0 16173 47 0 0 20 0 1 0 80288699 1233498112 289419 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4544913 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301147 289419 467 7529 0 293594 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 1204588 KiB
Current children cumulated memory: 1157676 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 24706
/proc/meminfo: memFree=29578556/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1205116 memory=1158356 CPUtime=222.2 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 394470 0 0 0 22167 53 0 0 20 0 1 0 80288699 1234038784 289589 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4497539 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301279 289589 467 7529 0 293726 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 1205116 KiB
Current children cumulated memory: 1158356 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 24708
/proc/meminfo: memFree=29577916/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1205248 memory=1158488 CPUtime=282.18 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 411748 0 0 0 28161 57 0 0 20 0 1 0 80288699 1234173952 289622 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4497582 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301312 289622 467 7529 0 293759 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 1205248 KiB
Current children cumulated memory: 1158488 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 24724
/proc/meminfo: memFree=29574856/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1205248 memory=1158524 CPUtime=342.16 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 427657 0 0 0 34155 61 0 0 20 0 1 0 80288699 1234173952 289631 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4497582 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301312 289631 467 7529 0 293759 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 1205248 KiB
Current children cumulated memory: 1158524 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 24873
/proc/meminfo: memFree=30109812/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1205380 memory=1158576 CPUtime=402.16 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 428447 0 0 0 40151 65 0 0 20 0 1 0 80288699 1234309120 289644 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4435568 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301345 289644 467 7529 0 293792 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 1205380 KiB
Current children cumulated memory: 1158576 KiB

[startup+462.3 s]
/proc/loadavg: 1.95 1.98 2.03 3/182 25057
/proc/meminfo: memFree=30111336/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1205380 memory=1158596 CPUtime=462.15 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 428854 0 0 0 46146 69 0 0 20 0 1 0 80288699 1234309120 289649 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4496712 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301345 289649 467 7529 0 293792 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 1205380 KiB
Current children cumulated memory: 1158596 KiB


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

/proc/24697/statm: 301675 291681 467 7529 0 294122 0
Current children cumulated CPU time: 1782.1 s
Current children cumulated vsize: 1206700 KiB
Current children cumulated memory: 1166724 KiB

[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/181 27099
/proc/meminfo: memFree=28420764/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206700 memory=1166724 CPUtime=1842.09 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 438269 0 0 0 184053 156 0 0 20 0 1 0 80288699 1235660800 291681 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4544913 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301675 291681 467 7529 0 294122 0
Current children cumulated CPU time: 1842.09 s
Current children cumulated vsize: 1206700 KiB
Current children cumulated memory: 1166724 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/181 27101
/proc/meminfo: memFree=28205456/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206700 memory=1166724 CPUtime=1902.09 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 438443 0 0 0 190050 159 0 0 20 0 1 0 80288699 1235660800 291681 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4497177 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301675 291681 467 7529 0 294122 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 1206700 KiB
Current children cumulated memory: 1166724 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/181 27103
/proc/meminfo: memFree=27992328/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206700 memory=1166772 CPUtime=1962.08 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 438800 0 0 0 196045 163 0 0 20 0 1 0 80288699 1235660800 291693 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4544902 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301675 291693 467 7529 0 294122 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 1206700 KiB
Current children cumulated memory: 1166772 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 27106
/proc/meminfo: memFree=27776828/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206700 memory=1166772 CPUtime=2022.09 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 439125 0 0 0 202041 168 0 0 20 0 1 0 80288699 1235660800 291693 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4496750 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301675 291693 467 7529 0 294122 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 1206700 KiB
Current children cumulated memory: 1166772 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 27108
/proc/meminfo: memFree=27559748/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206700 memory=1166772 CPUtime=2082.08 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 439300 0 0 0 208037 171 0 0 20 0 1 0 80288699 1235660800 291693 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4497582 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301675 291693 467 7529 0 294122 0
Current children cumulated CPU time: 2082.08 s
Current children cumulated vsize: 1206700 KiB
Current children cumulated memory: 1166772 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 27124
/proc/meminfo: memFree=27338860/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206832 memory=1166824 CPUtime=2142.08 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 439637 0 0 0 214032 176 0 0 20 0 1 0 80288699 1235795968 291706 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4544913 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301708 291706 467 7529 0 294155 0
Current children cumulated CPU time: 2142.08 s
Current children cumulated vsize: 1206832 KiB
Current children cumulated memory: 1166824 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 27126
/proc/meminfo: memFree=27123156/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206832 memory=1166824 CPUtime=2202.08 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 439948 0 0 0 220028 180 0 0 20 0 1 0 80288699 1235795968 291706 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4497556 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301708 291706 467 7529 0 294155 0
Current children cumulated CPU time: 2202.08 s
Current children cumulated vsize: 1206832 KiB
Current children cumulated memory: 1166824 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 27128
/proc/meminfo: memFree=26903056/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206832 memory=1166824 CPUtime=2262.08 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 440123 0 0 0 226025 183 0 0 20 0 1 0 80288699 1235795968 291706 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4544913 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301708 291706 467 7529 0 294155 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 1206832 KiB
Current children cumulated memory: 1166824 KiB

[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 27130
/proc/meminfo: memFree=26683484/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206832 memory=1166928 CPUtime=2322.07 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 440483 0 0 0 232020 187 0 0 20 0 1 0 80288699 1235795968 291732 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4544913 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301708 291732 467 7529 0 294155 0
Current children cumulated CPU time: 2322.07 s
Current children cumulated vsize: 1206832 KiB
Current children cumulated memory: 1166928 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 27132
/proc/meminfo: memFree=26462784/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206832 memory=1166928 CPUtime=2382.07 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 440799 0 0 0 238016 191 0 0 20 0 1 0 80288699 1235795968 291732 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4497575 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301708 291732 467 7529 0 294155 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 1206832 KiB
Current children cumulated memory: 1166928 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 27134
/proc/meminfo: memFree=26242360/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206832 memory=1166928 CPUtime=2442.07 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 440976 0 0 0 244011 196 0 0 20 0 1 0 80288699 1235795968 291732 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4544913 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301708 291732 467 7529 0 294155 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 1206832 KiB
Current children cumulated memory: 1166928 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27136
/proc/meminfo: memFree=26020552/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206832 memory=1166928 CPUtime=2502.06 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 441282 0 0 0 250007 199 0 0 20 0 1 0 80288699 1235795968 291732 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4544913 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301708 291732 467 7529 0 294155 0
Current children cumulated CPU time: 2502.06 s
Current children cumulated vsize: 1206832 KiB
Current children cumulated memory: 1166928 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27138
/proc/meminfo: memFree=25956748/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206832 memory=1166928 CPUtime=2519.76 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 441296 0 0 0 251775 201 0 0 20 0 1 0 80288699 1235795968 291732 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4541516 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301708 291732 467 7529 0 294155 0
Current children cumulated CPU time: 2519.76 s
Current children cumulated vsize: 1206832 KiB
Current children cumulated memory: 1166928 KiB

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

[startup+2520 s]
# the end of solver process 24697 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.76 s, system=2.01791 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27138
/proc/meminfo: memFree=25956748/32770624 swapFree=67108860/67108860
[pid=24697] ppid=24694 vsize=1206832 memory=1166928 CPUtime=2519.76 cores=1,3,5,7
/proc/24697/stat : 24697 (BTD) R 24694 24697 17093 0 -1 4202496 441296 0 0 0 251775 201 0 0 20 0 1 0 80288699 1235795968 291732 18446744073709551615 4194304 35031035 140731070121824 140731070120824 4541516 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 51519488 140731070128607 140731070128683 140731070128683 140731070132177 0
/proc/24697/statm: 301708 291732 467 7529 0 294155 0
Current children cumulated CPU time: 2519.76 s
Current children cumulated vsize: 1206832 KiB
Current children cumulated memory: 1166928 KiB

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.78
CPU user time (s): 2517.76
CPU system time (s): 2.01791
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 1206832
Max. memory (cumulated for all children) (KiB): 1166928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.76
system time used= 2.01791
maximum resident set size= 1166928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441296
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= 48
involuntary context switches= 779


# summary of solver processes directly reported to runsolver:
#   pid: 24697
#   total CPU time (s): 2519.78
#   total CPU user time (s): 2517.76
#   total CPU system time (s): 2.01791

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3469 second user time and 18.1732 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-15 08:55:05
IDJOB=4265550
IDBENCH=138698
IDSOLVER=2654
FILE ID=node127/4265550-1502780954
RUNJOBID= node127-1502653304-21655
PBS_JOBID= 
Free space on /tmp= 61992 MiB

SOLVER NAME= BTD 2017-08-10
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os20/SuperTaillard-os-20-17.xml
COMMAND LINE= BTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265550-1502780954/watcher-4265550-1502780954 -o /tmp/evaluation-result-4265550-1502780954/solver-4265550-1502780954 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21655 --watchdog 2580  BTD 2520 HOME/instance-4265550-1502780954.xml

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

MD5SUM BENCH= 4b4738a8e40cdda4c63a077f136d1653
RANDOM SEED=420743005

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:        30736956 kB
MemAvailable:   31439364 kB
Buffers:          246072 kB
Cached:           744204 kB
SwapCached:            0 kB
Active:          1296744 kB
Inactive:         291404 kB
Active(anon):     547820 kB
Inactive(anon):    83808 kB
Active(file):     748924 kB
Inactive(file):   207596 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             39596 kB
Writeback:             0 kB
AnonPages:        597932 kB
Mapped:            52936 kB
Shmem:             33444 kB
Slab:             149248 kB
SReclaimable:     123448 kB
SUnreclaim:        25800 kB
KernelStack:        3184 kB
PageTables:         5976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     878792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    546816 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= 61952 MiB
End job on node127 at 2017-08-15 09:37:05