Trace number 4265648

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) 2520.29 2520.0901

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t16-5.xml
MD5SUM519aab078b15cc65d0c3ff53b01638da
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark983
Best CPU time to get the best result obtained on this benchmark19781.199
Satisfiable
(Un)Satisfiability was proved
Number of variables26124
Number of constraints1266
Number of domains20
Minimum domain size2
Maximum domain size208
Distribution of domain sizes[{"size":2,"count":1244},{"size":22,"count":1244},{"size":23,"count":1244},{"size":24,"count":1244},{"size":38,"count":1244},{"size":52,"count":1244},{"size":57,"count":1244},{"size":61,"count":1244},{"size":66,"count":1244},{"size":73,"count":1244},{"size":77,"count":1244},{"size":78,"count":1244},{"size":91,"count":1244},{"size":126,"count":1244},{"size":136,"count":1244},{"size":159,"count":1244},{"size":173,"count":2488},{"size":186,"count":1244},{"size":197,"count":1244},{"size":208,"count":1244}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":26124}]
Minimum constraint arity21
Maximum constraint arity24880
Distribution of constraint arities[{"arity":21,"count":1244},{"arity":1244,"count":21},{"arity":24880,"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":1264}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

14.37/14.44	c SAT : Variables: 2515368 -- Clauses: 172225580
14.37/14.44	c best=?? lower=-1244 upper=0 
2520.09/2519.90	c
2520.09/2519.90	c This is cosoco 1.12 --  
2520.09/2519.90	c
2520.09/2519.90	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265648-1502573208.xml 
2520.09/2519.90	c enable optimization
2520.09/2519.90	c ========================================[ Problem Statistics ]===========================================
2520.09/2519.90	c |                                                                                                       
2520.09/2519.90	c |  Parse time        :        12.48 s 
2520.09/2519.90	c |
2520.09/2519.90	c |               Variables: 26124
2520.09/2519.90	c |            Domain Sizes: 2..208
2520.09/2519.90	c |
2520.09/2519.90	c |             Constraints: 3751
2520.09/2519.90	c |                   Arity: 2..1244  -- Binary: 1243
2520.09/2519.90	c | 
2520.09/2519.90	c |                   Types: 
2520.09/2519.90	c |                          (X -Y <= k): 1243
2520.09/2519.90	c |                          Lex: 1243
2520.09/2519.90	c |                          Sum: 1265
2520.09/2519.90	c |                          
2520.09/2519.90	c =========================================================================================================
2520.09/2519.90	
2520.09/2519.90	c *** INTERRUPTED ***
2520.09/2519.90	c restarts              : 260         
2520.09/2519.90	c conflicts             : 2477         (1 /sec)
2520.09/2519.90	c decisions             : 531943       (211 /sec)
2520.09/2519.90	c propagations          : 424037845   (168488 /sec)
2520.09/2519.90	c root propagations     : 2433264     
2520.09/2519.90	c filter calls          : 89654042       (35623 /sec)
2520.09/2519.90	c useless filter calls  : 50599413       (56 %)
2520.09/2519.90	c
2520.09/2519.90	c clauses               : 172225966
2520.09/2519.90	c SAT propagations      : 338
2520.09/2519.90	c SAT conflicts         : 0 (0 learnts)
2520.09/2519.90	c Memory used           : 9105.83 MB
2520.09/2519.90	c CPU time              : 2516.73 s
2520.09/2519.90	
2520.09/2519.90	c No Bound found!
2520.09/2519.90	
2520.09/2519.90	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 (14158 MiB free)
  memory of node 1: 16384 MiB (12365 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265648-1502573208/watcher-4265648-1502573208 -o /tmp/evaluation-result-4265648-1502573208/solver-4265648-1502573208 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24358 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265648-1502573208.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
solver pid=25166, runsolver pid=25163
Current StackSize limit: 8192 KiB


[startup+0.10017 s]*
/proc/loadavg: 2.00 2.01 1.97 3/187 25167
/proc/meminfo: memFree=27140876/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=52776 memory=28644 CPUtime=0.1 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 7413 0 0 0 10 0 0 0 20 0 1 0 90408697 54042624 7161 33554432000 4194304 5972588 140730712045360 140730712042008 139945245731813 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 13194 7161 711 435 0 6557 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52776 KiB
Current children cumulated memory: 28644 KiB

[startup+0.20961 s]*
/proc/loadavg: 2.00 2.01 1.97 3/187 25167
/proc/meminfo: memFree=27125252/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=61576 memory=37672 CPUtime=0.2 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 9618 0 0 0 20 0 0 0 20 0 1 0 90408697 63053824 9418 33554432000 4194304 5972588 140730712045360 140730712042008 5473272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 15394 9418 743 435 0 8757 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61576 KiB
Current children cumulated memory: 37672 KiB

[startup+0.309407 s]*
/proc/loadavg: 2.00 2.01 1.97 3/187 25167
/proc/meminfo: memFree=27124136/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=62376 memory=38464 CPUtime=0.3 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 9847 0 0 0 30 0 0 0 20 0 1 0 90408697 63873024 9616 33554432000 4194304 5972588 140730712045360 140730712042008 5138756 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 15594 9616 743 435 0 8957 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62376 KiB
Current children cumulated memory: 38464 KiB

[startup+0.700381 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25167
/proc/meminfo: memFree=26959340/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=479588 memory=453884 CPUtime=0.69 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 112733 0 0 0 57 12 0 0 20 0 1 0 90408697 491098112 113471 33554432000 4194304 5972588 140730712045360 140730712042008 139945245731813 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 119897 113471 784 435 0 113260 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 479588 KiB
Current children cumulated memory: 453884 KiB

[startup+1.50039 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25167
/proc/meminfo: memFree=26537584/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=983364 memory=908868 CPUtime=1.49 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 178953 0 0 0 125 24 0 0 20 0 1 0 90408697 1006964736 227217 33554432000 4194304 5972588 140730712045360 140730712042152 139945245731813 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 245841 227217 784 435 0 239204 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 983364 KiB
Current children cumulated memory: 908868 KiB

[startup+3.10941 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25167
/proc/meminfo: memFree=25441200/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=1897880 memory=1774644 CPUtime=3.09 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 300177 0 0 0 264 45 0 0 20 0 1 0 90408697 1943429120 443661 33554432000 4194304 5972588 140730712045360 140730712042152 139945245731813 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 474470 443661 784 435 0 467833 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1897880 KiB
Current children cumulated memory: 1774644 KiB

[startup+6.30037 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25167
/proc/meminfo: memFree=23864908/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=3922040 memory=3448204 CPUtime=6.28 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 530434 0 0 0 540 88 0 0 20 0 1 0 90408697 4016168960 862051 33554432000 4194304 5972588 140730712045360 140730712042152 139945245731813 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 980510 862051 784 435 0 973873 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 3922040 KiB
Current children cumulated memory: 3448204 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25167
/proc/meminfo: memFree=20730460/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=7010724 memory=6782744 CPUtime=12.68 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 1012883 0 0 0 1100 168 0 0 20 0 1 0 90408697 7178981376 1695686 33554432000 4194304 5972588 140730712045360 140730712042152 139945245731813 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 1752681 1695686 784 435 0 1746044 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 7010724 KiB
Current children cumulated memory: 6782744 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25167
/proc/meminfo: memFree=19209272/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9321036 memory=7938032 CPUtime=25.47 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 1243446 0 0 0 2342 205 0 0 20 0 1 0 90408697 9544740864 1984508 33554432000 4194304 5972588 140730712045360 140730712041992 5046292 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2330259 1984508 802 435 0 2323622 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 9321036 KiB
Current children cumulated memory: 7938032 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25167
/proc/meminfo: memFree=19205768/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7941464 CPUtime=51.08 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 1293029 0 0 0 4900 208 0 0 20 0 1 0 90408697 9548152832 1985366 33554432000 4194304 5972588 140730712045360 140730712041976 5039697 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985366 802 435 0 2324455 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7941464 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25228
/proc/meminfo: memFree=18765504/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943512 CPUtime=102.27 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 1350476 0 0 0 10015 212 0 0 20 0 1 0 90408697 9548152832 1985878 33554432000 4194304 5972588 140730712045360 140730712041976 5041546 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985878 802 435 0 2324455 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943512 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25229
/proc/meminfo: memFree=18764668/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943512 CPUtime=162.27 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 1404225 0 0 0 16012 215 0 0 20 0 1 0 90408697 9548152832 1985878 33554432000 4194304 5972588 140730712045360 140730712041976 5039701 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985878 802 435 0 2324455 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943512 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25230
/proc/meminfo: memFree=18762280/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943512 CPUtime=222.28 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 1453063 0 0 0 22009 219 0 0 20 0 1 0 90408697 9548152832 1985878 33554432000 4194304 5972588 140730712045360 140730712041976 5039159 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985878 802 435 0 2324455 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943512 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25231
/proc/meminfo: memFree=18762460/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=282.27 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 1499685 0 0 0 28005 222 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039164 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25232
/proc/meminfo: memFree=18762368/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=342.26 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 1544530 0 0 0 34002 224 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5040071 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+402.3 s]
/proc/loadavg: 1.95 2.00 1.97 3/187 25233
/proc/meminfo: memFree=18762400/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=402.27 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 1592864 0 0 0 40000 227 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039701 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+462.3 s]
/proc/loadavg: 1.98 2.00 1.97 3/187 25241
/proc/meminfo: memFree=18760828/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=462.27 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 1640380 0 0 0 45996 231 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039159 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB


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

/proc/meminfo: memFree=18760512/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=1782.41 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 2735359 0 0 0 177938 303 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5139507 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/188 25282
/proc/meminfo: memFree=18760784/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=1842.42 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 2781243 0 0 0 183936 306 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039697 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 25283
/proc/meminfo: memFree=18760576/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=1902.42 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 2828854 0 0 0 189934 308 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5040154 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 25284
/proc/meminfo: memFree=18760484/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=1962.43 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 2878387 0 0 0 195932 311 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039616 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/187 25285
/proc/meminfo: memFree=18760524/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=2022.44 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 2922850 0 0 0 201929 315 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039752 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 2022.44 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/187 25286
/proc/meminfo: memFree=18760432/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=2082.44 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 2968852 0 0 0 207926 318 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039697 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/187 25287
/proc/meminfo: memFree=18760348/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=2142.45 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 3014419 0 0 0 213924 321 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039752 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 2142.45 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 25288
/proc/meminfo: memFree=18760496/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=2202.46 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 3060313 0 0 0 219922 324 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039164 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 2202.46 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 25296
/proc/meminfo: memFree=18760012/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=2262.46 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 3104157 0 0 0 225920 326 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039697 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 2262.46 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 25297
/proc/meminfo: memFree=18760536/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=2322.47 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 3170609 0 0 0 231917 330 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5041538 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 2322.47 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 25298
/proc/meminfo: memFree=18760392/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=2382.48 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 3220499 0 0 0 237916 332 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039159 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 2382.48 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 25311
/proc/meminfo: memFree=18758764/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=2442.48 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 3258186 0 0 0 243914 334 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5040147 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 2442.48 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

[startup+2502.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 25312
/proc/meminfo: memFree=18759432/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=2502.49 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 3283704 0 0 0 249913 336 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039701 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 2502.49 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 25312
/proc/meminfo: memFree=18759400/32770624 swapFree=67108860/67108860
[pid=25166] ppid=25163 vsize=9324368 memory=7943516 CPUtime=2520.09 cores=1,3,5,7
/proc/25166/stat : 25166 (cosoco) R 25163 25166 24273 0 -1 4202496 3290329 0 0 0 251672 337 0 0 20 0 1 0 90408697 9548152832 1985879 33554432000 4194304 5972588 140730712045360 140730712041976 5039697 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 41533440 140730712052922 140730712053022 140730712053022 140730712055758 0
/proc/25166/statm: 2331092 1985879 802 435 0 2324455 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 9324368 KiB
Current children cumulated memory: 7943516 KiB

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

[startup+2520.09 s]
# the end of solver process 25166 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.73 s, system=3.56436 s

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

[startup+2520 s]*
/proc/loadavg: 2.04 2.03 2.05 3/188 25313
/proc/meminfo: memFree=24504304/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.09
CPU time (s): 2520.29
CPU user time (s): 2516.73
CPU system time (s): 3.56436
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 9324368
Max. memory (cumulated for all children) (KiB): 7943516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.73
system time used= 3.56436
maximum resident set size= 7943592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3290379
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= 115
involuntary context switches= 876


# summary of solver processes directly reported to runsolver:
#   pid: 25166
#   total CPU time (s): 2520.29
#   total CPU user time (s): 2516.73
#   total CPU system time (s): 3.56436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14536 second user time and 21.0317 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-12 23:12:30
IDJOB=4265648
IDBENCH=124210
IDSOLVER=2655
FILE ID=node114/4265648-1502573208
RUNJOBID= node114-1502567254-24358
PBS_JOBID= 20628281
Free space on /tmp= 61696 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t16-5.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265648-1502573208/watcher-4265648-1502573208 -o /tmp/evaluation-result-4265648-1502573208/solver-4265648-1502573208 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24358 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265648-1502573208.xml

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

MD5SUM BENCH= 519aab078b15cc65d0c3ff53b01638da
RANDOM SEED=1473011062

node114.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	: 5332.98
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	: 5332.98
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	: 5332.98
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	: 5332.98
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:        27160412 kB
MemAvailable:   31989500 kB
Buffers:          122536 kB
Cached:          4998176 kB
SwapCached:            0 kB
Active:           374480 kB
Inactive:        4805464 kB
Active(anon):      62112 kB
Inactive(anon):    25036 kB
Active(file):     312368 kB
Inactive(file):  4780428 kB
Unevictable:        6520 kB
Mlocked:            6520 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2452 kB
Writeback:             0 kB
AnonPages:         65392 kB
Mapped:            44532 kB
Shmem:             25224 kB
Slab:             129436 kB
SReclaimable:     104252 kB
SUnreclaim:        25184 kB
KernelStack:        3312 kB
PageTables:         5084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     359628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61696 MiB
End job on node114 at 2017-08-12 23:54:30