Trace number 4294582

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

General information on the benchmark

NameDubois/
Dubois-050_c18.xml
MD5SUM630ab63eaf7c5bcaa7f0eb192a58705a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.011295
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":150}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":150}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.12 --  
0.00/0.00	c
0.00/0.00	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294582-1532478083.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 150
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 100
0.00/0.00	c |                   Arity: 3..3  -- Ternary: 100
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 100  (nb tuples: 4..4) -- (shared: 95)
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            2800           11901          11538          0              0              51   147   103 
0.00/0.01	c 211            3259           13597          13114          0              0              63   148   100 
0.00/0.01	c 332            3968           16470          15740          0              0              64   140   102 
0.00/0.02	c 465            4986           20118          19150          0              0              122   141   134
0.00/0.02	c 611            5959           23592          22444          0              0              47   117   86  
0.00/0.02	c 771            6927           27050          25655          0              0              117   143   127
0.00/0.02	c 947            8042           31177          29529          0              0              108   143   127
0.00/0.03	c 1140           9324           35633          33819          0              0              17   110   67  
0.00/0.03	c 1352           10650          40479          38393          0              0              29   137   124 
0.00/0.04	c 1585           12188          45812          43520          0              0              41   72   65   
0.00/0.04	c 1841           13855          51696          49054          0              0              17   149   124 
0.00/0.04	c 2122           15667          58022          55089          0              0              19   147   117 
0.00/0.05	c 2431           17920          65764          62481          0              0              22   145   125 
0.00/0.06	c 2770           20488          74766          71155          0              0              41   125   113 
0.00/0.06	c 3142           23249          84536          80574          0              0              78   105   97  
0.00/0.07	c 3551           25796          93641          89327          0              0              76   103   95  
0.00/0.08	c 4000           29329          105567         100829         0              0              15   147   135 
0.00/0.09	c 4493           33318          119399         114265         0              0              18   145   134 
0.00/0.10	c 5035           37002          132094         126518         0              0              22   108   98  
0.10/0.11	c 5631           41059          146276         140294         0              0              25   140   126 
0.10/0.12	c 6286           46513          164972         158671         0              0              16   145   125 
0.10/0.14	c 7006           52161          185009         178185         0              0              81   142   132 
0.10/0.15	c 7798           57872          205221         197754         0              0              27   144   128 
0.10/0.17	c 8669           64613          228873         220734         0              0              73   131   118 
0.10/0.18	c 9627           70861          250611         241761         0              0              15   142   107 
0.10/0.20	c 10680          77851          275728         266252         0              0              117   143   136
0.21/0.22	c 11838          86748          306769         296388         0              0              47   141   131 
0.21/0.25	c 13111          96829          341967         330881         0              0              33   139   112 
0.21/0.27	c 14511          105972         373889         361849         0              0              24   141   107 
0.21/0.30	c 16051          116783         413405         400435         0              0              18   140   130 
0.31/0.33	c 17745          128658         456304         441949         0              0              54   138   123 
0.31/0.37	c 19608          142576         505622         489654         0              0              84   138   127 
0.31/0.40	c 21657          157833         559667         542908         0              0              108   140   133
0.41/0.45	c 23910          176604         625497         607645         0              0              24   137   111 
0.41/0.51	c 26388          198125         700200         680889         0              0              55   137   115 
0.51/0.56	c 29113          219020         772240         751672         0              0              41   139   102 
0.60/0.62	c 32110          242339         855229         833070         0              0              18   140   120 
0.60/0.69	c 35406          270256         953773         929628         0              0              75   137   131 
0.69/0.76	c 39031          297386         1050089        1024476        0              0              81   137   112 
0.79/0.83	c 43018          326457         1152463        1123963        0              0              31   139   131 
0.89/0.93	c 47403          363932         1284459        1253164        0              0              76   137   130 
1.00/1.02	c 52226          399330         1412852        1378009        0              0              99   140   133 
1.10/1.11	c 57531          436628         1542606        1504829        0              0              38   139   125 
1.19/1.22	c 63366          481131         1698937        1658195        0              0              81   138   128 
1.29/1.34	c 69784          528856         1871930        1828076        0              0              99   137   129 
1.49/1.50	c 76843          594591         2102754        2054271        0              0              87   138   126 
1.59/1.65	c 84607          653315         2306664        2253724        0              0              23   139   125 
1.79/1.80	c 93147          713695         2523507        2466382        0              0              75   137   127 
2.00/2.01	c 102541         797733         2816675        2753341        0              0              66   137   131 
2.19/2.23	c 112874         883867         3117980        3050067        0              0              66   140   129 
2.49/2.50	c 124240         991643         3487648        3416097        0              0              34   139   126 
2.69/2.77	c 136742         1098335        3862726        3784973        0              0              79   124   113 
3.00/3.04	c 150494         1204384        4232732        4147281        0              0              30   137   125 
3.29/3.39	c 165621         1335329        4691706        4598535        0              0              45   126   81  
3.69/3.74	c 182260         1478415        5181623        5075569        0              0              29   139   128 
4.00/4.10	c 200562         1615996        5668491        5550569        0              0              38   139   116 
4.49/4.50	c 220694         1774760        6235063        6103764        0              0              78   137   124 
4.89/4.97	c 242839         1966198        6897355        6756846        0              0              42   139   130 
5.49/5.54	c 267198         2190714        7700410        7549514        0              0              75   137   125 
6.00/6.10	c 293992         2407867        8463069        8295584        0              0              41   136   108 
6.69/6.78	c 323465         2673871        9389178        9204091        0              0              23   135   113 
7.39/7.45	c 355885         2932496        10292271       10090969       0              0              37   135   104 
8.19/8.25	c 391547         3248320        11432238       11206834       0              0              28   138   128 
9.00/9.03	c 430775         3556185        12547230       12296940       0              0              69   135   123 
9.79/9.86	c 473925         3880838        13678833       13407689       0              0              31   137   113 
10.79/10.88	c 521390         4285141        15117781       14817589       0              0              51   138   124 
12.00/12.04	c 573601         4749867        16726336       16392667       0              0              38   137   127 
13.29/13.31	c 631033         5248244        18511024       18140930       0              0              78   135   122 
14.69/14.73	c 694208         5815959        20470885       20071823       0              0              46   135   127 
16.19/16.28	c 763700         6432466        22689498       22252431       0              0              79   138   128 
18.00/18.07	c 840141         7141416        25127131       24654378       0              0              43   135   123 
20.00/20.03	c 924226         7923987        27931673       27397652       0              0              83   138   129 
21.89/21.99	c 1016719        8706011        30619269       30045939       0              0              36   137   126 
24.19/24.27	c 1118461        9612098        33864031       33228516       0              0              80   138   128 
26.59/26.62	c 1230377        10552708       37100197       36405308       0              0              38   138   128 
29.39/29.44	c 1353484        11671744       41099816       40345615       0              0              82   139   129 
32.49/32.50	c 1488901        12900906       45319974       44494438       0              0              58   137   127 
35.59/35.60	c 1637859        14132875       49737200       48816238       0              0              82   139   128 
39.19/39.28	c 1801712        15604022       54798538       53804073       0              0              37   137   128 
43.29/43.37	c 1981950        17228138       60618688       59510970       0              0              50   138   128 
47.49/47.59	c 2180211        18887735       66556747       65301350       0              0              61   135   120 
51.79/51.88	c 2398298        20588206       72431587       71072393       0              0              39   137   123 
57.29/57.32	c 2638193        22745319       80184808       78676165       0              0              25   138   127 
63.19/63.20	c 2902077        25082146       88241819       86587229       0              0              42   137   123 
69.99/70.03	c 3192349        27791657       97879473       96038769       0              0              15   138   126 
77.19/77.24	c 3511648        30649377       107715111      105716163      0              0              37   138   122 
85.28/85.32	c 3862876        33870139       119159304      116920230      0              0              24   138   128 
94.18/94.21	c 4249226        37419836       131310907      128881397      0              0              39   136   125 
103.99/104.06	c 4674211        41349250       145261210      142589386      0              0              46   138   129 
114.09/114.12	c 5141694        45318906       159036146      156153413      0              0              32   138   119 
126.38/126.42	c 5655925        50191172       176207451      172998980      0              0              16   138   123 
139.78/139.87	c 6221579        55387898       194191821      190683517      0              0              40   136   107 
153.48/153.57	c 6843798        60841594       213500312      209609811      0              0              28   138   127 
168.99/169.10	c 7528238        67002516       234693990      230505145      0              0              50   136   121 
185.28/185.38	c 8281122        73472162       257844512      253079598      0              0              56   138   128 
206.67/206.78	c 9109294        81852982       286640633      281586857      0              0              40   138   116 
225.87/225.96	c 10020283       89445843       313645108      308084569      0              0              49   138   124 
246.57/246.62	c 11022370       97652685       341945170      336065195      0              0              33   135   122 
272.57/272.64	c 12124665       108002194      378790494      372093619      0              0              37   138   127 
302.27/302.34	c 13337189       119735744      419133566      411613823      0              0              42   138   119 
332.16/332.26	c 14670965       131597728      461277041      452944733      0              0              45   138   124 
364.56/364.64	c 16138118       144296418      505117645      496120067      0              0              37   138   116 
401.07/401.18	c 17751986       158798103      556445762      546570307      0              0              61   138   125 
442.15/442.25	c 19527240       174613988      610770840      600217752      0              0              26   136   103 
488.45/488.55	c 21480019       193109728      676004130      663968571      0              0              65   138   128 
533.96/534.04	c 23628075       211126861      738240899      725221149      0              0              60   136   120 
584.44/584.54	c 25990936       231108876      809805403      795216549      0              0              65   138   125 
641.05/641.14	c 28590083       253394940      886451400      870672365      0              0              31   137   116 
706.13/706.26	c 31449144       279304248      978806492      960950729      0              0              24   138   128 
774.04/774.12	c 34594111       305480665      1069815546     1050815417     0              0              31   136   105 
857.22/857.39	c 38053574       338114193      1184300560     1163452290     0              0              42   138   122 
968.81/968.99	c 41858983       381888373      1336983424     1314365698     0              0              32   138   124 
1082.50/1082.67	c 46044932       426430281      1492482554     1468068010     0              0              38   138   121 
1186.90/1187.09	c 50649475       467330037      1636513442     1609927133     0              0              35   138   118 
1302.48/1302.68	c 55714472       512228201      1794089874     1765852463     0              0              29   138   114 
1449.77/1449.91	c 61285968       568259670      1986998727     1956224673     0              0              24   137   98  
1605.66/1605.84	c 67414613       629609575      2204498537     2170867573     0              0              36   139   127 
1775.04/1775.20	c 74156122       695791222      2433071599     2395586261     0              0              40   137   115 
1932.84/1933.06	c 81571781       758077638      2657701835     2615605545     0              0              55   138   125 
2144.11/2144.32	c 89729005       840972127      2946635845     2901783063     0              0              24   138   121 
2366.30/2366.50	c 98701951       927976924      3252237808     3203907262     0              0              32   138   122 
2519.79/2520.00	
2519.79/2520.00	c *** INTERRUPTED ***
2519.79/2520.00	c restarts              : 121         
2519.79/2520.00	c conflicts             : 104456107    (41454 /sec)
2519.79/2520.00	c decisions             : 987607352    (391939 /sec)
2519.79/2520.00	c propagations          : 3407584509  (1352325 /sec)
2519.79/2520.00	c root propagations     : 0           
2519.79/2520.00	c filter calls          : 3459295098     (1372846 /sec)
2519.79/2520.00	c useless filter calls  : 1981415900     (57 %)
2519.79/2520.00	c Memory used           : 26.91 MB
2519.79/2520.00	c CPU time              : 2519.8 s
2519.79/2520.00	
2519.79/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 (4868 MiB free)
  memory of node 1: 16384 MiB (10835 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294582-1532478083/watcher-4294582-1532478083 -o /tmp/evaluation-result-4294582-1532478083/solver-4294582-1532478083 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22596 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294582-1532478083.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=23478, runsolver pid=23475
Current StackSize limit: 8192 KiB


[startup+0.100105 s]*
/proc/loadavg: 2.02 2.02 2.05 3/188 23479
/proc/meminfo: memFree=16080148/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=3936 CPUtime=0.1 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 1185 0 0 0 10 0 0 0 20 0 1 0 65371619 28217344 984 33554432000 4194304 6142532 140724551613280 140724551609912 5017423 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 984 826 476 0 211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3936 KiB

[startup+0.209354 s]*
/proc/loadavg: 2.02 2.02 2.05 3/188 23479
/proc/meminfo: memFree=16080148/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=3936 CPUtime=0.21 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 1186 0 0 0 21 0 0 0 20 0 1 0 65371619 28217344 984 33554432000 4194304 6142532 140724551613280 140724551609912 5335920 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 984 826 476 0 211 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3936 KiB

[startup+0.308798 s]*
/proc/loadavg: 2.02 2.02 2.05 3/188 23479
/proc/meminfo: memFree=16080148/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=3936 CPUtime=0.31 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 1186 0 0 0 31 0 0 0 20 0 1 0 65371619 28217344 984 33554432000 4194304 6142532 140724551613280 140724551609912 5013856 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 984 826 476 0 211 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3936 KiB

[startup+0.700261 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 23479
/proc/meminfo: memFree=16079828/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=3936 CPUtime=0.69 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 1186 0 0 0 69 0 0 0 20 0 1 0 65371619 28217344 984 33554432000 4194304 6142532 140724551613280 140724551610680 5013907 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 984 826 476 0 211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3936 KiB

[startup+1.50032 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 23479
/proc/meminfo: memFree=16079612/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=3936 CPUtime=1.49 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 1186 0 0 0 149 0 0 0 20 0 1 0 65371619 28217344 984 33554432000 4194304 6142532 140724551613280 140724551610680 5318912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 984 826 476 0 211 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3936 KiB

[startup+3.10894 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 23479
/proc/meminfo: memFree=16079624/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=3.1 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 1324 0 0 0 310 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5013856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+6.30026 s]
/proc/loadavg: 2.10 2.04 2.05 3/188 23479
/proc/meminfo: memFree=16079812/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=6.29 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 1462 0 0 0 629 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5319106 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+12.7003 s]
/proc/loadavg: 2.09 2.04 2.05 3/188 23479
/proc/meminfo: memFree=16080060/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=12.69 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 1600 0 0 0 1269 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5018020 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+25.5003 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 23479
/proc/meminfo: memFree=16080312/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=25.49 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 1876 0 0 0 2549 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5013907 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+51.1089 s]
/proc/loadavg: 2.12 2.05 2.05 3/188 23479
/proc/meminfo: memFree=16080456/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=51.1 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 2014 0 0 0 5110 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5326502 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 23480
/proc/meminfo: memFree=16080680/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=102.28 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 2152 0 0 0 10228 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5013840 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+162.3 s]
/proc/loadavg: 2.41 2.13 2.08 3/188 23481
/proc/meminfo: memFree=16080800/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=162.28 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 2290 0 0 0 16228 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5335934 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+222.3 s]
/proc/loadavg: 2.26 2.15 2.09 3/187 23483
/proc/meminfo: memFree=16080444/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=222.27 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 2428 0 0 0 22227 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5318912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+282.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/187 23484
/proc/meminfo: memFree=16080740/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=282.27 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 2566 0 0 0 28227 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5335920 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+342.3 s]
/proc/loadavg: 2.03 2.10 2.07 3/187 23485
/proc/meminfo: memFree=16080720/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=342.26 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 2704 0 0 0 34226 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5013907 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 23487
/proc/meminfo: memFree=16080496/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=402.26 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 2842 0 0 0 40226 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5347477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.07 2.06 3/187 23488
/proc/meminfo: memFree=16081320/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=462.25 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 2980 0 0 0 46225 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5018122 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB


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

