Trace number 4265701

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
cosoco-sat 1.12? (TO) 2519.5601 2520.3301

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-28-a4.xml
MD5SUM67703e3ced133509b42bcbc9f355bd8f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark920
Best CPU time to get the best result obtained on this benchmark2520.1001
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints67979
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":28}]
Minimum variable degree9478
Maximum variable degree9479
Distribution of variable degrees[{"degree":9478,"count":26},{"degree":9479,"count":2}]
Minimum constraint arity1
Maximum constraint arity28
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":6552},{"arity":4,"count":61425},{"arity":28,"count":1}]
Number of extensional constraints0
Number of intensional constraints67978
Distribution of constraint types[{"type":"intension","count":67978},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

77.52/77.76	c SAT : Variables: 28028 -- Clauses: 14014028
77.52/77.77	c best=?? lower=0 upper=1000 
2519.23/2520.01	c
2519.23/2520.01	c This is cosoco 1.12 --  
2519.23/2520.01	c
2519.23/2520.01	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265701-1502576122.xml 
2519.23/2520.01	c enable optimization
2519.23/2520.01	c ========================================[ Problem Statistics ]===========================================
2519.23/2520.01	c |                                                                                                       
2519.23/2520.01	c |  Parse time        :        76.08 s 
2519.23/2520.01	c |
2519.23/2520.01	c |               Variables: 28
2519.23/2520.01	c |            Domain Sizes: 1001..1001
2519.23/2520.01	c |
2519.23/2520.01	c |             Constraints: 68006
2519.23/2520.01	c |                   Arity: 1..4  -- Unary: 2  -- Binary: 27  -- Ternary: 6552
2519.23/2520.01	c | 
2519.23/2520.01	c |                   Types: 
2519.23/2520.01	c |                          (X - Y < k): 27
2519.23/2520.01	c |                          Intension: 67979
2519.23/2520.01	c |                          
2519.23/2520.01	c =========================================================================================================
2519.23/2520.01	
2519.23/2520.01	c *** INTERRUPTED ***
2519.23/2520.01	c restarts              : 151         
2519.23/2520.01	c conflicts             : 1427         (1 /sec)
2519.23/2520.01	c decisions             : 2589         (1 /sec)
2519.23/2520.01	c propagations          : 5727953     (2286 /sec)
2519.23/2520.01	c root propagations     : 1729        
2519.23/2520.01	c filter calls          : 305745165      (122009 /sec)
2519.23/2520.01	c useless filter calls  : 305489096      (99 %)
2519.23/2520.01	c
2519.23/2520.01	c clauses               : 14014696
2519.23/2520.01	c SAT propagations      : 7770
2519.23/2520.01	c SAT conflicts         : 0 (0 learnts)
2519.23/2520.01	c Memory used           : 9420.29 MB
2519.23/2520.01	c CPU time              : 2505.92 s
2519.23/2520.01	
2519.23/2520.01	c No Bound found!
2519.23/2520.01	
2519.23/2520.01	s UNKNOWN

Verifier Data


Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265701-1502576122/watcher-4265701-1502576122 -o /tmp/evaluation-result-4265701-1502576122/solver-4265701-1502576122 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7148 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265701-1502576122.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100155 s]*
/proc/loadavg: 2.00 2.00 2.02 2/188 9946
/proc/meminfo: memFree=31011548/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=33976 memory=460 CPUtime=0 cores=0,2,4,6
/proc/9945/stat : 9945 (runsolver) D 9942 9945 7084 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 157264936 34791424 115 18446744073709551615 4194304 4346622 140729740435792 140729740432424 140170595046103 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6446216 6449568 28688384 140729740439704 140729740440100 140729740440100 140729740443594 0
/proc/9945/statm: 8494 115 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB

[startup+0.209464 s]*
/proc/loadavg: 2.08 2.02 2.03 3/188 9946
/proc/meminfo: memFree=31011184/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=27732 memory=3856 CPUtime=0.09 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 1126 0 0 0 9 0 0 0 20 0 1 0 157264936 28397568 964 18446744073709551615 4194304 5972588 140731421950864 140731421947512 139987442708531 0 0 1 0 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 6933 964 716 435 0 296 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27732 KiB
Current children cumulated memory: 3856 KiB

