Trace number 4241149

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: cosoco-sat 1.1? (TO) 2400.59 2400.81

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-25-a3.xml
MD5SUM6f45dc36d2c69d93d2d76d2d98e801df
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark643
Best CPU time to get the best result obtained on this benchmark19979.6
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of constraints303
Number of domains2
Minimum domain size1000
Maximum domain size1001
Distribution of domain sizes[{"size":1000,"count":300},{"size":1001,"count":25}]
Minimum variable degree0
Maximum variable degree26
Distribution of variable degrees[{"degree":0,"count":325},{"degree":2,"count":300},{"degree":25,"count":23},{"degree":26,"count":2}]
Minimum constraint arity1
Maximum constraint arity300
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":300},{"arity":25,"count":1},{"arity":300,"count":1}]
Number of extensional constraints0
Number of intensional constraints301
Distribution of constraint types[{"type":"intension","count":301},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

25.08/25.15	c SAT : Variables: 650025 -- Clauses: 324700650
25.08/25.15	c best=?? lower=0 upper=1000

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-4241149-1500641985/watcher-4241149-1500641985 -o /tmp/evaluation-result-4241149-1500641985/solver-4241149-1500641985 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500634750-5914 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241149-1500641985.xml 

pid=6820
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.17 2.05 2.06 3/187 6823
/proc/meminfo: memFree=28649884/32770624 swapFree=6792/1870608
[pid=6823] ppid=6820 vsize=28176 CPUtime=0 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 1 0 17632364 28852224 1037 33554432000 4194304 5970956 140720944559664 140720944556312 140494674045925 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 7044 1037 703 434 0 408 0

[startup+0.100134 s]
/proc/loadavg: 2.17 2.05 2.06 3/187 6823
/proc/meminfo: memFree=28649884/32770624 swapFree=6792/1870608
[pid=6823] ppid=6820 vsize=34796 CPUtime=0.09 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2966 0 0 0 9 0 0 0 20 0 1 0 17632364 35631104 2803 33554432000 4194304 5970956 140720944559664 140720944553256 140494674045925 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 8699 2803 783 434 0 2063 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34796

[startup+0.200365 s]
/proc/loadavg: 2.17 2.05 2.06 3/187 6823
/proc/meminfo: memFree=28649884/32770624 swapFree=6792/1870608
[pid=6823] ppid=6820 vsize=38952 CPUtime=0.19 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 4011 0 0 0 19 0 0 0 20 0 1 0 17632364 39886848 3814 33554432000 4194304 5970956 140720944559664 140720944553496 4966541 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 9738 3814 783 434 0 3102 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38952

[startup+0.300296 s]
/proc/loadavg: 2.17 2.05 2.06 3/187 6823
/proc/meminfo: memFree=28649884/32770624 swapFree=6792/1870608
[pid=6823] ppid=6820 vsize=43792 CPUtime=0.29 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 5231 0 0 0 29 0 0 0 20 0 1 0 17632364 44843008 5021 33554432000 4194304 5970956 140720944559664 140720944553496 140494674989271 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 10948 5021 783 434 0 4312 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43792

[startup+0.700282 s]
/proc/loadavg: 2.17 2.05 2.06 3/187 6823
/proc/meminfo: memFree=28649884/32770624 swapFree=6792/1870608
[pid=6823] ppid=6820 vsize=246960 CPUtime=0.69 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 37246 0 0 0 64 5 0 0 20 0 1 0 17632364 252887040 52900 33554432000 4194304 5970956 140720944559664 140720944556488 140494674045925 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 61740 52900 826 434 0 55104 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 246960

[startup+1.50026 s]
/proc/loadavg: 2.17 2.05 2.06 3/188 6824
/proc/meminfo: memFree=28200040/32770624 swapFree=6792/1870612
[pid=6823] ppid=6820 vsize=809804 CPUtime=1.49 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 104125 0 0 0 132 17 0 0 20 0 1 0 17632364 829239296 171408 33554432000 4194304 5970956 140720944559664 140720944556488 140494674115115 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 202451 171408 826 434 0 195815 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 809804

[startup+3.10027 s]
/proc/loadavg: 2.40 2.10 2.07 3/188 6824
/proc/meminfo: memFree=27526764/32770624 swapFree=6792/1870612
[pid=6823] ppid=6820 vsize=2011364 CPUtime=3.09 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 231147 0 0 0 269 40 0 0 20 0 1 0 17632364 2059636736 400076 33554432000 4194304 5970956 140720944559664 140720944556488 140494674115115 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 502841 400076 826 434 0 496205 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2011364

[startup+6.30026 s]
/proc/loadavg: 2.40 2.10 2.07 3/188 6824
/proc/meminfo: memFree=26127280/32770624 swapFree=6792/1411104
[pid=6823] ppid=6820 vsize=3650080 CPUtime=6.28 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 473628 0 0 0 543 85 0 0 20 0 1 0 17632364 3737681920 848475 33554432000 4194304 5970956 140720944559664 140720944556488 5279692 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 912520 848475 826 434 0 905884 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 3650080

[startup+12.7003 s]
/proc/loadavg: 2.48 2.13 2.08 3/187 6827
/proc/meminfo: memFree=23002192/32770624 swapFree=6792/953292
[pid=6823] ppid=6820 vsize=8357220 CPUtime=12.68 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 948539 0 0 0 1092 176 0 0 20 0 1 0 17632364 8557793280 1727154 33554432000 4194304 5970956 140720944559664 140720944556488 140494674115115 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 2089305 1727154 826 434 0 2082669 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8357220

[startup+25.5002 s]
/proc/loadavg: 2.41 2.13 2.08 3/187 6834
/proc/meminfo: memFree=15880192/32770624 swapFree=6792/953312
[pid=6823] ppid=6820 vsize=15308092 CPUtime=25.48 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 1857435 0 0 0 2204 344 0 0 20 0 1 0 17632364 15675486208 3421472 33554432000 4194304 5970956 140720944559664 140720944556488 4971752 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3827023 3421472 843 434 0 3820387 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15308092

[startup+51.1002 s]
/proc/loadavg: 2.27 2.12 2.08 3/187 6834
/proc/meminfo: memFree=15879624/32770624 swapFree=6792/953328
[pid=6823] ppid=6820 vsize=15308916 CPUtime=51.07 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 1869673 0 0 0 4763 344 0 0 20 0 1 0 17632364 15676329984 3421786 33554432000 4194304 5970956 140720944559664 140720944556488 4974237 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3827229 3421786 843 434 0 3820593 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15308916

[startup+102.3 s]
/proc/loadavg: 2.11 2.10 2.07 3/187 6857
/proc/meminfo: memFree=15875828/32770624 swapFree=6792/953376
[pid=6823] ppid=6820 vsize=15310148 CPUtime=102.28 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 1889675 0 0 0 9882 346 0 0 20 0 1 0 17632364 15677591552 3422505 33554432000 4194304 5970956 140720944559664 140720944556600 5319627 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3827537 3422505 843 434 0 3820901 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 15310148

[startup+162.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/187 6858
/proc/meminfo: memFree=15875912/32770624 swapFree=6792/953408
[pid=6823] ppid=6820 vsize=15310148 CPUtime=162.27 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 1901497 0 0 0 15881 346 0 0 20 0 1 0 17632364 15677591552 3422505 33554432000 4194304 5970956 140720944559664 140720944556600 5070791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3827537 3422505 843 434 0 3820901 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 15310148

[startup+222.306 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 6859
/proc/meminfo: memFree=15875652/32770624 swapFree=6792/953440
[pid=6823] ppid=6820 vsize=15310308 CPUtime=222.27 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 1917090 0 0 0 21880 347 0 0 20 0 1 0 17632364 15677755392 3422533 33554432000 4194304 5970956 140720944559664 140720944556936 4908985 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3827577 3422533 843 434 0 3820941 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 15310308

[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/187 6860
/proc/meminfo: memFree=15875300/32770624 swapFree=6792/953480
[pid=6823] ppid=6820 vsize=15311100 CPUtime=282.27 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2002367 0 0 0 27875 352 0 0 20 0 1 0 17632364 15678566400 3422707 33554432000 4194304 5970956 140720944559664 140720944556584 5273349 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3827775 3422707 843 434 0 3821139 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 15311100

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 6861
/proc/meminfo: memFree=15874792/32770624 swapFree=6792/953512
[pid=6823] ppid=6820 vsize=15311364 CPUtime=342.26 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2126283 0 0 0 33866 360 0 0 20 0 1 0 17632364 15678836736 3422782 33554432000 4194304 5970956 140720944559664 140720944556632 5273031 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3827841 3422782 843 434 0 3821205 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 15311364

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 6862
/proc/meminfo: memFree=15872100/32770624 swapFree=6792/953552
[pid=6823] ppid=6820 vsize=15311496 CPUtime=402.25 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2191287 0 0 0 39861 364 0 0 20 0 1 0 17632364 15678971904 3422811 33554432000 4194304 5970956 140720944559664 140720944556632 4964477 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3827874 3422811 843 434 0 3821238 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 15311496

[startup+462.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/187 6863
/proc/meminfo: memFree=15872128/32770624 swapFree=6792/953584
[pid=6823] ppid=6820 vsize=15311628 CPUtime=462.26 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2201984 0 0 0 45861 365 0 0 20 0 1 0 17632364 15679107072 3422841 33554432000 4194304 5970956 140720944559664 140720944556424 5052093 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3827907 3422841 843 434 0 3821271 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 15311628

[startup+522.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/187 6864
/proc/meminfo: memFree=15871392/32770624 swapFree=6792/953620
[pid=6823] ppid=6820 vsize=15312024 CPUtime=522.25 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2214872 0 0 0 51860 365 0 0 20 0 1 0 17632364 15679512576 3422947 33554432000 4194304 5970956 140720944559664 140720944556632 4967857 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828006 3422947 843 434 0 3821370 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 15312024

[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 6865
/proc/meminfo: memFree=15871040/32770624 swapFree=6792/953660
[pid=6823] ppid=6820 vsize=15312684 CPUtime=582.25 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2227313 0 0 0 57859 366 0 0 20 0 1 0 17632364 15680188416 3423095 33554432000 4194304 5970956 140720944559664 140720944556632 5070785 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828171 3423095 843 434 0 3821535 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 15312684


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


[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 6897
/proc/meminfo: memFree=15864864/32770624 swapFree=6792/954228
[pid=6823] ppid=6820 vsize=15315368 CPUtime=1602.15 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2491275 0 0 0 159830 385 0 0 20 0 1 0 17632364 15682936832 3424253 33554432000 4194304 5970956 140720944559664 140720944556424 4964586 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828842 3424253 843 434 0 3822206 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 15315368

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6898
/proc/meminfo: memFree=15864912/32770624 swapFree=6792/954264
[pid=6823] ppid=6820 vsize=15315368 CPUtime=1662.14 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2496406 0 0 0 165828 386 0 0 20 0 1 0 17632364 15682936832 3424253 33554432000 4194304 5970956 140720944559664 140720944556424 4964389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828842 3424253 843 434 0 3822206 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 15315368

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6900
/proc/meminfo: memFree=15864760/32770624 swapFree=6792/954300
[pid=6823] ppid=6820 vsize=15315368 CPUtime=1722.14 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2506250 0 0 0 171827 387 0 0 20 0 1 0 17632364 15682936832 3424263 33554432000 4194304 5970956 140720944559664 140720944556424 5319789 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828842 3424263 843 434 0 3822206 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 15315368

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6901
/proc/meminfo: memFree=15864116/32770624 swapFree=6792/954332
[pid=6823] ppid=6820 vsize=15315368 CPUtime=1782.14 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2517166 0 0 0 177826 388 0 0 20 0 1 0 17632364 15682936832 3424263 33554432000 4194304 5970956 140720944559664 140720944556424 5052123 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828842 3424263 843 434 0 3822206 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 15315368

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6910
/proc/meminfo: memFree=15861092/32770624 swapFree=6792/954364
[pid=6823] ppid=6820 vsize=15315368 CPUtime=1842.13 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2522309 0 0 0 183825 388 0 0 20 0 1 0 17632364 15682936832 3424785 33554432000 4194304 5970956 140720944559664 140720944556424 4909030 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828842 3424785 843 434 0 3822206 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 15315368

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6911
/proc/meminfo: memFree=15859424/32770624 swapFree=6792/954392
[pid=6823] ppid=6820 vsize=15315368 CPUtime=1902.12 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2525782 0 0 0 189823 389 0 0 20 0 1 0 17632364 15682936832 3424788 33554432000 4194304 5970956 140720944559664 140720944556424 4909007 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828842 3424788 843 434 0 3822206 0
Current children cumulated CPU time (s) 1902.12
Current children cumulated vsize (KiB) 15315368

[startup+1962.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/188 6912
/proc/meminfo: memFree=15860264/32770624 swapFree=6792/954428
[pid=6823] ppid=6820 vsize=15315368 CPUtime=1962.12 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2529259 0 0 0 195822 390 0 0 20 0 1 0 17632364 15682936832 3424790 33554432000 4194304 5970956 140720944559664 140720944556424 5069728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828842 3424790 843 434 0 3822206 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 15315368

[startup+2022.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 6913
/proc/meminfo: memFree=15860688/32770624 swapFree=6792/954460
[pid=6823] ppid=6820 vsize=15315368 CPUtime=2022.12 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2533117 0 0 0 201820 392 0 0 20 0 1 0 17632364 15682936832 3424792 33554432000 4194304 5970956 140720944559664 140720944556424 4968224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828842 3424792 843 434 0 3822206 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 15315368

[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 6914
/proc/meminfo: memFree=15860416/32770624 swapFree=6792/954492
[pid=6823] ppid=6820 vsize=15315368 CPUtime=2082.11 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2542430 0 0 0 207818 393 0 0 20 0 1 0 17632364 15682936832 3424797 33554432000 4194304 5970956 140720944559664 140720944556424 4961271 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828842 3424797 843 434 0 3822206 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 15315368

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6915
/proc/meminfo: memFree=15860288/32770624 swapFree=6792/954528
[pid=6823] ppid=6820 vsize=15315368 CPUtime=2142.11 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2551975 0 0 0 213817 394 0 0 20 0 1 0 17632364 15682936832 3424797 33554432000 4194304 5970956 140720944559664 140720944556424 4961405 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828842 3424797 843 434 0 3822206 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 15315368

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6916
/proc/meminfo: memFree=15859932/32770624 swapFree=6792/954556
[pid=6823] ppid=6820 vsize=15315896 CPUtime=2202.11 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2556745 0 0 0 219816 395 0 0 20 0 1 0 17632364 15683477504 3424913 33554432000 4194304 5970956 140720944559664 140720944556632 4908985 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3828974 3424913 843 434 0 3822338 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 15315896

[startup+2262.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/187 6917
/proc/meminfo: memFree=15859904/32770624 swapFree=6792/954588
[pid=6823] ppid=6820 vsize=15316028 CPUtime=2262.1 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2572564 0 0 0 225813 397 0 0 20 0 1 0 17632364 15683612672 3424948 33554432000 4194304 5970956 140720944559664 140720944556632 5070437 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3829007 3424948 843 434 0 3822371 0
Current children cumulated CPU time (s) 2262.1
Current children cumulated vsize (KiB) 15316028

[startup+2322.3 s]
/proc/loadavg: 2.12 2.06 2.05 3/187 6918
/proc/meminfo: memFree=15859804/32770624 swapFree=6792/954628
[pid=6823] ppid=6820 vsize=15316160 CPUtime=2322.08 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2585081 0 0 0 231810 398 0 0 20 0 1 0 17632364 15683747840 3424989 33554432000 4194304 5970956 140720944559664 140720944556584 4967797 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3829040 3424989 843 434 0 3822404 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 15316160

[startup+2382.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/187 6919
/proc/meminfo: memFree=15858500/32770624 swapFree=6792/954660
[pid=6823] ppid=6820 vsize=15316428 CPUtime=2382.08 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2596728 0 0 0 237809 399 0 0 20 0 1 0 17632364 15684022272 3425034 33554432000 4194304 5970956 140720944559664 140720944556344 5052080 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3829107 3425034 843 434 0 3822471 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 15316428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.02 2.04 2.04 4/187 6981
/proc/meminfo: memFree=17226140/32770624 swapFree=6792/954704
[pid=6823] ppid=6820 vsize=15316428 CPUtime=2400.09 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202496 2600333 0 0 0 239609 400 0 0 20 0 1 0 17632364 15684022272 3425036 33554432000 4194304 5970956 140720944559664 140720944556344 4964552 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 26619904 140720944567484 140720944567619 140720944567619 140720944570318 0
/proc/6823/statm: 3829107 3425036 843 434 0 3822471 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 15316428

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

[startup+2400.4 s]
/proc/loadavg: 2.02 2.04 2.04 4/187 6981
/proc/meminfo: memFree=17226140/32770624 swapFree=6792/954704
[pid=6823] ppid=6820 vsize=0 CPUtime=2400.18 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202500 2600354 0 0 0 239609 409 0 0 20 0 1 0 17632364 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6823/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.18
Current children cumulated vsize (KiB) 0

[startup+2400.8 s]
/proc/loadavg: 2.02 2.04 2.04 4/187 6981
/proc/meminfo: memFree=17226140/32770624 swapFree=6792/954704
[pid=6823] ppid=6820 vsize=0 CPUtime=2400.58 cores=1,3,5,7
/proc/6823/stat : 6823 (cosoco) R 6820 6823 3400 0 -1 4202500 2600354 0 0 0 239609 449 0 0 20 0 1 0 17632364 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6823/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.58
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 2400.81
CPU time (s): 2400.59
CPU user time (s): 2396.1
CPU system time (s): 4.49674
CPU usage (%): 99.9908
Max. virtual memory (cumulated for all children) (KiB): 15316428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.1
system time used= 4.49674
maximum resident set size= 13700184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2600354
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= 173
involuntary context switches= 120851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79874 second user time and 8.84374 second system time

The end

Launcher Data 

Begin job on node143 at 2017-07-21 14:59:49
IDJOB=4241149
IDBENCH=126214
IDSOLVER=2621
FILE ID=node143/4241149-1500641985
RUNJOBID= node143-1500634750-5914
PBS_JOBID= 20622991
Free space on /tmp= 61544 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-25-a3.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241149-1500641985/watcher-4241149-1500641985 -o /tmp/evaluation-result-4241149-1500641985/solver-4241149-1500641985 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500634750-5914 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241149-1500641985.xml

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

MD5SUM BENCH= 6f45dc36d2c69d93d2d76d2d98e801df
RANDOM SEED=381317705

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

/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.14
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		: 1600.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		: 1600.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.14
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		: 1600.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		: 1600.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.14
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		: 1600.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		: 1600.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.14
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		: 1600.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:        28650412 kB
MemAvailable:   30625076 kB
Buffers:          162992 kB
Cached:          2085748 kB
SwapCached:            0 kB
Active:          1779812 kB
Inactive:        1887812 kB
Active(anon):    1421396 kB
Inactive(anon):    16944 kB
Active(file):     358416 kB
Inactive(file):  1870868 kB
Unevictable:        6792 kB
Mlocked:            6800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            471732 kB
Writeback:         74268 kB
AnonPages:       1425460 kB
Mapped:            34756 kB
Shmem:             17044 kB
Slab:             148392 kB
SReclaimable:     122428 kB
SUnreclaim:        25964 kB
KernelStack:        3280 kB
PageTables:         7924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1735692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61992 MiB
End job on node143 at 2017-07-21 15:39:50