Trace number 4409177

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 2.0SAT (TO)3 2400.09 2399.9

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-11-13.xml
MD5SUMb332b46b2d271d96c2352c0c61c10556
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark83.9194
Satisfiable
(Un)Satisfiability was proved
Number of variables143
Number of constraints4291
Number of domains1
Minimum domain size143
Maximum domain size143
Distribution of domain sizes[{"size":143,"count":143}]
Minimum variable degree122
Maximum variable degree122
Distribution of variable degrees[{"degree":122,"count":143}]
Minimum constraint arity4
Maximum constraint arity143
Distribution of constraint arities[{"arity":4,"count":4290},{"arity":143,"count":1}]
Number of extensional constraints0
Number of intensional constraints4290
Distribution of constraint types[{"type":"intension","count":4290},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

6.39/6.43	c
6.39/6.43	c This is cosoco 2.00 --  
6.39/6.43	c
6.39/6.43	c command line: cosoco -lc -model -restarts -stick HOME/instance-4409177-1569813878.xml 
6.39/6.43	c enable optimization
6.39/6.43	c ========================================[ Problem Statistics ]===========================================
6.39/6.43	c |                                                                                                       
6.39/6.43	c |  Parse time        :         4.98 s 
6.39/6.43	c |
6.39/6.43	c |               Variables: 143
6.39/6.43	c |            Domain Sizes: 143..143
6.39/6.43	c |
6.39/6.43	c |             Constraints: 4313
6.39/6.43	c |                   Arity: 4..143
6.39/6.43	c | 
6.39/6.43	c |                   Types: 
6.39/6.43	c |                          Intension: 4290
6.39/6.43	c |                          Lex: 22
6.39/6.43	c |                          Max constant: 1
6.39/6.43	c |                          
6.39/6.43	c |               Objective: Minimize Max constant
6.39/6.43	
6.39/6.43	c =========================================================================================================
6.39/6.43	o 8
6.39/6.43	c    1 calls to solver(id=*d): best=0 lower=8 upper=0 
7.39/7.46	o 7
7.99/8.07	o 6
7.99/8.07	c    3 calls to solver(id=*d): best=0 lower=6 upper=0 
8.49/8.58	o 5
9.79/9.85	o 4
9.79/9.85	c    5 calls to solver(id=*d): best=0 lower=4 upper=0 
18.40/18.41	o 3
2400.08/2399.90	
2400.08/2399.90	c *** INTERRUPTED ***
2400.08/2399.90	c call to solver        : 6
2400.08/2399.90	c
2400.08/2399.90	c restarts              : 63          
2400.08/2399.90	c conflicts             : 202034       (84 /sec)
2400.08/2399.90	c decisions             : 1072137      (447 /sec)
2400.08/2399.90	c propagations          : 7472118     (3114 /sec)
2400.08/2399.90	c root propagations     : 27749       
2400.08/2399.90	c filter calls          : 408223944      (170109 /sec)
2400.08/2399.90	c useless filter calls  : 403127911      (98 %)
2400.08/2399.90	c Memory used           : 206.96 MB
2400.08/2399.90	c Best bound time (wc)  : 18.4096 s
2400.08/2399.90	c CPU time              : 2399.78 s
2400.08/2399.90	c real time             : 2399.9 s
2400.08/2399.90	
2400.08/2399.90	c nb Solutions = 6
2400.08/2399.90	s SATISFIABLE
2400.08/2399.90	c Best value found: 3
2400.08/2399.90	
2400.08/2399.90	
2400.08/2399.90	v <instantiation type='solution' cost='3'>
2400.08/2399.90	v <list>x[0][0] x[0][10] x[0][11] x[0][12] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list>
2400.08/2399.90	v <values>0 2 3 3 0 0 1 1 1 1 1 2 2 3 1 2 1 3 3 2 0 3 1 0 0 2 0 1 2 3 2 3 0 1 2 3 3 0 1 0 0 0 2 3 1 1 0 2 2 3 3 0 1 3 1 3 0 1 0 2 3 2 2 3 1 1 3 2 0 1 3 0 3 0 2 0 2 0 2 0 3 1 2 0 0 3 3 2 1 1 3 2 3 2 2 3 1 0 0 1 3 2 1 3 3 2 1 1 1 2 0 1 2 0 2 3 3 3 3 3 1 2 0 1 0 0 0 2 2 1 3 1 1 2 2 2 3 3 1 0 3 0 0 </values>
2400.08/2399.90	v </instantiation>
2400.08/2399.90

Verifier Data 

OK	3

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409177-1569813878/watcher-4409177-1569813878 -o /tmp/evaluation-result-4409177-1569813878/solver-4409177-1569813878 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569813835-530 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409177-1569813878.xml 

running on 4 cores: 0-3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=557, runsolver pid=554


[startup+0.100157 s]*
/proc/loadavg: 1.02 1.09 1.31 3/199 564
/proc/meminfo: memFree=31439348/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=27972 memory=3952 CPUtime=0.1 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 1210 0 0 0 10 0 0 0 20 0 1 0 557329319 28643328 988 33554432000 4194304 6211132 140720944689664 140720944686200 139876119243875 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 6993 988 806 493 0 298 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27972 KiB
Current children cumulated memory: 3952 KiB

[startup+0.210615 s]*
/proc/loadavg: 1.02 1.09 1.31 3/199 564
/proc/meminfo: memFree=31388848/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=31232 memory=7492 CPUtime=0.21 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 2065 0 0 0 21 0 0 0 20 0 1 0 557329319 31981568 1873 33554432000 4194304 6211132 140720944689664 140720944686200 139876118399973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 7808 1873 823 493 0 1113 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7492 KiB

[startup+0.310398 s]*
/proc/loadavg: 1.02 1.09 1.31 3/199 564
/proc/meminfo: memFree=31377648/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=34504 memory=10636 CPUtime=0.31 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 2875 0 0 0 31 0 0 0 20 0 1 0 557329319 35332096 2659 33554432000 4194304 6211132 140720944689664 140720944686200 139876118399973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 8626 2659 823 493 0 1931 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34504 KiB
Current children cumulated memory: 10636 KiB

[startup+0.700302 s]
/proc/loadavg: 1.02 1.09 1.31 3/199 564
/proc/meminfo: memFree=31348084/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=47068 memory=23332 CPUtime=0.69 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 5997 0 0 0 69 0 0 0 20 0 1 0 557329319 48197632 5833 33554432000 4194304 6211132 140720944689664 140720944681304 139876118399973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 11767 5833 823 493 0 5072 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47068 KiB
Current children cumulated memory: 23332 KiB

[startup+1.50031 s]
/proc/loadavg: 1.02 1.09 1.31 3/199 564
/proc/meminfo: memFree=31275980/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=72932 memory=49064 CPUtime=1.49 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 12486 0 0 0 148 1 0 0 20 0 1 0 557329319 74682368 12266 33554432000 4194304 6211132 140720944689664 140720944681304 139876118399973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 18233 12266 823 493 0 11538 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72932 KiB
Current children cumulated memory: 49064 KiB

[startup+3.11053 s]
/proc/loadavg: 0.94 1.08 1.31 3/199 564
/proc/meminfo: memFree=30979764/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=125208 memory=101468 CPUtime=3.1 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 25660 0 0 0 306 4 0 0 20 0 1 0 557329319 128212992 25367 33554432000 4194304 6211132 140720944689664 140720944684760 139876118399973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 31302 25367 823 493 0 24607 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 125208 KiB
Current children cumulated memory: 101468 KiB

[startup+6.30033 s]
/proc/loadavg: 0.94 1.08 1.31 3/199 564
/proc/meminfo: memFree=30892432/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=207300 memory=183848 CPUtime=6.29 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 73239 0 0 0 620 9 0 0 20 0 1 0 557329319 212275200 45962 33554432000 4194304 6211132 140720944689664 140720944684760 139876118399973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 51825 45962 875 493 0 45130 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 207300 KiB
Current children cumulated memory: 183848 KiB

[startup+12.7004 s]
/proc/loadavg: 1.10 1.11 1.31 3/199 564
/proc/meminfo: memFree=30860060/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188604 CPUtime=12.7 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 118298 0 0 0 1258 12 0 0 20 0 1 0 557329319 217006080 47151 33554432000 4194304 6211132 140720944689664 140720944677544 5439818 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47151 876 493 0 46285 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188604 KiB

[startup+25.5004 s]
/proc/loadavg: 1.24 1.14 1.32 3/200 567
/proc/meminfo: memFree=30858748/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=25.49 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 198252 0 0 0 2534 15 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5443093 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+51.1106 s]
/proc/loadavg: 1.50 1.20 1.34 3/199 567
/proc/meminfo: memFree=30855632/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=51.1 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 238698 0 0 0 5093 17 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5164787 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+102.3 s]
/proc/loadavg: 1.80 1.34 1.38 3/199 573
/proc/meminfo: memFree=30854604/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=102.3 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 280529 0 0 0 10211 19 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 139876119320464 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+162.3 s]
/proc/loadavg: 1.93 1.46 1.42 3/199 593
/proc/meminfo: memFree=30832456/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=162.31 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 319566 0 0 0 16210 21 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5452278 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+222.3 s]
/proc/loadavg: 1.97 1.56 1.45 3/199 598
/proc/meminfo: memFree=30832012/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=222.31 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 360695 0 0 0 22208 23 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5446229 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.64 1.49 3/199 604
/proc/meminfo: memFree=30831624/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=282.32 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 399588 0 0 0 28207 25 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 139876119324211 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.70 1.52 3/199 615
/proc/meminfo: memFree=30805736/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=342.32 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 438683 0 0 0 34205 27 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5442996 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.76 1.55 3/200 627
/proc/meminfo: memFree=30799376/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=402.32 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 474384 0 0 0 40203 29 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5480231 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.80 1.58 3/200 633
/proc/meminfo: memFree=30799984/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=462.32 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 493801 0 0 0 46202 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 139876128344925 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB


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

