Trace number 4295253

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

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g19-g43_c18.xml
MD5SUM73b986b466eb2b69580bc545a83953ff
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 variables64
Number of constraints233
Number of domains1
Minimum domain size128
Maximum domain size128
Distribution of domain sizes[{"size":128,"count":64}]
Minimum variable degree4
Maximum variable degree10
Distribution of variable degrees[{"degree":4,"count":4},{"degree":5,"count":8},{"degree":6,"count":20},{"degree":8,"count":16},{"degree":10,"count":16}]
Minimum constraint arity1
Maximum constraint arity64
Distribution of constraint arities[{"arity":1,"count":64},{"arity":2,"count":168},{"arity":64,"count":1}]
Number of extensional constraints232
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":232},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 1576        
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-4295253-1532543617.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: 64
0.00/0.01	c |            Domain Sizes: 128..128
0.00/0.01	c |
0.00/0.01	c |             Constraints: 233
0.00/0.01	c |                   Arity: 1..64  -- Unary: 64  -- Binary: 168
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 1
0.00/0.01	c |                          Extension: 168  (nb tuples: 1648..1648) -- (shared: 226)
0.00/0.01	c |                          Unary: 64
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.03	c 101            224            22308          30468          64             0              5   8   6      
0.00/0.04	c 211            490            45195          60124          64             0              5   9   6      
0.00/0.06	c 332            770            70385          91344          64             0              4   8   6      
0.00/0.08	c 465            1084           95195          128075         64             0              4   11   7     
0.10/0.11	c 611            1437           128424         167455         64             0              5   10   6     
0.10/0.13	c 771            1806           163915         219368         64             0              5   8   6      
0.10/0.16	c 947            2230           201343         266392         64             0              4   9   6      
0.10/0.19	c 1140           2702           237358         311546         64             0              4   9   7      
0.21/0.22	c 1352           3155           275268         360297         64             0              4   11   6     
0.21/0.26	c 1585           3697           324081         423815         64             0              4   10   6     
0.21/0.30	c 1841           4283           375706         486651         64             0              5   9   6      
0.31/0.35	c 2122           4919           431302         559943         64             0              5   9   6      
0.31/0.39	c 2431           5610           491628         639700         64             0              4   9   6      
0.41/0.45	c 2770           6510           562429         726854         64             0              4   10   7     
0.41/0.51	c 3142           7331           631148         815964         64             0              4   10   6     
0.51/0.57	c 3551           8284           712927         931095         64             0              4   10   6     
0.60/0.65	c 4000           9358           806810         1056599        64             0              4   10   6     
0.69/0.72	c 4493           10537          901332         1176307        64             0              4   10   7     
0.79/0.80	c 5035           11788          1005746        1300309        64             0              4   10   6     
0.89/0.90	c 5631           13155          1120866        1465596        64             0              4   10   7     
0.89/0.99	c 6286           14646          1247016        1640722        64             0              4   9   6      
1.10/1.11	c 7006           16372          1385466        1826698        64             0              4   10   7     
1.19/1.22	c 7798           18098          1516676        2005070        64             0              4   10   7     
1.29/1.35	c 8669           20042          1681758        2237797        64             0              4   11   7     
1.39/1.49	c 9627           22202          1857404        2478720        64             0              4   11   7     
1.59/1.64	c 10680          24454          2038195        2740621        64             0              4   11   8     
1.79/1.81	c 11838          27049          2243703        3002228        64             0              4   11   7     
1.89/2.00	c 13111          29933          2471893        3325495        64             0              4   11   7     
2.19/2.21	c 14511          33126          2741589        3674367        64             0              4   10   6     
2.39/2.42	c 16051          36529          2997575        4011314        64             0              3   11   7     
2.59/2.65	c 17745          40068          3290750        4416561        64             0              4   10   7     
2.79/2.89	c 19608          43841          3580436        4856866        64             0              4   11   7     
3.10/3.18	c 21657          48234          3927023        5334080        64             0              3   10   7     
3.39/3.48	c 23910          52887          4276875        5819812        64             0              4   11   7     
3.79/3.81	c 26388          57992          4666498        6344209        64             0              4   10   7     
4.10/4.15	c 29113          63604          5070544        6922363        64             0              4   11   8     
4.49/4.51	c 32110          69379          5477999        7525777        64             0              4   11   8     
4.89/4.91	c 35406          75862          5943179        8203276        64             0              4   10   8     
5.29/5.38	c 39031          83231          6487006        8962025        64             0              4   11   7     
5.79/5.84	c 43018          91153          7053842        9754819        64             0              3   11   8     
6.39/6.49	c 47403          100554         7793996        10887331       64             0              2   11   7     
7.00/7.08	c 52226          110186         8447039        11867462       64             0              4   11   8     
7.69/7.78	c 57531          120973         9250525        13115431       64             0              3   11   7     
8.59/8.64	c 63366          133543         10245828       14657953       64             0              3   12   8     
9.49/9.55	c 69784          145954         11187661       16379714       64             0              3   12   8     
10.39/10.42	c 76843          160003         12154256       17866968       64             0              3   12   8     
11.29/11.39	c 84607          175648         13309797       19523013       64             0              3   11   8     
12.39/12.40	c 93147          192676         14480006       21203851       64             0              3   11   8     
13.89/13.95	c 102541         213165         16132932       24046127       64             0              3   12   8     
15.29/15.33	c 112874         233720         17597655       26546377       64             0              2   11   8     
16.69/16.76	c 124240         255856         19135215       29079303       64             0              3   11   8     
18.19/18.28	c 136742         281411         20924036       31681947       64             0              3   11   8     
20.00/20.08	c 150494         308871         23050660       35107245       64             0              3   12   8     
22.00/22.06	c 165621         339093         25243530       38548046       64             0              3   12   8     
24.29/24.38	c 182260         373721         27949516       43009246       64             0              3   11   8     
26.89/26.91	c 200562         410107         30716696       47461985       64             0              3   11   8     
29.49/29.56	c 220694         450464         33670523       51980739       64             0              3   11   8     
32.69/32.74	c 242839         495423         37088339       57694359       64             0              3   13   8     
36.09/36.13	c 267198         545211         40865081       63808391       64             0              2   12   8     
39.68/39.73	c 293992         600675         44880794       69891900       64             0              2   11   8     
43.68/43.73	c 323465         660028         49311063       76951273       64             0              2   13   8     
48.48/48.51	c 355885         725836         54520226       86016313       64             0              3   13   8     
53.28/53.35	c 391547         799832         59981330       94571123       64             0              3   13   8     
58.48/58.59	c 430775         878276         65783622       103926640      64             0              3   12   8     
64.38/64.49	c 473925         966180         72295984       114129224      64             0              2   13   8     
70.99/71.04	c 521390         1064478        79522623       125924731      64             0              2   13   8     
78.09/78.13	c 573601         1171857        87335062       138244076      64             0              2   13   8     
86.28/86.38	c 631033         1289902        96382779       154013039      64             0              2   13   8     
95.28/95.34	c 694208         1420504        106031615      170053774      64             0              2   13   8     
104.78/104.88	c 763700         1565019        116732680      186977143      64             0              2   12   8     
115.28/115.33	c 840141         1722535        128302332      205918433      64             0              2   13   8     
126.99/127.06	c 924226         1899379        141098181      227466579      64             0              2   13   8     
139.78/139.83	c 1016719        2092598        155160317      251161416      64             0              2   13   8     
154.18/154.23	c 1118461        2305608        171363824      279162624      64             0              2   12   8     
169.78/169.84	c 1230377        2539608        188713758      307235859      64             0              2   13   8     
186.88/186.95	c 1353484        2793456        207416260      338149812      64             0              2   13   8     
206.68/206.72	c 1488901        3075534        229374926      377017440      64             0              2   12   8     
228.09/228.11	c 1637859        3384529        253195798      417425340      64             0              2   13   8     
258.68/258.71	c 1801712        3746590        270685701      451570935      64             0              14   28   21   
285.88/285.96	c 1981950        4130135        300736884      504467580      64             0              2   13   8     
313.88/313.91	c 2180211        4548744        332087842      556794879      64             0              2   12   8     
344.88/344.96	c 2398298        5000668        365664562      612859356      64             0              2   13   8     
392.49/392.58	c 2638193        5543491        392523515      668622363      64             0              14   28   21   
430.99/431.05	c 2902077        6112492        434829144      739239450      64             0              2   22   8     
472.19/472.24	c 3192349        6726689        481042611      817866793      64             0              2   13   8     
532.89/532.95	c 3511648        7387619        515674622      890955011      64             0              14   27   21   
588.10/588.15	c 3862876        8157440        563973161      971501486      64             0              2   26   13    
651.29/651.37	c 4249226        8956177        615202872      1067647107     64             0              2   27   14    
734.29/734.38	c 4674211        9929689        660370906      1157465240     64             0              13   28   21   
816.19/816.26	c 5141694        10903991       715616045      1262500230     64             0              2   27   19    
896.10/896.12	c 5655925        11954332       773808921      1375585466     64             0              2   27   17    
989.90/990.00	c 6221579        13079157       834388253      1503404231     64             0              2   27   19    
1111.80/1111.88	c 6843798        14553748       906324258      1639980514     64             0              12   28   21   
1229.11/1229.13	c 7528238        16045640       996222391      1808996185     64             0              2   27   15    
1365.51/1365.59	c 8281122        17666669       1074397055     1965002054     64             0              13   28   22   
1521.51/1521.57	c 9109294        19565835       1165314043     2137923206     64             0              13   28   21   
1686.51/1686.52	c 10020283       21531558       1267085253     2338988845     64             0              2   29   20    
1876.62/1876.63	c 11022370       23831377       1380784952     2555837997     64             0              12   28   20   
2056.22/2056.26	c 12124665       26268102       1525245063     2811269875     64             0              2   28   15    
2289.23/2289.21	c 13337189       29029632       1660662853     3085490621     64             0              2   28   20    
2520.04/2520.00	
2520.04/2520.00	c *** INTERRUPTED ***
2520.04/2520.00	c restarts              : 100         
2520.04/2520.00	c conflicts             : 14625670     (5804 /sec)
2520.04/2520.00	c decisions             : 31798752     (12618 /sec)
2520.04/2520.00	c propagations          : 3347875165  (1328496 /sec)
2520.04/2520.00	c root propagations     : 1576        
2520.04/2520.00	c filter calls          : 1793582423     (711725 /sec)
2520.04/2520.00	c useless filter calls  : 1421550619     (79 %)
2520.04/2520.00	c Memory used           : 27.04 MB
2520.04/2520.00	c CPU time              : 2520.05 s
2520.04/2520.00	
2520.04/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 (11650 MiB free)
  memory of node 1: 16384 MiB (4071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295253-1532543617/watcher-4295253-1532543617 -o /tmp/evaluation-result-4295253-1532543617/solver-4295253-1532543617 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30487 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295253-1532543617.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=30907, runsolver pid=30904
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 2.40 2.00 1.58 3/189 30908
/proc/meminfo: memFree=16098868/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=3936 CPUtime=0.1 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 1203 0 0 0 10 0 0 0 20 0 1 0 71924902 28352512 984 33554432000 4194304 6142532 140729762944208 140729762940840 5054723 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 984 798 476 0 244 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+0.20933 s]*
/proc/loadavg: 2.40 2.00 1.58 3/189 30908
/proc/meminfo: memFree=16098868/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=3936 CPUtime=0.21 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 1203 0 0 0 21 0 0 0 20 0 1 0 71924902 28352512 984 33554432000 4194304 6142532 140729762944208 140729762940840 5058604 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 984 798 476 0 244 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+0.308852 s]*
/proc/loadavg: 2.40 2.00 1.58 3/189 30908
/proc/meminfo: memFree=16098868/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=3936 CPUtime=0.31 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 1203 0 0 0 31 0 0 0 20 0 1 0 71924902 28352512 984 33554432000 4194304 6142532 140729762944208 140729762940840 5055512 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 984 798 476 0 244 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+0.700235 s]
/proc/loadavg: 2.40 2.00 1.58 3/189 30908
/proc/meminfo: memFree=16098868/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=3936 CPUtime=0.69 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 1203 0 0 0 69 0 0 0 20 0 1 0 71924902 28352512 984 33554432000 4194304 6142532 140729762944208 140729762941608 5327370 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 984 798 476 0 244 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+1.50023 s]
/proc/loadavg: 2.40 2.00 1.58 3/189 30908
/proc/meminfo: memFree=16098924/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=3936 CPUtime=1.49 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 1203 0 0 0 149 0 0 0 20 0 1 0 71924902 28352512 984 33554432000 4194304 6142532 140729762944208 140729762941608 5054696 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 984 798 476 0 244 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+3.10892 s]
/proc/loadavg: 2.40 2.00 1.58 3/189 30908
/proc/meminfo: memFree=16098472/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=3.1 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 1342 0 0 0 310 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5053682 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+6.30022 s]
/proc/loadavg: 2.37 2.00 1.58 3/189 30908
/proc/meminfo: memFree=16098032/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=6.29 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 1483 0 0 0 629 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5061159 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+12.7002 s]
/proc/loadavg: 2.34 2.00 1.58 3/189 30908
/proc/meminfo: memFree=16098220/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=12.69 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 1623 0 0 0 1269 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5060745 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+25.5002 s]
/proc/loadavg: 2.27 2.00 1.59 3/189 30908
/proc/meminfo: memFree=16098204/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=25.49 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 1903 0 0 0 2549 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5058760 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+51.1089 s]
/proc/loadavg: 2.18 2.00 1.60 3/189 30908
/proc/meminfo: memFree=16098280/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=51.09 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 2043 0 0 0 5109 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5060757 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 1.98 1.61 3/187 30909
/proc/meminfo: memFree=16098448/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=102.28 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 2184 0 0 0 10228 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5055512 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 1.99 1.64 3/187 30910
/proc/meminfo: memFree=16098308/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=162.28 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 2324 0 0 0 16228 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5060728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/187 30911
/proc/meminfo: memFree=16098744/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=222.28 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 2464 0 0 0 22228 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5058615 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/187 30912
/proc/meminfo: memFree=16098652/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=282.28 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 2608 0 0 0 28228 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5058213 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+342.3 s]
/proc/loadavg: 2.49 2.11 1.75 3/187 30913
/proc/meminfo: memFree=16098544/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=342.28 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 2749 0 0 0 34228 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5327179 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+402.3 s]
/proc/loadavg: 2.24 2.12 1.77 3/187 30943
/proc/meminfo: memFree=16096872/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=402.29 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 2890 0 0 0 40229 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 4995681 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+462.3 s]
/proc/loadavg: 2.09 2.10 1.79 3/187 30944
/proc/meminfo: memFree=16097628/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=462.29 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 3031 0 0 0 46229 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5175278 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB


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