[startup+0.309462 s]*
/proc/loadavg: 2.08 2.02 2.03 4/188 9946
/proc/meminfo: memFree=31010812/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=28188 memory=4276 CPUtime=0.19 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 1282 0 0 0 19 0 0 0 20 0 1 0 157264936 28864512 1069 18446744073709551615 4194304 5972588 140731421950864 140731421947512 139987442662373 0 0 1 0 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 7047 1069 716 435 0 410 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28188 KiB
Current children cumulated memory: 4276 KiB

[startup+0.700337 s]
/proc/loadavg: 2.08 2.02 2.03 3/188 9946
/proc/meminfo: memFree=31009960/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=30528 memory=5744 CPUtime=0.57 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 2000 0 0 0 57 0 0 0 20 0 1 0 157264936 31260672 1436 18446744073709551615 4194304 5972588 140731421950864 140731421947432 139987443100672 0 0 1 0 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 7632 1436 716 435 0 995 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 30528 KiB
Current children cumulated memory: 5744 KiB

[startup+1.50037 s]
/proc/loadavg: 2.08 2.02 2.03 3/188 9946
/proc/meminfo: memFree=31007356/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=50392 memory=26428 CPUtime=1.37 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 7030 0 0 0 136 1 0 0 20 0 1 0 157264936 51601408 6607 18446744073709551615 4194304 5972588 140731421950864 140731421942440 4967517 0 0 1 0 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 12598 6607 786 435 0 5961 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 50392 KiB
Current children cumulated memory: 26428 KiB

[startup+3.10977 s]
/proc/loadavg: 2.08 2.02 2.03 3/188 9946
/proc/meminfo: memFree=30903256/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=142240 memory=118204 CPUtime=2.97 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 30063 0 0 0 294 3 0 0 20 0 1 0 157264936 145653760 29551 18446744073709551615 4194304 5972588 140731421950864 140731421942632 139987442753378 0 0 1 0 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 35560 29551 786 435 0 28923 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 142240 KiB
Current children cumulated memory: 118204 KiB

[startup+6.30034 s]
/proc/loadavg: 1.92 1.98 2.02 3/189 9974
/proc/meminfo: memFree=30728956/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=324028 memory=300108 CPUtime=6.17 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 75637 0 0 0 607 10 0 0 20 0 1 0 157264936 331804672 75027 18446744073709551615 4194304 5972588 140731421950864 140731421944424 139987442662373 0 0 1 0 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 81007 75027 786 435 0 74370 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 324028 KiB
Current children cumulated memory: 300108 KiB

[startup+12.7004 s]
/proc/loadavg: 1.92 1.99 2.02 3/189 9975
/proc/meminfo: memFree=30387324/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=688816 memory=664928 CPUtime=12.56 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 166987 0 0 0 1236 20 0 0 20 0 1 0 157264936 705347584 166232 18446744073709551615 4194304 5972588 140731421950864 140731421944424 4967517 0 0 1 0 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 172204 166232 786 435 0 165567 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 688816 KiB
Current children cumulated memory: 664928 KiB

[startup+25.5004 s]
/proc/loadavg: 1.93 1.99 2.02 3/189 9975
/proc/meminfo: memFree=29644560/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=1418516 memory=1394404 CPUtime=25.36 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 349712 0 0 0 2493 43 0 0 20 0 1 0 157264936 1452560384 348601 18446744073709551615 4194304 5972588 140731421950864 140731421944424 4967517 0 0 1 0 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 354629 348601 786 435 0 347992 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1418516 KiB
Current children cumulated memory: 1394404 KiB

