Trace number 4261242

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
Mistral-2.0 2017-07-28? (TO) 2519.98 2520.01

General information on the benchmark

NameBibd/Bibd-sc-open/
Bibd-sc-65-104-40-25-15.xml
MD5SUM221a96fe8d827ba40f627424420ef5aa
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 variables446160
Number of constraints218570
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":223080}]
Minimum variable degree0
Maximum variable degree67
Distribution of variable degrees[{"degree":0,"count":223080},{"degree":2,"count":216320},{"degree":67,"count":6760}]
Minimum constraint arity3
Maximum constraint arity6760
Distribution of constraint arities[{"arity":3,"count":216320},{"arity":65,"count":104},{"arity":104,"count":2145},{"arity":6760,"count":1}]
Number of extensional constraints0
Number of intensional constraints216320
Distribution of constraint types[{"type":"intension","count":216320},{"type":"lex","count":1},{"type":"sum","count":2249}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.09	c 280717
2519.97/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-4261242-1502354491/watcher-4261242-1502354491 -o /tmp/evaluation-result-4261242-1502354491/solver-4261242-1502354491 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31366 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1693153886 HOME/instance-4261242-1502354491.xml 

pid=3485
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: 2.04 2.04 2.05 3/185 3488
/proc/meminfo: memFree=31209812/32770624 swapFree=0/439612
[pid=3488] ppid=3485 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/3488/stat : 3488 (runsolver) D 3485 3488 9153 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 77360252 24240128 108 18446744073709551615 4194304 4338465 140734670135616 140734670133256 140217407926999 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 24997888 140734670143626 140734670144073 140734670144073 140734670147530 0
/proc/3488/statm: 5918 108 54 36 0 2156 0

[startup+0.103334 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 3488
/proc/meminfo: memFree=31209812/32770624 swapFree=0/439612
[pid=3488] ppid=3485 vsize=29304 CPUtime=0.01 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 1075 0 0 0 1 0 0 0 20 0 1 0 77360252 30007296 858 18446744073709551615 4194304 7396336 140731167734592 140731167726504 140219954666469 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 7326 858 591 782 0 342 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29304

[startup+0.200378 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 3488
/proc/meminfo: memFree=31209812/32770624 swapFree=0/439612
[pid=3488] ppid=3485 vsize=44528 CPUtime=0.1 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 4557 0 0 0 10 0 0 0 20 0 1 0 77360252 45596672 4647 18446744073709551615 4194304 7396336 140731167734592 140731167725992 140219961443895 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 11132 4647 608 782 0 4148 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 44528

[startup+0.300376 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 3488
/proc/meminfo: memFree=31209812/32770624 swapFree=0/439612
[pid=3488] ppid=3485 vsize=50996 CPUtime=0.2 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 6205 0 0 0 20 0 0 0 20 0 1 0 77360252 52219904 6297 18446744073709551615 4194304 7396336 140731167734592 140731167725992 140219961383737 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 12749 6297 608 782 0 5765 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 50996

[startup+0.700375 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 3488
/proc/meminfo: memFree=31209812/32770624 swapFree=0/439612
[pid=3488] ppid=3485 vsize=77528 CPUtime=0.59 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 12817 0 0 0 58 1 0 0 20 0 1 0 77360252 79388672 12897 18446744073709551615 4194304 7396336 140731167734592 140731167725992 6049052 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 19382 12897 608 782 0 12398 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 77528

[startup+1.50025 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 3489
/proc/meminfo: memFree=31140780/32770624 swapFree=0/439408
[pid=3488] ppid=3485 vsize=113564 CPUtime=1.39 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 21840 0 0 0 137 2 0 0 20 0 1 0 77360252 116289536 21939 18446744073709551615 4194304 7396336 140731167734592 140731167726568 140219954666469 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 28391 21939 608 782 0 21407 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 113564

[startup+3.10022 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 3489
/proc/meminfo: memFree=30898868/32770624 swapFree=0/439408
[pid=3488] ppid=3485 vsize=515876 CPUtime=2.99 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 128970 0 0 0 285 14 0 0 20 0 1 0 77360252 528257024 122246 18446744073709551615 4194304 7396336 140731167734592 140731167726168 140219973946643 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 128969 122246 668 782 0 121985 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 515876

[startup+6.30022 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 3489
/proc/meminfo: memFree=30716604/32770624 swapFree=0/439412
[pid=3488] ppid=3485 vsize=528348 CPUtime=6.2 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 131117 0 0 0 604 16 0 0 20 0 1 0 77360252 541028352 124799 18446744073709551615 4194304 7396336 140731167734592 140731167727832 5928492 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 132087 124799 668 782 0 125103 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 528348

[startup+12.7002 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 3489
/proc/meminfo: memFree=30702836/32770624 swapFree=0/439412
[pid=3488] ppid=3485 vsize=535896 CPUtime=12.6 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 136535 0 0 0 1243 17 0 0 20 0 1 0 77360252 548757504 127301 18446744073709551615 4194304 7396336 140731167734592 140731167725240 140219954665561 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 133974 127301 731 782 0 126990 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 535896

[startup+25.5003 s]
/proc/loadavg: 2.09 2.05 2.05 3/186 3490
/proc/meminfo: memFree=30682188/32770624 swapFree=0/439420
[pid=3488] ppid=3485 vsize=556168 CPUtime=25.39 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 146816 0 0 0 2521 18 0 0 20 0 1 0 77360252 569516032 132390 18446744073709551615 4194304 7396336 140731167734592 140731167725240 6009352 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 139042 132390 731 782 0 132058 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 556168

[startup+51.1003 s]
/proc/loadavg: 2.06 2.05 2.05 3/186 3491
/proc/meminfo: memFree=30645980/32770624 swapFree=0/439416
[pid=3488] ppid=3485 vsize=591472 CPUtime=51 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 165811 0 0 0 5079 21 0 0 20 0 1 0 77360252 605667328 141223 18446744073709551615 4194304 7396336 140731167734592 140731167725240 4567466 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 147868 141223 731 782 0 140884 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 591472

[startup+102.3 s]
/proc/loadavg: 2.12 2.07 2.05 3/186 3493
/proc/meminfo: memFree=30554172/32770624 swapFree=0/439440
[pid=3488] ppid=3485 vsize=683132 CPUtime=102.19 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 197505 0 0 0 10192 27 0 0 20 0 1 0 77360252 699527168 164131 18446744073709551615 4194304 7396336 140731167734592 140731167725240 6180916 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 170783 164131 731 782 0 163799 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 683132

[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/189 3510
/proc/meminfo: memFree=30475188/32770624 swapFree=0/439468
[pid=3488] ppid=3485 vsize=757636 CPUtime=162.17 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 221787 0 0 0 16188 29 0 0 20 0 1 0 77360252 775819264 182756 18446744073709551615 4194304 7396336 140731167734592 140731167725272 140219961450096 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 189409 182756 731 782 0 182425 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 757636

[startup+222.306 s]
/proc/loadavg: 2.08 2.07 2.05 3/189 3512
/proc/meminfo: memFree=30156176/32770624 swapFree=0/439488
[pid=3488] ppid=3485 vsize=1075980 CPUtime=222.18 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 383346 0 0 0 22174 44 0 0 20 0 1 0 77360252 1101803520 262342 18446744073709551615 4194304 7396336 140731167734592 140731167725160 6197246 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 268995 262342 731 782 0 262011 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 1075980

[startup+282.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/186 3514
/proc/meminfo: memFree=30159520/32770624 swapFree=0/439496
[pid=3488] ppid=3485 vsize=1075980 CPUtime=282.18 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 390820 0 0 0 28173 45 0 0 20 0 1 0 77360252 1101803520 262342 18446744073709551615 4194304 7396336 140731167734592 140731167725160 4566053 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 268995 262342 731 782 0 262011 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1075980

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 3516
/proc/meminfo: memFree=30154532/32770624 swapFree=0/439512
[pid=3488] ppid=3485 vsize=1080860 CPUtime=342.18 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 396947 0 0 0 34172 46 0 0 20 0 1 0 77360252 1106800640 263705 18446744073709551615 4194304 7396336 140731167734592 140731167725240 140219954675685 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 270215 263705 731 782 0 263231 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1080860

[startup+402.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/186 3826
/proc/meminfo: memFree=30097012/32770624 swapFree=0/439576
[pid=3488] ppid=3485 vsize=1127736 CPUtime=402.18 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 418977 0 0 0 40169 49 0 0 20 0 1 0 77360252 1154801664 275439 18446744073709551615 4194304 7396336 140731167734592 140731167725240 140219955410314 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 281934 275439 731 782 0 274950 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1127736

[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 3829
/proc/meminfo: memFree=30035320/32770624 swapFree=0/439596
[pid=3488] ppid=3485 vsize=1189404 CPUtime=462.18 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 446526 0 0 0 46166 52 0 0 20 0 1 0 77360252 1217949696 290832 18446744073709551615 4194304 7396336 140731167734592 140731167725240 4566032 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 297351 290832 731 782 0 290367 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1189404

[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 3832
/proc/meminfo: memFree=29949576/32770624 swapFree=0/439612
[pid=3488] ppid=3485 vsize=1275692 CPUtime=522.18 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 477709 0 0 0 52161 57 0 0 20 0 1 0 77360252 1306308608 312413 18446744073709551615 4194304 7396336 140731167734592 140731167725688 4565872 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 318923 312413 740 782 0 311939 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1275692

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 3834
/proc/meminfo: memFree=29705276/32770624 swapFree=0/439632
[pid=3488] ppid=3485 vsize=1519336 CPUtime=582.19 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 562390 0 0 0 58153 66 0 0 20 0 1 0 77360252 1555800064 372880 18446744073709551615 4194304 7396336 140731167734592 140731167729688 5163046 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 379834 372880 768 782 0 372850 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1519336


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3900
/proc/meminfo: memFree=29702760/32770624 swapFree=0/439884
[pid=3488] ppid=3485 vsize=1520632 CPUtime=1602.21 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 609297 0 0 0 160151 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 4245092 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 1520632

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3903
/proc/meminfo: memFree=29702784/32770624 swapFree=0/439896
[pid=3488] ppid=3485 vsize=1520632 CPUtime=1662.21 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 609982 0 0 0 166151 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 5162969 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 1520632

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 3905
/proc/meminfo: memFree=29702288/32770624 swapFree=0/439900
[pid=3488] ppid=3485 vsize=1520632 CPUtime=1722.22 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 610616 0 0 0 172152 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 5162982 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 1520632

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 3908
/proc/meminfo: memFree=29702040/32770624 swapFree=0/439920
[pid=3488] ppid=3485 vsize=1520632 CPUtime=1782.22 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 611354 0 0 0 178152 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 5162982 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 1520632

[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 3911
/proc/meminfo: memFree=29701908/32770624 swapFree=0/439928
[pid=3488] ppid=3485 vsize=1520632 CPUtime=1842.22 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 612077 0 0 0 184152 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 4317601 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 1842.22
Current children cumulated vsize (KiB) 1520632

[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 3913
/proc/meminfo: memFree=29702428/32770624 swapFree=0/439944
[pid=3488] ppid=3485 vsize=1520632 CPUtime=1902.23 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 612842 0 0 0 190153 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 5162969 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 1902.23
Current children cumulated vsize (KiB) 1520632

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 3930
/proc/meminfo: memFree=29698944/32770624 swapFree=0/439972
[pid=3488] ppid=3485 vsize=1520632 CPUtime=1962.23 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 613587 0 0 0 196153 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 5162969 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 1962.23
Current children cumulated vsize (KiB) 1520632

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 3978
/proc/meminfo: memFree=29697376/32770624 swapFree=0/439988
[pid=3488] ppid=3485 vsize=1520632 CPUtime=2022.24 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 614285 0 0 0 202154 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 4246592 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 1520632

[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/189 3980
/proc/meminfo: memFree=29698308/32770624 swapFree=0/440008
[pid=3488] ppid=3485 vsize=1520632 CPUtime=2082.24 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 614985 0 0 0 208154 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 5163042 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 2082.24
Current children cumulated vsize (KiB) 1520632

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 3982
/proc/meminfo: memFree=29701944/32770624 swapFree=0/440016
[pid=3488] ppid=3485 vsize=1520632 CPUtime=2142.24 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 615683 0 0 0 214154 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 5162982 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 2142.24
Current children cumulated vsize (KiB) 1520632

[startup+2202.31 s]
/proc/loadavg: 2.08 2.03 2.05 4/186 3984
/proc/meminfo: memFree=29702592/32770624 swapFree=0/440032
[pid=3488] ppid=3485 vsize=1520632 CPUtime=2202.25 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 616342 0 0 0 220155 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 5162969 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 2202.25
Current children cumulated vsize (KiB) 1520632

[startup+2262.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 3987
/proc/meminfo: memFree=29702328/32770624 swapFree=0/440048
[pid=3488] ppid=3485 vsize=1520632 CPUtime=2262.25 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 617022 0 0 0 226155 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 5162969 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 2262.25
Current children cumulated vsize (KiB) 1520632

[startup+2322.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/185 3989
/proc/meminfo: memFree=29702808/32770624 swapFree=0/440068
[pid=3488] ppid=3485 vsize=1520632 CPUtime=2322.25 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 617659 0 0 0 232155 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 5162969 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 2322.25
Current children cumulated vsize (KiB) 1520632

[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 3991
/proc/meminfo: memFree=29702312/32770624 swapFree=0/440076
[pid=3488] ppid=3485 vsize=1520632 CPUtime=2382.26 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 618496 0 0 0 238156 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 5839273 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 2382.26
Current children cumulated vsize (KiB) 1520632

[startup+2442.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 3994
/proc/meminfo: memFree=29702544/32770624 swapFree=0/440080
[pid=3488] ppid=3485 vsize=1520632 CPUtime=2442.26 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 619239 0 0 0 244156 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 5162969 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 2442.26
Current children cumulated vsize (KiB) 1520632

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 3996
/proc/meminfo: memFree=29702420/32770624 swapFree=0/440100
[pid=3488] ppid=3485 vsize=1520632 CPUtime=2502.27 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 619988 0 0 0 250157 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 4246577 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 2502.27
Current children cumulated vsize (KiB) 1520632



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 3996
/proc/meminfo: memFree=29702668/32770624 swapFree=0/440096
[pid=3488] ppid=3485 vsize=1520632 CPUtime=2519.97 cores=1,3,5,7
/proc/3488/stat : 3488 (MistralXCSP) R 3485 3488 9153 0 -1 4202496 620059 0 0 0 251927 70 0 0 20 0 1 0 77360252 1557127168 373680 18446744073709551615 4194304 7396336 140731167734592 140731167729224 4246577 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 11685888 140731167736242 140731167736392 140731167736392 140731167739849 0
/proc/3488/statm: 380158 373680 772 782 0 373174 0
Current children cumulated CPU time (s) 2519.97
Current children cumulated vsize (KiB) 1520632

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

Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.98
CPU user time (s): 2519.27
CPU system time (s): 0.712043
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 1556704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.27
system time used= 0.712043
maximum resident set size= 1528888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 620095
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= 132
involuntary context switches= 1041

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2929 second user time and 6.2466 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-10 10:27:36
IDJOB=4261242
IDBENCH=123943
IDSOLVER=2649
FILE ID=node135/4261242-1502354491
RUNJOBID= node135-1502330739-31366
PBS_JOBID= 
Free space on /tmp= 62012 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/Bibd/Bibd-sc-open/Bibd-sc-65-104-40-25-15.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-4261242-1502354491/watcher-4261242-1502354491 -o /tmp/evaluation-result-4261242-1502354491/solver-4261242-1502354491 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31366 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1693153886 HOME/instance-4261242-1502354491.xml

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

MD5SUM BENCH= 221a96fe8d827ba40f627424420ef5aa
RANDOM SEED=1693153886

node135.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.21
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.21
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.21
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.21
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:        31210384 kB
MemAvailable:   31952588 kB
Buffers:          273416 kB
Cached:           761664 kB
SwapCached:            0 kB
Active:           649664 kB
Inactive:         472752 kB
Active(anon):      87724 kB
Inactive(anon):    33140 kB
Active(file):     561940 kB
Inactive(file):   439612 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             17160 kB
Writeback:             0 kB
AnonPages:        132036 kB
Mapped:            48700 kB
Shmem:             33464 kB
Slab:             140188 kB
SReclaimable:     112972 kB
SUnreclaim:        27216 kB
KernelStack:        3552 kB
PageTables:         4608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62008 MiB
End job on node135 at 2017-08-10 11:09:36