/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 1662.42 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/199 768
/proc/meminfo: memFree=30801132/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=1722.42 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 498340 0 0 0 172212 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5164809 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 1722.42 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/199 774
/proc/meminfo: memFree=30801032/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=1782.42 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 498340 0 0 0 178212 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5451514 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 1782.42 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/199 778
/proc/meminfo: memFree=30800780/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=1842.43 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 498728 0 0 0 184213 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5193364 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 1842.43 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/199 783
/proc/meminfo: memFree=30800728/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=1902.44 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 498728 0 0 0 190214 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5443124 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 1902.44 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/199 789
/proc/meminfo: memFree=30800636/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=1962.44 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 499115 0 0 0 196214 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5480285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 1962.44 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/199 793
/proc/meminfo: memFree=30800888/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=2022.45 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 499116 0 0 0 202215 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 4982624 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 2022.45 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/199 798
/proc/meminfo: memFree=30801388/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=2082.45 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 499488 0 0 0 208215 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5069044 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 2082.45 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/199 804
/proc/meminfo: memFree=30800484/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=2142.46 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 499502 0 0 0 214216 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5451520 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 2142.46 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/199 815
/proc/meminfo: memFree=30800816/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=2202.46 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 499890 0 0 0 220216 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5164688 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 2202.46 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/199 841
/proc/meminfo: memFree=30799944/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=2262.47 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 499890 0 0 0 226217 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5446258 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 2262.47 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/199 847
/proc/meminfo: memFree=30800432/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=2322.47 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 500272 0 0 0 232217 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5443135 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 2322.47 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 852
/proc/meminfo: memFree=30800836/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=2382.48 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 500272 0 0 0 238218 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5446158 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 2382.48 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 852
/proc/meminfo: memFree=30801000/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=2400.08 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 500658 0 0 0 239978 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5164777 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

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