[startup+51.1098 s]
/proc/loadavg: 1.96 1.99 2.02 3/189 9975
/proc/meminfo: memFree=28163716/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=2874860 memory=2850752 CPUtime=50.95 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 713882 0 0 0 5006 89 0 0 20 0 1 0 157264936 2943856640 712688 18446744073709551615 4194304 5972588 140731421950864 140731421942632 139987442662373 0 0 1 0 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 718715 712688 786 435 0 712078 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2874860 KiB
Current children cumulated memory: 2850752 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.02 3/189 9977
/proc/meminfo: memFree=24300708/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=6855624 memory=6700968 CPUtime=102.12 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 2004772 0 0 0 9993 219 0 0 20 0 1 0 157264936 7020158976 1675242 18446744073709551615 4194304 5972588 140731421950864 140731421947720 5070711 0 0 1 8405026 0 0 0 17 0 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 1713906 1675242 838 435 0 1707269 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 6855624 KiB
Current children cumulated memory: 6700968 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.00 2.02 3/183 10034
/proc/meminfo: memFree=23594972/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=7627692 memory=7472980 CPUtime=162.09 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 2583557 0 0 0 15948 261 0 0 20 0 1 0 157264936 7810756608 1868245 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4962241 0 0 1 8405026 0 0 0 17 0 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 1906923 1868245 838 435 0 1900286 0
Current children cumulated CPU time: 162.09 s
Current children cumulated vsize: 7627692 KiB
Current children cumulated memory: 7472980 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.02 3/187 10103
/proc/meminfo: memFree=22232864/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=8021316 memory=7866632 CPUtime=222.08 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 3276327 0 0 0 21910 298 0 0 20 0 1 0 157264936 8213827584 1966658 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4900736 0 0 1 8405026 0 0 0 17 0 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2005329 1966658 838 435 0 1998692 0
Current children cumulated CPU time: 222.08 s
Current children cumulated vsize: 8021316 KiB
Current children cumulated memory: 7866632 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/186 10105
/proc/meminfo: memFree=21566376/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=8658216 memory=8503588 CPUtime=282.04 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 4469846 0 0 0 27839 365 0 0 20 0 1 0 157264936 8866013184 2125897 18446744073709551615 4194304 5972588 140731421950864 140731421947720 5070704 0 0 1 8405026 0 0 0 17 0 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2164554 2125897 838 435 0 2157917 0
Current children cumulated CPU time: 282.04 s
Current children cumulated vsize: 8658216 KiB
Current children cumulated memory: 8503588 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/185 10107
/proc/meminfo: memFree=21494144/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=8683296 memory=8528636 CPUtime=342.02 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 5305452 0 0 0 33800 402 0 0 20 0 1 0 157264936 8891695104 2132159 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4965362 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2170824 2132159 838 435 0 2164187 0
Current children cumulated CPU time: 342.02 s
Current children cumulated vsize: 8683296 KiB
Current children cumulated memory: 8528636 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/185 10109
/proc/meminfo: memFree=21301996/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=8857008 memory=8702388 CPUtime=401.99 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 6310424 0 0 0 39751 448 0 0 20 0 1 0 157264936 9069576192 2175597 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4965339 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2214252 2175597 838 435 0 2207615 0
Current children cumulated CPU time: 401.99 s
Current children cumulated vsize: 8857008 KiB
Current children cumulated memory: 8702388 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/185 10112
/proc/meminfo: memFree=21288612/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=8858196 memory=8703488 CPUtime=461.98 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 7206009 0 0 0 45713 485 0 0 20 0 1 0 157264936 9070792704 2175872 18446744073709551615 4194304 5972588 140731421950864 140731421947720 5071069 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2214549 2175872 838 435 0 2207912 0
Current children cumulated CPU time: 461.98 s
Current children cumulated vsize: 8858196 KiB
Current children cumulated memory: 8703488 KiB


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


