Trace number 4296133

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2519.91 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-4296133-1532609413.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.77	c 101            730            11137          133884         533            0              84   342   300 
0.78/0.85	c 211            1079           17853          213327         533            0              52   95   79   
0.88/0.98	c 332            1483           28660          338061         533            0              48   105   94  
0.99/1.07	c 465            1844           37007          433923         533            0              30   83   76   
1.09/1.19	c 611            2308           47217          550984         533            0              34   103   81  
1.28/1.34	c 771            2894           60769          691384         533            0              81   95   87   
1.38/1.46	c 947            3372           71304          823338         533            0              39   110   96  
1.58/1.62	c 1140           4065           85863          997345         533            0              19   108   96  
1.68/1.79	c 1352           4771           99824          1164692        533            0              57   120   90  
1.88/1.97	c 1585           5375           113897         1336644        533            0              50   111   97  
2.09/2.17	c 1841           6181           130805         1533969        533            0              39   120   99  
2.28/2.39	c 2122           7070           149161         1720797        533            0              68   100   93  
2.58/2.64	c 2431           8112           170927         1979904        533            0              29   108   92  
2.88/2.90	c 2770           9045           191819         2236776        533            0              26   123   110 
3.18/3.20	c 3142           10016          217930         2533114        533            0              56   117   106 
3.48/3.56	c 3551           11436          246580         2935836        533            0              35   105   86  
3.88/3.97	c 4000           12781          277654         3311509        533            0              37   119   104 
4.38/4.41	c 4493           14542          314243         3744552        533            0              51   117   100 
4.78/4.80	c 5035           16376          348126         4135641        533            0              39   114   84  
5.09/5.17	c 5631           18046          380909         4508711        533            0              49   98   81   
5.58/5.68	c 6286           20010          422319         5007856        533            0              26   127   107 
6.18/6.28	c 7006           22466          471131         5572941        533            0              25   118   89  
6.88/6.95	c 7798           25052          525790         6250270        533            0              28   122   93  
7.48/7.55	c 8669           27369          577212         6914247        533            0              43   106   89  
8.28/8.38	c 9627           30590          645158         7719984        533            0              25   114   87  
9.28/9.31	c 10680          33970          718873         8617810        533            0              26   109   95  
10.18/10.26	c 11838          37244          794919         9561762        533            0              44   125   109 
11.18/11.20	c 13111          41068          871786         10482893       533            0              44   125   106 
12.28/12.33	c 14511          45290          963781         11709534       533            0              35   115   97  
13.58/13.60	c 16051          49364          1064938        12998621       533            0              26   126   115 
14.99/15.02	c 17745          55246          1182700        14501651       533            0              46   113   86  
16.18/16.29	c 19608          60303          1285248        15813903       533            0              43   126   104 
17.99/18.03	c 21657          67286          1427279        17545810       533            0              26   121   98  
19.58/19.65	c 23910          74328          1563617        19260374       533            0              75   118   92  
21.68/21.74	c 26388          82241          1742606        21280351       533            0              30   122   97  
23.78/23.80	c 29113          90385          1920009        23397452       533            0              53   114   97  
26.28/26.33	c 32110          99819          2124331        25915731       533            0              45   124   101 
28.88/28.97	c 35406          111492         2339769        28483144       533            0              45   122   93  
31.88/32.00	c 39031          122030         2581985        31338566       533            0              22   124   109 
35.28/35.31	c 43018          134544         2854501        34495820       533            0              35   111   98  
38.68/38.73	c 47403          146332         3127824        37947164       533            0              26   127   111 
42.38/42.48	c 52226          160939         3430427        41753123       533            0              26   123   97  
46.48/46.53	c 57531          177483         3765058        45876951       533            0              29   121   98  
51.18/51.24	c 63366          194988         4158390        50519781       533            0              53   125   106 
56.09/56.11	c 69784          211616         4551546        55237525       533            0              34   125   111 
61.58/61.65	c 76843          232011         4989495        60640802       533            0              33   121   96  
67.18/67.29	c 84607          255327         5468809        66402083       533            0              39   123   96  
74.48/74.58	c 93147          277552         6072949        73129540       533            0              54   114   104 
81.18/81.25	c 102541         301756         6639692        80251822       533            0              35   123   107 
88.28/88.31	c 112874         333556         7237969        87573723       533            0              45   125   88  
96.87/96.94	c 124240         365774         7933771        96230016       533            0              39   125   103 
106.08/106.11	c 136742         399424         8708028        105296997      533            0              31   121   101 
117.77/117.85	c 150494         439212         9627201        116782624      533            0              25   125   103 
129.57/129.64	c 165621         480516         10569848       128646230      533            0              46   126   106 
142.27/142.33	c 182260         523712         11563926       141256586      533            0              30   131   108 
155.27/155.37	c 200562         571381         12578861       154876925      533            0              54   124   105 
168.98/169.04	c 220694         623378         13718261       167884324      533            0              44   112   95  
184.57/184.62	c 242839         675522         14987595       184947044      533            0              26   125   109 
202.08/202.14	c 267198         738208         16332230       202261365      533            0              12   128   109 
223.87/223.95	c 293992         821462         18175219       224126447      533            0              50   121   100 
246.67/246.77	c 323465         907314         20046249       246813695      533            0              38   127   105 
271.08/271.11	c 355885         990033         21914007       271621629      533            0              28   124   104 
300.37/300.43	c 391547         1087190        24278747       303641737      533            0              44   127   111 
330.27/330.32	c 430775         1191553        26578807       334283921      533            0              50   130   107 
363.86/363.98	c 473925         1309584        29324011       367402208      533            0              53   127   111 
397.16/397.23	c 521390         1450826        32142362       401417203      533            0              49   120   87  
430.97/431.10	c 573601         1595701        35038255       431502111      533            0              54   122   90  
473.76/473.86	c 631033         1765826        38655714       475128032      533            0              39   122   96  
515.36/515.42	c 694208         1904471        41945347       516128342      533            0              23   117   100 
570.56/570.65	c 763700         2103824        46452119       571498233      533            0              51   123   101 
621.96/622.03	c 840141         2302854        50733280       622300187      533            0              30   120   93  
684.06/684.17	c 924226         2514221        55646902       687111923      533            0              52   131   113 
761.45/761.53	c 1016719        2749730        61613979       766172260      533            0              33   124   106 
826.75/826.82	c 1118461        2986147        67289658       826916173      533            0              61   117   96  
913.84/914.00	c 1230377        3340579        74690020       911442704      533            0              49   120   88  
1006.54/1006.63	c 1353484        3657874        82144491       1003534862     533            0              26   126   111 
1095.84/1095.99	c 1488901        4003595        89887036       1096940299     533            0              57   121   106 
1208.33/1208.47	c 1637859        4441886        99204751       1213493167     533            0              58   123   98  
1337.04/1337.16	c 1801712        4867810        109461568      1342607832     533            0              35   131   107 
1474.32/1474.49	c 1981950        5306873        119879029      1486509891     533            0              25   127   110 
1610.62/1610.78	c 2180211        5786757        131747843      1615643898     533            0              35   113   93  
1766.11/1766.29	c 2398298        6456064        145195076      1772278916     533            0              29   122   93  
1942.61/1942.78	c 2638193        7099054        159582810      1951547727     533            0              26   131   104 
2140.11/2140.27	c 2902077        7808945        175173728      2146072465     533            0              26   131   105 
2349.60/2349.75	c 3192349        8568800        192034189      2362242054     533            0              45   126   106 
2519.90/2520.00	
2519.90/2520.00	c *** INTERRUPTED ***
2519.90/2520.00	c restarts              : 85          
2519.90/2520.00	c conflicts             : 3423773      (1359 /sec)
2519.90/2520.00	c decisions             : 9169109      (3639 /sec)
2519.90/2520.00	c propagations          : 2541312985  (1008500 /sec)
2519.90/2520.00	c root propagations     : 14636       
2519.90/2520.00	c filter calls          : 206052633      (81770 /sec)
2519.90/2520.00	c useless filter calls  : 36569565       (17 %)
2519.90/2520.00	c Memory used           : 36.00 MB
2519.90/2520.00	c CPU time              : 2519.89 s
2519.90/2520.00	
2519.90/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 (12511 MiB free)
  memory of node 1: 16384 MiB (10336 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296133-1532609413/watcher-4296133-1532609413 -o /tmp/evaluation-result-4296133-1532609413/solver-4296133-1532609413 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532594282-8247 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4296133-1532609413.xml 

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

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


[startup+0.100134 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 9992
/proc/meminfo: memFree=23393496/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=28780 memory=4992 CPUtime=0.1 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 1450 0 0 0 10 0 0 0 20 0 1 0 78504522 29470720 1248 33554432000 4194304 6142532 140724666525056 140724666521704 140155736882176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 7195 1248 790 476 0 517 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28780 KiB
Current children cumulated memory: 4992 KiB

[startup+0.209475 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 9992
/proc/meminfo: memFree=23392380/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=30000 memory=6312 CPUtime=0.2 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 1743 0 0 0 20 0 0 0 20 0 1 0 78504522 30720000 1578 33554432000 4194304 6142532 140724666525056 140724666521704 5801848 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 7500 1578 791 476 0 822 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30000 KiB
Current children cumulated memory: 6312 KiB

[startup+0.308918 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 9992
/proc/meminfo: memFree=23391636/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=31100 memory=7368 CPUtime=0.3 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 2003 0 0 0 30 0 0 0 20 0 1 0 78504522 31846400 1842 33554432000 4194304 6142532 140724666525056 140724666521704 5546356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 7775 1842 791 476 0 1097 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31100 KiB
Current children cumulated memory: 7368 KiB

[startup+0.700286 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9992
/proc/meminfo: memFree=23388768/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13176 CPUtime=0.68 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 3502 0 0 0 68 0 0 0 20 0 1 0 78504522 37748736 3294 33554432000 4194304 6142532 140724666525056 140724666521704 5055512 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3294 847 476 0 2538 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13176 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9992
/proc/meminfo: memFree=23385016/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13176 CPUtime=1.48 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 3511 0 0 0 148 0 0 0 20 0 1 0 78504522 37748736 3294 33554432000 4194304 6142532 140724666525056 140724666522456 5055077 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3294 847 476 0 2538 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13176 KiB

[startup+3.10931 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9992
/proc/meminfo: memFree=23385016/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13420 CPUtime=3.09 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 5583 0 0 0 309 0 0 0 20 0 1 0 78504522 37748736 3355 33554432000 4194304 6142532 140724666525056 140724666522456 5055541 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3355 847 476 0 2538 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13420 KiB

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9992
/proc/meminfo: memFree=23385260/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13420 CPUtime=6.28 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 7654 0 0 0 628 0 0 0 20 0 1 0 78504522 37748736 3355 33554432000 4194304 6142532 140724666525056 140724666522456 5058604 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3355 847 476 0 2538 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13420 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9992
/proc/meminfo: memFree=23385016/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=12.68 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 7972 0 0 0 1268 0 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5058259 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9992
/proc/meminfo: memFree=23385088/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=25.48 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 8600 0 0 0 2548 0 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5017914 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+51.1092 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 10053
/proc/meminfo: memFree=23384304/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=51.09 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 8914 0 0 0 5109 0 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5060779 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/188 10054
/proc/meminfo: memFree=23384364/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=102.27 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 9228 0 0 0 10227 0 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5061926 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 10055
/proc/meminfo: memFree=23385464/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=162.27 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 9542 0 0 0 16227 0 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5058268 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 10056
/proc/meminfo: memFree=23384796/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=222.27 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 9856 0 0 0 22227 0 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5060602 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 10057
/proc/meminfo: memFree=23385112/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=282.27 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 10170 0 0 0 28227 0 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5060745 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 10059
/proc/meminfo: memFree=23384920/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=342.27 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 10484 0 0 0 34227 0 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5054733 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 10060
/proc/meminfo: memFree=23385000/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=402.26 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 10798 0 0 0 40226 0 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5053512 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 10061
/proc/meminfo: memFree=23384572/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=462.26 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 11112 0 0 0 46226 0 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5061911 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB


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

/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 10122
/proc/meminfo: memFree=23383672/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=1782.22 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 17571 0 0 0 178221 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5054405 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 10131
/proc/meminfo: memFree=23383644/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=1842.22 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 17848 0 0 0 184221 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5330311 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 10132
/proc/meminfo: memFree=23383924/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=1902.21 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 18100 0 0 0 190220 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5335920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 10133
/proc/meminfo: memFree=23383868/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=1962.21 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 18414 0 0 0 196220 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5016473 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 10134
/proc/meminfo: memFree=23383916/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=2022.21 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 18667 0 0 0 202220 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5058268 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10135
/proc/meminfo: memFree=23384212/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=2082.21 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 18921 0 0 0 208220 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5058360 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10137
/proc/meminfo: memFree=23383784/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=2142.21 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 19239 0 0 0 214220 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5058259 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10138
/proc/meminfo: memFree=23383544/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=2202.2 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 19516 0 0 0 220219 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5061866 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10139
/proc/meminfo: memFree=23383744/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=2262.2 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 19793 0 0 0 226219 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5054855 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10141
/proc/meminfo: memFree=23383436/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=2322.2 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 20075 0 0 0 232219 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5058573 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10142
/proc/meminfo: memFree=23383496/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=2382.2 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 20389 0 0 0 238219 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5017914 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10150
/proc/meminfo: memFree=23382436/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=2442.19 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 20617 0 0 0 244218 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5060790 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10151
/proc/meminfo: memFree=23383040/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=2502.19 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 20839 0 0 0 250218 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5061195 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10151
/proc/meminfo: memFree=23383232/32770624 swapFree=67108860/67108860
[pid=9991] ppid=9988 vsize=36864 memory=13444 CPUtime=2519.9 cores=1,3,5,7
/proc/9991/stat : 9991 (cosoco) R 9988 9991 8215 0 -1 4202496 21049 0 0 0 251989 1 0 0 20 0 1 0 78504522 37748736 3361 33554432000 4194304 6142532 140724666525056 140724666522456 5058653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25759744 140724666532998 140724666533128 140724666533128 140724666535886 0
/proc/9991/statm: 9216 3361 847 476 0 2538 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 13444 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.91
CPU user time (s): 2519.9
CPU system time (s): 0.010999
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 36864
Max. memory (cumulated for all children) (KiB): 13444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.9
system time used= 0.010999
maximum resident set size= 13508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21099
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= 635


# summary of solver processes directly reported to runsolver:
#   pid: 9991
#   total CPU time (s): 2519.91
#   total CPU user time (s): 2519.9
#   total CPU system time (s): 0.010999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.34889 second user time and 15.5246 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-26 14:50:13
IDJOB=4296133
IDBENCH=141656
IDSOLVER=2752
FILE ID=node151/4296133-1532609413
RUNJOBID= node151-1532594282-8247
PBS_JOBID= 21021971
Free space on /tmp= 54924 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-4296133-1532609413/watcher-4296133-1532609413 -o /tmp/evaluation-result-4296133-1532609413/solver-4296133-1532609413 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532594282-8247 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4296133-1532609413.xml

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

MD5SUM BENCH= e6142002f41530755715c5642d221a51
RANDOM SEED=1459900380

node151.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.87
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.87
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.87
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.87
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:        23395140 kB
MemAvailable:   31940572 kB
Buffers:          201788 kB
Cached:          8587424 kB
SwapCached:            0 kB
Active:          1385180 kB
Inactive:        7461684 kB
Active(anon):       7656 kB
Inactive(anon):    77480 kB
Active(file):    1377524 kB
Inactive(file):  7384204 kB
Unevictable:        7824 kB
Mlocked:            7824 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4528 kB
Writeback:             0 kB
AnonPages:         77348 kB
Mapped:            42528 kB
Shmem:             25224 kB
Slab:             226732 kB
SReclaimable:     199080 kB
SUnreclaim:        27652 kB
KernelStack:        3584 kB
PageTables:         4808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     355140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54920 MiB
End job on node151 at 2018-07-26 15:32:13