/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 31007
/proc/meminfo: memFree=16096920/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=1782.31 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 6013 0 0 0 178231 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5054913 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/201 31037
/proc/meminfo: memFree=19532944/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=1842.31 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 6142 0 0 0 184231 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5061410 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 31069
/proc/meminfo: memFree=21857628/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=1902.32 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 6283 0 0 0 190232 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5058744 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 31070
/proc/meminfo: memFree=21857464/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=1962.32 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 6412 0 0 0 196232 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5060783 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 31071
/proc/meminfo: memFree=21856968/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=2022.32 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 6541 0 0 0 202232 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5058578 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 31072
/proc/meminfo: memFree=21856844/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=2082.32 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 6682 0 0 0 208232 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5054344 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 31073
/proc/meminfo: memFree=21856720/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=2142.32 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 6811 0 0 0 214232 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 4995568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+2202.3 s]
/proc/loadavg: 2.41 2.11 1.99 4/188 31147
/proc/meminfo: memFree=21831272/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=2202.33 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 6940 0 0 0 220233 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5053555 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+2262.3 s]
/proc/loadavg: 2.78 2.27 2.05 4/188 31148
/proc/meminfo: memFree=21831684/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=2262.33 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 7069 0 0 0 226233 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5061881 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+2322.3 s]
/proc/loadavg: 2.48 2.29 2.07 3/187 31149
/proc/meminfo: memFree=21834860/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=2322.33 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 7210 0 0 0 232233 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5055479 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+2382.3 s]
/proc/loadavg: 2.18 2.24 2.07 3/187 31150
/proc/meminfo: memFree=21834464/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=2382.33 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 7338 0 0 0 238233 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5061885 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+2442.3 s]
/proc/loadavg: 2.06 2.20 2.06 3/187 31151
/proc/meminfo: memFree=21833812/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=2442.33 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 7466 0 0 0 244233 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5060745 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