[startup+1842.3 s]
/proc/loadavg: 1.99 1.99 2.02 3/189 10208
/proc/meminfo: memFree=20499972/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9570600 memory=9415924 CPUtime=1841.67 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 21026593 0 0 0 183015 1152 0 0 20 0 1 0 157264936 9800294400 2353981 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4965362 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2392650 2353981 838 435 0 2386013 0
Current children cumulated CPU time: 1841.67 s
Current children cumulated vsize: 9570600 KiB
Current children cumulated memory: 9415924 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/186 10210
/proc/meminfo: memFree=20460228/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9613104 memory=9458432 CPUtime=1901.65 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 21429803 0 0 0 188992 1173 0 0 20 0 1 0 157264936 9843818496 2364608 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4909657 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2403276 2364608 838 435 0 2396639 0
Current children cumulated CPU time: 1901.65 s
Current children cumulated vsize: 9613104 KiB
Current children cumulated memory: 9458432 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/186 10212
/proc/meminfo: memFree=20444872/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9628152 memory=9473492 CPUtime=1961.64 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 21787381 0 0 0 194973 1191 0 0 20 0 1 0 157264936 9859227648 2368373 18446744073709551615 4194304 5972588 140731421950864 140731421947720 5070711 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2407038 2368373 838 435 0 2400401 0
Current children cumulated CPU time: 1961.64 s
Current children cumulated vsize: 9628152 KiB
Current children cumulated memory: 9473492 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/185 10214
/proc/meminfo: memFree=20444516/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9628944 memory=9474228 CPUtime=2021.63 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 22164339 0 0 0 200957 1206 0 0 20 0 1 0 157264936 9860038656 2368557 18446744073709551615 4194304 5972588 140731421950864 140731421947720 5070711 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2407236 2368557 838 435 0 2400599 0
Current children cumulated CPU time: 2021.63 s
Current children cumulated vsize: 9628944 KiB
Current children cumulated memory: 9474228 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/184 10216
/proc/meminfo: memFree=20442456/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9630264 memory=9475592 CPUtime=2081.62 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 22495438 0 0 0 206943 1219 0 0 20 0 1 0 157264936 9861390336 2368898 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4962381 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2407566 2368898 838 435 0 2400929 0
Current children cumulated CPU time: 2081.62 s
Current children cumulated vsize: 9630264 KiB
Current children cumulated memory: 9475592 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/184 10218
/proc/meminfo: memFree=20441704/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9631320 memory=9476708 CPUtime=2141.6 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 22834448 0 0 0 212924 1236 0 0 20 0 1 0 157264936 9862471680 2369177 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4965840 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2407830 2369177 838 435 0 2401193 0
Current children cumulated CPU time: 2141.6 s
Current children cumulated vsize: 9631320 KiB
Current children cumulated memory: 9476708 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/184 10220
/proc/meminfo: memFree=20438936/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9631320 memory=9476784 CPUtime=2201.59 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 23208823 0 0 0 218903 1256 0 0 20 0 1 0 157264936 9862471680 2369196 18446744073709551615 4194304 5972588 140731421950864 140731421947720 5071280 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2407830 2369196 838 435 0 2401193 0
Current children cumulated CPU time: 2201.59 s
Current children cumulated vsize: 9631320 KiB
Current children cumulated memory: 9476784 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/185 10223
/proc/meminfo: memFree=20437552/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9631320 memory=9476828 CPUtime=2261.58 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 23520629 0 0 0 224889 1269 0 0 20 0 1 0 157264936 9862471680 2369207 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4969261 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2407830 2369207 838 435 0 2401193 0
Current children cumulated CPU time: 2261.58 s
Current children cumulated vsize: 9631320 KiB
Current children cumulated memory: 9476828 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/185 10225
/proc/meminfo: memFree=20424440/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9643860 memory=9489316 CPUtime=2321.56 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 23835701 0 0 0 230871 1285 0 0 20 0 1 0 157264936 9875312640 2372329 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4909635 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2410965 2372329 838 435 0 2404328 0
Current children cumulated CPU time: 2321.56 s
Current children cumulated vsize: 9643860 KiB
Current children cumulated memory: 9489316 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/189 10242
/proc/meminfo: memFree=20418400/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9645180 memory=9490576 CPUtime=2381.55 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 24119036 0 0 0 236857 1298 0 0 20 0 1 0 157264936 9876664320 2372644 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4965362 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2411295 2372644 838 435 0 2404658 0
Current children cumulated CPU time: 2381.55 s
Current children cumulated vsize: 9645180 KiB
Current children cumulated memory: 9490576 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/189 10244
/proc/meminfo: memFree=20416952/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9646104 memory=9491600 CPUtime=2441.54 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 24419150 0 0 0 242842 1312 0 0 20 0 1 0 157264936 9877610496 2372900 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4965331 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2411526 2372900 838 435 0 2404889 0
Current children cumulated CPU time: 2441.54 s
Current children cumulated vsize: 9646104 KiB
Current children cumulated memory: 9491600 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/186 10246
/proc/meminfo: memFree=20420604/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9646104 memory=9491604 CPUtime=2501.53 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 24722923 0 0 0 248827 1326 0 0 20 0 1 0 157264936 9877610496 2372901 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4965362 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2411526 2372901 838 435 0 2404889 0
Current children cumulated CPU time: 2501.53 s
Current children cumulated vsize: 9646104 KiB
Current children cumulated memory: 9491604 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 1.99 2.02 3/186 10247
/proc/meminfo: memFree=20420328/32770624 swapFree=67108860/67108860
[pid=9945] ppid=9942 vsize=9646368 memory=9491848 CPUtime=2519.23 cores=0,2,4,6
/proc/9945/stat : 9945 (cosoco) R 9942 9945 7084 0 -1 4202496 24878498 0 0 0 250591 1332 0 0 20 0 1 0 157264936 9877880832 2372962 18446744073709551615 4194304 5972588 140731421950864 140731421947720 4962376 0 0 1 8405026 0 0 0 17 4 0 0 12 0 0 8070896 8075904 13058048 140731421958596 140731421958696 140731421958696 140731421962190 0
/proc/9945/statm: 2411592 2372962 838 435 0 2404955 0
Current children cumulated CPU time: 2519.23 s
Current children cumulated vsize: 9646368 KiB
Current children cumulated memory: 9491848 KiB

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