[startup+2399.9 s]
# the end of solver process 557 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.78 s, system=0.308027 s

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

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 852
/proc/meminfo: memFree=30801000/32770688 swapFree=67001380/67108860
[pid=557] ppid=554 vsize=211920 memory=188616 CPUtime=2400.08 cores=0-3
/proc/557/stat : 557 (cosoco) R 554 557 496 0 -1 4202496 500658 0 0 0 239978 30 0 0 20 0 1 0 557329319 217006080 47154 33554432000 4194304 6211132 140720944689664 140720944687800 5164777 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 31600640 140720944694283 140720944694385 140720944694385 140720944697294 0
/proc/557/statm: 52980 47154 876 493 0 46285 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 211920 KiB
Current children cumulated memory: 188616 KiB

Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.09
CPU user time (s): 2399.78
CPU system time (s): 0.308027
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 211920
Max. memory (cumulated for all children) (KiB): 188616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.78
system time used= 0.308027
maximum resident set size= 188684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500710
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= 44
involuntary context switches= 634


# summary of solver processes directly reported to runsolver:
#   pid: 557
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2399.78
#   total CPU system time (s): 0.308027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4755 second user time and 18.9476 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-30 05:23:56
IDJOB=4409177
IDBENCH=139748
IDSOLVER=2876
FILE ID=node116/4409177-1569813878
RUNJOBID= node116-1569813835-530
PBS_JOBID= 21705845
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-11-13.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409177-1569813878/watcher-4409177-1569813878 -o /tmp/evaluation-result-4409177-1569813878/solver-4409177-1569813878 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569813835-530 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4409177-1569813878.xml

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

MD5SUM BENCH= b332b46b2d271d96c2352c0c61c10556
RANDOM SEED=611262591

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        31484508 kB
MemAvailable:   31853448 kB
Buffers:          197940 kB
Cached:           491340 kB
SwapCached:         3344 kB
Active:           374008 kB
Inactive:         320836 kB
Active(anon):      23496 kB
Inactive(anon):    63148 kB
Active(file):     350512 kB
Inactive(file):   257688 kB
Unevictable:      109716 kB
Mlocked:          109716 kB
SwapTotal:      67108860 kB
SwapFree:       67001380 kB
Dirty:              2924 kB
Writeback:             0 kB
AnonPages:        112788 kB
Mapped:            25928 kB
Shmem:             72416 kB
Slab:             183796 kB
SReclaimable:     153152 kB
SUnreclaim:        30644 kB
KernelStack:        3280 kB
PageTables:         5500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     542584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62024 MiB
End job on node116 at 2019-09-30 06:03:56