Trace number 4292804

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 NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2520.02 2520.01

General information on the benchmark

NameColouredQueens/
ColouredQueens-09_c18.xml
MD5SUM698e4c4133fb0965f93dce5d7165b624
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of constraints48
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":81}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":77}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":48}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.12 --  
0.00/0.00	c
0.00/0.00	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4292804-1532293353.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 81
0.00/0.00	c |            Domain Sizes: 9..9
0.00/0.00	c |
0.00/0.00	c |             Constraints: 48
0.00/0.00	c |                   Arity: 2..9  -- Binary: 4  -- Ternary: 4
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          (X != Y): 4
0.00/0.00	c |                          All Different: 44
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c 101            351            13401          17992          0              0              24   36   29   
0.00/0.04	c 211            719            29061          40029          0              0              23   39   29   
0.00/0.06	c 332            1163           46050          63382          0              0              26   40   32   
0.00/0.09	c 465            1735           71724          97798          0              0              21   36   27   
0.10/0.11	c 611            2152           87852          121104         0              0              24   39   29   
0.10/0.14	c 771            2780           112956         154383         0              0              24   40   29   
0.10/0.17	c 947            3295           134901         186736         0              0              21   37   29   
0.10/0.20	c 1140           3795           159544         225744         0              0              24   42   30   
0.21/0.23	c 1352           4470           187798         263688         0              0              18   37   28   
0.21/0.28	c 1585           5307           222232         311913         0              0              22   40   29   
0.31/0.32	c 1841           6128           255537         360133         0              0              22   39   29   
0.31/0.37	c 2122           7080           299633         424143         0              0              21   39   31   
0.31/0.41	c 2431           7911           330059         470317         0              0              23   44   32   
0.41/0.48	c 2770           9191           381824         550639         0              0              22   40   31   
0.51/0.54	c 3142           10499          434561         620838         0              0              23   40   29   
0.60/0.61	c 3551           11888          486884         693662         0              0              21   42   30   
0.60/0.68	c 4000           13442          549283         776479         0              0              24   41   31   
0.69/0.77	c 4493           15082          622700         882166         0              0              21   41   30   
0.79/0.87	c 5035           17096          701536         991529         0              0              21   41   30   
0.89/0.99	c 5631           19347          796324         1127162        0              0              20   41   28   
1.00/1.07	c 6286           21400          862593         1229414        0              0              17   45   34   
1.10/1.20	c 7006           23573          963114         1367546        0              0              20   37   28   
1.29/1.34	c 7798           26561          1078290        1525382        0              0              21   40   29   
1.39/1.47	c 8669           29534          1187589        1671253        0              0              15   44   30   
1.59/1.63	c 9627           32325          1310764        1844404        0              0              22   43   30   
1.79/1.80	c 10680          35572          1450070        2027305        0              0              22   39   29   
1.89/1.98	c 11838          38827          1597238        2259045        0              0              21   42   32   
2.10/2.17	c 13111          42688          1751850        2466606        0              0              21   45   30   
2.39/2.42	c 14511          47173          1956528        2746880        0              0              18   42   28   
2.59/2.63	c 16051          51423          2117565        3000928        0              0              20   44   33   
2.89/2.90	c 17745          56567          2343170        3325776        0              0              19   42   29   
3.19/3.20	c 19608          62329          2584065        3678653        0              0              19   41   30   
3.49/3.52	c 21657          68886          2840304        4047824        0              0              20   43   31   
3.79/3.84	c 23910          75163          3095240        4419688        0              0              21   45   30   
4.19/4.25	c 26388          83105          3429199        4877022        0              0              21   45   29   
4.59/4.68	c 29113          91333          3776680        5382580        0              0              22   44   31   
5.10/5.16	c 32110          101423         4163901        5901265        0              0              18   48   29   
5.69/5.73	c 35406          113009         4628847        6563387        0              0              20   45   30   
6.19/6.22	c 39031          122694         5012547        7161810        0              0              19   44   33   
6.79/6.84	c 43018          135467         5514674        7879703        0              0              19   44   30   
7.49/7.56	c 47403          149755         6099410        8663026        0              0              17   43   28   
8.10/8.17	c 52226          162546         6578162        9478288        0              0              19   44   31   
8.89/8.96	c 57531          178449         7216211        10418229       0              0              20   44   30   
9.89/9.91	c 63366          197465         7997213        11504362       0              0              19   45   29   
10.89/10.93	c 69784          218351         8816813        12705873       0              0              19   46   30   
11.89/11.90	c 76843          238048         9570821        13888434       0              0              20   45   31   
13.10/13.16	c 84607          265422         10578560       15340216       0              0              18   46   30   
14.49/14.55	c 93147          293163         11686918       16920253       0              0              18   43   30   
16.10/16.14	c 102541         322562         12940170       18691679       0              0              19   46   30   
17.89/17.94	c 112874         357921         14397813       20751905       0              0              18   42   28   
19.89/19.93	c 124240         397618         16001852       23083996       0              0              18   42   29   
21.59/21.69	c 136742         436365         17444410       25099380       0              0              17   46   30   
23.89/23.96	c 150494         478949         19274334       27867302       0              0              17   45   29   
26.19/26.27	c 165621         527326         21151502       30641524       0              0              19   44   30   
29.00/29.08	c 182260         586417         23406178       34107156       0              0              18   47   31   
31.89/31.92	c 200562         642747         25715257       37419080       0              0              18   45   29   
35.10/35.17	c 220694         708453         28363239       41078619       0              0              16   45   29   
38.59/38.68	c 242839         781965         31224552       45085537       0              0              17   48   30   
42.89/42.95	c 267198         866217         34684263       50014876       0              0              16   45   28   
47.59/47.61	c 293992         960601         38413830       55184853       0              0              15   47   29   
52.00/52.10	c 323465         1049545        41976005       60412831       0              0              19   51   31   
57.29/57.38	c 355885         1159249        46304553       66637944       0              0              17   46   29   
62.89/62.96	c 391547         1276552        50843990       72929736       0              0              18   45   30   
69.59/69.68	c 430775         1411724        56265194       80982938       0              0              17   46   29   
75.89/76.00	c 473925         1540669        61382588       88642631       0              0              17   47   30   
82.79/82.83	c 521390         1676136        66756661       96779810       0              0              19   50   31   
90.79/90.86	c 573601         1833717        73069458       106165364      0              0              17   47   32   
99.89/99.91	c 631033         2028982        80438846       116820081      0              0              16   48   30   
109.10/109.17	c 694208         2205554        87714982       128028910      0              0              17   46   30   
121.29/121.30	c 763700         2440645        97475410       142529482      0              0              16   46   28   
134.49/134.53	c 840141         2710298        108161882      157354450      0              0              16   46   30   
145.79/145.82	c 924226         2932497        116959861      171435917      0              0              17   49   32   
158.89/158.92	c 1016719        3220915        127375012      187432099      0              0              17   60   32   
177.10/177.19	c 1118461        3560246        141995443      209113169      0              0              15   49   29   
194.10/194.16	c 1230377        3910081        155603274      229690173      0              0              16   50   31   
215.79/215.88	c 1353484        4320189        173026952      255109945      0              0              15   49   29   
238.69/238.76	c 1488901        4760740        191519206      281527338      0              0              16   48   28   
260.10/260.18	c 1637859        5185522        208519243      307398045      0              0              17   47   30   
285.59/285.62	c 1801712        5676557        228716276      337323364      0              0              16   50   31   
315.49/315.54	c 1981950        6245191        252625885      371760857      0              0              15   47   30   
349.00/349.05	c 2180211        6911087        279872046      409380999      0              0              13   49   28   
382.79/382.84	c 2398298        7582182        306821592      449574657      0              0              16   47   29   
423.00/423.02	c 2638193        8401486        338915795      494138808      0              0              14   45   28   
463.29/463.35	c 2902077        9264415        371578952      540250681      0              0              15   51   30   
510.79/510.82	c 3192349        10247516       410355449      594080973      0              0              15   50   29   
562.89/562.94	c 3511648        11312568       452701097      653447761      0              0              13   48   28   
615.59/615.62	c 3862876        12361505       494562519      717194240      0              0              17   49   30   
679.49/679.52	c 4249226        13666143       546773226      789381463      0              0              14   47   29   
745.89/745.91	c 4674211        15003201       600829755      864686133      0              0              13   51   29   
818.79/818.80	c 5141694        16503773       658708790      950271022      0              0              15   52   31   
902.00/902.07	c 5655925        18190536       726415005      1045448203     0              0              15   51   29   
992.60/992.66	c 6221579        20168228       800090968      1147583036     0              0              15   49   29   
1089.50/1089.55	c 6843798        22073069       877374323      1260947141     0              0              16   50   30   
1197.70/1197.80	c 7528238        24310252       965950036      1385570088     0              0              14   51   30   
1312.00/1312.06	c 8281122        26597583       1056357621     1521151248     0              0              15   49   30   
1451.60/1451.67	c 9109294        29488899       1169476137     1675782227     0              0              14   50   28   
1606.80/1606.88	c 10020283       32689562       1294840063     1849537592     0              0              15   50   30   
1769.70/1769.74	c 11022370       36010934       1427533068     2037836691     0              0              13   51   29   
1952.90/1953.00	c 12124665       39690935       1573581535     2246018707     0              0              14   54   30   
2149.70/2149.78	c 13337189       43827856       1733611392     2467030012     0              0              13   52   29   
2379.80/2379.81	c 14670965       48338675       1918424810     2734762169     0              0              14   50   28   
2520.01/2520.00	
2520.01/2520.00	c *** INTERRUPTED ***
2520.01/2520.00	c restarts              : 101         
2520.01/2520.00	c conflicts             : 15533253     (6164 /sec)
2520.01/2520.00	c decisions             : 51412381     (20402 /sec)
2520.01/2520.00	c propagations          : 2891115436  (1147262 /sec)
2520.01/2520.00	c root propagations     : 0           
2520.01/2520.00	c filter calls          : 2033933419     (807112 /sec)
2520.01/2520.00	c useless filter calls  : 1108615939     (54 %)
2520.01/2520.00	c Memory used           : 26.66 MB
2520.01/2520.00	c CPU time              : 2520.01 s
2520.01/2520.00	
2520.01/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 (13097 MiB free)
  memory of node 1: 16384 MiB (13785 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292804-1532293353/watcher-4292804-1532293353 -o /tmp/evaluation-result-4292804-1532293353/solver-4292804-1532293353 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10563 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292804-1532293353.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10714, runsolver pid=10711
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 1.96 2.05 1.99 3/193 10715
/proc/meminfo: memFree=27527808/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3672 CPUtime=0.1 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1113 0 0 0 10 0 0 0 20 0 1 0 46898495 27947008 918 33554432000 4194304 6142532 140727419092096 140727419088728 5058182 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 918 803 476 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.209478 s]*
/proc/loadavg: 1.96 2.05 1.99 3/193 10715
/proc/meminfo: memFree=27527808/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3672 CPUtime=0.21 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1113 0 0 0 21 0 0 0 20 0 1 0 46898495 27947008 918 33554432000 4194304 6142532 140727419092096 140727419088728 5175264 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 918 803 476 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.309117 s]*
/proc/loadavg: 1.96 2.05 1.99 3/193 10715
/proc/meminfo: memFree=27527808/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3672 CPUtime=0.31 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1113 0 0 0 31 0 0 0 20 0 1 0 46898495 27947008 918 33554432000 4194304 6142532 140727419092096 140727419088728 5058760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 918 803 476 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.700226 s]
/proc/loadavg: 1.96 2.05 1.99 3/193 10715
/proc/meminfo: memFree=27527808/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3672 CPUtime=0.69 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1113 0 0 0 69 0 0 0 20 0 1 0 46898495 27947008 918 33554432000 4194304 6142532 140727419092096 140727419088728 5058259 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 918 803 476 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+1.50022 s]
/proc/loadavg: 1.96 2.05 1.99 3/193 10715
/proc/meminfo: memFree=27528016/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3672 CPUtime=1.49 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1113 0 0 0 149 0 0 0 20 0 1 0 46898495 27947008 918 33554432000 4194304 6142532 140727419092096 140727419089496 5058268 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 918 803 476 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+3.10927 s]
/proc/loadavg: 1.96 2.05 1.99 3/193 10715
/proc/meminfo: memFree=27528376/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=3.1 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1170 0 0 0 310 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5058369 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+6.30022 s]
/proc/loadavg: 1.96 2.05 1.99 3/193 10715
/proc/meminfo: memFree=27528088/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=6.29 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1228 0 0 0 629 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5336789 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+12.7002 s]
/proc/loadavg: 1.97 2.05 1.99 3/193 10715
/proc/meminfo: memFree=27528088/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=12.69 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1285 0 0 0 1269 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5058809 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+25.5002 s]
/proc/loadavg: 1.97 2.04 1.99 3/193 10715
/proc/meminfo: memFree=27528564/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=25.49 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1399 0 0 0 2549 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5062205 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+51.109 s]
/proc/loadavg: 1.98 2.04 1.99 3/193 10715
/proc/meminfo: memFree=27528812/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=51.1 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1456 0 0 0 5110 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5059558 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.04 1.99 3/192 10716
/proc/meminfo: memFree=27528720/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=102.29 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1513 0 0 0 10229 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5060790 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/192 10717
/proc/meminfo: memFree=27529508/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=162.29 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1571 0 0 0 16229 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5058873 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/190 10718
/proc/meminfo: memFree=27529092/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=222.29 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1629 0 0 0 22229 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5060713 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/190 10719
/proc/meminfo: memFree=27529184/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=282.29 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1687 0 0 0 28229 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5062254 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 10721
/proc/meminfo: memFree=27529548/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=342.29 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1745 0 0 0 34229 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5058694 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/192 10723
/proc/meminfo: memFree=27529880/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=402.29 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1803 0 0 0 40229 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5331416 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/193 10732
/proc/meminfo: memFree=27529036/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=462.29 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 1861 0 0 0 46229 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5060745 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB


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

