Trace number 4240812

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.02 2400.31

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t04-6.xml
MD5SUM4f6b0364d1c2702efbd3acc25cc5ef4e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark199
Best CPU time to get the best result obtained on this benchmark2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables4704
Number of constraints246
Number of domains20
Minimum domain size2
Maximum domain size160
Distribution of domain sizes[{"size":2,"count":224},{"size":8,"count":224},{"size":12,"count":224},{"size":36,"count":448},{"size":42,"count":224},{"size":75,"count":224},{"size":79,"count":224},{"size":93,"count":224},{"size":110,"count":224},{"size":117,"count":224},{"size":121,"count":224},{"size":123,"count":224},{"size":126,"count":224},{"size":139,"count":224},{"size":141,"count":224},{"size":142,"count":224},{"size":149,"count":224},{"size":153,"count":224},{"size":158,"count":224},{"size":160,"count":224}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":4704}]
Minimum constraint arity21
Maximum constraint arity4480
Distribution of constraint arities[{"arity":21,"count":224},{"arity":224,"count":21},{"arity":4480,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":244}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

2.19/2.26	c SAT : Variables: 452928 -- Clauses: 28008736
2.19/2.26	c best=?? lower=0 upper=224

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-4240812-1500639298/watcher-4240812-1500639298 -o /tmp/evaluation-result-4240812-1500639298/solver-4240812-1500639298 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4414 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240812-1500639298.xml 

pid=8050
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.00 2.01 2.05 3/187 8053
/proc/meminfo: memFree=29483064/32770624 swapFree=6240/1311716
[pid=8053] ppid=8050 vsize=27252 CPUtime=0 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 1008 0 0 0 0 0 0 0 20 0 1 0 17206110 27906048 840 33554432000 4194304 5970956 140730261266576 140730261263224 139962332503013 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 6813 840 705 434 0 177 0

[startup+0.100143 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8053
/proc/meminfo: memFree=29483064/32770624 swapFree=6240/1311716
[pid=8053] ppid=8050 vsize=46788 CPUtime=0.09 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 5968 0 0 0 8 1 0 0 20 0 1 0 17206110 47910912 5778 33554432000 4194304 5970956 140730261266576 140730261261448 5315997 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 11697 5778 749 434 0 5061 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46788

[startup+0.200387 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8053
/proc/meminfo: memFree=29483064/32770624 swapFree=6240/1311716
[pid=8053] ppid=8050 vsize=94152 CPUtime=0.19 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 14929 0 0 0 16 3 0 0 20 0 1 0 17206110 96411648 16805 33554432000 4194304 5970956 140730261266576 140730261263400 139962332503013 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 23538 16805 780 434 0 16902 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 94152

[startup+0.30035 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8053
/proc/meminfo: memFree=29483064/32770624 swapFree=6240/1311716
[pid=8053] ppid=8050 vsize=160540 CPUtime=0.29 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 24183 0 0 0 25 4 0 0 20 0 1 0 17206110 164392960 31175 33554432000 4194304 5970956 140730261266576 140730261263400 139962332503013 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 40168 31175 780 434 0 33532 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 160540

[startup+0.700286 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8053
/proc/meminfo: memFree=29483064/32770624 swapFree=6240/1311716
[pid=8053] ppid=8050 vsize=387704 CPUtime=0.68 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 55663 0 0 0 60 8 0 0 20 0 1 0 17206110 397008896 85139 33554432000 4194304 5970956 140730261266576 140730261263400 139962332503013 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 96926 85139 780 434 0 90290 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 387704

[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8054
/proc/meminfo: memFree=28929460/32770624 swapFree=6240/1311736
[pid=8053] ppid=8050 vsize=881856 CPUtime=1.49 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 113681 0 0 0 129 20 0 0 20 0 1 0 17206110 903020544 192670 33554432000 4194304 5970956 140730261266576 140730261263400 139962332503013 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 220464 192670 780 434 0 213828 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 881856

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8054
/proc/meminfo: memFree=28338796/32770624 swapFree=6240/1311700
[pid=8053] ppid=8050 vsize=1375444 CPUtime=3.08 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 190458 0 0 0 276 32 0 0 20 0 1 0 17206110 1408454656 299012 33554432000 4194304 5970956 140730261266576 140730261263448 5093168 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 343861 299012 800 434 0 337225 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1375444

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8054
/proc/meminfo: memFree=28286800/32770624 swapFree=6240/1311700
[pid=8053] ppid=8050 vsize=1375968 CPUtime=6.29 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 200261 0 0 0 596 33 0 0 20 0 1 0 17206110 1408991232 299149 33554432000 4194304 5970956 140730261266576 140730261263320 5327850 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 343992 299149 800 434 0 337356 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1375968

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8054
/proc/meminfo: memFree=28286312/32770624 swapFree=6240/1311720
[pid=8053] ppid=8050 vsize=1376364 CPUtime=12.68 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 217038 0 0 0 1234 34 0 0 20 0 1 0 17206110 1409396736 299224 33554432000 4194304 5970956 140730261266576 140730261263320 5038197 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 344091 299224 800 434 0 337455 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1376364

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8054
/proc/meminfo: memFree=28274408/32770624 swapFree=6240/1311728
[pid=8053] ppid=8050 vsize=1388300 CPUtime=25.49 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 243062 0 0 0 2513 36 0 0 20 0 1 0 17206110 1421619200 302218 33554432000 4194304 5970956 140730261266576 140730261263288 5038753 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 347075 302218 800 434 0 340439 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1388300

[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 8054
/proc/meminfo: memFree=28272484/32770624 swapFree=6240/1311736
[pid=8053] ppid=8050 vsize=1388300 CPUtime=51.08 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 268153 0 0 0 5071 37 0 0 20 0 1 0 17206110 1421619200 302730 33554432000 4194304 5970956 140730261266576 140730261263288 5039615 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 347075 302730 800 434 0 340439 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1388300

[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 8055
/proc/meminfo: memFree=28253008/32770624 swapFree=6240/1311772
[pid=8053] ppid=8050 vsize=1407452 CPUtime=102.27 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 314868 0 0 0 10187 40 0 0 20 0 1 0 17206110 1441230848 307494 33554432000 4194304 5970956 140730261266576 140730261263912 5039683 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351863 307494 800 434 0 345227 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1407452

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8056
/proc/meminfo: memFree=28252884/32770624 swapFree=6240/1311800
[pid=8053] ppid=8050 vsize=1407452 CPUtime=162.26 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 337054 0 0 0 16184 42 0 0 20 0 1 0 17206110 1441230848 307494 33554432000 4194304 5970956 140730261266576 140730261263912 5038217 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351863 307494 800 434 0 345227 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1407452

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8057
/proc/meminfo: memFree=28252760/32770624 swapFree=6240/1311844
[pid=8053] ppid=8050 vsize=1407452 CPUtime=222.26 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 351713 0 0 0 22183 43 0 0 20 0 1 0 17206110 1441230848 307494 33554432000 4194304 5970956 140730261266576 140730261263912 5327859 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351863 307494 800 434 0 345227 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1407452

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8058
/proc/meminfo: memFree=28252808/32770624 swapFree=6240/1311876
[pid=8053] ppid=8050 vsize=1407588 CPUtime=282.25 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 380094 0 0 0 28180 45 0 0 20 0 1 0 17206110 1441370112 307526 33554432000 4194304 5970956 140730261266576 140730261263320 5038197 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351897 307526 800 434 0 345261 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1407588

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8067
/proc/meminfo: memFree=28243888/32770624 swapFree=6240/1311912
[pid=8053] ppid=8050 vsize=1407724 CPUtime=342.24 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 400893 0 0 0 34178 46 0 0 20 0 1 0 17206110 1441509376 307558 33554432000 4194304 5970956 140730261266576 140730261263320 5045304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 307558 800 434 0 345295 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1407724

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8068
/proc/meminfo: memFree=28243452/32770624 swapFree=6240/1311940
[pid=8053] ppid=8050 vsize=1407724 CPUtime=402.23 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 430604 0 0 0 40175 48 0 0 20 0 1 0 17206110 1441509376 307558 33554432000 4194304 5970956 140730261266576 140730261263320 5047438 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 307558 800 434 0 345295 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1407724

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8069
/proc/meminfo: memFree=28243544/32770624 swapFree=6240/1311972
[pid=8053] ppid=8050 vsize=1407724 CPUtime=462.23 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 442479 0 0 0 46174 49 0 0 20 0 1 0 17206110 1441509376 307558 33554432000 4194304 5970956 140730261266576 140730261263320 5039204 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 307558 800 434 0 345295 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 1407724

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8070
/proc/meminfo: memFree=28243280/32770624 swapFree=6240/1312008
[pid=8053] ppid=8050 vsize=1407724 CPUtime=522.22 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 456428 0 0 0 52173 49 0 0 20 0 1 0 17206110 1441509376 307558 33554432000 4194304 5970956 140730261266576 140730261263320 5046614 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 307558 800 434 0 345295 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 1407724

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8071
/proc/meminfo: memFree=28241456/32770624 swapFree=6240/1312036
[pid=8053] ppid=8050 vsize=1407724 CPUtime=582.21 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 479700 0 0 0 58170 51 0 0 20 0 1 0 17206110 1441509376 308070 33554432000 4194304 5970956 140730261266576 140730261263320 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308070 800 434 0 345295 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 1407724


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


[startup+1542.31 s]
/proc/loadavg: 2.12 2.04 2.05 3/188 8166
/proc/meminfo: memFree=29403524/32770624 swapFree=6240/1312664
[pid=8053] ppid=8050 vsize=1407724 CPUtime=1542.1 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 652698 0 0 0 154150 60 0 0 20 0 1 0 17206110 1441509376 308612 33554432000 4194304 5970956 140730261266576 140730261263320 5040461 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308612 800 434 0 345295 0
Current children cumulated CPU time (s) 1542.1
Current children cumulated vsize (KiB) 1407724

[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/188 8167
/proc/meminfo: memFree=29402452/32770624 swapFree=6240/1312692
[pid=8053] ppid=8050 vsize=1407724 CPUtime=1602.1 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 658587 0 0 0 160149 61 0 0 20 0 1 0 17206110 1441509376 308612 33554432000 4194304 5970956 140730261266576 140730261263320 5038202 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308612 800 434 0 345295 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 1407724

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 8168
/proc/meminfo: memFree=29401024/32770624 swapFree=6240/1312728
[pid=8053] ppid=8050 vsize=1407724 CPUtime=1662.09 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 660068 0 0 0 166148 61 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5038640 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 1407724

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 8169
/proc/meminfo: memFree=29401328/32770624 swapFree=6240/1312756
[pid=8053] ppid=8050 vsize=1407724 CPUtime=1722.08 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 661753 0 0 0 172147 61 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 1722.08
Current children cumulated vsize (KiB) 1407724

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 8170
/proc/meminfo: memFree=29401204/32770624 swapFree=6240/1312792
[pid=8053] ppid=8050 vsize=1407724 CPUtime=1782.08 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 663316 0 0 0 178147 61 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5038696 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 1407724

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8173
/proc/meminfo: memFree=29401200/32770624 swapFree=6240/1312824
[pid=8053] ppid=8050 vsize=1407724 CPUtime=1842.07 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 665863 0 0 0 184146 61 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5273179 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 1407724

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8174
/proc/meminfo: memFree=29401828/32770624 swapFree=6240/1312856
[pid=8053] ppid=8050 vsize=1407724 CPUtime=1902.06 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 668172 0 0 0 190145 61 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5039615 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 1407724

[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 8175
/proc/meminfo: memFree=29401712/32770624 swapFree=6240/1312884
[pid=8053] ppid=8050 vsize=1407724 CPUtime=1962.04 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 670694 0 0 0 196143 61 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5038721 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 1407724

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8176
/proc/meminfo: memFree=29401472/32770624 swapFree=6240/1312920
[pid=8053] ppid=8050 vsize=1407724 CPUtime=2022.03 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 672866 0 0 0 202142 61 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5039178 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 2022.03
Current children cumulated vsize (KiB) 1407724

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 8177
/proc/meminfo: memFree=29402884/32770624 swapFree=6240/1312948
[pid=8053] ppid=8050 vsize=1407724 CPUtime=2082.03 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 674735 0 0 0 208141 62 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5047510 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 1407724

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8187
/proc/meminfo: memFree=29400872/32770624 swapFree=6240/1312988
[pid=8053] ppid=8050 vsize=1407724 CPUtime=2142.02 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 676401 0 0 0 214140 62 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 2142.02
Current children cumulated vsize (KiB) 1407724

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8188
/proc/meminfo: memFree=29401120/32770624 swapFree=6240/1313024
[pid=8053] ppid=8050 vsize=1407724 CPUtime=2202.02 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 678879 0 0 0 220140 62 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5098896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 2202.02
Current children cumulated vsize (KiB) 1407724

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8189
/proc/meminfo: memFree=29400888/32770624 swapFree=6240/1313056
[pid=8053] ppid=8050 vsize=1407724 CPUtime=2262.01 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 680018 0 0 0 226139 62 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5038640 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 2262.01
Current children cumulated vsize (KiB) 1407724

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8190
/proc/meminfo: memFree=29401136/32770624 swapFree=6240/1313096
[pid=8053] ppid=8050 vsize=1407724 CPUtime=2322 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 681831 0 0 0 232138 62 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5038721 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 2322
Current children cumulated vsize (KiB) 1407724

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8191
/proc/meminfo: memFree=29401012/32770624 swapFree=6240/1313124
[pid=8053] ppid=8050 vsize=1407724 CPUtime=2382 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 683539 0 0 0 238138 62 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5039186 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 2382
Current children cumulated vsize (KiB) 1407724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 8191
/proc/meminfo: memFree=29401260/32770624 swapFree=6240/1313132
[pid=8053] ppid=8050 vsize=1407724 CPUtime=2400 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 684222 0 0 0 239938 62 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5311659 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 1407724

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

[startup+2400.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 8191
/proc/meminfo: memFree=29401260/32770624 swapFree=6240/1313132
[pid=8053] ppid=8050 vsize=1407724 CPUtime=2400 cores=1,3,5,7
/proc/8053/stat : 8053 (cosoco) R 8050 8053 4382 0 -1 4202496 684222 0 0 0 239938 62 0 0 20 0 1 0 17206110 1441509376 308903 33554432000 4194304 5970956 140730261266576 140730261263320 5311659 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27594752 140730261267644 140730261267779 140730261267779 140730261270478 0
/proc/8053/statm: 351931 308903 800 434 0 345295 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 1407724

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.02
CPU user time (s): 2399.39
CPU system time (s): 0.630929
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 1407724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.39
system time used= 0.630929
maximum resident set size= 1235660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 684246
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= 61
involuntary context switches= 120624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8254 second user time and 8.79057 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-21 14:14:58
IDJOB=4240812
IDBENCH=124189
IDSOLVER=2621
FILE ID=node130/4240812-1500639298
RUNJOBID= node130-1500623778-4414
PBS_JOBID= 20623003
Free space on /tmp= 61964 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-6.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240812-1500639298/watcher-4240812-1500639298 -o /tmp/evaluation-result-4240812-1500639298/solver-4240812-1500639298 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4414 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240812-1500639298.xml

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

MD5SUM BENCH= 4f6b0364d1c2702efbd3acc25cc5ef4e
RANDOM SEED=1981981750

node130.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		: 1600.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.18
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.18
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		: 1867.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.18
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.18
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:        29482972 kB
MemAvailable:   30818164 kB
Buffers:          165204 kB
Cached:          1447528 kB
SwapCached:            0 kB
Active:          1538108 kB
Inactive:        1320516 kB
Active(anon):    1248636 kB
Inactive(anon):     8800 kB
Active(file):     289472 kB
Inactive(file):  1311716 kB
Unevictable:        6240 kB
Mlocked:            6240 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2404 kB
Writeback:             0 kB
AnonPages:       1255884 kB
Mapped:            34004 kB
Shmem:              8852 kB
Slab:             125140 kB
SReclaimable:      99676 kB
SUnreclaim:        25464 kB
KernelStack:        3488 kB
PageTables:         7308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1701520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1185792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61960 MiB
End job on node130 at 2017-07-21 14:54:59