Trace number 4252187

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-mini 1.1 (2017-06-27)? (TO) 2400.01 2400.1

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-90.xml
MD5SUM2a5b3790b47e1c2f5ad8b085143681cb
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 variables360
Number of constraints270
Number of domains2
Minimum domain size90
Maximum domain size180
Distribution of domain sizes[{"size":90,"count":180},{"size":180,"count":180}]
Minimum variable degree2
Maximum variable degree180
Distribution of variable degrees[{"degree":2,"count":180},{"degree":180,"count":180}]
Minimum constraint arity2
Maximum constraint arity181
Distribution of constraint arities[{"arity":2,"count":90},{"arity":181,"count":180}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"type":"element","count":180}]
Optimization problemNO
Type of objective

Solver Data 

0.09/0.10	c root propagations     : 0           
0.09/0.10	c restarts enabled, print stats at every restarts
0.09/0.10	c
0.09/0.10	c
0.09/0.10	c
0.09/0.10	c This is cosoco 1.0 --  
0.09/0.10	c
0.09/0.10	c ========================================[ Problem Statistics ]===========================================
0.09/0.10	c |                                                                                                       
0.09/0.10	c |  Parse time        :         0.10 s 
0.09/0.10	c |
0.09/0.10	c |               Variables: 360
0.09/0.10	c |            Domain Sizes: 90..180
0.09/0.10	c |
0.09/0.10	c |             Constraints: 270
0.09/0.10	c |                   Arity: 2..181  -- Binary: 90
0.09/0.10	c | 
0.09/0.10	c |                   Types: 
0.09/0.10	c |                          Element Constant: 180
0.09/0.10	c |                          Intension: 90
0.09/0.10	c |                          
0.09/0.10	c =========================================================================================================
0.09/0.10	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.19/0.22	c 101            329            95162          51844          0              0              116   122   115
0.29/0.31	c 211            548            196707         108828         0              0              98   99   97   
0.39/0.40	c 332            774            307380         172922         0              0              102   106   102
0.49/0.53	c 465            1064           479096         271091         0              0              106   110   105
0.59/0.64	c 611            1457           619471         334838         0              0              123   126   122
0.79/0.81	c 771            1901           868952         504131         0              0              108   120   113
0.89/0.99	c 947            2302           1168858        712325         0              0              109   119   109
1.19/1.21	c 1140           2848           1558441        947664         0              0              107   119   108
1.29/1.33	c 1352           3390           1697650        1019375        1              0              1   135   81   
1.49/1.51	c 1585           3876           1987916        1178746        1              0              109   121   110
1.69/1.73	c 1841           4538           2346711        1408122        1              0              106   126   110
1.99/2.00	c 2122           5417           2803919        1672404        1              0              106   129   115
2.19/2.26	c 2431           6182           3277971        1978431        1              0              110   129   114
2.49/2.59	c 2770           7483           3824861        2263922        1              0              111   139   121
2.99/3.02	c 3142           9298           4637102        2690273        1              0              127   137   128
3.49/3.53	c 3551           11314          5547524        3167482        2              0              1   138   105  
3.99/4.01	c 4000           13318          6344079        3602111        2              0              119   145   125
4.19/4.27	c 4493           14486          6781397        3794508        2              0              117   134   124
4.69/4.76	c 5035           16385          7656799        4266927        2              0              111   131   118
5.19/5.29	c 5631           19123          8637306        4797664        3              0              1   146   110  
5.89/5.99	c 6286           22893          9860734        5376446        3              0              111   142   123
6.49/6.58	c 7006           25763          11023307       5983420        4              0              1   144   110  
7.29/7.37	c 7798           29712          12601343       6758959        4              0              120   147   129
8.29/8.35	c 8669           34625          14571997       7769707        4              0              112   145   130
8.79/8.84	c 9627           36849          15700136       8367093        5              0              1   143   118  
9.49/9.52	c 10680          40289          17101312       9018605        5              0              115   142   127
10.39/10.45	c 11838          44812          18961933       10009150       5              0              117   141   127
11.39/11.48	c 13111          50057          21191652       11122639       5              0              115   143   128
12.79/12.89	c 14511          57676          23878097       12430875       5              0              110   139   127
14.09/14.19	c 16051          64470          26274926       13497163       5              0              116   139   123
15.29/15.40	c 17745          70457          28750898       14672022       5              0              117   136   124
16.49/16.53	c 19608          75444          31411387       15943913       5              0              114   135   122
17.39/17.40	c 21657          78415          33952569       17388657       5              0              124   144   129
19.09/19.16	c 23910          89591          38561274       19368315       5              0              128   167   145
21.29/21.33	c 26388          109221         44818981       21797438       5              0              132   178   161
22.99/23.06	c 29113          124368         49909467       23652453       6              0              1   176   141  
24.79/24.83	c 32110          134503         54871242       25873781       6              0              121   168   134
26.59/26.69	c 35406          146177         60208488       28042041       6              0              125   152   135
28.19/28.28	c 39031          157885         64338190       29491492       6              0              126   160   134
29.69/29.78	c 43018          167485         68830920       31106998       7              0              1   161   136  
31.59/31.60	c 47403          181495         73902483       32867970       7              0              124   153   139
33.29/33.34	c 52226          191531         79307309       34775672       7              0              127   149   136
34.89/34.97	c 57531          200074         84728015       37048643       7              0              131   154   139
35.99/36.03	c 63366          209082         88819202       38331327       7              0              135   163   144
37.69/37.74	c 69784          220188         95121773       40425982       7              0              129   152   135
39.59/39.64	c 76843          233976         102250031      43169693       7              0              132   151   137
42.19/42.24	c 84607          249791         110009335      46424194       7              0              129   143   132
45.89/45.98	c 93147          269406         121877494      51404509       7              0              120   145   128
47.89/47.91	c 102541         282162         129264248      54170934       7              0              134   150   137
51.19/51.22	c 112874         298537         141523716      59503335       7              0              132   142   135
53.18/53.24	c 124240         315344         149928928      61714266       7              0              141   155   143
55.38/55.45	c 136742         332155         159548585      64326331       7              0              134   147   137
57.88/57.92	c 150494         350663         169470325      68141228       7              0              138   161   139
61.78/61.85	c 165621         369845         186820113      75335832       7              0              132   149   137
67.09/67.17	c 182260         412790         207316860      82886544       7              0              134   151   141
70.98/71.00	c 200562         441634         223428379      88346679       7              0              129   151   136
77.18/77.26	c 220694         478950         250139515      98629937       7              0              134   161   141
81.78/81.85	c 242839         507052         271040020      106582600      7              0              130   156   139
90.48/90.55	c 267198         554047         310497388      122048785      7              0              131   158   138
95.98/96.09	c 293992         600310         336780503      129012607      7              0              134   161   145
105.28/105.39	c 323465         662418         373155035      142836837      7              0              126   149   133
109.99/110.05	c 355885         701999         393486098      151554965      7              0              133   155   137
114.78/114.86	c 391547         748106         415225826      157560587      7              0              133   154   138
123.88/123.99	c 430775         811508         456272450      173292473      7              0              129   154   136
132.58/132.60	c 473925         879329         495490537      184715289      7              0              132   151   139
144.28/144.32	c 521390         966456         548920491      201864158      7              0              128   156   138
168.58/168.68	c 573601         1145063        641516877      235346023      7              0              130   154   139
180.08/180.19	c 631033         1231282        698528973      254877409      7              0              132   158   141
192.08/192.13	c 694208         1330509        757038492      273081219      7              0              133   158   142
204.68/204.71	c 763700         1438638        820282827      289812382      7              0              132   160   145
220.68/220.78	c 840141         1566678        896032300      314728138      7              0              130   159   139
238.68/238.71	c 924226         1711109        994374915      345221887      7              0              136   166   150
251.38/251.41	c 1016719        1827931        1063047837     365800632      7              0              133   159   146
270.88/270.94	c 1118461        2000170        1159673529     395978201      7              0              129   160   141
295.57/295.68	c 1230377        2210171        1284439683     436297235      7              0              131   165   141
316.37/316.45	c 1353484        2412306        1392068321     466113267      7              0              127   165   145
339.47/339.52	c 1488901        2629317        1517602330     504846202      7              0              130   165   146
363.77/363.89	c 1637859        2859168        1646896154     547194418      7              0              130   168   146
391.77/391.90	c 1801712        3116356        1805651898     597220652      7              0              136   169   150
426.77/426.81	c 1981950        3483027        2004961039     653668440      7              0              135   171   150
464.67/464.78	c 2180211        3818258        2221829375     713727619      7              0              133   167   143
503.26/503.30	c 2398298        4195934        2446089919     777216113      7              0              131   171   150
568.26/568.30	c 2638193        4850302        2782044716     878791825      7              0              131   172   146
636.66/636.79	c 2902077        5625253        3161138995     988406045      7              0              132   173   152
694.76/694.89	c 3192349        6254302        3502863227     1083228661     7              0              132   172   152
768.55/768.63	c 3511648        7066163        3906852153     1205878980     7              0              133   173   149
858.05/858.16	c 3862876        7879591        4420821240     1359919082     7              0              133   173   148
947.75/947.82	c 4249226        8973502        4920480093     1504012684     7              0              137   174   152
1033.34/1033.47	c 4674211        10019984       5405075662     1653380961     7              0              139   174   150
1107.34/1107.45	c 5141694        11049699       5861252179     1794436740     7              0              140   168   152
1168.25/1168.31	c 5655925        11779961       6259352564     1915422390     7              0              143   164   150
1266.34/1266.44	c 6221579        13008975       6839311418     2125202145     7              0              138   166   150
1330.94/1331.05	c 6843798        13834040       7251311378     2240412475     7              0              145   161   149
1461.43/1461.53	c 7528238        15664028       8018569321     2457924587     7              0              140   166   152
1526.74/1526.86	c 8281122        16611007       8460089957     2582779428     8              0              1   163   152  
1619.73/1619.86	c 9109294        18024434       9073983372     2761199309     8              0              143   160   149
1703.53/1703.69	c 10020283       19531395       9680299497     2936459565     8              0              145   161   156
1800.52/1800.64	c 11022370       20681852       10373798847    3098192732     8              0              145   163   152
1888.32/1888.42	c 12124665       22073924       10953360048    3240683989     8              0              141   159   149
1983.52/1983.69	c 13337189       23633108       11630496920    3404005288     8              0              143   160   152
2081.31/2081.45	c 14670965       25419601       12320728267    3579821351     8              0              143   154   150
2210.01/2210.13	c 16138118       27688055       13170404901    3799547442     8              0              139   153   147
2363.91/2364.09	c 17751986       30028897       14120497719    4115217570     8              0              141   152   145

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4252187-1500922137/watcher-4252187-1500922137 -o /tmp/evaluation-result-4252187-1500922137/solver-4252187-1500922137 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500914920-3784 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252187-1500922137.xml 