/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 10775
/proc/meminfo: memFree=27527852/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=1782.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3031 0 0 0 178230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5058100 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10776
/proc/meminfo: memFree=27527872/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=1842.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3080 0 0 0 184230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5060176 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10777
/proc/meminfo: memFree=27527868/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=1902.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3130 0 0 0 190230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5060528 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10779
/proc/meminfo: memFree=27528100/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=1962.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3188 0 0 0 196230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5062291 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10780
/proc/meminfo: memFree=27528192/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=2022.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3233 0 0 0 202230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5061873 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10781
/proc/meminfo: memFree=27528068/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=2082.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3278 0 0 0 208230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5061186 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10782
/proc/meminfo: memFree=27528192/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=2142.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3323 0 0 0 214230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5058063 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10784
/proc/meminfo: memFree=27528044/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=2202.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3381 0 0 0 220230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5175278 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10793
/proc/meminfo: memFree=27527288/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=2262.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3426 0 0 0 226230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5060847 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10794
/proc/meminfo: memFree=27527716/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=2322.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3471 0 0 0 232230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5331024 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10817
/proc/meminfo: memFree=27527468/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=2382.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3529 0 0 0 238230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5058694 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10818
/proc/meminfo: memFree=27527832/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=2442.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3574 0 0 0 244230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5061899 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10819
/proc/meminfo: memFree=27527580/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=2502.3 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3619 0 0 0 250230 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5058075 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 2502.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 10880
/proc/meminfo: memFree=27527820/32770624 swapFree=67108860/67108860
[pid=10714] ppid=10711 vsize=27292 memory=3824 CPUtime=2520.01 cores=1,3,5,7
/proc/10714/stat : 10714 (cosoco) R 10711 10714 10531 0 -1 4202496 3664 0 0 0 252001 0 0 0 20 0 1 0 46898495 27947008 956 33554432000 4194304 6142532 140727419092096 140727419089496 5061191 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 27365376 140727419094150 140727419094280 140727419094280 140727419097038 0
/proc/10714/statm: 6823 956 839 476 0 145 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3824 KiB

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