/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23595
/proc/meminfo: memFree=16087128/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=1782.14 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 5896 0 0 0 178214 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5013907 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23596
/proc/meminfo: memFree=16086872/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=1842.14 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 6016 0 0 0 184214 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5013936 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23597
/proc/meminfo: memFree=16086848/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=1902.13 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 6142 0 0 0 190213 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5354356 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23598
/proc/meminfo: memFree=16086800/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=1962.13 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 6280 0 0 0 196213 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5319096 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23600
/proc/meminfo: memFree=16086568/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=2022.12 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 6405 0 0 0 202212 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 4991333 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23601
/proc/meminfo: memFree=16087140/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=2082.12 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 6530 0 0 0 208212 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5329966 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23602
/proc/meminfo: memFree=16086892/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=2142.11 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 6655 0 0 0 214211 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5318987 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23604
/proc/meminfo: memFree=16086636/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=2202.11 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 6793 0 0 0 220211 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5013856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23605
/proc/meminfo: memFree=16086732/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=2262.1 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 6918 0 0 0 226210 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5013961 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23614
/proc/meminfo: memFree=16086228/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=2322.1 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 7043 0 0 0 232210 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5318987 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 23637
/proc/meminfo: memFree=16084752/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=2382.1 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 7181 0 0 0 238210 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5013856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+2442.3 s]
/proc/loadavg: 2.32 2.13 2.08 3/189 23638
/proc/meminfo: memFree=16085348/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=2442.09 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 7306 0 0 0 244209 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5329892 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