[startup+2502.3 s]
/proc/loadavg: 2.02 2.16 2.05 3/187 31152
/proc/meminfo: memFree=21834160/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=2502.33 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 7594 0 0 0 250233 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5058364 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.02 2.15 2.05 3/187 31152
/proc/meminfo: memFree=21834284/32770624 swapFree=67108860/67108860
[pid=30907] ppid=30904 vsize=27688 memory=4192 CPUtime=2520.04 cores=0,2,4,6
/proc/30907/stat : 30907 (cosoco) R 30904 30907 30456 0 -1 4202496 7722 0 0 0 252004 0 0 0 20 0 1 0 71924902 28352512 1048 33554432000 4194304 6142532 140729762944208 140729762941608 5061419 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 22343680 140729762948230 140729762948360 140729762948360 140729762951118 0
/proc/30907/statm: 6922 1048 841 476 0 244 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4192 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.006
maximum resident set size= 4256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7771
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 760


# summary of solver processes directly reported to runsolver:
#   pid: 30907
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2520.05
#   total CPU system time (s): 0.006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.62104 second user time and 15.191 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-25 20:33:37
IDJOB=4295253
IDBENCH=141498
IDSOLVER=2752
FILE ID=node149/4295253-1532543617
RUNJOBID= node149-1532542931-30487
PBS_JOBID= 21021951
Free space on /tmp= 43252 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g19-g43_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295253-1532543617/watcher-4295253-1532543617 -o /tmp/evaluation-result-4295253-1532543617/solver-4295253-1532543617 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30487 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295253-1532543617.xml

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

MD5SUM BENCH= 73b986b466eb2b69580bc545a83953ff
RANDOM SEED=167932254

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:        16099612 kB
MemAvailable:   26177848 kB
Buffers:          116912 kB
Cached:         10106236 kB
SwapCached:            0 kB
Active:          8066624 kB
Inactive:        7951320 kB
Active(anon):    5730156 kB
Inactive(anon):    92812 kB
Active(file):    2336468 kB
Inactive(file):  7858508 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2884 kB
Writeback:             0 kB
AnonPages:       5802984 kB
Mapped:            40780 kB
Shmem:             25224 kB
Slab:             340196 kB
SReclaimable:     311720 kB
SUnreclaim:        28476 kB
KernelStack:        3392 kB
PageTables:        16724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6093504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    872448 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-25 21:15:37