[startup+2520.01 s]
# the end of solver process 10714 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.01 s, system=0.003 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): 2520.02
CPU user time (s): 2520.01
CPU system time (s): 0.003
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 27292
Max. memory (cumulated for all children) (KiB): 3824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.003
maximum resident set size= 3888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3712
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= 6
involuntary context switches= 632


# summary of solver processes directly reported to runsolver:
#   pid: 10714
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2520.01
#   total CPU system time (s): 0.003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.16299 second user time and 16.7967 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-22 23:02:33
IDJOB=4292804
IDBENCH=141019
IDSOLVER=2752
FILE ID=node134/4292804-1532293353
RUNJOBID= node134-1532293349-10563
PBS_JOBID= 21018978
Free space on /tmp= 55992 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/ColouredQueens/ColouredQueens-09_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292804-1532293353/watcher-4292804-1532293353 -o /tmp/evaluation-result-4292804-1532293353/solver-4292804-1532293353 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10563 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4292804-1532293353.xml

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

MD5SUM BENCH= 698e4c4133fb0965f93dce5d7165b624
RANDOM SEED=1395571954

node134.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.68
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.68
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.68
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.68
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:        27528424 kB
MemAvailable:   31976752 kB
Buffers:          173584 kB
Cached:          4539204 kB
SwapCached:            0 kB
Active:          1381452 kB
Inactive:        3386888 kB
Active(anon):       4956 kB
Inactive(anon):    70304 kB
Active(file):    1376496 kB
Inactive(file):  3316584 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2912 kB
Writeback:             0 kB
AnonPages:         75044 kB
Mapped:            38568 kB
Shmem:             17056 kB
Slab:             170248 kB
SReclaimable:     142168 kB
SUnreclaim:        28080 kB
KernelStack:        3664 kB
PageTables:         5536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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= 55992 MiB
End job on node134 at 2018-07-22 23:44:33