Trace number 4300531

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.07 2520.01

General information on the benchmark

NameEternity/
Eternity-13-13_c18.xml
MD5SUMe6142002f41530755715c5642d221a51
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 variables533
Number of constraints222
Number of domains2
Minimum domain size19
Maximum domain size169
Distribution of domain sizes[{"size":19,"count":364},{"size":169,"count":169}]
Minimum variable degree1
Maximum variable degree14
Distribution of variable degrees[{"degree":1,"count":12},{"degree":2,"count":520},{"degree":14,"count":1}]
Minimum constraint arity1
Maximum constraint arity169
Distribution of constraint arities[{"arity":1,"count":52},{"arity":5,"count":169},{"arity":169,"count":1}]
Number of extensional constraints169
Number of intensional constraints52
Distribution of constraint types[{"type":"extension","count":169},{"type":"intension","count":52},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.59/0.64	c root propagations     : 14636       
0.59/0.64	c restarts enabled, print stats at every restarts
0.59/0.64	c
0.59/0.64	c
0.59/0.64	c
0.59/0.64	c This is cosoco 1.12 --  
0.59/0.64	c
0.59/0.64	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4300531-1532882872.xml 
0.59/0.64	c ========================================[ Problem Statistics ]===========================================
0.59/0.64	c |                                                                                                       
0.59/0.64	c |  Parse time        :         0.62 s 
0.59/0.64	c |
0.59/0.64	c |               Variables: 533
0.59/0.64	c |            Domain Sizes: 19..169
0.59/0.64	c |
0.59/0.64	c |             Constraints: 222
0.59/0.64	c |                   Arity: 1..169  -- Unary: 52
0.59/0.64	c | 
0.59/0.64	c |                   Types: 
0.59/0.64	c |                          All Different: 1
0.59/0.64	c |                          Extension: 169  (nb tuples: 676..676) -- (shared: 0)
0.59/0.64	c |                          Unary: 52
0.59/0.64	c |                          
0.59/0.64	c =========================================================================================================
0.59/0.64	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.68/0.76	c 101            730            11137          133884         533            0              84   342   300 
0.78/0.84	c 211            1079           17853          213327         533            0              52   95   79   
0.88/0.98	c 332            1483           28660          338061         533            0              48   105   94  
1.00/1.07	c 465            1844           37007          433923         533            0              30   83   76   
1.10/1.18	c 611            2308           47217          550984         533            0              34   103   81  
1.29/1.34	c 771            2894           60769          691384         533            0              81   95   87   
1.39/1.46	c 947            3372           71304          823338         533            0              39   110   96  
1.59/1.62	c 1140           4065           85863          997345         533            0              19   108   96  
1.69/1.79	c 1352           4771           99824          1164692        533            0              57   120   90  
1.89/1.97	c 1585           5375           113897         1336644        533            0              50   111   97  
2.10/2.17	c 1841           6181           130805         1533969        533            0              39   120   99  
2.29/2.39	c 2122           7070           149161         1720797        533            0              68   100   93  
2.59/2.64	c 2431           8112           170927         1979904        533            0              29   108   92  
2.89/2.90	c 2770           9045           191819         2236776        533            0              26   123   110 
3.19/3.21	c 3142           10016          217930         2533114        533            0              56   117   106 
3.49/3.56	c 3551           11436          246580         2935836        533            0              35   105   86  
3.89/3.97	c 4000           12781          277654         3311509        533            0              37   119   104 
4.39/4.41	c 4493           14542          314243         3744552        533            0              51   117   100 
4.79/4.81	c 5035           16376          348126         4135641        533            0              39   114   84  
5.10/5.17	c 5631           18046          380909         4508711        533            0              49   98   81   
5.59/5.68	c 6286           20010          422319         5007856        533            0              26   127   107 
6.19/6.28	c 7006           22466          471131         5572941        533            0              25   118   89  
6.89/6.96	c 7798           25052          525790         6250270        533            0              28   122   93  
7.49/7.57	c 8669           27369          577212         6914247        533            0              43   106   89  
8.39/8.41	c 9627           30590          645158         7719984        533            0              25   114   87  
9.29/9.35	c 10680          33970          718873         8617810        533            0              26   109   95  
10.29/10.31	c 11838          37244          794919         9561762        533            0              44   125   109 
11.19/11.27	c 13111          41068          871786         10482893       533            0              44   125   106 
12.39/12.41	c 14511          45290          963781         11709534       533            0              35   115   97  
13.69/13.70	c 16051          49364          1064938        12998621       533            0              26   126   115 
15.10/15.14	c 17745          55246          1182700        14501651       533            0              46   113   86  
16.39/16.44	c 19608          60303          1285248        15813903       533            0              43   126   104 
18.19/18.20	c 21657          67286          1427279        17545810       533            0              26   121   98  
19.79/19.85	c 23910          74328          1563617        19260374       533            0              75   118   92  
21.89/21.97	c 26388          82241          1742606        21280351       533            0              30   122   97  
24.00/24.07	c 29113          90385          1920009        23397452       533            0              53   114   97  
26.59/26.63	c 32110          99819          2124331        25915731       533            0              45   124   101 
29.29/29.31	c 35406          111492         2339769        28483144       533            0              45   122   93  
32.29/32.39	c 39031          122030         2581985        31338566       533            0              22   124   109 
35.69/35.73	c 43018          134544         2854501        34495820       533            0              35   111   98  
39.10/39.16	c 47403          146332         3127824        37947164       533            0              26   127   111 
42.89/42.91	c 52226          160939         3430427        41753123       533            0              26   123   97  
46.89/46.96	c 57531          177483         3765058        45876951       533            0              29   121   98  
51.59/51.68	c 63366          194988         4158390        50519781       533            0              53   125   106 
56.49/56.55	c 69784          211616         4551546        55237525       533            0              34   125   111 
62.00/62.10	c 76843          232011         4989495        60640802       533            0              33   121   96  
67.69/67.74	c 84607          255327         5468809        66402083       533            0              39   123   96  
75.00/75.04	c 93147          277552         6072949        73129540       533            0              54   114   104 
81.69/81.72	c 102541         301756         6639692        80251822       533            0              35   123   107 
88.69/88.78	c 112874         333556         7237969        87573723       533            0              45   125   88  
97.39/97.42	c 124240         365774         7933771        96230016       533            0              39   125   103 
106.59/106.61	c 136742         399424         8708028        105296997      533            0              31   121   101 
118.29/118.36	c 150494         439212         9627201        116782624      533            0              25   125   103 
130.10/130.16	c 165621         480516         10569848       128646230      533            0              46   126   106 
142.79/142.87	c 182260         523712         11563926       141256586      533            0              30   131   108 
155.89/155.93	c 200562         571381         12578861       154876925      533            0              54   124   105 
169.59/169.62	c 220694         623378         13718261       167884324      533            0              44   112   95  
185.19/185.22	c 242839         675522         14987595       184947044      533            0              26   125   109 
202.69/202.76	c 267198         738208         16332230       202261365      533            0              12   128   109 
224.59/224.61	c 293992         821462         18175219       224126447      533            0              50   121   100 
247.39/247.48	c 323465         907314         20046249       246813695      533            0              38   127   105 
271.79/271.85	c 355885         990033         21914007       271621629      533            0              28   124   104 
301.10/301.20	c 391547         1087190        24278747       303641737      533            0              44   127   111 
331.10/331.14	c 430775         1191553        26578807       334283921      533            0              50   130   107 
364.80/364.86	c 473925         1309584        29324011       367402208      533            0              53   127   111 
398.11/398.15	c 521390         1450826        32142362       401417203      533            0              49   120   87  
432.01/432.09	c 573601         1595701        35038255       431502111      533            0              54   122   90  
474.90/474.92	c 631033         1765826        38655714       475128032      533            0              39   122   96  
516.50/516.55	c 694208         1904471        41945347       516128342      533            0              23   117   100 
571.80/571.89	c 763700         2103824        46452119       571498233      533            0              51   123   101 
623.30/623.38	c 840141         2302854        50733280       622300187      533            0              30   120   93  
685.60/685.60	c 924226         2514221        55646902       687111923      533            0              52   131   113 
763.01/763.07	c 1016719        2749730        61613979       766172260      533            0              33   124   106 
828.40/828.47	c 1118461        2986147        67289658       826916173      533            0              61   117   96  
915.81/915.82	c 1230377        3340579        74690020       911442704      533            0              49   120   88  
1008.61/1008.66	c 1353484        3657874        82144491       1003534862     533            0              26   126   111 
1098.12/1098.19	c 1488901        4003595        89887036       1096940299     533            0              57   121   106 
1210.92/1210.90	c 1637859        4441886        99204751       1213493167     533            0              58   123   98  
1339.72/1339.78	c 1801712        4867810        109461568      1342607832     533            0              35   131   107 
1477.33/1477.35	c 1981950        5306873        119879029      1486509891     533            0              25   127   110 
1613.93/1613.91	c 2180211        5786757        131747843      1615643898     533            0              35   113   93  
1769.73/1769.71	c 2398298        6456064        145195076      1772278916     533            0              29   122   93  
1946.44/1946.46	c 2638193        7099054        159582810      1951547727     533            0              26   131   104 
2144.34/2144.32	c 2902077        7808945        175173728      2146072465     533            0              26   131   105 
2354.15/2354.18	c 3192349        8568800        192034189      2362242054     533            0              45   126   106 
2520.05/2520.00	
2520.05/2520.00	c *** INTERRUPTED ***
2520.05/2520.00	c restarts              : 85          
2520.05/2520.00	c conflicts             : 3417658      (1356 /sec)
2520.05/2520.00	c decisions             : 9152610      (3632 /sec)
2520.05/2520.00	c propagations          : 2536383280  (1006486 /sec)
2520.05/2520.00	c root propagations     : 14636       
2520.05/2520.00	c filter calls          : 205662354      (81611 /sec)
2520.05/2520.00	c useless filter calls  : 36502842       (17 %)
2520.05/2520.00	c Memory used           : 36.00 MB
2520.05/2520.00	c CPU time              : 2520.04 s
2520.05/2520.00	
2520.05/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 (8352 MiB free)
  memory of node 1: 16384 MiB (15053 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300531-1532882872/watcher-4300531-1532882872 -o /tmp/evaluation-result-4300531-1532882872/solver-4300531-1532882872 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532880348-12253 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4300531-1532882872.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
solver pid=12680, runsolver pid=12677
Current StackSize limit: 8192 KiB


[startup+0.100145 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 12681
/proc/meminfo: memFree=23966980/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=28912 memory=4996 CPUtime=0.1 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 1460 0 0 0 10 0 0 0 20 0 1 0 105850336 29605888 1249 33554432000 4194304 6142532 140732510080624 140732510077256 140615830457344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 7228 1249 790 476 0 550 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28912 KiB
Current children cumulated memory: 4996 KiB

[startup+0.209472 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 12681
/proc/meminfo: memFree=23965864/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=30000 memory=6316 CPUtime=0.2 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 1753 0 0 0 20 0 0 0 20 0 1 0 105850336 30720000 1579 33554432000 4194304 6142532 140732510080624 140732510077256 5800076 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 7500 1579 791 476 0 822 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30000 KiB
Current children cumulated memory: 6316 KiB

[startup+0.308922 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 12681
/proc/meminfo: memFree=23964440/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=31100 memory=7372 CPUtime=0.3 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 2013 0 0 0 30 0 0 0 20 0 1 0 105850336 31846400 1843 33554432000 4194304 6142532 140732510080624 140732510077256 5411475 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 7775 1843 791 476 0 1097 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31100 KiB
Current children cumulated memory: 7372 KiB

[startup+0.700281 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 12681
/proc/meminfo: memFree=23962452/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13180 CPUtime=0.68 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 3502 0 0 0 68 0 0 0 20 0 1 0 105850336 37748736 3295 33554432000 4194304 6142532 140732510080624 140732510077272 5018113 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3295 847 476 0 2538 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13180 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 12681
/proc/meminfo: memFree=23958732/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13180 CPUtime=1.49 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 3511 0 0 0 148 1 0 0 20 0 1 0 105850336 37748736 3295 33554432000 4194304 6142532 140732510080624 140732510077512 5058576 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3295 847 476 0 2538 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13180 KiB

[startup+3.10938 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 12681
/proc/meminfo: memFree=23958572/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13420 CPUtime=3.1 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 5584 0 0 0 309 1 0 0 20 0 1 0 105850336 37748736 3355 33554432000 4194304 6142532 140732510080624 140732510077512 5333283 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3355 847 476 0 2538 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13420 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 12681
/proc/meminfo: memFree=23958572/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13420 CPUtime=6.29 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 7656 0 0 0 628 1 0 0 20 0 1 0 105850336 37748736 3355 33554432000 4194304 6142532 140732510080624 140732510078024 5060709 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3355 847 476 0 2538 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13420 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 12681
/proc/meminfo: memFree=23958600/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13420 CPUtime=12.69 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 9728 0 0 0 1268 1 0 0 20 0 1 0 105850336 37748736 3355 33554432000 4194304 6142532 140732510080624 140732510078024 5060745 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3355 847 476 0 2538 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13420 KiB

[startup+25.5003 s]
/proc/loadavg: 1.93 2.00 1.95 3/182 12732
/proc/meminfo: memFree=23962608/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13420 CPUtime=25.49 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 13872 0 0 0 2548 1 0 0 20 0 1 0 105850336 37748736 3355 33554432000 4194304 6142532 140732510080624 140732510078024 5061983 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3355 847 476 0 2538 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13420 KiB

[startup+51.1094 s]
/proc/loadavg: 1.90 1.98 1.95 3/187 12742
/proc/meminfo: memFree=23955916/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=51.1 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 14229 0 0 0 5109 1 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5333295 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+102.3 s]
/proc/loadavg: 1.95 1.99 1.95 3/187 12743
/proc/meminfo: memFree=23957200/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=102.29 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 14582 0 0 0 10228 1 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5017870 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+162.3 s]
/proc/loadavg: 1.94 1.97 1.95 3/187 12751
/proc/meminfo: memFree=23956196/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=162.29 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 14935 0 0 0 16228 1 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5058259 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+222.3 s]
/proc/loadavg: 1.98 1.98 1.95 3/187 12752
/proc/meminfo: memFree=23956796/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=222.29 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 15288 0 0 0 22228 1 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5053654 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+282.3 s]
/proc/loadavg: 2.04 2.00 1.96 3/187 12753
/proc/meminfo: memFree=23957112/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=282.29 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 15641 0 0 0 28228 1 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5061174 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+342.3 s]
/proc/loadavg: 2.07 2.01 1.97 3/187 12754
/proc/meminfo: memFree=23956740/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=342.3 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 15994 0 0 0 34229 1 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5060730 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+402.3 s]
/proc/loadavg: 2.08 2.03 1.97 3/187 12755
/proc/meminfo: memFree=23956864/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=402.3 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 16347 0 0 0 40229 1 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5058259 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+462.3 s]
/proc/loadavg: 2.11 2.05 1.98 3/187 12757
/proc/meminfo: memFree=23957080/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=462.3 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 16700 0 0 0 46229 1 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5017909 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB


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

