Trace number 4265794

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco-sat 1.12SAT (TO)16492 2519.8301 2520.01

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-lipa20b.xml
MD5SUM2a1cb6febb6ec7dbf2abb0b9e0866987
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark13638
Best CPU time to get the best result obtained on this benchmark19961.5
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints180
Number of domains2
Minimum domain size19
Maximum domain size20
Distribution of domain sizes[{"size":19,"count":179},{"size":20,"count":20}]
Minimum variable degree0
Maximum variable degree20
Distribution of variable degrees[{"degree":0,"count":221},{"degree":2,"count":179},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":5},{"degree":20,"count":8}]
Minimum constraint arity3
Maximum constraint arity20
Distribution of constraint arities[{"arity":3,"count":179},{"arity":20,"count":1}]
Number of extensional constraints179
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":179},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT : Variables: 8000 -- Clauses: 72620
0.00/0.09	c best=?? lower=-32813 upper=0 
0.02/0.11	c
0.02/0.11	c This is cosoco 1.12 --  
0.02/0.11	c
0.02/0.11	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265794-1502571071.xml 
0.02/0.11	c enable optimization
0.02/0.11	c ========================================[ Problem Statistics ]===========================================
0.02/0.11	c |                                                                                                       
0.02/0.11	c |  Parse time        :         0.01 s 
0.02/0.11	c |
0.02/0.11	c |               Variables: 420
0.02/0.11	c |            Domain Sizes: 19..20
0.02/0.11	c |
0.02/0.11	c |             Constraints: 181
0.02/0.11	c |                   Arity: 3..179  -- Ternary: 179
0.02/0.11	c | 
0.02/0.11	c |                   Types: 
0.02/0.11	c |                          All Different: 1
0.02/0.11	c |                          Extension: 179  (nb tuples: 380..380) -- (shared: 178)
0.02/0.11	c |                          Sum: 1
0.02/0.11	c |                          
0.02/0.11	c =========================================================================================================
0.02/0.11	o -17430
0.02/0.11	c    1 calls to solver: best=-17430 lower=-17429 upper=0 
0.13/0.21	o -17408
0.23/0.37	o -17184
0.23/0.37	c    3 calls to solver: best=-17184 lower=-17183 upper=0 
0.71/0.80	o -17096
0.71/0.83	o -16995
0.71/0.83	c    5 calls to solver: best=-16995 lower=-16994 upper=0 
2.51/2.63	o -16767
8.51/8.62	o -16739
8.51/8.62	c    7 calls to solver: best=-16739 lower=-16738 upper=0 
20.51/20.63	o -16599
32.60/32.77	o -16530
32.60/32.77	c    9 calls to solver: best=-16530 lower=-16529 upper=0 
40.40/40.51	conflict 37lvl : 27 bt27-316:0(991)X643905
181.60/181.76	o -16520
322.39/322.53	o -16492
322.39/322.53	c   11 calls to solver: best=-16492 lower=-16491 upper=0 
2519.82/2520.00	
2519.82/2520.00	c *** INTERRUPTED ***
2519.82/2520.00	c restarts              : 590         
2519.82/2520.00	c conflicts             : 6051903      (2402 /sec)
2519.82/2520.00	c decisions             : 84347384     (33474 /sec)
2519.82/2520.00	c propagations          : 1225873297  (486494 /sec)
2519.82/2520.00	c root propagations     : 179         
2519.82/2520.00	c filter calls          : 564487904      (224020 /sec)
2519.82/2520.00	c useless filter calls  : 420928102      (74 %)
2519.82/2520.00	c
2519.82/2520.00	c clauses               : 77948
2519.82/2520.00	c SAT propagations      : 1540
2519.82/2520.00	c SAT conflicts         : 0 (1 learnts)
2519.82/2520.00	c Memory used           : 36.15 MB
2519.82/2520.00	c CPU time              : 2519.81 s
2519.82/2520.00	
2519.82/2520.00	c nb Solutions = 11
2519.82/2520.00	s SATISFIABLE
2519.82/2520.00	c Best value found: -16492
2519.82/2520.00	
2519.82/2520.00	
2519.82/2520.00	v <instantiation type='solution' cost='-16492'>
2519.82/2520.00	v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
2519.82/2520.00	v <values>* 6 5 11 8 12 8 12 15 12 7 15 15 10 * 13 * 13 6 3 * * 10 7 15 7 8 12 12 8 10 * * * * * * * * * * * * 3 11 9 7 9 8 8 6 * * * * * * * * * * * * * 11 15 15 14 9 9 4 * * * * * * * * * * * * * * 11 13 15 17 6 12 * * * * * * * * * * * * * * * 11 8 4 3 12 * * * * * * * * * * * * * * * * 19 8 8 9 * * * * * * * * * * * * * * * * * 18 11 12 * * * * * * * * * * * * * * * * * * 11 9 * * * * * * * * * * * * * * * * * * * 18 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 11 11 10 7 12 8 15 13 8 15 * 10 10 11 9 4 12 10 1 * 14 11 8 8 12 12 3 * 14 4 * * 14 14 * 12 13 * 11 * 13 * 7 8 7 12 14 11 15 15 * * * 7 13 4 8 10 14 * 11 6 11 9 13 7 10 13 5 12 * * * * * 8 10 5 * * 13 5 14 12 18 1 18 1 10 6 * * * * * 11 12 4 12 * 11 * 9 15 3 9 9 13 18 4 * * * * * * 16 10 18 * 15 13 5 9 13 5 3 7 7 13 * * * * * * * * 12 * 9 6 18 8 10 19 * 8 9 19 * * * * * * * * 12 * 15 5 7 13 3 15 14 11 10 9 * * * * * * * * * 13 15 1 9 14 7 5 2 17 6 0 12 16 18 10 8 11 19 4 3 </values>
2519.82/2520.00	v </instantiation>
2519.82/2520.00

Verifier Data 

OK	16492

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265794-1502571071/watcher-4265794-1502571071 -o /tmp/evaluation-result-4265794-1502571071/solver-4265794-1502571071 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11649 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265794-1502571071.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=13975, runsolver pid=13972

[startup+0.101095 s]*
/proc/loadavg: 2.00 2.01 2.05 4/181 13976
/proc/meminfo: memFree=31478300/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=36360 memory=9388 CPUtime=0.02 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 2556 0 0 0 2 0 0 0 20 0 1 0 45447792 37232640 2347 18446744073709551615 4194304 5972588 140723107363904 140723107351112 5338164 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9090 2347 766 435 0 2453 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 36360 KiB
Current children cumulated memory: 9388 KiB

[startup+0.209073 s]*
/proc/loadavg: 2.00 2.01 2.05 5/181 13976
/proc/meminfo: memFree=31419948/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=36756 memory=9916 CPUtime=0.13 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 2664 0 0 0 13 0 0 0 20 0 1 0 45447792 37638144 2479 18446744073709551615 4194304 5972588 140723107363904 140723107351112 5139312 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9189 2479 786 435 0 2552 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 36756 KiB
Current children cumulated memory: 9916 KiB

[startup+0.308769 s]*
/proc/loadavg: 2.00 2.01 2.05 4/181 13976
/proc/meminfo: memFree=31358300/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=36756 memory=9916 CPUtime=0.23 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 2671 0 0 0 23 0 0 0 20 0 1 0 45447792 37638144 2479 18446744073709551615 4194304 5972588 140723107363904 140723107351112 4935408 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9189 2479 786 435 0 2552 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 36756 KiB
Current children cumulated memory: 9916 KiB

[startup+0.700236 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 13976
/proc/meminfo: memFree=31236036/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=36884 memory=10072 CPUtime=0.61 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 2686 0 0 0 61 0 0 0 20 0 1 0 45447792 37769216 2518 18446744073709551615 4194304 5972588 140723107363904 140723107351112 4975584 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9221 2518 786 435 0 2584 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 36884 KiB
Current children cumulated memory: 10072 KiB

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 13976
/proc/meminfo: memFree=30934920/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=36884 memory=12120 CPUtime=1.41 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 2691 0 0 0 141 0 0 0 20 0 1 0 45447792 37769216 3030 18446744073709551615 4194304 5972588 140723107363904 140723107361128 4935585 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9221 3030 786 435 0 2584 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 36884 KiB
Current children cumulated memory: 12120 KiB

[startup+3.10877 s]
/proc/loadavg: 2.08 2.03 2.05 4/181 13976
/proc/meminfo: memFree=30296964/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=36884 memory=12168 CPUtime=3.02 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 3853 0 0 0 302 0 0 0 20 0 1 0 45447792 37769216 3042 18446744073709551615 4194304 5972588 140723107363904 140723107361352 5139327 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9221 3042 786 435 0 2584 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 36884 KiB
Current children cumulated memory: 12168 KiB

[startup+6.30023 s]
/proc/loadavg: 2.08 2.03 2.05 4/181 13976
/proc/meminfo: memFree=30296428/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=36884 memory=12196 CPUtime=6.21 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 4964 0 0 0 621 0 0 0 20 0 1 0 45447792 37769216 3049 18446744073709551615 4194304 5972588 140723107363904 140723107361352 4935502 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9221 3049 786 435 0 2584 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 36884 KiB
Current children cumulated memory: 12196 KiB

[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.05 5/181 13976
/proc/meminfo: memFree=30295236/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=36884 memory=12260 CPUtime=12.61 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 6148 0 0 0 1261 0 0 0 20 0 1 0 45447792 37769216 3065 18446744073709551615 4194304 5972588 140723107363904 140723107351096 4975114 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9221 3065 786 435 0 2584 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 36884 KiB
Current children cumulated memory: 12260 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 2.03 2.05 4/181 13976
/proc/meminfo: memFree=30294964/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12300 CPUtime=25.41 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 8426 0 0 0 2541 0 0 0 20 0 1 0 45447792 37904384 3075 18446744073709551615 4194304 5972588 140723107363904 140723107361352 5139327 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3075 786 435 0 2617 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12300 KiB

[startup+51.1089 s]
/proc/loadavg: 2.04 2.03 2.05 5/181 13976
/proc/meminfo: memFree=30292356/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12336 CPUtime=51.01 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 9650 0 0 0 5101 0 0 0 20 0 1 0 45447792 37904384 3084 18446744073709551615 4194304 5972588 140723107363904 140723107361128 5139338 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3084 791 435 0 2617 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12336 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 5/181 13978
/proc/meminfo: memFree=30291788/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12344 CPUtime=102.19 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 10782 0 0 0 10219 0 0 0 20 0 1 0 45447792 37904384 3086 18446744073709551615 4194304 5972588 140723107363904 140723107361128 5328649 0 0 1 8405026 0 0 0 17 0 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3086 791 435 0 2617 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12344 KiB

[startup+162.3 s]
/proc/loadavg: 1.96 2.00 2.04 4/181 13980
/proc/meminfo: memFree=30291252/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12364 CPUtime=162.2 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 11909 0 0 0 16219 1 0 0 20 0 1 0 45447792 37904384 3091 18446744073709551615 4194304 5972588 140723107363904 140723107361128 4935568 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3091 791 435 0 2617 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12364 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.04 4/185 13997
/proc/meminfo: memFree=30286688/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12372 CPUtime=222.2 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 13100 0 0 0 22219 1 0 0 20 0 1 0 45447792 37904384 3093 18446744073709551615 4194304 5972588 140723107363904 140723107361352 5139319 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3093 791 435 0 2617 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12372 KiB

[startup+282.3 s]
/proc/loadavg: 2.70 2.19 2.10 4/185 13999
/proc/meminfo: memFree=30286312/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12372 CPUtime=282.19 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 14225 0 0 0 28218 1 0 0 20 0 1 0 45447792 37904384 3093 18446744073709551615 4194304 5972588 140723107363904 140723107361352 5046292 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3093 791 435 0 2617 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12372 KiB

[startup+342.3 s]
/proc/loadavg: 2.45 2.23 2.12 4/182 14001
/proc/meminfo: memFree=30289784/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12380 CPUtime=342.19 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 15419 0 0 0 34218 1 0 0 20 0 1 0 45447792 37904384 3095 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5273388 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3095 791 435 0 2617 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12380 KiB

[startup+402.3 s]
/proc/loadavg: 2.16 2.18 2.12 4/182 14003
/proc/meminfo: memFree=30289936/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12384 CPUtime=402.19 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 16546 0 0 0 40218 1 0 0 20 0 1 0 45447792 37904384 3096 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5048473 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3096 791 435 0 2617 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12384 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 2.15 2.11 4/182 14005
/proc/meminfo: memFree=30290328/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12388 CPUtime=462.19 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 17674 0 0 0 46218 1 0 0 20 0 1 0 45447792 37904384 3097 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5139319 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3097 791 435 0 2617 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12388 KiB


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

/proc/13975/statm: 9254 3107 791 435 0 2617 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12428 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 14105
/proc/meminfo: memFree=30287584/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12428 CPUtime=1782.14 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 35457 0 0 0 178213 1 0 0 20 0 1 0 45447792 37904384 3107 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5048503 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3107 791 435 0 2617 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12428 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 14107
/proc/meminfo: memFree=30287460/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12436 CPUtime=1842.13 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 36191 0 0 0 184212 1 0 0 20 0 1 0 45447792 37904384 3109 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5139312 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3109 791 435 0 2617 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12436 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 14109
/proc/meminfo: memFree=30287456/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12436 CPUtime=1902.13 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 36850 0 0 0 190212 1 0 0 20 0 1 0 45447792 37904384 3109 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5139324 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3109 791 435 0 2617 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12436 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 14111
/proc/meminfo: memFree=30287472/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12436 CPUtime=1962.13 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 37583 0 0 0 196212 1 0 0 20 0 1 0 45447792 37904384 3109 18446744073709551615 4194304 5972588 140723107363904 140723107351096 4931747 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3109 791 435 0 2617 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12436 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/185 14128
/proc/meminfo: memFree=30283260/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12436 CPUtime=2022.13 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 38235 0 0 0 202212 1 0 0 20 0 1 0 45447792 37904384 3109 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5139312 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3109 791 435 0 2617 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12436 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/185 14130
/proc/meminfo: memFree=30282756/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12436 CPUtime=2082.12 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 38878 0 0 0 208211 1 0 0 20 0 1 0 45447792 37904384 3109 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5139329 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3109 791 435 0 2617 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12436 KiB

[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 4/182 14132
/proc/meminfo: memFree=30287112/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12440 CPUtime=2142.13 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 39603 0 0 0 214211 2 0 0 20 0 1 0 45447792 37904384 3110 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5139329 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3110 791 435 0 2617 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12440 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 4/182 14134
/proc/meminfo: memFree=30287228/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12440 CPUtime=2202.13 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 40309 0 0 0 220211 2 0 0 20 0 1 0 45447792 37904384 3110 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5046704 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3110 791 435 0 2617 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12440 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/182 14136
/proc/meminfo: memFree=30287468/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12440 CPUtime=2262.12 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 40973 0 0 0 226210 2 0 0 20 0 1 0 45447792 37904384 3110 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5139327 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3110 791 435 0 2617 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12440 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 14138
/proc/meminfo: memFree=30287336/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12440 CPUtime=2322.12 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 41630 0 0 0 232210 2 0 0 20 0 1 0 45447792 37904384 3110 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5046659 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3110 791 435 0 2617 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12440 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 14140
/proc/meminfo: memFree=30287336/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12444 CPUtime=2382.12 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 42361 0 0 0 238210 2 0 0 20 0 1 0 45447792 37904384 3111 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5139327 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3111 791 435 0 2617 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12444 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 14142
/proc/meminfo: memFree=30287628/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12444 CPUtime=2442.12 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 42999 0 0 0 244210 2 0 0 20 0 1 0 45447792 37904384 3111 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5328036 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3111 791 435 0 2617 0
Current children cumulated CPU time: 2442.12 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12444 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 14144
/proc/meminfo: memFree=30287752/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12444 CPUtime=2502.12 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 43638 0 0 0 250210 2 0 0 20 0 1 0 45447792 37904384 3111 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5139329 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3111 791 435 0 2617 0
Current children cumulated CPU time: 2502.12 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12444 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 4/180 14144
/proc/meminfo: memFree=30288768/32770624 swapFree=67108860/67108860
[pid=13975] ppid=13972 vsize=37016 memory=12444 CPUtime=2519.82 cores=0,2,4,6
/proc/13975/stat : 13975 (cosoco) R 13972 13975 11586 0 -1 4202496 44266 0 0 0 251980 2 0 0 20 0 1 0 45447792 37904384 3111 18446744073709551615 4194304 5972588 140723107363904 140723107351096 5046712 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 15638528 140723107369412 140723107369512 140723107369512 140723107373006 0
/proc/13975/statm: 9254 3111 791 435 0 2617 0
Current children cumulated CPU time: 2519.82 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 12444 KiB

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

[startup+2520.01 s]
# the end of solver process 13975 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.81 s, system=0.020999 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.83
CPU user time (s): 2519.81
CPU system time (s): 0.020999
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 37016
Max. memory (cumulated for all children) (KiB): 12444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.81
system time used= 0.020999
maximum resident set size= 12524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44323
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= 11
involuntary context switches= 3144


# summary of solver processes directly reported to runsolver:
#   pid: 13975
#   total CPU time (s): 2519.83
#   total CPU user time (s): 2519.81
#   total CPU system time (s): 0.020999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.30088 second user time and 15.4111 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-12 22:36:55
IDJOB=4265794
IDBENCH=123084
IDSOLVER=2655
FILE ID=node124/4265794-1502571071
RUNJOBID= node124-1502565138-11649
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-lipa20b.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265794-1502571071/watcher-4265794-1502571071 -o /tmp/evaluation-result-4265794-1502571071/solver-4265794-1502571071 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11649 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265794-1502571071.xml

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

MD5SUM BENCH= 2a1cb6febb6ec7dbf2abb0b9e0866987
RANDOM SEED=1201810319

node124.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.51
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.51
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.51
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.51
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:        31493780 kB
MemAvailable:   32008892 kB
Buffers:          243020 kB
Cached:           564652 kB
SwapCached:            0 kB
Active:           355852 kB
Inactive:         503136 kB
Active(anon):      51384 kB
Inactive(anon):    24960 kB
Active(file):     304468 kB
Inactive(file):   478176 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4676 kB
Writeback:             4 kB
AnonPages:         51416 kB
Mapped:            41060 kB
Shmem:             25320 kB
Slab:             121988 kB
SReclaimable:      96604 kB
SUnreclaim:        25384 kB
KernelStack:        3152 kB
PageTables:         4624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     300508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62028 MiB
End job on node124 at 2017-08-12 23:18:55