Trace number 4260702

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-07-25? (TO) 2519.6599 2520

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000b-int.xml
MD5SUMfdcb353b2918313db809b139313e7b9f
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 variables1000
Number of constraints1998000
Number of domains1
Minimum domain size999
Maximum domain size999
Distribution of domain sizes[{"size":999,"count":1000}]
Minimum variable degree3996
Maximum variable degree3996
Distribution of variable degrees[{"degree":3996,"count":1000}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1998000}]
Number of extensional constraints0
Number of intensional constraints1998000
Distribution of constraint types[{"type":"intension","count":1998000}]
Optimization problemNO
Type of objective

Solver Data


Verifier Data 

One s line expected

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-4260702-1502246146/watcher-4260702-1502246146 -o /tmp/evaluation-result-4260702-1502246146/solver-4260702-1502246146 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502234551-16045 --watchdog 2580 BTD 2520 HOME/instance-4260702-1502246146.xml 

pid=19259
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.94 2.01 2.04 4/180 19262
/proc/meminfo: memFree=31414644/32770624 swapFree=0/140212
[pid=19262] ppid=19259 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19262/stat : 19262 (runsolver) D 19259 19262 15981 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 26810470 24240128 106 18446744073709551615 4194304 4338465 140733380991264 140733380988904 139770974479063 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 12468224 140733380993237 140733380993610 140733380993610 140733380997066 0
/proc/19262/statm: 5918 106 53 36 0 2156 0

[startup+0.100156 s]
/proc/loadavg: 1.94 2.01 2.04 4/180 19262
/proc/meminfo: memFree=31414644/32770624 swapFree=0/140212
[pid=19262] ppid=19259 vsize=31184 CPUtime=0 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 26810470 31932416 363 18446744073709551615 4194304 35031035 140728189845392 140728189845392 7408826 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 7796 363 231 7529 0 243 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 31184

[startup+0.200274 s]
/proc/loadavg: 1.94 2.01 2.04 4/180 19262
/proc/meminfo: memFree=31414644/32770624 swapFree=0/140212
[pid=19262] ppid=19259 vsize=35628 CPUtime=0.1 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 1656 0 0 0 10 0 0 0 20 0 1 0 26810470 36483072 1471 18446744073709551615 4194304 35031035 140728189845392 140728189845392 7408826 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 8907 1471 231 7529 0 1354 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 35628

[startup+0.300273 s]
/proc/loadavg: 1.94 2.01 2.04 4/180 19262
/proc/meminfo: memFree=31414644/32770624 swapFree=0/140212
[pid=19262] ppid=19259 vsize=40180 CPUtime=0.2 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 2773 0 0 0 20 0 0 0 20 0 1 0 26810470 41144320 2609 18446744073709551615 4194304 35031035 140728189845392 140728189845392 4208379 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 10045 2609 231 7529 0 2492 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 40180

[startup+0.700235 s]
/proc/loadavg: 1.94 2.01 2.04 4/180 19262
/proc/meminfo: memFree=31414644/32770624 swapFree=0/140212
[pid=19262] ppid=19259 vsize=57984 CPUtime=0.6 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 7215 0 0 0 59 1 0 0 20 0 1 0 26810470 59375616 7090 18446744073709551615 4194304 35031035 140728189845392 140728189845392 7407000 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 14496 7090 231 7529 0 6943 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 57984

[startup+1.50023 s]
/proc/loadavg: 1.94 2.01 2.04 3/181 19263
/proc/meminfo: memFree=31370024/32770624 swapFree=0/140212
[pid=19262] ppid=19259 vsize=92704 CPUtime=1.4 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 15912 0 0 0 138 2 0 0 20 0 1 0 26810470 94928896 15770 18446744073709551615 4194304 35031035 140728189845392 140728189841112 7399028 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 23176 15770 231 7529 0 15623 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 92704

[startup+3.10027 s]
/proc/loadavg: 1.94 2.01 2.04 3/181 19263
/proc/meminfo: memFree=31256928/32770624 swapFree=0/140212
[pid=19262] ppid=19259 vsize=223084 CPUtime=3 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 48744 0 0 0 294 6 0 0 20 0 1 0 26810470 228438016 47612 18446744073709551615 4194304 35031035 140728189845392 140728189841112 7408826 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 55771 47612 241 7529 0 48218 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 223084

[startup+6.30022 s]
/proc/loadavg: 1.95 2.01 2.04 3/181 19263
/proc/meminfo: memFree=31070788/32770624 swapFree=0/140220
[pid=19262] ppid=19259 vsize=375720 CPUtime=6.2 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 86198 0 0 0 608 12 0 0 20 0 1 0 26810470 384737280 86064 18446744073709551615 4194304 35031035 140728189845392 140728189842568 7408826 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 93930 86064 287 7529 0 86377 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 375720