/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 12817
/proc/meminfo: memFree=23955584/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=1782.33 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 24119 0 0 0 178231 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5058691 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 12818
/proc/meminfo: memFree=23955912/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=1842.33 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 24438 0 0 0 184231 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5058744 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 12819
/proc/meminfo: memFree=23955912/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=1902.33 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 24735 0 0 0 190231 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5017923 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 12828
/proc/meminfo: memFree=23956016/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=1962.34 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 25088 0 0 0 196232 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5061130 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 12829
/proc/meminfo: memFree=23956016/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=2022.34 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 25397 0 0 0 202232 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5058615 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 12830
/proc/meminfo: memFree=23955884/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=2082.34 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 25711 0 0 0 208232 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5061130 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 12831
/proc/meminfo: memFree=23956132/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=2142.34 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 26035 0 0 0 214232 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5055541 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 12832
/proc/meminfo: memFree=23955932/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=2202.34 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 26377 0 0 0 220232 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5054733 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+2262.3 s]
/proc/loadavg: 2.07 2.03 1.99 3/187 12834
/proc/meminfo: memFree=23955576/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=2262.34 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 26685 0 0 0 226232 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5017760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+2322.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/187 12835
/proc/meminfo: memFree=23955688/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=2322.34 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 26994 0 0 0 232232 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5336593 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/187 12836
/proc/meminfo: memFree=23955820/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=2382.34 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 27347 0 0 0 238232 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5053584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12838
/proc/meminfo: memFree=23955968/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=2442.34 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 27641 0 0 0 244232 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5333229 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 12839
/proc/meminfo: memFree=23955844/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=2502.34 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 27910 0 0 0 250232 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5017806 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.99 3/187 12839
/proc/meminfo: memFree=23956216/32770624 swapFree=67108404/67108860
[pid=12680] ppid=12677 vsize=36864 memory=13448 CPUtime=2520.05 cores=0,2,4,6
/proc/12680/stat : 12680 (cosoco) R 12677 12680 12222 0 -1 4202496 28209 0 0 0 252003 2 0 0 20 0 1 0 105850336 37748736 3362 33554432000 4194304 6142532 140732510080624 140732510078024 5054328 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 13582336 140732510086278 140732510086408 140732510086408 140732510089166 0
/proc/12680/statm: 9216 3362 847 476 0 2538 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13448 KiB

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

