Trace number 4265695

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.12SAT (TO)359 2519.8999 2520.0601

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-19-a4.xml
MD5SUM264cffe383a4c1beb81f164e203eb53e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark313
Best CPU time to get the best result obtained on this benchmark2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables19
Number of constraints13568
Number of domains1
Minimum domain size501
Maximum domain size501
Distribution of domain sizes[{"size":501,"count":19}]
Minimum variable degree2755
Maximum variable degree2756
Distribution of variable degrees[{"degree":2755,"count":17},{"degree":2756,"count":2}]
Minimum constraint arity1
Maximum constraint arity19
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":1938},{"arity":4,"count":11628},{"arity":19,"count":1}]
Number of extensional constraints0
Number of intensional constraints13567
Distribution of constraint types[{"type":"intension","count":13567},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

15.11/15.24	c SAT : Variables: 9519 -- Clauses: 2379769
15.11/15.25	c best=?? lower=0 upper=500 
429.60/429.76	c
429.60/429.76	c This is cosoco 1.12 --  
429.60/429.76	c
429.60/429.76	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265695-1502576285.xml 
429.60/429.76	c enable optimization
429.60/429.76	c ========================================[ Problem Statistics ]===========================================
429.60/429.76	c |                                                                                                       
429.60/429.76	c |  Parse time        :        14.98 s 
429.60/429.76	c |
429.60/429.76	c |               Variables: 19
429.60/429.76	c |            Domain Sizes: 501..501
429.60/429.76	c |
429.60/429.76	c |             Constraints: 13586
429.60/429.76	c |                   Arity: 1..4  -- Unary: 2  -- Binary: 18  -- Ternary: 1938
429.60/429.76	c | 
429.60/429.76	c |                   Types: 
429.60/429.76	c |                          (X - Y < k): 18
429.60/429.76	c |                          Intension: 13568
429.60/429.76	c |                          
429.60/429.76	c =========================================================================================================
429.60/429.76	o 380
429.60/429.76	c    1 calls to solver: best=380 lower=0 upper=379 
431.10/431.27	o 367
503.59/503.70	o 359
503.59/503.70	c    3 calls to solver: best=359 lower=0 upper=358 
2519.84/2520.01	
2519.84/2520.01	c *** INTERRUPTED ***
2519.84/2520.01	c restarts              : 528         
2519.84/2520.01	c conflicts             : 15776        (6 /sec)
2519.84/2520.01	c decisions             : 25962        (10 /sec)
2519.84/2520.01	c propagations          : 5000720     (1987 /sec)
2519.84/2520.01	c root propagations     : 824         
2519.84/2520.01	c filter calls          : 409038693      (162548 /sec)
2519.84/2520.01	c useless filter calls  : 407027184      (99 %)
2519.84/2520.01	c
2519.84/2520.01	c clauses               : 2382648
2519.84/2520.01	c SAT propagations      : 15841
2519.84/2520.01	c SAT conflicts         : 44 (0 learnts)
2519.84/2520.01	c Memory used           : 1159.75 MB
2519.84/2520.01	c CPU time              : 2516.42 s
2519.84/2520.01	
2519.84/2520.01	c nb Solutions = 3
2519.84/2520.01	s SATISFIABLE
2519.84/2520.01	c Best value found: 359
2519.84/2520.01	
2519.84/2520.01	
2519.84/2520.01	v <instantiation type='solution' cost='359'>
2519.84/2520.01	v <list>x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
2519.84/2520.01	v <values>0 103 126 142 171 213 269 293 329 359 2 7 8 11 21 33 48 65 83 </values>
2519.84/2520.01	v </instantiation>
2519.84/2520.01

Verifier Data 

OK	359

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 (7713 MiB free)
  memory of node 1: 16384 MiB (15295 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 1,3,5,7

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

solver pid=10100, runsolver pid=10097

[startup+0.101087 s]*
/proc/loadavg: 2.04 2.00 2.02 3/186 10101
/proc/meminfo: memFree=23560112/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=27260 memory=3328 CPUtime=0.03 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 1017 0 0 0 3 0 0 0 20 0 1 0 157281302 27914240 832 18446744073709551615 4194304 5972588 140721986810464 140721986804344 140221030474920 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 6815 832 716 435 0 178 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 27260 KiB
Current children cumulated memory: 3328 KiB

[startup+0.209344 s]*
/proc/loadavg: 2.04 2.00 2.02 3/186 10101
/proc/meminfo: memFree=23559828/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=27912 memory=3868 CPUtime=0.13 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 1185 0 0 0 13 0 0 0 20 0 1 0 157281302 28581888 967 18446744073709551615 4194304 5972588 140721986810464 140721986804344 140221020535781 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 6978 967 716 435 0 341 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 27912 KiB
Current children cumulated memory: 3868 KiB

[startup+0.308902 s]*
/proc/loadavg: 2.04 2.00 2.02 3/186 10101
/proc/meminfo: memFree=23559084/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=28576 memory=4920 CPUtime=0.23 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 1471 0 0 0 23 0 0 0 20 0 1 0 157281302 29261824 1230 18446744073709551615 4194304 5972588 140721986810464 140721986804344 140221020535781 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 7144 1230 786 435 0 507 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 28576 KiB
Current children cumulated memory: 4920 KiB

[startup+0.700253 s]
/proc/loadavg: 2.04 2.00 2.02 3/186 10101
/proc/meminfo: memFree=23552760/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=39984 memory=16272 CPUtime=0.62 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 4324 0 0 0 62 0 0 0 20 0 1 0 157281302 40943616 4068 18446744073709551615 4194304 5972588 140721986810464 140721986804024 140221020535781 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 9996 4068 786 435 0 3359 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 39984 KiB
Current children cumulated memory: 16272 KiB

[startup+1.50025 s]
/proc/loadavg: 2.04 2.00 2.02 3/186 10101
/proc/meminfo: memFree=23536516/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=63876 memory=40032 CPUtime=1.42 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 10284 0 0 0 141 1 0 0 20 0 1 0 157281302 65409024 10008 18446744073709551615 4194304 5972588 140721986810464 140721986804024 140221020535781 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 15969 10008 786 435 0 9332 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 63876 KiB
Current children cumulated memory: 40032 KiB

[startup+3.10949 s]
/proc/loadavg: 2.03 2.00 2.02 3/186 10101
/proc/meminfo: memFree=23448116/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=111484 memory=87756 CPUtime=3.02 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 22283 0 0 0 300 2 0 0 20 0 1 0 157281302 114159616 21939 18446744073709551615 4194304 5972588 140721986810464 140721986804024 140221021283068 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 27871 21939 786 435 0 21234 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 111484 KiB
Current children cumulated memory: 87756 KiB

[startup+6.30023 s]
/proc/loadavg: 2.03 2.00 2.02 3/186 10101
/proc/meminfo: memFree=23218592/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=206012 memory=182312 CPUtime=6.21 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 46015 0 0 0 616 5 0 0 20 0 1 0 157281302 210956288 45578 18446744073709551615 4194304 5972588 140721986810464 140721986804024 140221020533375 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 51503 45578 786 435 0 44866 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 206012 KiB
Current children cumulated memory: 182312 KiB

[startup+12.7002 s]
/proc/loadavg: 2.03 2.00 2.02 3/186 10101
/proc/meminfo: memFree=22897660/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=394496 memory=370892 CPUtime=12.61 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 93318 0 0 0 1248 13 0 0 20 0 1 0 157281302 403963904 92723 18446744073709551615 4194304 5972588 140721986810464 140721986804024 140221020535781 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 98624 92723 786 435 0 91987 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 394496 KiB
Current children cumulated memory: 370892 KiB

[startup+25.5004 s]
/proc/loadavg: 2.02 2.00 2.02 3/186 10102
/proc/meminfo: memFree=22323080/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=926084 memory=888540 CPUtime=25.42 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 327742 0 0 0 2506 36 0 0 20 0 1 0 157281302 948310016 222135 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4969213 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 231521 222135 838 435 0 224884 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 926084 KiB
Current children cumulated memory: 888540 KiB

[startup+51.1096 s]
/proc/loadavg: 2.02 2.00 2.02 3/187 10103
/proc/meminfo: memFree=22236956/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1001324 memory=963760 CPUtime=51.01 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 460739 0 0 0 5058 43 0 0 20 0 1 0 157281302 1025355776 240940 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4962339 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 250331 240940 838 435 0 243694 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 1001324 KiB
Current children cumulated memory: 963760 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.02 3/186 10105
/proc/meminfo: memFree=22163292/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1032872 memory=995348 CPUtime=102.2 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 602931 0 0 0 10169 51 0 0 20 0 1 0 157281302 1057660928 248837 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4965339 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 258218 248837 838 435 0 251581 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 1032872 KiB
Current children cumulated memory: 995348 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/185 10107
/proc/meminfo: memFree=21497580/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1080788 memory=1043204 CPUtime=162.21 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 744355 0 0 0 16160 61 0 0 20 0 1 0 157281302 1106726912 260801 18446744073709551615 4194304 5972588 140721986810464 140721986807320 5053056 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 270197 260801 838 435 0 263560 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 1080788 KiB
Current children cumulated memory: 1043204 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/185 10109
/proc/meminfo: memFree=21304616/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1097024 memory=1059484 CPUtime=222.21 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 884293 0 0 0 22153 68 0 0 20 0 1 0 157281302 1123352576 264871 18446744073709551615 4194304 5972588 140721986810464 140721986807320 5070704 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 274256 264871 838 435 0 267619 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 1097024 KiB
Current children cumulated memory: 1059484 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/185 10112
/proc/meminfo: memFree=21289620/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1110488 memory=1072880 CPUtime=282.21 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 998776 0 0 0 28147 74 0 0 20 0 1 0 157281302 1137139712 268220 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4909657 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 277622 268220 838 435 0 270985 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 1110488 KiB
Current children cumulated memory: 1072880 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/184 10114
/proc/meminfo: memFree=21284548/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1113128 memory=1075512 CPUtime=342.21 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 1093931 0 0 0 34142 79 0 0 20 0 1 0 157281302 1139843072 268878 18446744073709551615 4194304 5972588 140721986810464 140721986807320 5071280 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 278282 268878 838 435 0 271645 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 1113128 KiB
Current children cumulated memory: 1075512 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/188 10132
/proc/meminfo: memFree=21274696/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1115636 memory=1078060 CPUtime=402.2 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 1249045 0 0 0 40134 86 0 0 20 0 1 0 157281302 1142411264 269515 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4900736 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 278909 269515 838 435 0 272272 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 1115636 KiB
Current children cumulated memory: 1078060 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/188 10134
/proc/meminfo: memFree=21128128/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1137152 memory=1099632 CPUtime=462.2 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 1451446 0 0 0 46124 96 0 0 20 0 1 0 157281302 1164443648 274908 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4968801 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 284288 274908 839 435 0 277651 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 1137152 KiB
Current children cumulated memory: 1099632 KiB


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

/proc/10100/statm: 295475 286082 839 435 0 288838 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 1181900 KiB
Current children cumulated memory: 1144328 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/186 10212
/proc/meminfo: memFree=20445508/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1182428 memory=1144928 CPUtime=1782.16 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 5165024 0 0 0 177927 289 0 0 20 0 1 0 157281302 1210806272 286232 18446744073709551615 4194304 5972588 140721986810464 140721986807320 5053038 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 295607 286232 839 435 0 288970 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 1182428 KiB
Current children cumulated memory: 1144928 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/185 10214
/proc/meminfo: memFree=20444532/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1182428 memory=1144936 CPUtime=1842.16 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 5253552 0 0 0 183922 294 0 0 20 0 1 0 157281302 1210806272 286234 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4965362 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 295607 286234 839 435 0 288970 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 1182428 KiB
Current children cumulated memory: 1144936 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/184 10216
/proc/meminfo: memFree=20441976/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1182428 memory=1144940 CPUtime=1902.16 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 5342068 0 0 0 189918 298 0 0 20 0 1 0 157281302 1210806272 286235 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4909635 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 295607 286235 839 435 0 288970 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 1182428 KiB
Current children cumulated memory: 1144940 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/184 10218
/proc/meminfo: memFree=20441720/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1182560 memory=1144944 CPUtime=1962.16 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 5431232 0 0 0 195913 303 0 0 20 0 1 0 157281302 1210941440 286236 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4965400 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 295640 286236 839 435 0 289003 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 1182560 KiB
Current children cumulated memory: 1144944 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/184 10220
/proc/meminfo: memFree=20442176/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1182560 memory=1144944 CPUtime=2022.16 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 5520138 0 0 0 201909 307 0 0 20 0 1 0 157281302 1210941440 286236 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4965362 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 295640 286236 839 435 0 289003 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 1182560 KiB
Current children cumulated memory: 1144944 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/184 10222
/proc/meminfo: memFree=20437832/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1186520 memory=1148948 CPUtime=2082.16 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 5622659 0 0 0 207903 313 0 0 20 0 1 0 157281302 1214996480 287237 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4965365 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 296630 287237 839 435 0 289993 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 1186520 KiB
Current children cumulated memory: 1148948 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/185 10225
/proc/meminfo: memFree=20424332/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1187312 memory=1149760 CPUtime=2142.16 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 5714335 0 0 0 213898 318 0 0 20 0 1 0 157281302 1215807488 287440 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4965365 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 296828 287440 839 435 0 290191 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 1187312 KiB
Current children cumulated memory: 1149760 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/189 10242
/proc/meminfo: memFree=20418912/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1187576 memory=1149972 CPUtime=2202.16 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 5795004 0 0 0 219894 322 0 0 20 0 1 0 157281302 1216077824 287493 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4965445 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 296894 287493 839 435 0 290257 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 1187576 KiB
Current children cumulated memory: 1149972 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/189 10244
/proc/meminfo: memFree=20417092/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1187576 memory=1150016 CPUtime=2262.15 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 5872461 0 0 0 225889 326 0 0 20 0 1 0 157281302 1216077824 287504 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4965362 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 296894 287504 839 435 0 290257 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 1187576 KiB
Current children cumulated memory: 1150016 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/186 10246
/proc/meminfo: memFree=20420516/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1187576 memory=1150040 CPUtime=2322.15 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 6058214 0 0 0 231881 334 0 0 20 0 1 0 157281302 1216077824 287510 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4965457 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 296894 287510 839 435 0 290257 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 1187576 KiB
Current children cumulated memory: 1150040 KiB

[startup+2382.3 s]
/proc/loadavg: 2.05 2.00 2.02 3/186 10309
/proc/meminfo: memFree=29907248/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1187576 memory=1150052 CPUtime=2382.14 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 6181727 0 0 0 237876 338 0 0 20 0 1 0 157281302 1216077824 287513 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4965362 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 296894 287513 839 435 0 290257 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 1187576 KiB
Current children cumulated memory: 1150052 KiB

[startup+2442.3 s]
/proc/loadavg: 2.02 2.00 2.02 3/185 10311
/proc/meminfo: memFree=29907200/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1187576 memory=1150052 CPUtime=2442.14 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 6228637 0 0 0 243873 341 0 0 20 0 1 0 157281302 1216077824 287513 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4965362 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 296894 287513 839 435 0 290257 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 1187576 KiB
Current children cumulated memory: 1150052 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.00 2.02 3/184 10313
/proc/meminfo: memFree=29906904/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1187576 memory=1150052 CPUtime=2502.14 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 6265761 0 0 0 249871 343 0 0 20 0 1 0 157281302 1216077824 287513 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4965494 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 296894 287513 839 435 0 290257 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 1187576 KiB
Current children cumulated memory: 1150052 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.01 2.00 2.02 3/184 10313
/proc/meminfo: memFree=29906708/32770624 swapFree=67108860/67108860
[pid=10100] ppid=10097 vsize=1187576 memory=1150084 CPUtime=2519.84 cores=1,3,5,7
/proc/10100/stat : 10100 (cosoco) R 10097 10100 7084 0 -1 4202496 6273086 0 0 0 251641 343 0 0 20 0 1 0 157281302 1216077824 287521 18446744073709551615 4194304 5972588 140721986810464 140721986807320 4969200 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 36552704 140721986818500 140721986818600 140721986818600 140721986822094 0
/proc/10100/statm: 296894 287521 839 435 0 290257 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 1187576 KiB
Current children cumulated memory: 1150084 KiB

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

[startup+2520.06 s]
# the end of solver process 10100 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.42 s, system=3.48891 s

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

Child status: 1
Real time (s): 2520.06
CPU time (s): 2519.9
CPU user time (s): 2516.42
CPU system time (s): 3.48891
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 1187576
Max. memory (cumulated for all children) (KiB): 1150084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.42
system time used= 3.48891
maximum resident set size= 1150148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6273131
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= 26
involuntary context switches= 1769


# summary of solver processes directly reported to runsolver:
#   pid: 10100
#   total CPU time (s): 2519.9
#   total CPU user time (s): 2516.42
#   total CPU system time (s): 3.48891

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1182 second user time and 18.6321 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-13 00:03:40
IDJOB=4265695
IDBENCH=126252
IDSOLVER=2655
FILE ID=node132/4265695-1502576285
RUNJOBID= node132-1502565147-7149
PBS_JOBID= 
Free space on /tmp= 62024 MiB

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

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

MD5SUM BENCH= 264cffe383a4c1beb81f164e203eb53e
RANDOM SEED=1227193417

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:        23560484 kB
MemAvailable:   24450404 kB
Buffers:          311052 kB
Cached:           887344 kB
SwapCached:            0 kB
Active:          8227956 kB
Inactive:         530352 kB
Active(anon):    7560352 kB
Inactive(anon):    49012 kB
Active(file):     667604 kB
Inactive(file):   481340 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2856 kB
Writeback:             4 kB
AnonPages:       7559440 kB
Mapped:            64812 kB
Shmem:             49852 kB
Slab:             140436 kB
SReclaimable:     113624 kB
SUnreclaim:        26812 kB
KernelStack:        3296 kB
PageTables:        20024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7982928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    274432 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:45:41