[startup+2502.3 s]
/proc/loadavg: 2.12 2.10 2.08 3/189 23639
/proc/meminfo: memFree=16085844/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=2502.09 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 7431 0 0 0 250209 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5335940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.09 2.10 2.08 3/189 23639
/proc/meminfo: memFree=16085968/32770624 swapFree=67108860/67108860
[pid=23478] ppid=23475 vsize=27556 memory=4120 CPUtime=2519.79 cores=0,2,4,6
/proc/23478/stat : 23478 (cosoco) R 23475 23478 22565 0 -1 4202496 7552 0 0 0 251979 0 0 0 20 0 1 0 65371619 28217344 1030 33554432000 4194304 6142532 140724551613280 140724551610680 5013856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30294016 140724551619718 140724551619848 140724551619848 140724551622606 0
/proc/23478/statm: 6889 1030 830 476 0 211 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4120 KiB

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

[startup+2520.01 s]
# the end of solver process 23478 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.8 s, system=0.002 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.8
CPU user time (s): 2519.8
CPU system time (s): 0.002
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 27556
Max. memory (cumulated for all children) (KiB): 4120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.8
system time used= 0.002
maximum resident set size= 4184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7601
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 3156


# summary of solver processes directly reported to runsolver:
#   pid: 23478
#   total CPU time (s): 2519.8
#   total CPU user time (s): 2519.8
#   total CPU system time (s): 0.002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.00473 second user time and 16.7043 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 02:21:24
IDJOB=4294582
IDBENCH=141399
IDSOLVER=2752
FILE ID=node150/4294582-1532478083
RUNJOBID= node150-1532470521-22596
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Dubois/Dubois-050_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294582-1532478083/watcher-4294582-1532478083 -o /tmp/evaluation-result-4294582-1532478083/solver-4294582-1532478083 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22596 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294582-1532478083.xml

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

MD5SUM BENCH= 630ab63eaf7c5bcaa7f0eb192a58705a
RANDOM SEED=69783855

node150.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.76
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.76
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.76
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.76
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:        16081292 kB
MemAvailable:   31932148 kB
Buffers:          236280 kB
Cached:         15698936 kB
SwapCached:            0 kB
Active:          1582588 kB
Inactive:       14414196 kB
Active(anon):      19716 kB
Inactive(anon):    61412 kB
Active(file):    1562872 kB
Inactive(file): 14352784 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2608 kB
Writeback:             0 kB
AnonPages:         72920 kB
Mapped:            40848 kB
Shmem:             17032 kB
Slab:             390804 kB
SReclaimable:     363660 kB
SUnreclaim:        27144 kB
KernelStack:        3488 kB
PageTables:         5748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     352920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53100 MiB
End job on node150 at 2018-07-25 03:03:24