[startup+2520.01 s]
# the end of solver process 12680 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.04 s, system=0.028 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.07
CPU user time (s): 2520.04
CPU system time (s): 0.028
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 36864
Max. memory (cumulated for all children) (KiB): 13448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.028
maximum resident set size= 13512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28259
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= 10
involuntary context switches= 822


# summary of solver processes directly reported to runsolver:
#   pid: 12680
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2520.04
#   total CPU system time (s): 0.028

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.87259 second user time and 16.2737 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-29 18:47:52
IDJOB=4300531
IDBENCH=141656
IDSOLVER=2761
FILE ID=node148/4300531-1532882872
RUNJOBID= node148-1532880348-12253
PBS_JOBID= 21022520
Free space on /tmp= 47800 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Eternity/Eternity-13-13_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300531-1532882872/watcher-4300531-1532882872 -o /tmp/evaluation-result-4300531-1532882872/solver-4300531-1532882872 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532880348-12253 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4300531-1532882872.xml

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

MD5SUM BENCH= e6142002f41530755715c5642d221a51
RANDOM SEED=390899716

node148.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.50
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.50
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.50
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.50
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:        23969064 kB
MemAvailable:   31933096 kB
Buffers:          242772 kB
Cached:          7872264 kB
SwapCached:          352 kB
Active:          1796396 kB
Inactive:        6371304 kB
Active(anon):       6144 kB
Inactive(anon):    74228 kB
Active(file):    1790252 kB
Inactive(file):  6297076 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:              4344 kB
Writeback:             0 kB
AnonPages:         59108 kB
Mapped:            46812 kB
Shmem:             25016 kB
Slab:             333680 kB
SReclaimable:     305164 kB
SUnreclaim:        28516 kB
KernelStack:        3344 kB
PageTables:         5648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 47796 MiB
End job on node148 at 2018-07-29 19:29:52