Trace number 4292943

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 1.12? (TO) 2519.63 2520.03

General information on the benchmark

NameNurseRostering/
NurseRostering-20_c18.xml
MD5SUMd4df4d24fcb6b75374a4511056cd4f34
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables15616
Number of constraints43912
Number of domains17
Minimum domain size1
Maximum domain size183
Distribution of domain sizes[{"size":1,"count":267},{"size":2,"count":3618},{"size":7,"count":9100},{"size":51,"count":2366},{"size":183,"count":265}]
Minimum variable degree2
Maximum variable degree30
Distribution of variable degrees[{"degree":2,"count":5216},{"degree":3,"count":1300},{"degree":18,"count":5},{"degree":19,"count":36},{"degree":20,"count":49},{"degree":21,"count":13},{"degree":22,"count":43},{"degree":23,"count":50},{"degree":24,"count":499},{"degree":25,"count":452},{"degree":26,"count":173},{"degree":27,"count":1991},{"degree":28,"count":3479},{"degree":29,"count":1938},{"degree":30,"count":372}]
Minimum constraint arity2
Maximum constraint arity900
Distribution of constraint arities[{"arity":2,"count":16247},{"arity":3,"count":16200},{"arity":4,"count":1790},{"arity":6,"count":5310},{"arity":7,"count":2690},{"arity":26,"count":50},{"arity":51,"count":1274},{"arity":183,"count":350},{"arity":900,"count":1}]
Number of extensional constraints10324
Number of intensional constraints5018
Distribution of constraint types[{"type":"extension","count":10324},{"type":"intension","count":5018},{"type":"regular","count":18000},{"type":"sum","count":100},{"type":"count","count":10469},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

4.58/4.65	c best=?? lower=0 upper=451516 
2519.59/2520.01	c
2519.59/2520.01	c This is cosoco 1.12 --  
2519.59/2520.01	c
2519.59/2520.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4292943-1532300257.xml 
2519.59/2520.01	c enable optimization
2519.59/2520.01	c ========================================[ Problem Statistics ]===========================================
2519.59/2520.01	c |                                                                                                       
2519.59/2520.01	c |  Parse time        :         3.64 s 
2519.59/2520.01	c |
2519.59/2520.01	c |               Variables: 15616
2519.59/2520.01	c |            Domain Sizes: 1..183
2519.59/2520.01	c |
2519.59/2520.01	c |             Constraints: 44862
2519.59/2520.01	c |                   Arity: 1..3592  -- Unary: 900  -- Binary: 16247  -- Ternary: 16200
2519.59/2520.01	c | 
2519.59/2520.01	c |                   Types: 
2519.59/2520.01	c |                          At least: 8845
2519.59/2520.01	c |                          Exactly K variable: 1624
2519.59/2520.01	c |                          Extension: 10324  (nb tuples: 0..51) -- (shared: 10263)
2519.59/2520.01	c |                          Intension: 5018
2519.59/2520.01	c |                          MDD: 18000
2519.59/2520.01	c |                          Sum: 151
2519.59/2520.01	c |                          Unary: 900
2519.59/2520.01	c |                          
2519.59/2520.01	c |               Objective: Minimize Sum
2519.59/2520.01	
2519.59/2520.01	c =========================================================================================================
2519.59/2520.01	
2519.59/2520.01	c *** INTERRUPTED ***
2519.59/2520.01	c restarts              : 71          
2519.59/2520.01	c conflicts             : 879884       (349 /sec)
2519.59/2520.01	c decisions             : 2121330      (843 /sec)
2519.59/2520.01	c propagations          : 42506476    (16882 /sec)
2519.59/2520.01	c root propagations     : 73385       
2519.59/2520.01	c filter calls          : 114109489      (45319 /sec)
2519.59/2520.01	c useless filter calls  : 93424799       (81 %)
2519.59/2520.01	c Memory used           : 3634.33 MB
2519.59/2520.01	c CPU time              : 2517.89 s
2519.59/2520.01	
2519.59/2520.01	c No Bound found!
2519.59/2520.01	
2519.59/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 (10691 MiB free)
  memory of node 1: 16384 MiB (12132 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292943-1532300257/watcher-4292943-1532300257 -o /tmp/evaluation-result-4292943-1532300257/solver-4292943-1532300257 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532297735-5126 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292943-1532300257.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
Current StackSize limit: 8192 KiB

solver pid=5362, runsolver pid=5359

[startup+0.10022 s]*
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=23317424/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=96248 memory=72704 CPUtime=0.09 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 18351 0 0 0 8 1 0 0 20 0 1 0 47588830 98557952 18176 33554432000 4194304 6142532 140733857962480 140733857959112 139990183913376 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 24062 18176 823 476 0 17384 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 96248 KiB
Current children cumulated memory: 72704 KiB

[startup+0.210127 s]*
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=23259268/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=128956 memory=105252 CPUtime=0.2 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 26499 0 0 0 18 2 0 0 20 0 1 0 47588830 132050944 26313 33554432000 4194304 6142532 140733857962480 140733857959112 139990183861054 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 32239 26313 828 476 0 25561 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128956 KiB
Current children cumulated memory: 105252 KiB

[startup+0.309938 s]*
/proc/loadavg: 2.01 2.02 1.96 4/192 5369
/proc/meminfo: memFree=23218060/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=168328 memory=144760 CPUtime=0.31 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 36345 0 0 0 26 5 0 0 20 0 1 0 47588830 172367872 36190 33554432000 4194304 6142532 140733857962480 140733857957080 139990184326124 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 42082 36190 828 476 0 35404 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 168328 KiB
Current children cumulated memory: 144760 KiB

[startup+0.700415 s]
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=23161960/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=281128 memory=257604 CPUtime=0.68 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 64558 0 0 0 60 8 0 0 20 0 1 0 47588830 287875072 64401 33554432000 4194304 6142532 140733857962480 140733857959128 139990183865317 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 70282 64401 841 476 0 63604 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 281128 KiB
Current children cumulated memory: 257604 KiB

[startup+1.50043 s]
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=23006092/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=535032 memory=511308 CPUtime=1.49 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 128016 0 0 0 132 17 0 0 20 0 1 0 47588830 547872768 127827 33554432000 4194304 6142532 140733857962480 140733857959128 139990183865317 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 133758 127827 841 476 0 127080 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 535032 KiB
Current children cumulated memory: 511308 KiB

[startup+3.10978 s]
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=21155900/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=2226756 memory=2203068 CPUtime=3.09 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 552220 0 0 0 242 67 0 0 20 0 1 0 47588830 2280198144 550767 33554432000 4194304 6142532 140733857962480 140733857956440 5418567 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 556689 550767 856 476 0 550011 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2226756 KiB
Current children cumulated memory: 2203068 KiB

[startup+6.30034 s]
/proc/loadavg: 2.01 2.02 1.96 3/192 5369
/proc/meminfo: memFree=20199056/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3178372 memory=3154968 CPUtime=6.28 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 845552 0 0 0 528 100 0 0 20 0 1 0 47588830 3254652928 788742 33554432000 4194304 6142532 140733857962480 140733857959368 5329969 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 794593 788742 898 476 0 787915 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 3178372 KiB
Current children cumulated memory: 3154968 KiB

[startup+12.7004 s]
/proc/loadavg: 1.85 1.98 1.95 3/192 5369
/proc/meminfo: memFree=20075700/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3325656 memory=3296528 CPUtime=12.68 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 923435 0 0 0 1161 107 0 0 20 0 1 0 47588830 3405471744 824132 33554432000 4194304 6142532 140733857962480 140733857959208 5138432 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 831414 824132 898 476 0 824736 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 3325656 KiB
Current children cumulated memory: 3296528 KiB

[startup+25.5003 s]
/proc/loadavg: 1.87 1.98 1.95 3/192 5370
/proc/meminfo: memFree=19808068/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3601908 memory=3544572 CPUtime=25.47 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1094001 0 0 0 2422 125 0 0 20 0 1 0 47588830 3688353792 886143 33554432000 4194304 6142532 140733857962480 140733857959128 5329969 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 900477 886143 898 476 0 893799 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 3601908 KiB
Current children cumulated memory: 3544572 KiB

[startup+51.1099 s]
/proc/loadavg: 1.92 1.99 1.95 3/192 5370
/proc/meminfo: memFree=19724060/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3703240 memory=3629064 CPUtime=51.07 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1269329 0 0 0 4968 139 0 0 20 0 1 0 47588830 3792117760 907266 33554432000 4194304 6142532 140733857962480 140733857959336 5215647 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 925810 907266 898 476 0 919132 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 3703240 KiB
Current children cumulated memory: 3629064 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/191 5371
/proc/meminfo: memFree=19706748/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3644280 CPUtime=102.24 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1352593 0 0 0 10079 145 0 0 20 0 1 0 47588830 3810865152 911070 33554432000 4194304 6142532 140733857962480 140733857959336 5329969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 911070 898 476 0 923709 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3644280 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/192 5380
/proc/meminfo: memFree=19706772/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3644280 CPUtime=162.23 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1374355 0 0 0 16077 146 0 0 20 0 1 0 47588830 3810865152 911070 33554432000 4194304 6142532 140733857962480 140733857959336 5335940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 911070 898 476 0 923709 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3644280 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/193 5407
/proc/meminfo: memFree=19705248/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3644280 CPUtime=222.23 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1395724 0 0 0 22076 147 0 0 20 0 1 0 47588830 3810865152 911070 33554432000 4194304 6142532 140733857962480 140733857959336 4991002 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 911070 898 476 0 923709 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3644280 KiB

[startup+282.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/193 5408
/proc/meminfo: memFree=19706036/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3644280 CPUtime=282.23 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1417206 0 0 0 28075 148 0 0 20 0 1 0 47588830 3810865152 911070 33554432000 4194304 6142532 140733857962480 140733857959336 5138256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 911070 898 476 0 923709 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3644280 KiB

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/192 5409
/proc/meminfo: memFree=19706464/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3644280 CPUtime=342.22 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1438357 0 0 0 34073 149 0 0 20 0 1 0 47588830 3810865152 911070 33554432000 4194304 6142532 140733857962480 140733857959336 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 911070 898 476 0 923709 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3644280 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/192 5410
/proc/meminfo: memFree=19706888/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3644280 CPUtime=402.22 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1459986 0 0 0 40071 151 0 0 20 0 1 0 47588830 3810865152 911070 33554432000 4194304 6142532 140733857962480 140733857959336 5335940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 911070 898 476 0 923709 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3644280 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/191 5411
/proc/meminfo: memFree=19706660/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3644280 CPUtime=462.22 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1478954 0 0 0 46070 152 0 0 20 0 1 0 47588830 3810865152 911070 33554432000 4194304 6142532 140733857962480 140733857959336 5329969 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 911070 898 476 0 923709 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3644280 KiB


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

/proc/5362/statm: 930387 911070 898 476 0 923709 0
Current children cumulated CPU time: 1721.96 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3644280 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 2.01 3/190 5450
/proc/meminfo: memFree=19706052/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3644280 CPUtime=1781.95 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1799249 0 0 0 178026 169 0 0 20 0 1 0 47588830 3810865152 911070 33554432000 4194304 6142532 140733857962480 140733857959336 5347477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 911070 898 476 0 923709 0
Current children cumulated CPU time: 1781.95 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3644280 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.98 2.01 3/190 5452
/proc/meminfo: memFree=19705888/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3644280 CPUtime=1841.95 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1802401 0 0 0 184025 170 0 0 20 0 1 0 47588830 3810865152 911070 33554432000 4194304 6142532 140733857962480 140733857959336 5335934 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 911070 898 476 0 923709 0
Current children cumulated CPU time: 1841.95 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3644280 KiB

[startup+1902.3 s]
/proc/loadavg: 1.92 1.97 2.01 3/190 5453
/proc/meminfo: memFree=19705864/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3644280 CPUtime=1901.94 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1803389 0 0 0 190024 170 0 0 20 0 1 0 47588830 3810865152 911070 33554432000 4194304 6142532 140733857962480 140733857959336 5138256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 911070 898 476 0 923709 0
Current children cumulated CPU time: 1901.94 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3644280 KiB

[startup+1962.3 s]
/proc/loadavg: 1.97 1.97 2.01 3/191 5462
/proc/meminfo: memFree=19705872/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3644352 CPUtime=1961.92 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1805918 0 0 0 196022 170 0 0 20 0 1 0 47588830 3810865152 911088 33554432000 4194304 6142532 140733857962480 140733857959336 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 911088 898 476 0 923709 0
Current children cumulated CPU time: 1961.92 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3644352 KiB

[startup+2022.3 s]
/proc/loadavg: 1.99 1.98 2.01 3/191 5463
/proc/meminfo: memFree=19703980/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3646120 CPUtime=2021.93 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1808008 0 0 0 202022 171 0 0 20 0 1 0 47588830 3810865152 911530 33554432000 4194304 6142532 140733857962480 140733857959336 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 911530 898 476 0 923709 0
Current children cumulated CPU time: 2021.93 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3646120 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.98 2.01 3/191 5464
/proc/meminfo: memFree=19701980/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3648364 CPUtime=2081.93 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1808709 0 0 0 208022 171 0 0 20 0 1 0 47588830 3810865152 912091 33554432000 4194304 6142532 140733857962480 140733857959336 5335934 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 912091 898 476 0 923709 0
Current children cumulated CPU time: 2081.93 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3648364 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/191 5465
/proc/meminfo: memFree=19693272/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3656820 CPUtime=2141.92 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1809532 0 0 0 214021 171 0 0 20 0 1 0 47588830 3810865152 914205 33554432000 4194304 6142532 140733857962480 140733857959336 5329969 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 914205 898 476 0 923709 0
Current children cumulated CPU time: 2141.92 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3656820 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/191 5466
/proc/meminfo: memFree=19676500/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3673476 CPUtime=2201.91 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1811001 0 0 0 220020 171 0 0 20 0 1 0 47588830 3810865152 918369 33554432000 4194304 6142532 140733857962480 140733857959336 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 918369 898 476 0 923709 0
Current children cumulated CPU time: 2201.91 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3673476 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/190 5467
/proc/meminfo: memFree=19659140/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3690604 CPUtime=2261.9 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1811802 0 0 0 226019 171 0 0 20 0 1 0 47588830 3810865152 922651 33554432000 4194304 6142532 140733857962480 140733857959336 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 922651 898 476 0 923709 0
Current children cumulated CPU time: 2261.9 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3690604 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/190 5468
/proc/meminfo: memFree=19660044/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3690604 CPUtime=2321.89 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1813112 0 0 0 232018 171 0 0 20 0 1 0 47588830 3810865152 922651 33554432000 4194304 6142532 140733857962480 140733857959336 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 922651 898 476 0 923709 0
Current children cumulated CPU time: 2321.89 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3690604 KiB

[startup+2382.3 s]
/proc/loadavg: 2.05 2.00 2.01 3/190 5469
/proc/meminfo: memFree=19659868/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3690604 CPUtime=2381.89 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1813812 0 0 0 238018 171 0 0 20 0 1 0 47588830 3810865152 922651 33554432000 4194304 6142532 140733857962480 140733857959336 5215647 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 922651 898 476 0 923709 0
Current children cumulated CPU time: 2381.89 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3690604 KiB

[startup+2442.3 s]
/proc/loadavg: 2.02 2.00 2.01 3/191 5471
/proc/meminfo: memFree=19659560/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3690604 CPUtime=2441.89 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1815078 0 0 0 244018 171 0 0 20 0 1 0 47588830 3810865152 922651 33554432000 4194304 6142532 140733857962480 140733857959336 5347455 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 922651 898 476 0 923709 0
Current children cumulated CPU time: 2441.89 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3690604 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.00 2.01 3/191 5472
/proc/meminfo: memFree=19660012/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3690604 CPUtime=2501.89 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1815768 0 0 0 250018 171 0 0 20 0 1 0 47588830 3810865152 922651 33554432000 4194304 6142532 140733857962480 140733857959336 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 922651 898 476 0 923709 0
Current children cumulated CPU time: 2501.89 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3690604 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.01 3/191 5472
/proc/meminfo: memFree=19660012/32770624 swapFree=67108860/67108860
[pid=5362] ppid=5359 vsize=3721548 memory=3690604 CPUtime=2519.59 cores=0,2,4,6
/proc/5362/stat : 5362 (cosoco) R 5359 5362 5095 0 -1 4202496 1815785 0 0 0 251788 171 0 0 20 0 1 0 47588830 3810865152 922651 33554432000 4194304 6142532 140733857962480 140733857959336 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15925248 140733857965190 140733857965320 140733857965320 140733857968078 0
/proc/5362/statm: 930387 922651 898 476 0 923709 0
Current children cumulated CPU time: 2519.59 s
Current children cumulated vsize: 3721548 KiB
Current children cumulated memory: 3690604 KiB

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

[startup+2520.03 s]
# the end of solver process 5362 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.89 s, system=1.74188 s

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

Child status: 1
Real time (s): 2520.03
CPU time (s): 2519.63
CPU user time (s): 2517.89
CPU system time (s): 1.74188
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 3721548
Max. memory (cumulated for all children) (KiB): 3690604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.89
system time used= 1.74188
maximum resident set size= 3690676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1815838
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= 498
involuntary context switches= 3763


# summary of solver processes directly reported to runsolver:
#   pid: 5362
#   total CPU time (s): 2519.63
#   total CPU user time (s): 2517.89
#   total CPU system time (s): 1.74188

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5225 second user time and 18.7317 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-23 00:57:37
IDJOB=4292943
IDBENCH=141043
IDSOLVER=2752
FILE ID=node135/4292943-1532300257
RUNJOBID= node135-1532297735-5126
PBS_JOBID= 21018994
Free space on /tmp= 52932 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/NurseRostering/NurseRostering-20_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292943-1532300257/watcher-4292943-1532300257 -o /tmp/evaluation-result-4292943-1532300257/solver-4292943-1532300257 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532297735-5126 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4292943-1532300257.xml

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

MD5SUM BENCH= d4df4d24fcb6b75374a4511056cd4f34
RANDOM SEED=133746160

node135.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.50
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.50
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.50
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.50
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:        23375168 kB
MemAvailable:   31937580 kB
Buffers:          178408 kB
Cached:          8586728 kB
SwapCached:            0 kB
Active:          1417756 kB
Inactive:        7401732 kB
Active(anon):       4200 kB
Inactive(anon):    69912 kB
Active(file):    1413556 kB
Inactive(file):  7331820 kB
Unevictable:        7188 kB
Mlocked:            7188 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4068 kB
Writeback:             0 kB
AnonPages:         61368 kB
Mapped:            36268 kB
Shmem:             17056 kB
Slab:             273272 kB
SReclaimable:     245496 kB
SUnreclaim:        27776 kB
KernelStack:        3392 kB
PageTables:         5680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     318812 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:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 52928 MiB
End job on node135 at 2018-07-23 01:39:37