[startup+12.7059 s]
/proc/loadavg: 1.95 2.01 2.04 3/181 19263
/proc/meminfo: memFree=31061240/32770624 swapFree=0/140228
[pid=19262] ppid=19259 vsize=384344 CPUtime=12.61 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 89908 0 0 0 1248 13 0 0 20 0 1 0 26810470 393568256 88275 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 96086 88275 287 7529 0 88533 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 384344

[startup+25.5003 s]
/proc/loadavg: 1.96 2.01 2.04 3/181 19263
/proc/meminfo: memFree=31049832/32770624 swapFree=0/140236
[pid=19262] ppid=19259 vsize=396132 CPUtime=25.4 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 102740 0 0 0 2526 14 0 0 20 0 1 0 26810470 405639168 91181 18446744073709551615 4194304 35031035 140728189845392 140728189838216 6572320 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 99033 91181 287 7529 0 91480 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 396132

[startup+51.1003 s]
/proc/loadavg: 1.97 2.01 2.04 3/181 19263
/proc/meminfo: memFree=31035212/32770624 swapFree=0/140244
[pid=19262] ppid=19259 vsize=410560 CPUtime=51 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 116580 0 0 0 5085 15 0 0 20 0 1 0 26810470 420413440 94807 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 102640 94807 287 7529 0 95087 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 410560

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 19265
/proc/meminfo: memFree=31013592/32770624 swapFree=0/140280
[pid=19262] ppid=19259 vsize=431060 CPUtime=102.19 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 136058 0 0 0 10202 17 0 0 20 0 1 0 26810470 441405440 99933 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 107765 99933 287 7529 0 100212 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 431060

