Trace number 4295828

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) 2519.96 2520.01

General information on the benchmark

NameQuasigroups/
QuasiGroup-7-12_c18.xml
MD5SUM70b2a7c07aa80f8552a525257c8c3e20
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 variables288
Number of constraints266
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":276}]
Minimum variable degree0
Maximum variable degree25
Distribution of variable degrees[{"degree":0,"count":12},{"degree":2,"count":132},{"degree":24,"count":12},{"degree":25,"count":132}]
Minimum constraint arity12
Maximum constraint arity144
Distribution of constraint arities[{"arity":12,"count":1},{"arity":14,"count":264},{"arity":144,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":264}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 60          
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295828-1532573948.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 288
0.00/0.01	c |            Domain Sizes: 12..12
0.00/0.01	c |
0.00/0.01	c |             Constraints: 300
0.00/0.01	c |                   Arity: 1..14  -- Unary: 12
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 24
0.00/0.01	c |                          Element Variable: 264
0.00/0.01	c |                          Unary: 12
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable y[0][0]
0.00/0.01	c remove useless variable y[1][1]
0.00/0.01	c remove useless variable y[2][2]
0.00/0.01	c remove useless variable y[3][3]
0.00/0.01	c remove useless variable y[4][4]
0.00/0.01	c remove useless variable y[5][5]
0.00/0.01	c remove useless variable y[6][6]
0.00/0.01	c remove useless variable y[7][7]
0.00/0.01	c remove useless variable y[8][8]
0.00/0.01	c remove useless variable y[9][9]
0.00/0.01	c remove useless variable y[10][10]
0.00/0.01	c remove useless variable y[11][11]
0.00/0.03	c 101            387            42728          17750          54             0              54   79   63   
0.00/0.05	c 211            752            81632          28698          54             0              32   49   37   
0.00/0.07	c 332            1162           139164         48831          54             0              38   66   53   
0.00/0.10	c 465            1721           214768         75579          54             0              31   60   47   
0.10/0.14	c 611            2187           295992         108158         54             0              36   57   48   
0.10/0.17	c 771            2669           366979         135198         54             0              31   57   44   
0.10/0.19	c 947            3200           434240         157110         54             0              33   59   49   
0.21/0.23	c 1140           3958           535435         202206         54             0              38   58   46   
0.21/0.27	c 1352           4680           612874         232337         54             0              31   60   48   
0.21/0.31	c 1585           5518           717642         281973         54             0              36   62   48   
0.31/0.38	c 1841           6560           876069         342210         54             0              33   63   45   
0.41/0.43	c 2122           7579           1006081        392280         54             0              38   60   49   
0.41/0.49	c 2431           8773           1149107        455402         54             0              36   71   56   
0.51/0.54	c 2770           9780           1282637        515248         54             0              28   67   53   
0.51/0.60	c 3142           11060          1437300        571794         54             0              35   63   48   
0.60/0.65	c 3551           12257          1549167        621002         54             0              20   58   46   
0.69/0.71	c 4000           13497          1701963        688128         54             0              27   55   37   
0.79/0.82	c 4493           15147          1969535        797787         54             0              39   61   51   
0.89/0.92	c 5035           16835          2211602        897922         54             0              40   65   48   
1.00/1.05	c 5631           18812          2527587        1025804        54             0              25   57   45   
1.19/1.20	c 6286           21191          2894423        1163480        54             0              37   61   50   
1.29/1.31	c 7006           23291          3171082        1260489        54             0              38   61   47   
1.39/1.47	c 7798           25997          3540806        1450519        54             0              40   62   48   
1.59/1.60	c 8669           28757          3871509        1602178        54             0              18   62   49   
1.69/1.70	c 9627           31126          4124525        1726836        54             0              38   63   53   
1.79/1.89	c 10680          34114          4579866        1918480        54             0              38   60   49   
2.00/2.09	c 11838          38053          5087398        2162534        54             0              38   68   53   
2.29/2.30	c 13111          41820          5590751        2418254        54             0              40   68   54   
2.49/2.52	c 14511          46378          6148694        2647823        54             0              40   67   53   
2.79/2.83	c 16051          51374          6899076        2997659        54             0              36   61   48   
3.10/3.16	c 17745          57042          7717060        3306339        54             0              33   60   46   
3.39/3.42	c 19608          62694          8359961        3627802        54             0              41   70   52   
3.69/3.73	c 21657          69326          9121537        3966460        54             0              18   69   52   
4.00/4.08	c 23910          76681          9991383        4342927        54             0              39   67   52   
4.49/4.54	c 26388          84419          11110125       4781087        54             0              40   63   49   
5.10/5.13	c 29113          94515          12561585       5336246        54             0              35   67   48   
5.69/5.75	c 32110          105419         14083162       5975037        54             0              36   66   50   
6.29/6.30	c 35406          115441         15444334       6572663        54             0              34   66   49   
6.79/6.85	c 39031          126713         16805141       7129506        54             0              32   67   49   
7.39/7.49	c 43018          138251         18392555       7807395        54             0              37   66   50   
8.29/8.36	c 47403          153314         20529126       8671173        54             0              38   67   51   
9.10/9.18	c 52226          168680         22580065       9491667        54             0              38   64   48   
9.89/9.94	c 57531          182940         24489559       10399589       54             0              35   67   50   
10.79/10.84	c 63366          201117         26715671       11311756       54             0              27   65   48   
11.69/11.79	c 69784          218409         29039203       12361589       54             0              38   69   52   
12.89/12.98	c 76843          238161         31972980       13686306       54             0              36   62   49   
14.79/14.80	c 84607          269714         36459992       15502058       54             0              32   65   48   
16.00/16.07	c 93147          293985         39685503       16723423       54             0              22   65   48   
17.69/17.74	c 102541         324743         43811720       18208900       54             0              31   65   49   
19.49/19.52	c 112874         352974         48211463       20020325       54             0              38   67   51   
21.19/21.27	c 124240         388133         52473327       21538835       54             0              34   64   46   
23.19/23.23	c 136742         428885         57298503       23348924       54             0              22   64   43   
25.49/25.57	c 150494         472522         63139897       25739665       54             0              32   67   49   
28.29/28.39	c 165621         524702         70156279       28457738       54             0              35   73   49   
31.59/31.64	c 182260         580711         78243700       31598249       54             0              38   67   50   
34.89/34.90	c 200562         638356         86182195       34797607       54             0              34   67   48   
38.39/38.43	c 220694         701993         94648611       38570753       54             0              25   65   49   
42.39/42.46	c 242839         777817         104457379      42729730       54             0              34   66   47   
46.79/46.82	c 267198         854312         115361096      47134512       54             0              33   64   47   
51.29/51.32	c 293992         934623         126456277      52133399       54             0              37   73   53   
56.29/56.36	c 323465         1028045        139032653      57235068       54             0              34   66   49   
60.29/60.36	c 355885         1104177        149026279      61921030       54             0              33   66   49   
65.79/65.84	c 391547         1217020        162754672      67715800       54             0              34   67   49   
72.29/72.37	c 430775         1338249        179057082      74506067       54             0              38   69   51   
78.39/78.42	c 473925         1457117        194254406      81154680       54             0              33   69   47   
86.29/86.35	c 521390         1592318        213845385      89499614       54             0              32   67   50   
96.29/96.36	c 573601         1759725        238638720      99246714       54             0              34   68   50   
105.10/105.13	c 631033         1948898        260727620      109145696      54             0              32   67   48   
115.19/115.20	c 694208         2137664        285598578      120507914      54             0              36   71   51   
126.79/126.82	c 763700         2349145        314720509      131987756      54             0              29   70   48   
137.29/137.36	c 840141         2558880        341907648      144615016      54             0              32   69   48   
150.00/150.04	c 924226         2793659        373539718      157757883      54             0              32   71   49   
165.39/165.48	c 1016719        3091429        412241798      174459246      54             0              33   76   54   
179.59/179.68	c 1118461        3370201        447898984      189893604      54             0              34   69   51   
197.79/197.88	c 1230377        3711543        492928730      208949871      54             0              32   71   50   
219.59/219.64	c 1353484        4055943        546686029      231400399      54             0              32   70   48   
244.89/244.92	c 1488901        4489657        609143297      257695823      54             0              25   71   49   
268.78/268.85	c 1637859        4934697        666999858      282122961      54             0              32   69   50   
292.28/292.30	c 1801712        5401788        725688253      307721319      54             0              32   68   48   
323.68/323.71	c 1981950        5942465        803674077      340476634      54             0              33   68   49   
356.38/356.40	c 2180211        6536677        885142749      376754837      54             0              37   73   53   
386.78/386.88	c 2398298        7091044        960258526      409038659      54             0              33   67   49   
426.68/426.72	c 2638193        7808818        1059383009     448299460      54             0              33   71   49   
478.48/478.55	c 2902077        8658234        1187586492     498794378      54             0              32   68   48   
532.18/532.26	c 3192349        9544254        1321398268     552763119      54             0              31   67   47   
598.48/598.53	c 3511648        10577729       1485794610     617727177      54             0              34   69   48   
654.18/654.23	c 3862876        11679652       1625938051     678649485      54             0              31   72   47   
723.08/723.18	c 4249226        12831900       1797852531     748568338      54             0              32   67   48   
796.87/796.92	c 4674211        14131743       1980689701     827785666      54             0              30   72   50   
879.17/879.28	c 5141694        15539429       2184110943     914849733      54             0              34   75   51   
961.87/961.96	c 5655925        16994367       2390726813     1004683120     54             0              32   71   49   
1073.77/1073.89	c 6221579        18831455       2668610712     1114341331     54             0              30   70   48   
1189.07/1189.12	c 6843798        20739443       2952777115     1234463322     54             0              32   74   51   
1304.86/1304.95	c 7528238        22847764       3238406987     1358587921     54             0              32   75   51   
1412.36/1412.40	c 8281122        24768467       3506724370     1479314095     54             0              32   73   52   
1560.46/1560.54	c 9109294        27277666       3874630851     1628161848     54             0              25   73   51   
1711.96/1712.01	c 10020283       30074525       4254354371     1773839308     54             0              29   70   49   
1871.55/1871.61	c 11022370       33157330       4654400950     1947628038     54             0              29   70   48   
2057.35/2057.49	c 12124665       36208410       5120211949     2131485560     54             0              30   71   49   
2253.96/2254.09	c 13337189       39814650       5613080505     2331955127     54             0              29   72   47   
2492.05/2492.19	c 14670965       43962808       6203184686     2570366111     54             0              29   76   50   
2519.95/2520.00	
2519.95/2520.00	c *** INTERRUPTED ***
2519.95/2520.00	c restarts              : 101         
2519.95/2520.00	c conflicts             : 14839164     (5889 /sec)
2519.95/2520.00	c decisions             : 44470038     (17647 /sec)
2519.95/2520.00	c propagations          : 2598877239  (1031318 /sec)
2519.95/2520.00	c root propagations     : 60          
2519.95/2520.00	c filter calls          : 6272572212     (2489157 /sec)
2519.95/2520.00	c useless filter calls  : 5573128492     (88 %)
2519.95/2520.00	c Memory used           : 27.43 MB
2519.95/2520.00	c CPU time              : 2519.96 s
2519.95/2520.00	
2519.95/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 (11622 MiB free)
  memory of node 1: 16384 MiB (9669 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295828-1532573948/watcher-4295828-1532573948 -o /tmp/evaluation-result-4295828-1532573948/solver-4295828-1532573948 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30487 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295828-1532573948.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=2324, runsolver pid=2321

[startup+0.100121 s]*
/proc/loadavg: 2.16 2.05 2.06 3/187 2325
/proc/meminfo: memFree=21802252/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4464 CPUtime=0.1 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 1310 0 0 0 10 0 0 0 20 0 1 0 74958018 28758016 1116 33554432000 4194304 6142532 140728490116496 140728490113128 5060834 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1116 815 476 0 343 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+0.209417 s]*
/proc/loadavg: 2.16 2.05 2.06 3/187 2325
/proc/meminfo: memFree=21802252/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4464 CPUtime=0.21 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 1310 0 0 0 21 0 0 0 20 0 1 0 74958018 28758016 1116 33554432000 4194304 6142532 140728490116496 140728490113128 5175056 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1116 815 476 0 343 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+0.308875 s]*
/proc/loadavg: 2.16 2.05 2.06 3/187 2325
/proc/meminfo: memFree=21802252/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4464 CPUtime=0.31 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 1310 0 0 0 31 0 0 0 20 0 1 0 74958018 28758016 1116 33554432000 4194304 6142532 140728490116496 140728490113128 5347469 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1116 815 476 0 343 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+0.700268 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 2325
/proc/meminfo: memFree=21802228/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4464 CPUtime=0.69 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 1311 0 0 0 69 0 0 0 20 0 1 0 74958018 28758016 1116 33554432000 4194304 6142532 140728490116496 140728490113896 5175056 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1116 815 476 0 343 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+1.50027 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 2325
/proc/meminfo: memFree=21802276/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4464 CPUtime=1.49 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 1311 0 0 0 149 0 0 0 20 0 1 0 74958018 28758016 1116 33554432000 4194304 6142532 140728490116496 140728490113896 5332498 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1116 815 476 0 343 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+3.10896 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 2325
/proc/meminfo: memFree=21802288/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4620 CPUtime=3.1 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 1552 0 0 0 310 0 0 0 20 0 1 0 74958018 28758016 1155 33554432000 4194304 6142532 140728490116496 140728490113896 5060763 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1155 848 476 0 343 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4620 KiB

[startup+6.30026 s]
/proc/loadavg: 2.15 2.05 2.06 3/187 2325
/proc/meminfo: memFree=21802228/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4624 CPUtime=6.29 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 1795 0 0 0 629 0 0 0 20 0 1 0 74958018 28758016 1156 33554432000 4194304 6142532 140728490116496 140728490113896 5347477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1156 848 476 0 343 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4624 KiB

[startup+12.7003 s]
/proc/loadavg: 2.14 2.05 2.06 3/187 2325
/proc/meminfo: memFree=21802232/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4624 CPUtime=12.69 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 2037 0 0 0 1269 0 0 0 20 0 1 0 74958018 28758016 1156 33554432000 4194304 6142532 140728490116496 140728490113896 5175056 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1156 848 476 0 343 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4624 KiB

[startup+25.5003 s]
/proc/loadavg: 2.11 2.04 2.05 3/187 2325
/proc/meminfo: memFree=21802108/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4624 CPUtime=25.49 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 2521 0 0 0 2549 0 0 0 20 0 1 0 74958018 28758016 1156 33554432000 4194304 6142532 140728490116496 140728490113896 5060730 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1156 848 476 0 343 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4624 KiB

[startup+51.109 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 2325
/proc/meminfo: memFree=21802108/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4624 CPUtime=51.1 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 2764 0 0 0 5110 0 0 0 20 0 1 0 74958018 28758016 1156 33554432000 4194304 6142532 140728490116496 140728490113896 5058360 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1156 848 476 0 343 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4624 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 2334
/proc/meminfo: memFree=21801816/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4628 CPUtime=102.29 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 3007 0 0 0 10229 0 0 0 20 0 1 0 74958018 28758016 1157 33554432000 4194304 6142532 140728490116496 140728490113896 5084000 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1157 848 476 0 343 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4628 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 2359
/proc/meminfo: memFree=21801752/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4628 CPUtime=162.29 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 3250 0 0 0 16229 0 0 0 20 0 1 0 74958018 28758016 1157 33554432000 4194304 6142532 140728490116496 140728490113896 4990603 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1157 848 476 0 343 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4628 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 2360
/proc/meminfo: memFree=21801560/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=222.29 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 3494 0 0 0 22229 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5058092 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 2361
/proc/meminfo: memFree=21801376/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=282.28 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 3737 0 0 0 28228 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5175056 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2362
/proc/meminfo: memFree=21801540/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=342.28 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 3980 0 0 0 34228 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5175264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2363
/proc/meminfo: memFree=21801708/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=402.28 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 4225 0 0 0 40228 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5335717 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2364
/proc/meminfo: memFree=21801592/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=462.28 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 4469 0 0 0 46228 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5170144 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB


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

/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 2526
/proc/meminfo: memFree=21798068/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=1782.26 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 9694 0 0 0 178226 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5084720 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 2527
/proc/meminfo: memFree=21798172/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=1842.26 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 9923 0 0 0 184226 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5318976 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 2535
/proc/meminfo: memFree=21797704/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=1902.25 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 10167 0 0 0 190225 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5059661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 2536
/proc/meminfo: memFree=21797824/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=1962.25 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 10396 0 0 0 196225 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5062240 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 2537
/proc/meminfo: memFree=21797856/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=2022.25 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 10625 0 0 0 202225 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5175278 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 2538
/proc/meminfo: memFree=21797848/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=2082.25 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 10869 0 0 0 208225 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5058268 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 2539
/proc/meminfo: memFree=21797696/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=2142.25 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 11098 0 0 0 214225 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5084142 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2540
/proc/meminfo: memFree=21797648/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=2202.25 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 11327 0 0 0 220225 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5175056 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2541
/proc/meminfo: memFree=21797872/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4632 CPUtime=2262.25 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 11572 0 0 0 226225 0 0 0 20 0 1 0 74958018 28758016 1158 33554432000 4194304 6142532 140728490116496 140728490113896 5084428 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1158 848 476 0 343 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4632 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2542
/proc/meminfo: memFree=21797852/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4636 CPUtime=2322.25 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 11806 0 0 0 232225 0 0 0 20 0 1 0 74958018 28758016 1159 33554432000 4194304 6142532 140728490116496 140728490113896 5175264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1159 848 476 0 343 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4636 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2543
/proc/meminfo: memFree=21797580/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4636 CPUtime=2382.25 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 12035 0 0 0 238225 0 0 0 20 0 1 0 74958018 28758016 1159 33554432000 4194304 6142532 140728490116496 140728490113896 5084215 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1159 848 476 0 343 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4636 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2544
/proc/meminfo: memFree=21797560/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4636 CPUtime=2442.25 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 12264 0 0 0 244225 0 0 0 20 0 1 0 74958018 28758016 1159 33554432000 4194304 6142532 140728490116496 140728490113896 5084181 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1159 848 476 0 343 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4636 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2552
/proc/meminfo: memFree=21797176/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4636 CPUtime=2502.24 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 12508 0 0 0 250224 0 0 0 20 0 1 0 74958018 28758016 1159 33554432000 4194304 6142532 140728490116496 140728490113896 5175264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1159 848 476 0 343 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4636 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 2552
/proc/meminfo: memFree=21797348/32770624 swapFree=67108860/67108860
[pid=2324] ppid=2321 vsize=28084 memory=4636 CPUtime=2519.95 cores=0,2,4,6
/proc/2324/stat : 2324 (cosoco) R 2321 2324 30456 0 -1 4202496 12737 0 0 0 251995 0 0 0 20 0 1 0 74958018 28758016 1159 33554432000 4194304 6142532 140728490116496 140728490113896 5084173 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12562432 140728490124422 140728490124552 140728490124552 140728490127310 0
/proc/2324/statm: 7021 1159 848 476 0 343 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4636 KiB

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

[startup+2520.01 s]
# the end of solver process 2324 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.96 s, system=0.001999 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.96
CPU user time (s): 2519.96
CPU system time (s): 0.001999
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 28084
Max. memory (cumulated for all children) (KiB): 4636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.96
system time used= 0.001999
maximum resident set size= 4700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12786
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= 15
involuntary context switches= 3159


# summary of solver processes directly reported to runsolver:
#   pid: 2324
#   total CPU time (s): 2519.96
#   total CPU user time (s): 2519.96
#   total CPU system time (s): 0.001999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.56147 second user time and 16.3816 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-26 04:59:08
IDJOB=4295828
IDBENCH=141606
IDSOLVER=2752
FILE ID=node149/4295828-1532573948
RUNJOBID= node149-1532542931-30487
PBS_JOBID= 21021951
Free space on /tmp= 43260 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Quasigroups/QuasiGroup-7-12_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295828-1532573948/watcher-4295828-1532573948 -o /tmp/evaluation-result-4295828-1532573948/solver-4295828-1532573948 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30487 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295828-1532573948.xml

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

MD5SUM BENCH= 70b2a7c07aa80f8552a525257c8c3e20
RANDOM SEED=1458769374

node149.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.60
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.60
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.60
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.60
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:        21803472 kB
MemAvailable:   31926020 kB
Buffers:          138840 kB
Cached:         10126280 kB
SwapCached:            0 kB
Active:          2348904 kB
Inactive:        7976520 kB
Active(anon):       7688 kB
Inactive(anon):    79884 kB
Active(file):    2341216 kB
Inactive(file):  7896636 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2768 kB
Writeback:             0 kB
AnonPages:         67256 kB
Mapped:            41444 kB
Shmem:             25224 kB
Slab:             341976 kB
SReclaimable:     313156 kB
SUnreclaim:        28820 kB
KernelStack:        3344 kB
PageTables:         4804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     357112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43256 MiB
End job on node149 at 2018-07-26 05:41:08