Trace number 4265680

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.2 2520.24

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-21-a3.xml
MD5SUM77b850f9bb38d7d923034c01213ab5aa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark409
Best CPU time to get the best result obtained on this benchmark20039.199
Satisfiable
(Un)Satisfiability was proved
Number of variables462
Number of constraints213
Number of domains2
Minimum domain size1000
Maximum domain size1001
Distribution of domain sizes[{"size":1000,"count":210},{"size":1001,"count":21}]
Minimum variable degree0
Maximum variable degree22
Distribution of variable degrees[{"degree":0,"count":231},{"degree":2,"count":210},{"degree":21,"count":19},{"degree":22,"count":2}]
Minimum constraint arity1
Maximum constraint arity210
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":210},{"arity":21,"count":1},{"arity":210,"count":1}]
Number of extensional constraints0
Number of intensional constraints211
Distribution of constraint types[{"type":"intension","count":211},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

17.47/17.51	c SAT : Variables: 462021 -- Clauses: 230790462
17.47/17.51	c best=?? lower=0 upper=1000 
2519.96/2520.00	c
2519.96/2520.00	c This is cosoco 1.12 --  
2519.96/2520.00	c
2519.96/2520.00	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265680-1502575968.xml 
2519.96/2520.00	c enable optimization
2519.96/2520.00	c ========================================[ Problem Statistics ]===========================================
2519.96/2520.00	c |                                                                                                       
2519.96/2520.00	c |  Parse time        :        15.00 s 
2519.96/2520.00	c |
2519.96/2520.00	c |               Variables: 462
2519.96/2520.00	c |            Domain Sizes: 1000..1001
2519.96/2520.00	c |
2519.96/2520.00	c |             Constraints: 233
2519.96/2520.00	c |                   Arity: 1..210  -- Unary: 2  -- Binary: 20  -- Ternary: 210
2519.96/2520.00	c | 
2519.96/2520.00	c |                   Types: 
2519.96/2520.00	c |                          (X - Y < k): 20
2519.96/2520.00	c |                          All Different: 1
2519.96/2520.00	c |                          Intension: 212
2519.96/2520.00	c |                          
2519.96/2520.00	c =========================================================================================================
2519.96/2520.00	
2519.96/2520.00	c *** INTERRUPTED ***
2519.96/2520.00	c restarts              : 584         
2519.96/2520.00	c conflicts             : 3248319      (1291 /sec)
2519.96/2520.00	c decisions             : 3931438      (1562 /sec)
2519.96/2520.00	c propagations          : 12193738481 (4844424 /sec)
2519.96/2520.00	c root propagations     : 1400        
2519.96/2520.00	c filter calls          : 276335929      (109785 /sec)
2519.96/2520.00	c useless filter calls  : 246645985      (89 %)
2519.96/2520.00	c
2519.96/2520.00	c clauses               : 230839987
2519.96/2520.00	c SAT propagations      : 46130
2519.96/2520.00	c SAT conflicts         : 11 (0 learnts)
2519.96/2520.00	c Memory used           : 9976.74 MB
2519.96/2520.00	c CPU time              : 2517.07 s
2519.96/2520.00	
2519.96/2520.00	c No Bound found!
2519.96/2520.00	
2519.96/2520.00	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 (12369 MiB free)
  memory of node 1: 16384 MiB (13672 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265680-1502575968/watcher-4265680-1502575968 -o /tmp/evaluation-result-4265680-1502575968/solver-4265680-1502575968 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24402 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265680-1502575968.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=25489, runsolver pid=25486

[startup+0.100111 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 25490
/proc/meminfo: memFree=26659372/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=35564 memory=12008 CPUtime=0.09 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 3174 0 0 0 9 0 0 0 20 0 1 0 90668514 36417536 3002 33554432000 4194304 5972588 140722486204336 140722486200984 140421347560421 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 8891 3002 787 435 0 2254 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35564 KiB
Current children cumulated memory: 12008 KiB

[startup+0.209503 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 25490
/proc/meminfo: memFree=26654164/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=40832 memory=17276 CPUtime=0.21 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 4490 0 0 0 20 1 0 0 20 0 1 0 90668514 41811968 4319 33554432000 4194304 5972588 140722486204336 140722486200984 140421347560421 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 10208 4319 787 435 0 3571 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40832 KiB
Current children cumulated memory: 17276 KiB

[startup+0.30924 s]*
/proc/loadavg: 2.00 2.01 2.05 3/186 25490
/proc/meminfo: memFree=26608896/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=91504 memory=65664 CPUtime=0.31 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 14571 0 0 0 29 2 0 0 20 0 1 0 90668514 93700096 16416 33554432000 4194304 5972588 140722486204336 140722486200984 5280404 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 22876 16416 824 435 0 16239 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 91504 KiB
Current children cumulated memory: 65664 KiB

[startup+0.700321 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 25490
/proc/meminfo: memFree=26483736/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=350932 memory=301620 CPUtime=0.69 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 50025 0 0 0 61 8 0 0 20 0 1 0 90668514 359354368 75405 33554432000 4194304 5972588 140722486204336 140722486201128 140421347629611 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 87733 75405 824 435 0 81096 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 350932 KiB
Current children cumulated memory: 301620 KiB

[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 25490
/proc/meminfo: memFree=26186136/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=887264 memory=778672 CPUtime=1.49 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 116654 0 0 0 128 21 0 0 20 0 1 0 90668514 908558336 194668 33554432000 4194304 5972588 140722486204336 140722486201128 140421347629611 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 221816 194668 824 435 0 215179 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 887264 KiB
Current children cumulated memory: 778672 KiB

[startup+3.10942 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 25490
/proc/meminfo: memFree=25023920/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=2065440 memory=1705472 CPUtime=3.1 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 245554 0 0 0 265 45 0 0 20 0 1 0 90668514 2115010560 426368 33554432000 4194304 5972588 140722486204336 140722486201128 140421347571568 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 516360 426368 824 435 0 509723 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2065440 KiB
Current children cumulated memory: 1705472 KiB

[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 25490
/proc/meminfo: memFree=23313436/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=3868528 memory=3516404 CPUtime=6.29 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 490333 0 0 0 540 89 0 0 20 0 1 0 90668514 3961372672 879101 33554432000 4194304 5972588 140722486204336 140722486201128 140421347629611 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 967132 879101 824 435 0 960495 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 3868528 KiB
Current children cumulated memory: 3516404 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 25490
/proc/meminfo: memFree=19979364/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=8437824 memory=7066816 CPUtime=12.68 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 969226 0 0 0 1083 185 0 0 20 0 1 0 90668514 8640331776 1766704 33554432000 4194304 5972588 140722486204336 140722486201128 140421347629611 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2109489 1766704 824 435 0 2102852 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 8437824 KiB
Current children cumulated memory: 7066816 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 25490
/proc/meminfo: memFree=16922724/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10211032 memory=9729468 CPUtime=25.48 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1333161 0 0 0 2297 251 0 0 20 0 1 0 90668514 10456096768 2432367 33554432000 4194304 5972588 140722486204336 140722486201560 5053069 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2552758 2432367 842 435 0 2546121 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 10211032 KiB
Current children cumulated memory: 9729468 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25491
/proc/meminfo: memFree=16921216/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10211464 memory=9729820 CPUtime=51.08 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1347725 0 0 0 4857 251 0 0 20 0 1 0 90668514 10456539136 2432455 33554432000 4194304 5972588 140722486204336 140722486201048 4968783 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2552866 2432455 842 435 0 2546229 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 10211464 KiB
Current children cumulated memory: 9729820 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25560
/proc/meminfo: memFree=15715008/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10211784 memory=9732328 CPUtime=102.26 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1371888 0 0 0 9974 252 0 0 20 0 1 0 90668514 10456866816 2433082 33554432000 4194304 5972588 140722486204336 140722486201560 5240338 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2552946 2433082 842 435 0 2546309 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 10211784 KiB
Current children cumulated memory: 9732328 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25587
/proc/meminfo: memFree=15711176/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10211928 memory=9734548 CPUtime=162.26 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1403444 0 0 0 15972 254 0 0 20 0 1 0 90668514 10457014272 2433637 33554432000 4194304 5972588 140722486204336 140722486201288 5094189 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2552982 2433637 842 435 0 2546345 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 10211928 KiB
Current children cumulated memory: 9734548 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25588
/proc/meminfo: memFree=15708936/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10212204 memory=9734708 CPUtime=222.26 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1417534 0 0 0 21970 256 0 0 20 0 1 0 90668514 10457296896 2433677 33554432000 4194304 5972588 140722486204336 140722486200984 5071435 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553051 2433677 842 435 0 2546414 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 10212204 KiB
Current children cumulated memory: 9734708 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25589
/proc/meminfo: memFree=15706064/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10212336 memory=9736948 CPUtime=282.25 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1449757 0 0 0 27967 258 0 0 20 0 1 0 90668514 10457432064 2434237 33554432000 4194304 5972588 140722486204336 140722486201208 4965342 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553084 2434237 842 435 0 2546447 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 10212336 KiB
Current children cumulated memory: 9736948 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25590
/proc/meminfo: memFree=15706092/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10212336 memory=9736948 CPUtime=342.25 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1465074 0 0 0 33966 259 0 0 20 0 1 0 90668514 10457432064 2434237 33554432000 4194304 5972588 140722486204336 140722486201208 5071408 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553084 2434237 842 435 0 2546447 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 10212336 KiB
Current children cumulated memory: 9736948 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25591
/proc/meminfo: memFree=15706244/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10212336 memory=9736948 CPUtime=402.24 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1468977 0 0 0 39965 259 0 0 20 0 1 0 90668514 10457432064 2434237 33554432000 4194304 5972588 140722486204336 140722486201208 5070704 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553084 2434237 842 435 0 2546447 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 10212336 KiB
Current children cumulated memory: 9736948 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25592
/proc/meminfo: memFree=15706116/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10212504 memory=9736996 CPUtime=462.23 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1485937 0 0 0 45963 260 0 0 20 0 1 0 90668514 10457604096 2434249 33554432000 4194304 5972588 140722486204336 140722486201192 5070704 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553126 2434249 842 435 0 2546489 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 10212504 KiB
Current children cumulated memory: 9736996 KiB


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

/proc/meminfo: memFree=15699568/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10215384 memory=9739864 CPUtime=1782.22 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1761583 0 0 0 177940 282 0 0 20 0 1 0 90668514 10460553216 2434966 33554432000 4194304 5972588 140722486204336 140722486201192 4972741 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553846 2434966 842 435 0 2547209 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 10215384 KiB
Current children cumulated memory: 9739864 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 25635
/proc/meminfo: memFree=15699840/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10215384 memory=9739876 CPUtime=1842.22 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1770372 0 0 0 183940 282 0 0 20 0 1 0 90668514 10460553216 2434969 33554432000 4194304 5972588 140722486204336 140722486201192 4969162 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553846 2434969 842 435 0 2547209 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 10215384 KiB
Current children cumulated memory: 9739876 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 25643
/proc/meminfo: memFree=15698464/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10215384 memory=9739888 CPUtime=1902.22 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1778997 0 0 0 189939 283 0 0 20 0 1 0 90668514 10460553216 2434972 33554432000 4194304 5972588 140722486204336 140722486201192 5053071 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553846 2434972 842 435 0 2547209 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 10215384 KiB
Current children cumulated memory: 9739888 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 25644
/proc/meminfo: memFree=15699528/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10215384 memory=9739888 CPUtime=1962.22 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1786838 0 0 0 195939 283 0 0 20 0 1 0 90668514 10460553216 2434972 33554432000 4194304 5972588 140722486204336 140722486201192 4965365 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553846 2434972 842 435 0 2547209 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 10215384 KiB
Current children cumulated memory: 9739888 KiB

[startup+2022.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/187 25645
/proc/meminfo: memFree=15699808/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10215384 memory=9739900 CPUtime=2022.23 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1797119 0 0 0 201939 284 0 0 20 0 1 0 90668514 10460553216 2434975 33554432000 4194304 5972588 140722486204336 140722486201192 5070704 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553846 2434975 842 435 0 2547209 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 10215384 KiB
Current children cumulated memory: 9739900 KiB

[startup+2082.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/187 25646
/proc/meminfo: memFree=15699716/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10215384 memory=9739924 CPUtime=2082.23 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1806076 0 0 0 207939 284 0 0 20 0 1 0 90668514 10460553216 2434981 33554432000 4194304 5972588 140722486204336 140722486201192 4962364 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553846 2434981 842 435 0 2547209 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 10215384 KiB
Current children cumulated memory: 9739924 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 25647
/proc/meminfo: memFree=15699616/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10215384 memory=9739996 CPUtime=2142.23 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1813139 0 0 0 213939 284 0 0 20 0 1 0 90668514 10460553216 2434999 33554432000 4194304 5972588 140722486204336 140722486201192 4965365 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553846 2434999 842 435 0 2547209 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 10215384 KiB
Current children cumulated memory: 9739996 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 25648
/proc/meminfo: memFree=15699780/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10215516 memory=9740116 CPUtime=2202.23 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1826131 0 0 0 219938 285 0 0 20 0 1 0 90668514 10460688384 2435029 33554432000 4194304 5972588 140722486204336 140722486201192 5094130 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2553879 2435029 842 435 0 2547242 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 10215516 KiB
Current children cumulated memory: 9740116 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 25649
/proc/meminfo: memFree=15699116/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10216176 memory=9740740 CPUtime=2262.24 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1828398 0 0 0 225938 286 0 0 20 0 1 0 90668514 10461364224 2435185 33554432000 4194304 5972588 140722486204336 140722486201192 4965552 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2554044 2435185 842 435 0 2547407 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 10216176 KiB
Current children cumulated memory: 9740740 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 25650
/proc/meminfo: memFree=15699024/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10216176 memory=9740744 CPUtime=2322.24 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1830334 0 0 0 231938 286 0 0 20 0 1 0 90668514 10461364224 2435186 33554432000 4194304 5972588 140722486204336 140722486201192 4962376 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2554044 2435186 842 435 0 2547407 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 10216176 KiB
Current children cumulated memory: 9740744 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 25651
/proc/meminfo: memFree=15698932/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10216176 memory=9740748 CPUtime=2382.24 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1832802 0 0 0 237937 287 0 0 20 0 1 0 90668514 10461364224 2435187 33554432000 4194304 5972588 140722486204336 140722486201192 5099648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2554044 2435187 842 435 0 2547407 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 10216176 KiB
Current children cumulated memory: 9740748 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25652
/proc/meminfo: memFree=15698716/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10216176 memory=9740752 CPUtime=2442.24 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1835554 0 0 0 243936 288 0 0 20 0 1 0 90668514 10461364224 2435188 33554432000 4194304 5972588 140722486204336 140722486201192 5053069 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2554044 2435188 842 435 0 2547407 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 10216176 KiB
Current children cumulated memory: 9740752 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25660
/proc/meminfo: memFree=15697720/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10216176 memory=9740756 CPUtime=2502.24 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1837936 0 0 0 249935 289 0 0 20 0 1 0 90668514 10461364224 2435189 33554432000 4194304 5972588 140722486204336 140722486201192 5071744 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2554044 2435189 842 435 0 2547407 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 10216176 KiB
Current children cumulated memory: 9740756 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25660
/proc/meminfo: memFree=15698184/32770624 swapFree=67108860/67108860
[pid=25489] ppid=25486 vsize=10216176 memory=9740756 CPUtime=2519.96 cores=0,2,4,6
/proc/25489/stat : 25489 (cosoco) R 25486 25489 24318 0 -1 4202496 1838381 0 0 0 251706 290 0 0 20 0 1 0 90668514 10461364224 2435189 33554432000 4194304 5972588 140722486204336 140722486201192 4965840 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 38645760 140722486207674 140722486207774 140722486207774 140722486210510 0
/proc/25489/statm: 2554044 2435189 842 435 0 2547407 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 10216176 KiB
Current children cumulated memory: 9740756 KiB

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

[startup+2520.24 s]
# the end of solver process 25489 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.07 s, system=3.13503 s

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

[startup+2520.21 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25660
/proc/meminfo: memFree=21344348/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.24
CPU time (s): 2520.2
CPU user time (s): 2517.07
CPU system time (s): 3.13503
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 10216176
Max. memory (cumulated for all children) (KiB): 9740756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.07
system time used= 3.13503
maximum resident set size= 9740824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1838425
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= 160
involuntary context switches= 3285


# summary of solver processes directly reported to runsolver:
#   pid: 25489
#   total CPU time (s): 2520.2
#   total CPU user time (s): 2517.07
#   total CPU system time (s): 3.13503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.17281 second user time and 17.3488 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-12 23:58:30
IDJOB=4265680
IDBENCH=126219
IDSOLVER=2655
FILE ID=node105/4265680-1502575968
RUNJOBID= node105-1502567255-24402
PBS_JOBID= 20628286
Free space on /tmp= 60664 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-21-a3.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265680-1502575968/watcher-4265680-1502575968 -o /tmp/evaluation-result-4265680-1502575968/solver-4265680-1502575968 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24402 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265680-1502575968.xml

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

MD5SUM BENCH= 77b850f9bb38d7d923034c01213ab5aa
RANDOM SEED=2110064450

node105.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.17
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.17
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.17
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.17
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:        26667992 kB
MemAvailable:   31979264 kB
Buffers:          138288 kB
Cached:          5450092 kB
SwapCached:            0 kB
Active:           646128 kB
Inactive:        4997984 kB
Active(anon):      58332 kB
Inactive(anon):    25056 kB
Active(file):     587796 kB
Inactive(file):  4972928 kB
Unevictable:        6252 kB
Mlocked:            6252 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2524 kB
Writeback:             0 kB
AnonPages:         69684 kB
Mapped:            44048 kB
Shmem:             25228 kB
Slab:             158068 kB
SReclaimable:     132768 kB
SUnreclaim:        25300 kB
KernelStack:        3552 kB
PageTables:         4852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     355160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60660 MiB
End job on node105 at 2017-08-13 00:40:31