[startup+162.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 19267
/proc/meminfo: memFree=30994276/32770624 swapFree=0/140304
[pid=19262] ppid=19259 vsize=449980 CPUtime=162.19 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 159438 0 0 0 16200 19 0 0 20 0 1 0 26810470 460779520 104628 18446744073709551615 4194304 35031035 140728189845392 140728189838216 6497342 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 112495 104628 287 7529 0 104942 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 449980

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 19270
/proc/meminfo: memFree=30978308/32770624 swapFree=0/140352
[pid=19262] ppid=19259 vsize=465880 CPUtime=222.18 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 184661 0 0 0 22198 20 0 0 20 0 1 0 26810470 477061120 108590 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 116470 108590 287 7529 0 108917 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 465880

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 19272
/proc/meminfo: memFree=30964200/32770624 swapFree=0/140380
[pid=19262] ppid=19259 vsize=479444 CPUtime=282.17 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 213053 0 0 0 28195 22 0 0 20 0 1 0 26810470 490950656 111970 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 119861 111970 287 7529 0 112308 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 479444

[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.04 3/181 19274
/proc/meminfo: memFree=30951784/32770624 swapFree=0/140408
[pid=19262] ppid=19259 vsize=491888 CPUtime=342.14 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 229022 0 0 0 34191 23 0 0 20 0 1 0 26810470 503693312 115084 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 122972 115084 287 7529 0 115419 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 491888

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/181 19277
/proc/meminfo: memFree=30940208/32770624 swapFree=0/140444
[pid=19262] ppid=19259 vsize=503524 CPUtime=402.14 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 233478 0 0 0 40190 24 0 0 20 0 1 0 26810470 515608576 118025 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 125881 118025 287 7529 0 118328 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 503524

[startup+462.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/181 19279
/proc/meminfo: memFree=30929684/32770624 swapFree=0/140468
[pid=19262] ppid=19259 vsize=513872 CPUtime=462.14 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 240381 0 0 0 46189 25 0 0 20 0 1 0 26810470 526204928 120576 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 128468 120576 287 7529 0 120915 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 513872

[startup+522.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/185 19296
/proc/meminfo: memFree=30916092/32770624 swapFree=0/140528
[pid=19262] ppid=19259 vsize=523744 CPUtime=522.13 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 249553 0 0 0 52187 26 0 0 20 0 1 0 26810470 536313856 123046 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 130936 123046 287 7529 0 123383 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 523744

[startup+582.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/185 19298
/proc/meminfo: memFree=30906940/32770624 swapFree=0/140572
[pid=19262] ppid=19259 vsize=532920 CPUtime=582.12 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 261099 0 0 0 58186 26 0 0 20 0 1 0 26810470 545710080 125346 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 133230 125346 287 7529 0 125677 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 532920


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


[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 19350
/proc/meminfo: memFree=30785348/32770624 swapFree=0/141164
[pid=19262] ppid=19259 vsize=654780 CPUtime=1662.01 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 424700 0 0 0 166163 38 0 0 20 0 1 0 26810470 670494720 155864 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 163695 155864 287 7529 0 156142 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 654780

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 19366
/proc/meminfo: memFree=30776000/32770624 swapFree=0/141216
[pid=19262] ppid=19259 vsize=659428 CPUtime=1722.01 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 434460 0 0 0 172162 39 0 0 20 0 1 0 26810470 675254272 157030 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 164857 157030 287 7529 0 157304 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 659428

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 19368
/proc/meminfo: memFree=30770916/32770624 swapFree=0/141260
[pid=19262] ppid=19259 vsize=664152 CPUtime=1782 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 445413 0 0 0 178161 39 0 0 20 0 1 0 26810470 680091648 158213 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 166038 158213 287 7529 0 158485 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 664152

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19370
/proc/meminfo: memFree=30770052/32770624 swapFree=0/141292
[pid=19262] ppid=19259 vsize=668940 CPUtime=1841.98 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 447361 0 0 0 184159 39 0 0 20 0 1 0 26810470 684994560 159413 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256446 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 167235 159413 287 7529 0 159682 0
Current children cumulated CPU time (s) 1841.98
Current children cumulated vsize (KiB) 668940

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19372
/proc/meminfo: memFree=30765464/32770624 swapFree=0/141320
[pid=19262] ppid=19259 vsize=673804 CPUtime=1901.99 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 450099 0 0 0 190159 40 0 0 20 0 1 0 26810470 689975296 160628 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 168451 160628 287 7529 0 160898 0
Current children cumulated CPU time (s) 1901.99
Current children cumulated vsize (KiB) 673804

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19374
/proc/meminfo: memFree=30761540/32770624 swapFree=0/141348
[pid=19262] ppid=19259 vsize=678736 CPUtime=1961.98 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 454060 0 0 0 196157 41 0 0 20 0 1 0 26810470 695025664 161864 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 169684 161864 287 7529 0 162131 0
Current children cumulated CPU time (s) 1961.98
Current children cumulated vsize (KiB) 678736

[startup+2022.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 19691
/proc/meminfo: memFree=30873332/32770624 swapFree=0/146848
[pid=19262] ppid=19259 vsize=683756 CPUtime=2021.98 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 457709 0 0 0 202157 41 0 0 20 0 1 0 26810470 700166144 163115 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 170939 163115 287 7529 0 163386 0
Current children cumulated CPU time (s) 2021.98
Current children cumulated vsize (KiB) 683756

[startup+2082.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 19694
/proc/meminfo: memFree=30868160/32770624 swapFree=0/146920
[pid=19262] ppid=19259 vsize=688840 CPUtime=2081.98 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 463121 0 0 0 208156 42 0 0 20 0 1 0 26810470 705372160 164384 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 172210 164384 287 7529 0 164657 0
Current children cumulated CPU time (s) 2081.98
Current children cumulated vsize (KiB) 688840

[startup+2142.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19696
/proc/meminfo: memFree=30862772/32770624 swapFree=0/146952
[pid=19262] ppid=19259 vsize=694012 CPUtime=2141.97 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 468812 0 0 0 214155 42 0 0 20 0 1 0 26810470 710668288 165675 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 173503 165675 287 7529 0 165950 0
Current children cumulated CPU time (s) 2141.97
Current children cumulated vsize (KiB) 694012

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19699
/proc/meminfo: memFree=30857188/32770624 swapFree=0/146988
[pid=19262] ppid=19259 vsize=699244 CPUtime=2201.96 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 476325 0 0 0 220153 43 0 0 20 0 1 0 26810470 716025856 166979 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4255429 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 174811 166979 287 7529 0 167258 0
Current children cumulated CPU time (s) 2201.96
Current children cumulated vsize (KiB) 699244

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19701
/proc/meminfo: memFree=30854380/32770624 swapFree=0/147016
[pid=19262] ppid=19259 vsize=701884 CPUtime=2261.97 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 483462 0 0 0 226153 44 0 0 20 0 1 0 26810470 718729216 167653 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 175471 167653 287 7529 0 167918 0
Current children cumulated CPU time (s) 2261.97
Current children cumulated vsize (KiB) 701884

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 19717
/proc/meminfo: memFree=30844644/32770624 swapFree=0/147068
[pid=19262] ppid=19259 vsize=707232 CPUtime=2321.96 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 492512 0 0 0 232151 45 0 0 20 0 1 0 26810470 724205568 168981 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256442 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 176808 168981 287 7529 0 169255 0
Current children cumulated CPU time (s) 2321.96
Current children cumulated vsize (KiB) 707232

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 19744
/proc/meminfo: memFree=30838352/32770624 swapFree=0/147136
[pid=19262] ppid=19259 vsize=712652 CPUtime=2381.96 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 493692 0 0 0 238151 45 0 0 20 0 1 0 26810470 729755648 170333 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 178163 170333 287 7529 0 170610 0
Current children cumulated CPU time (s) 2381.96
Current children cumulated vsize (KiB) 712652

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 19746
/proc/meminfo: memFree=30835800/32770624 swapFree=0/147160
[pid=19262] ppid=19259 vsize=715396 CPUtime=2441.95 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 496086 0 0 0 244150 45 0 0 20 0 1 0 26810470 732565504 171025 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 178849 171025 287 7529 0 171296 0
Current children cumulated CPU time (s) 2441.95
Current children cumulated vsize (KiB) 715396

[startup+2502.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/182 19748
/proc/meminfo: memFree=30834280/32770624 swapFree=0/147208
[pid=19262] ppid=19259 vsize=720932 CPUtime=2501.95 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 498838 0 0 0 250150 45 0 0 20 0 1 0 26810470 738234368 172403 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256528 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 180233 172403 287 7529 0 172680 0
Current children cumulated CPU time (s) 2501.95
Current children cumulated vsize (KiB) 720932



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 19749
/proc/meminfo: memFree=30834528/32770624 swapFree=0/147220
[pid=19262] ppid=19259 vsize=720932 CPUtime=2519.65 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 498956 0 0 0 251920 45 0 0 20 0 1 0 26810470 738234368 172410 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 180233 172410 287 7529 0 172680 0
Current children cumulated CPU time (s) 2519.65
Current children cumulated vsize (KiB) 720932

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

[startup+2520 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 19749
/proc/meminfo: memFree=30834528/32770624 swapFree=0/147220
[pid=19262] ppid=19259 vsize=720932 CPUtime=2519.65 cores=1,3,5,7
/proc/19262/stat : 19262 (BTD) R 19259 19262 15981 0 -1 4202496 498956 0 0 0 251920 45 0 0 20 0 1 0 26810470 738234368 172410 18446744073709551615 4194304 35031035 140728189845392 140728189838216 4256494 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 49020928 140728189854213 140728189854289 140728189854289 140728189857745 0
/proc/19262/statm: 180233 172410 287 7529 0 172680 0
Current children cumulated CPU time (s) 2519.65
Current children cumulated vsize (KiB) 720932

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.66
CPU user time (s): 2519.2
CPU system time (s): 0.460968
CPU usage (%): 99.9864
Max. virtual memory (cumulated for all children) (KiB): 720932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.2
system time used= 0.460968
maximum resident set size= 689648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 498956
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= 100
involuntary context switches= 2404

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8769 second user time and 11.3944 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-09 04:21:49
IDJOB=4260702
IDBENCH=126900
IDSOLVER=2648
FILE ID=node126/4260702-1502246146
RUNJOBID= node126-1502234551-16045
PBS_JOBID= 
Free space on /tmp= 61912 MiB

SOLVER NAME= BTD 2017-07-25
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000b-int.xml
COMMAND LINE= BTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4260702-1502246146/watcher-4260702-1502246146 -o /tmp/evaluation-result-4260702-1502246146/solver-4260702-1502246146 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502234551-16045 --watchdog 2580  BTD 2520 HOME/instance-4260702-1502246146.xml

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

MD5SUM BENCH= fdcb353b2918313db809b139313e7b9f
RANDOM SEED=1750910167

node126.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.81
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.81
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.81
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.81
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:        31414628 kB
MemAvailable:   31876664 kB
Buffers:          193508 kB
Cached:           535828 kB
SwapCached:          544 kB
Active:           698556 kB
Inactive:         205476 kB
Active(anon):     126728 kB
Inactive(anon):    65264 kB
Active(file):     571828 kB
Inactive(file):   140212 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105568 kB
Dirty:            121616 kB
Writeback:             0 kB
AnonPages:        174428 kB
Mapped:            36716 kB
Shmem:             17056 kB
Slab:             157476 kB
SReclaimable:     131664 kB
SUnreclaim:        25812 kB
KernelStack:        3200 kB
PageTables:         5008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     428204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61876 MiB
End job on node126 at 2017-08-09 05:03:49