pid=5847
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 5850
/proc/meminfo: memFree=31770724/32770624 swapFree=5760/116492
[pid=5850] ppid=5847 vsize=27036 CPUtime=0 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 1865346 27684864 825 33554432000 4194304 5744392 140728189096848 140728189093496 139894288518117 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 6759 825 686 379 0 178 0

[startup+0.100109 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 5850
/proc/meminfo: memFree=31770724/32770624 swapFree=5760/116492
[pid=5850] ppid=5847 vsize=29108 CPUtime=0.09 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 1624 0 0 0 9 0 0 0 20 0 1 0 1865346 29806592 1436 33554432000 4194304 5744392 140728189096848 140728189093496 139894288518117 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7277 1436 779 379 0 696 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29108

[startup+0.200222 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 5850
/proc/meminfo: memFree=31770724/32770624 swapFree=5760/116492
[pid=5850] ppid=5847 vsize=30088 CPUtime=0.19 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 1889 0 0 0 19 0 0 0 20 0 1 0 1865346 30810112 1663 33554432000 4194304 5744392 140728189096848 140728189093496 4918666 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7522 1663 815 379 0 941 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30088

[startup+0.3002 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 5850
/proc/meminfo: memFree=31770724/32770624 swapFree=5760/116492
[pid=5850] ppid=5847 vsize=30088 CPUtime=0.29 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 1889 0 0 0 29 0 0 0 20 0 1 0 1865346 30810112 1663 33554432000 4194304 5744392 140728189096848 140728189093496 4998896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7522 1663 815 379 0 941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30088

[startup+0.700172 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 5850
/proc/meminfo: memFree=31770724/32770624 swapFree=5760/116492
[pid=5850] ppid=5847 vsize=30088 CPUtime=0.69 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 1890 0 0 0 69 0 0 0 20 0 1 0 1865346 30810112 1729 33554432000 4194304 5744392 140728189096848 140728189093496 5123871 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7522 1729 815 379 0 941 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30088

[startup+1.50017 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 5851
/proc/meminfo: memFree=31767128/32770624 swapFree=5760/116492
[pid=5850] ppid=5847 vsize=30088 CPUtime=1.49 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 1890 0 0 0 149 0 0 0 20 0 1 0 1865346 30810112 1729 33554432000 4194304 5744392 140728189096848 140728189094248 4904870 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7522 1729 815 379 0 941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30088

[startup+3.10017 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 5851
/proc/meminfo: memFree=31766260/32770624 swapFree=5760/116464
[pid=5850] ppid=5847 vsize=30220 CPUtime=3.09 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 2755 0 0 0 309 0 0 0 20 0 1 0 1865346 30945280 1742 33554432000 4194304 5744392 140728189096848 140728189094248 5118912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7555 1742 815 379 0 974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30220

[startup+6.30017 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 5851
/proc/meminfo: memFree=31766312/32770624 swapFree=5760/116488
[pid=5850] ppid=5847 vsize=30220 CPUtime=6.29 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 3647 0 0 0 629 0 0 0 20 0 1 0 1865346 30945280 1749 33554432000 4194304 5744392 140728189096848 140728189094248 4970576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7555 1749 815 379 0 974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30220

[startup+12.7002 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 5851
/proc/meminfo: memFree=31765944/32770624 swapFree=5760/116496
[pid=5850] ppid=5847 vsize=30220 CPUtime=12.69 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 4537 0 0 0 1269 0 0 0 20 0 1 0 1865346 30945280 1763 33554432000 4194304 5744392 140728189096848 140728189094248 4872431 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7555 1763 815 379 0 974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30220

[startup+25.5002 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5851
/proc/meminfo: memFree=31766192/32770624 swapFree=5760/116508
[pid=5850] ppid=5847 vsize=30352 CPUtime=25.49 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 6346 0 0 0 2549 0 0 0 20 0 1 0 1865346 31080448 1784 33554432000 4194304 5744392 140728189096848 140728189094248 4904974 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7588 1784 815 379 0 1007 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30352

[startup+51.1002 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 5851
/proc/meminfo: memFree=31766440/32770624 swapFree=5760/116536
[pid=5850] ppid=5847 vsize=30352 CPUtime=51.09 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 7270 0 0 0 5109 0 0 0 20 0 1 0 1865346 31080448 1795 33554432000 4194304 5744392 140728189096848 140728189094248 4918749 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7588 1795 815 379 0 1007 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 30352

[startup+102.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/182 5919
/proc/meminfo: memFree=32112648/32770624 swapFree=5760/116660
[pid=5850] ppid=5847 vsize=30484 CPUtime=102.29 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 7698 0 0 0 10229 0 0 0 20 0 1 0 1865346 31215616 1808 33554432000 4194304 5744392 140728189096848 140728189094248 4872795 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1808 815 379 0 1040 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 30484

[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 5920
/proc/meminfo: memFree=32112384/32770624 swapFree=5760/116740
[pid=5850] ppid=5847 vsize=30484 CPUtime=162.28 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 8125 0 0 0 16228 0 0 0 20 0 1 0 1865346 31215616 1811 33554432000 4194304 5744392 140728189096848 140728189094248 4998864 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1811 815 379 0 1040 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 30484

[startup+222.306 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 5921
/proc/meminfo: memFree=32112376/32770624 swapFree=5760/116804
[pid=5850] ppid=5847 vsize=30484 CPUtime=222.28 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 8558 0 0 0 22228 0 0 0 20 0 1 0 1865346 31215616 1818 33554432000 4194304 5744392 140728189096848 140728189094248 4998896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1818 815 379 0 1040 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 30484

[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 5922
/proc/meminfo: memFree=32112632/32770624 swapFree=5760/116856
[pid=5850] ppid=5847 vsize=30484 CPUtime=282.27 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 8994 0 0 0 28227 0 0 0 20 0 1 0 1865346 31215616 1821 33554432000 4194304 5744392 140728189096848 140728189094248 4998896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1821 815 379 0 1040 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 30484

[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5923
/proc/meminfo: memFree=32112588/32770624 swapFree=5760/116916
[pid=5850] ppid=5847 vsize=30484 CPUtime=342.27 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 9432 0 0 0 34227 0 0 0 20 0 1 0 1865346 31215616 1825 33554432000 4194304 5744392 140728189096848 140728189094248 4993968 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1825 815 379 0 1040 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 30484

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 5925
/proc/meminfo: memFree=32112732/32770624 swapFree=5760/116968
[pid=5850] ppid=5847 vsize=30484 CPUtime=402.27 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 9872 0 0 0 40227 0 0 0 20 0 1 0 1865346 31215616 1827 33554432000 4194304 5744392 140728189096848 140728189094248 4918804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1827 815 379 0 1040 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 30484

[startup+462.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 5926
/proc/meminfo: memFree=32112848/32770624 swapFree=5760/117004
[pid=5850] ppid=5847 vsize=30484 CPUtime=462.27 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 10313 0 0 0 46227 0 0 0 20 0 1 0 1865346 31215616 1829 33554432000 4194304 5744392 140728189096848 140728189094248 4918804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1829 815 379 0 1040 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 30484

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 5927
/proc/meminfo: memFree=32112708/32770624 swapFree=5760/117044
[pid=5850] ppid=5847 vsize=30484 CPUtime=522.26 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 10755 0 0 0 52226 0 0 0 20 0 1 0 1865346 31215616 1830 33554432000 4194304 5744392 140728189096848 140728189094248 4905562 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1830 815 379 0 1040 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 30484

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5929
/proc/meminfo: memFree=32112436/32770624 swapFree=5760/117096
[pid=5850] ppid=5847 vsize=30484 CPUtime=582.26 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 11198 0 0 0 58226 0 0 0 20 0 1 0 1865346 31215616 1831 33554432000 4194304 5744392 140728189096848 140728189094248 4918734 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1831 815 379 0 1040 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 30484


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5983
/proc/meminfo: memFree=32111336/32770624 swapFree=5760/117752
[pid=5850] ppid=5847 vsize=30484 CPUtime=1542.24 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 17803 0 0 0 154224 0 0 0 20 0 1 0 1865346 31215616 1835 33554432000 4194304 5744392 140728189096848 140728189094248 4918749 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1835 815 379 0 1040 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 30484

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5984
/proc/meminfo: memFree=32111576/32770624 swapFree=5760/117784
[pid=5850] ppid=5847 vsize=30484 CPUtime=1602.23 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 18095 0 0 0 160223 0 0 0 20 0 1 0 1865346 31215616 1837 33554432000 4194304 5744392 140728189096848 140728189094248 4872795 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1837 815 379 0 1040 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 30484

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5985
/proc/meminfo: memFree=32111772/32770624 swapFree=5760/117820
[pid=5850] ppid=5847 vsize=30484 CPUtime=1662.23 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 18553 0 0 0 166223 0 0 0 20 0 1 0 1865346 31215616 1837 33554432000 4194304 5744392 140728189096848 140728189094248 4918666 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1837 815 379 0 1040 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 30484

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5986
/proc/meminfo: memFree=32111508/32770624 swapFree=5760/117848
[pid=5850] ppid=5847 vsize=30484 CPUtime=1722.23 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 19003 0 0 0 172223 0 0 0 20 0 1 0 1865346 31215616 1838 33554432000 4194304 5744392 140728189096848 140728189094248 4952941 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1838 815 379 0 1040 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 30484

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5987
/proc/meminfo: memFree=32111368/32770624 swapFree=5760/117888
[pid=5850] ppid=5847 vsize=30484 CPUtime=1782.23 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 19296 0 0 0 178223 0 0 0 20 0 1 0 1865346 31215616 1839 33554432000 4194304 5744392 140728189096848 140728189094248 4918804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1839 815 379 0 1040 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 30484

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5988
/proc/meminfo: memFree=32110856/32770624 swapFree=5760/117924
[pid=5850] ppid=5847 vsize=30484 CPUtime=1842.22 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 19745 0 0 0 184222 0 0 0 20 0 1 0 1865346 31215616 1839 33554432000 4194304 5744392 140728189096848 140728189094248 4872518 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1839 815 379 0 1040 0
Current children cumulated CPU time (s) 1842.22
Current children cumulated vsize (KiB) 30484

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5996
/proc/meminfo: memFree=32110024/32770624 swapFree=5760/117968
[pid=5850] ppid=5847 vsize=30484 CPUtime=1902.22 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 20195 0 0 0 190222 0 0 0 20 0 1 0 1865346 31215616 1839 33554432000 4194304 5744392 140728189096848 140728189094248 4918792 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1839 815 379 0 1040 0
Current children cumulated CPU time (s) 1902.22
Current children cumulated vsize (KiB) 30484

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5998
/proc/meminfo: memFree=32110460/32770624 swapFree=5760/117996
[pid=5850] ppid=5847 vsize=30484 CPUtime=1962.22 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 20504 0 0 0 196222 0 0 0 20 0 1 0 1865346 31215616 1839 33554432000 4194304 5744392 140728189096848 140728189094248 4918804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1839 815 379 0 1040 0
Current children cumulated CPU time (s) 1962.22
Current children cumulated vsize (KiB) 30484

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5999
/proc/meminfo: memFree=32110628/32770624 swapFree=5760/118036
[pid=5850] ppid=5847 vsize=30484 CPUtime=2022.22 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 20955 0 0 0 202222 0 0 0 20 0 1 0 1865346 31215616 1839 33554432000 4194304 5744392 140728189096848 140728189094248 4918757 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1839 815 379 0 1040 0
Current children cumulated CPU time (s) 2022.22
Current children cumulated vsize (KiB) 30484

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6000
/proc/meminfo: memFree=32110380/32770624 swapFree=5760/118072
[pid=5850] ppid=5847 vsize=30484 CPUtime=2082.22 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 21405 0 0 0 208222 0 0 0 20 0 1 0 1865346 31215616 1839 33554432000 4194304 5744392 140728189096848 140728189094248 5115995 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1839 815 379 0 1040 0
Current children cumulated CPU time (s) 2082.22
Current children cumulated vsize (KiB) 30484

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6001
/proc/meminfo: memFree=32110628/32770624 swapFree=5760/118120
[pid=5850] ppid=5847 vsize=30484 CPUtime=2142.21 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 21711 0 0 0 214221 0 0 0 20 0 1 0 1865346 31215616 1840 33554432000 4194304 5744392 140728189096848 140728189094248 4918757 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1840 815 379 0 1040 0
Current children cumulated CPU time (s) 2142.21
Current children cumulated vsize (KiB) 30484

[startup+2202.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/183 6003
/proc/meminfo: memFree=32110504/32770624 swapFree=5760/118156
[pid=5850] ppid=5847 vsize=30484 CPUtime=2202.21 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 22023 0 0 0 220221 0 0 0 20 0 1 0 1865346 31215616 1840 33554432000 4194304 5744392 140728189096848 140728189094248 5140573 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7621 1840 815 379 0 1040 0
Current children cumulated CPU time (s) 2202.21
Current children cumulated vsize (KiB) 30484

[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6004
/proc/meminfo: memFree=32110620/32770624 swapFree=5760/118196
[pid=5850] ppid=5847 vsize=30616 CPUtime=2262.21 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 22469 0 0 0 226220 1 0 0 20 0 1 0 1865346 31350784 1841 33554432000 4194304 5744392 140728189096848 140728189093992 4918804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7654 1841 815 379 0 1073 0
Current children cumulated CPU time (s) 2262.21
Current children cumulated vsize (KiB) 30616

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6005
/proc/meminfo: memFree=32110868/32770624 swapFree=5760/118228
[pid=5850] ppid=5847 vsize=30616 CPUtime=2322.21 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 22776 0 0 0 232220 1 0 0 20 0 1 0 1865346 31350784 1841 33554432000 4194304 5744392 140728189096848 140728189093992 4918704 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7654 1841 815 379 0 1073 0
Current children cumulated CPU time (s) 2322.21
Current children cumulated vsize (KiB) 30616

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6007
/proc/meminfo: memFree=32110860/32770624 swapFree=5760/118268
[pid=5850] ppid=5847 vsize=30616 CPUtime=2382.21 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 23229 0 0 0 238220 1 0 0 20 0 1 0 1865346 31350784 1841 33554432000 4194304 5744392 140728189096848 140728189094248 4998867 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7654 1841 815 379 0 1073 0
Current children cumulated CPU time (s) 2382.21
Current children cumulated vsize (KiB) 30616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6008
/proc/meminfo: memFree=32110464/32770624 swapFree=5760/118300
[pid=5850] ppid=5847 vsize=30616 CPUtime=2400.01 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 23475 0 0 0 240000 1 0 0 20 0 1 0 1865346 31350784 1842 33554432000 4194304 5744392 140728189096848 140728189094248 4918804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7654 1842 815 379 0 1073 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 30616

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5850 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6008
/proc/meminfo: memFree=32110464/32770624 swapFree=5760/118300
[pid=5850] ppid=5847 vsize=30616 CPUtime=2400.01 cores=1,3,5,7
/proc/5850/stat : 5850 (cosoco) R 5847 5850 3752 0 -1 4202496 23475 0 0 0 240000 1 0 0 20 0 1 0 1865346 31350784 1842 33554432000 4194304 5744392 140728189096848 140728189094248 4918804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 22810624 140728189101249 140728189101379 140728189101379 140728189104078 0
/proc/5850/statm: 7654 1842 815 379 0 1073 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 30616

Child status: 1
Real time (s): 2400.1
CPU time (s): 2400.01
CPU user time (s): 2400
CPU system time (s): 0.010999
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 30616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.010999
maximum resident set size= 7412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23503
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= 13
involuntary context switches= 2054

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07898 second user time and 7.51313 second system time

The end

Launcher Data 

Begin job on node149 at 2017-07-24 20:48:57
IDJOB=4252187
IDBENCH=124367
IDSOLVER=2633
FILE ID=node149/4252187-1500922137
RUNJOBID= node149-1500914920-3784
PBS_JOBID= 20625398
Free space on /tmp= 61904 MiB

SOLVER NAME= cosoco-mini 1.1
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-90.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252187-1500922137/watcher-4252187-1500922137 -o /tmp/evaluation-result-4252187-1500922137/solver-4252187-1500922137 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500914920-3784 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4252187-1500922137.xml

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

MD5SUM BENCH= 2a5b3790b47e1c2f5ad8b085143681cb
RANDOM SEED=1492617429

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
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.13
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.13
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.13
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:        31771640 kB
MemAvailable:   31711092 kB
Buffers:           33076 kB
Cached:           220436 kB
SwapCached:            0 kB
Active:           522064 kB
Inactive:         125152 kB
Active(anon):     396188 kB
Inactive(anon):     8660 kB
Active(file):     125876 kB
Inactive(file):   116492 kB
Unevictable:        5760 kB
Mlocked:            5760 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2024 kB
Writeback:             0 kB
AnonPages:        405188 kB
Mapped:            28956 kB
Shmem:              8844 kB
Slab:              50544 kB
SReclaimable:      25836 kB
SUnreclaim:        24708 kB
KernelStack:        3488 kB
PageTables:         5324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     632980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    360448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61904 MiB
End job on node149 at 2017-07-24 21:28:57