[startup+2520.33 s]
# the end of solver process 9945 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2505.92 s, system=13.6401 s

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

[startup+2520.21 s]
/proc/loadavg: 2.00 1.99 2.02 3/186 10247
/proc/meminfo: memFree=26043328/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2520.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/186 10247
/proc/meminfo: memFree=26043328/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 2520.33
CPU time (s): 2519.56
CPU user time (s): 2505.92
CPU system time (s): 13.6401
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 9646368
Max. memory (cumulated for all children) (KiB): 9491848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.92
system time used= 13.6401
maximum resident set size= 9491916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24878542
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= 818
involuntary context switches= 3969


# summary of solver processes directly reported to runsolver:
#   pid: 9945
#   total CPU time (s): 2519.56
#   total CPU user time (s): 2505.92
#   total CPU system time (s): 13.6401

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.39344 second user time and 19.2599 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-13 00:00:57
IDJOB=4265701
IDBENCH=126237
IDSOLVER=2655
FILE ID=node132/4265701-1502576122
RUNJOBID= node132-1502565147-7148
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-28-a4.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265701-1502576122/watcher-4265701-1502576122 -o /tmp/evaluation-result-4265701-1502576122/solver-4265701-1502576122 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7148 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265701-1502576122.xml

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

MD5SUM BENCH= 67703e3ced133509b42bcbc9f355bd8f
RANDOM SEED=421089751

node132.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.74
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.74
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.74
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.74
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:        31012200 kB
MemAvailable:   31900920 kB
Buffers:          311016 kB
Cached:           886912 kB
SwapCached:            0 kB
Active:           790988 kB
Inactive:         530032 kB
Active(anon):     124264 kB
Inactive(anon):    49012 kB
Active(file):     666724 kB
Inactive(file):   481020 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5320 kB
Writeback:             0 kB
AnonPages:        139828 kB
Mapped:            66068 kB
Shmem:             49852 kB
Slab:             140552 kB
SReclaimable:     113624 kB
SUnreclaim:        26928 kB
KernelStack:        3584 kB
PageTables:         5740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     422400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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= 62024 MiB
End job on node132 at 2017-08-13 00:42:57