Trace number 4260118

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-07-29)? (TO) 2400.02 2400

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.03/0.17	c root propagations     : 0           
0.03/0.17	c restarts enabled, print stats at every restarts
0.03/0.17	c
0.03/0.17	c
0.03/0.17	c
0.03/0.17	c This is cosoco 1.1 --  
0.03/0.17	c
0.03/0.17	c command line: cosoco -lc -model -restarts HOME/instance-4260118-1502024434.xml 
0.03/0.17	c ========================================[ Problem Statistics ]===========================================
0.03/0.17	c |                                                                                                       
0.03/0.17	c |  Parse time        :         0.10 s 
0.03/0.17	c |
0.03/0.17	c |               Variables: 360
0.03/0.17	c |            Domain Sizes: 90..180
0.03/0.17	c |
0.03/0.17	c |             Constraints: 270
0.03/0.17	c |                   Arity: 2..181  -- Binary: 90
0.03/0.17	c | 
0.03/0.17	c |                   Types: 
0.03/0.17	c |                          Element Constant: 180
0.03/0.17	c |                          Intension: 90
0.03/0.17	c |                          
0.03/0.17	c =========================================================================================================
0.03/0.17	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.12/0.28	c 101            329            95162          51844          0              0              116   122   115
0.22/0.38	c 211            548            196707         108828         0              0              98   99   97   
0.32/0.47	c 332            774            307380         172922         0              0              102   106   102
0.52/0.60	c 465            1064           479096         271091         0              0              106   110   105
0.62/0.71	c 611            1457           619471         334838         0              0              123   126   122
0.72/0.88	c 771            1901           868952         504131         0              0              108   120   113
0.92/1.05	c 947            2302           1168858        712325         0              0              109   119   109
1.13/1.28	c 1140           2848           1558441        947664         0              0              107   119   108
1.32/1.40	c 1352           3390           1697650        1019375        1              0              1   135   81   
1.42/1.58	c 1585           3876           1987916        1178746        1              0              109   121   110
1.72/1.80	c 1841           4538           2346711        1408122        1              0              106   126   110
1.92/2.07	c 2122           5417           2803919        1672404        1              0              106   129   115
2.23/2.33	c 2431           6182           3277971        1978431        1              0              110   129   114
2.52/2.66	c 2770           7483           3824861        2263922        1              0              111   139   121
2.92/3.08	c 3142           9298           4637102        2690273        1              0              127   137   128
3.42/3.59	c 3551           11314          5547524        3167482        2              0              1   138   105  
3.92/4.06	c 4000           13318          6344079        3602111        2              0              119   145   125
4.22/4.32	c 4493           14486          6781397        3794508        2              0              117   134   124
4.72/4.81	c 5035           16385          7656799        4266927        2              0              111   131   118
5.22/5.34	c 5631           19123          8637306        4797664        3              0              1   146   110  
5.92/6.03	c 6286           22893          9860734        5376446        3              0              111   142   123
6.53/6.62	c 7006           25763          11023307       5983420        4              0              1   144   110  
7.32/7.40	c 7798           29712          12601343       6758959        4              0              120   147   129
8.22/8.37	c 8669           34625          14571997       7769707        4              0              112   145   130
8.73/8.86	c 9627           36849          15700136       8367093        5              0              1   143   118  
9.42/9.54	c 10680          40289          17101312       9018605        5              0              115   142   127
10.32/10.46	c 11838          44812          18961933       10009150       5              0              117   141   127
11.32/11.49	c 13111          50057          21191652       11122639       5              0              115   143   128
12.72/12.88	c 14511          57676          23878097       12430875       5              0              110   139   127
14.02/14.18	c 16051          64470          26274926       13497163       5              0              116   139   123
15.22/15.37	c 17745          70457          28750898       14672022       5              0              117   136   124
16.32/16.49	c 19608          75444          31411387       15943913       5              0              114   135   122
17.22/17.36	c 21657          78415          33952569       17388657       5              0              124   144   129
19.02/19.10	c 23910          89591          38561274       19368315       5              0              128   167   145
21.12/21.24	c 26388          109221         44818981       21797438       5              0              132   178   161
22.82/22.94	c 29113          124368         49909467       23652453       6              0              1   176   141  
24.52/24.69	c 32110          134503         54871242       25873781       6              0              121   168   134
26.43/26.53	c 35406          146177         60208488       28042041       6              0              125   152   135
28.02/28.10	c 39031          157885         64338190       29491492       6              0              126   160   134
29.42/29.59	c 43018          167485         68830920       31106998       7              0              1   161   136  
31.22/31.38	c 47403          181495         73902483       32867970       7              0              124   153   139
32.93/33.10	c 52226          191531         79307309       34775672       7              0              127   149   136
34.62/34.71	c 57531          200074         84728015       37048643       7              0              131   154   139
35.62/35.76	c 63366          209082         88819202       38331327       7              0              135   163   144
37.33/37.44	c 69784          220188         95121773       40425982       7              0              129   152   135
39.22/39.32	c 76843          233976         102250031      43169693       7              0              132   151   137
41.73/41.88	c 84607          249791         110009335      46424194       7              0              129   143   132
45.42/45.58	c 93147          269406         121877494      51404509       7              0              120   145   128
47.33/47.49	c 102541         282162         129264248      54170934       7              0              134   150   137
50.63/50.77	c 112874         298537         141523716      59503335       7              0              132   142   135
52.73/52.80	c 124240         315344         149928928      61714266       7              0              141   155   143
54.93/55.05	c 136742         332155         159548585      64326331       7              0              134   147   137
57.42/57.54	c 150494         350663         169470325      68141228       7              0              138   161   139
61.42/61.51	c 165621         369845         186820113      75335832       7              0              132   149   137
66.82/66.90	c 182260         412790         207316860      82886544       7              0              134   151   141
70.62/70.76	c 200562         441634         223428379      88346679       7              0              129   151   136
76.93/77.08	c 220694         478950         250139515      98629937       7              0              134   161   141
81.62/81.74	c 242839         507052         271040020      106582600      7              0              130   156   139
90.42/90.51	c 267198         554047         310497388      122048785      7              0              131   158   138
96.02/96.10	c 293992         600310         336780503      129012607      7              0              134   161   145
105.42/105.51	c 323465         662418         373155035      142836837      7              0              126   149   133
110.12/110.21	c 355885         701999         393486098      151554965      7              0              133   155   137
114.92/115.07	c 391547         748106         415225826      157560587      7              0              133   154   138
124.23/124.30	c 430775         811508         456272450      173292473      7              0              129   154   136
132.92/133.01	c 473925         879329         495490537      184715289      7              0              132   151   139
144.72/144.85	c 521390         966456         548920491      201864158      7              0              128   156   138
169.33/169.49	c 573601         1145063        641516877      235346023      7              0              130   154   139
181.02/181.13	c 631033         1231282        698528973      254877409      7              0              132   158   141
193.12/193.23	c 694208         1330509        757038492      273081219      7              0              133   158   142
205.83/205.96	c 763700         1438638        820282827      289812382      7              0              132   160   145
222.13/222.23	c 840141         1566678        896032300      314728138      7              0              130   159   139
240.23/240.33	c 924226         1711109        994374915      345221887      7              0              136   166   150
253.03/253.19	c 1016719        1827931        1063047837     365800632      7              0              133   159   146
272.83/272.94	c 1118461        2000170        1159673529     395978201      7              0              129   160   141
297.83/297.94	c 1230377        2210171        1284439683     436297235      7              0              131   165   141
318.83/318.93	c 1353484        2412306        1392068321     466113267      7              0              127   165   145
342.14/342.24	c 1488901        2629317        1517602330     504846202      7              0              130   165   146
366.73/366.87	c 1637859        2859168        1646896154     547194418      7              0              130   168   146
394.94/395.06	c 1801712        3116356        1805651898     597220652      7              0              136   169   150
430.14/430.24	c 1981950        3483027        2004961039     653668440      7              0              135   171   150
468.33/468.47	c 2180211        3818258        2221829375     713727619      7              0              133   167   143
507.14/507.26	c 2398298        4195934        2446089919     777216113      7              0              131   171   150
572.64/572.78	c 2638193        4850302        2782044716     878791825      7              0              131   172   146
641.84/641.90	c 2902077        5625253        3161138995     988406045      7              0              132   173   152
700.44/700.58	c 3192349        6254302        3502863227     1083228661     7              0              132   172   152
774.95/775.00	c 3511648        7066163        3906852153     1205878980     7              0              133   173   149
865.36/865.42	c 3862876        7879591        4420821240     1359919082     7              0              133   173   148
955.76/955.89	c 4249226        8973502        4920480093     1504012684     7              0              137   174   152
1042.36/1042.42	c 4674211        10019984       5405075662     1653380961     7              0              139   174   150
1116.97/1117.08	c 5141694        11049699       5861252179     1794436740     7              0              140   168   152
1178.57/1178.64	c 5655925        11779961       6259352564     1915422390     7              0              143   164   150
1277.57/1277.65	c 6221579        13008975       6839311418     2125202145     7              0              138   166   150
1342.88/1342.94	c 6843798        13834040       7251311378     2240412475     7              0              145   161   149
1474.48/1474.51	c 7528238        15664028       8018569321     2457924587     7              0              140   166   152
1540.38/1540.49	c 8281122        16611007       8460089957     2582779428     8              0              1   163   152  
1634.29/1634.33	c 9109294        18024434       9073983372     2761199309     8              0              143   160   149
1718.99/1719.06	c 10020283       19531395       9680299497     2936459565     8              0              145   161   156
1817.20/1817.27	c 11022370       20681852       10373798847    3098192732     8              0              145   163   152
1905.70/1905.72	c 12124665       22073924       10953360048    3240683989     8              0              141   159   149
2001.90/2001.98	c 13337189       23633108       11630496920    3404005288     8              0              143   160   152
2100.81/2100.84	c 14670965       25419601       12320728267    3579821351     8              0              143   154   150
2230.71/2230.79	c 16138118       27688055       13170404901    3799547442     8              0              139   153   147
2386.11/2386.18	c 17751986       30028897       14120497719    4115217570     8              0              141   152   145
2400.02/2400.00	
2400.02/2400.00	c *** INTERRUPTED ***
2400.02/2400.00	c restarts              : 103         
2400.02/2400.00	c conflicts             : 18064319     (7527 /sec)
2400.02/2400.00	c decisions             : 30362994     (12651 /sec)
2400.02/2400.00	c propagations          : 4129399510  (1720576 /sec)
2400.02/2400.00	c root propagations     : 0           
2400.02/2400.00	c filter calls          : 14200297889    (5916765 /sec)
2400.02/2400.00	c useless filter calls  : 11128855474    (78 %)
2400.02/2400.00	c Memory used           : 29.91 MB
2400.02/2400.00	c CPU time              : 2400.01 s
2400.02/2400.00	
2400.02/2400.00	s UNKNOWN

Verifier Data


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-4260118-1502024434/watcher-4260118-1502024434 -o /tmp/evaluation-result-4260118-1502024434/solver-4260118-1502024434 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502013980-30674 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260118-1502024434.xml 

pid=32160
running on 4 cores: 0,2,4,6

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.00 2.01 2.05 3/184 32163
/proc/meminfo: memFree=31525984/32770624 swapFree=0/400112
[pid=32163] ppid=32160 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/32163/stat : 32163 (runsolver) D 32160 32163 25139 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 49949431 24240128 107 18446744073709551615 4194304 4338465 140731825598912 140731825596552 139856470991575 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 6778880 140731825602753 140731825603145 140731825603145 140731825606602 0
/proc/32163/statm: 5918 107 54 36 0 2156 0

[startup+0.100195 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 32163
/proc/meminfo: memFree=31525984/32770624 swapFree=0/400112
[pid=32163] ppid=32160 vsize=28492 CPUtime=0.03 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 1465 0 0 0 3 0 0 0 20 0 1 0 49949431 29175808 1287 18446744073709551615 4194304 5747388 140724278108400 140724278105048 139998615053085 0 0 1 0 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7123 1287 781 380 0 541 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28492

[startup+0.200347 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 32163
/proc/meminfo: memFree=31525984/32770624 swapFree=0/400112
[pid=32163] ppid=32160 vsize=29636 CPUtime=0.12 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 1777 0 0 0 12 0 0 0 20 0 1 0 49949431 30347264 1598 18446744073709551615 4194304 5747388 140724278108400 140724278105048 4954032 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7409 1598 815 380 0 827 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 29636

[startup+0.30032 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 32163
/proc/meminfo: memFree=31525984/32770624 swapFree=0/400112
[pid=32163] ppid=32160 vsize=30092 CPUtime=0.22 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 1888 0 0 0 22 0 0 0 20 0 1 0 49949431 30814208 1729 18446744073709551615 4194304 5747388 140724278108400 140724278105048 5121272 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7523 1729 816 380 0 941 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 30092

[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 32163
/proc/meminfo: memFree=31525984/32770624 swapFree=0/400112
[pid=32163] ppid=32160 vsize=30092 CPUtime=0.62 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 1889 0 0 0 62 0 0 0 20 0 1 0 49949431 30814208 1729 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4873222 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7523 1729 816 380 0 941 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 30092

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32164
/proc/meminfo: memFree=31522732/32770624 swapFree=0/400120
[pid=32163] ppid=32160 vsize=30092 CPUtime=1.42 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 1890 0 0 0 142 0 0 0 20 0 1 0 49949431 30814208 1729 18446744073709551615 4194304 5747388 140724278108400 140724278105800 5000046 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7523 1729 816 380 0 941 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 30092

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32164
/proc/meminfo: memFree=31521464/32770624 swapFree=0/400120
[pid=32163] ppid=32160 vsize=30224 CPUtime=3.02 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 2251 0 0 0 302 0 0 0 20 0 1 0 49949431 30949376 1742 18446744073709551615 4194304 5747388 140724278108400 140724278105800 5121146 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7556 1742 816 380 0 974 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 30224

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32164
/proc/meminfo: memFree=31521488/32770624 swapFree=0/400120
[pid=32163] ppid=32160 vsize=30224 CPUtime=6.22 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 2625 0 0 0 622 0 0 0 20 0 1 0 49949431 30949376 1751 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4972793 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7556 1751 816 380 0 974 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 30224

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32164
/proc/meminfo: memFree=31521364/32770624 swapFree=0/400112
[pid=32163] ppid=32160 vsize=30224 CPUtime=12.62 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 3005 0 0 0 1262 0 0 0 20 0 1 0 49949431 30949376 1764 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919958 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7556 1764 816 380 0 974 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 30224

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32165
/proc/meminfo: memFree=31521800/32770624 swapFree=0/400128
[pid=32163] ppid=32160 vsize=30356 CPUtime=25.42 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 3791 0 0 0 2542 0 0 0 20 0 1 0 49949431 31084544 1785 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4954102 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7589 1785 816 380 0 1007 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 30356

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 32165
/proc/meminfo: memFree=31522064/32770624 swapFree=0/400128
[pid=32163] ppid=32160 vsize=30356 CPUtime=51.02 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 4209 0 0 0 5102 0 0 0 20 0 1 0 49949431 31084544 1796 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919847 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7589 1796 816 380 0 1007 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 30356

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 32169
/proc/meminfo: memFree=31520820/32770624 swapFree=0/400196
[pid=32163] ppid=32160 vsize=30488 CPUtime=102.23 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 4632 0 0 0 10223 0 0 0 20 0 1 0 49949431 31219712 1805 18446744073709551615 4194304 5747388 140724278108400 140724278105800 5000032 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1805 816 380 0 1040 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 30488

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 32171
/proc/meminfo: memFree=31520324/32770624 swapFree=0/400232
[pid=32163] ppid=32160 vsize=30488 CPUtime=162.22 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 5057 0 0 0 16222 0 0 0 20 0 1 0 49949431 31219712 1814 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919889 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1814 816 380 0 1040 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 30488

[startup+222.306 s]
/proc/loadavg: 2.40 2.11 2.08 3/190 32188
/proc/meminfo: memFree=31516800/32770624 swapFree=0/400300
[pid=32163] ppid=32160 vsize=30488 CPUtime=222.23 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 5487 0 0 0 22223 0 0 0 20 0 1 0 49949431 31219712 1817 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919893 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1817 816 380 0 1040 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 30488

[startup+282.3 s]
/proc/loadavg: 2.22 2.11 2.08 3/190 32190
/proc/meminfo: memFree=31515804/32770624 swapFree=0/400320
[pid=32163] ppid=32160 vsize=30488 CPUtime=282.23 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 5920 0 0 0 28223 0 0 0 20 0 1 0 49949431 31219712 1822 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919940 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1822 816 380 0 1040 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 30488

[startup+342.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/187 32192
/proc/meminfo: memFree=31519788/32770624 swapFree=0/400348
[pid=32163] ppid=32160 vsize=30488 CPUtime=342.23 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 6355 0 0 0 34223 0 0 0 20 0 1 0 49949431 31219712 1826 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4972752 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1826 816 380 0 1040 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 30488

[startup+402.3 s]
/proc/loadavg: 2.03 2.07 2.06 3/185 32194
/proc/meminfo: memFree=31519944/32770624 swapFree=0/400400
[pid=32163] ppid=32160 vsize=30488 CPUtime=402.23 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 6357 0 0 0 40223 0 0 0 20 0 1 0 49949431 31219712 1826 18446744073709551615 4194304 5747388 140724278108400 140724278105800 5126738 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1826 816 380 0 1040 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 30488

[startup+462.3 s]
/proc/loadavg: 2.11 2.09 2.07 3/185 32196
/proc/meminfo: memFree=31520192/32770624 swapFree=0/400416
[pid=32163] ppid=32160 vsize=30488 CPUtime=462.23 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 6795 0 0 0 46223 0 0 0 20 0 1 0 49949431 31219712 1830 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919798 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1830 816 380 0 1040 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 30488

[startup+522.3 s]
/proc/loadavg: 2.04 2.07 2.06 3/185 32200
/proc/meminfo: memFree=31519696/32770624 swapFree=0/400460
[pid=32163] ppid=32160 vsize=30488 CPUtime=522.24 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 7234 0 0 0 52224 0 0 0 20 0 1 0 49949431 31219712 1832 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919798 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1832 816 380 0 1040 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 30488

[startup+582.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/185 32202
/proc/meminfo: memFree=31519704/32770624 swapFree=0/400460
[pid=32163] ppid=32160 vsize=30488 CPUtime=582.24 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 7235 0 0 0 58224 0 0 0 20 0 1 0 49949431 31219712 1832 18446744073709551615 4194304 5747388 140724278108400 140724278105800 5133705 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1832 816 380 0 1040 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 30488


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32289
/proc/meminfo: memFree=31514876/32770624 swapFree=0/400940
[pid=32163] ppid=32160 vsize=30488 CPUtime=1482.28 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 11453 0 0 0 148227 1 0 0 20 0 1 0 49949431 31219712 1836 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4872960 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1836 816 380 0 1040 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 30488

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32291
/proc/meminfo: memFree=31518264/32770624 swapFree=0/400960
[pid=32163] ppid=32160 vsize=30488 CPUtime=1542.29 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 11897 0 0 0 154228 1 0 0 20 0 1 0 49949431 31219712 1836 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919981 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1836 816 380 0 1040 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 30488

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32293
/proc/meminfo: memFree=31518860/32770624 swapFree=0/400984
[pid=32163] ppid=32160 vsize=30488 CPUtime=1602.29 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 12228 0 0 0 160228 1 0 0 20 0 1 0 49949431 31219712 1838 18446744073709551615 4194304 5747388 140724278108400 140724278105800 5143354 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1838 816 380 0 1040 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 30488

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 32296
/proc/meminfo: memFree=31518976/32770624 swapFree=0/400984
[pid=32163] ppid=32160 vsize=30488 CPUtime=1662.29 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 12343 0 0 0 166228 1 0 0 20 0 1 0 49949431 31219712 1838 18446744073709551615 4194304 5747388 140724278108400 140724278105800 5000032 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1838 816 380 0 1040 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 30488

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 32298
/proc/meminfo: memFree=31519348/32770624 swapFree=0/401008
[pid=32163] ppid=32160 vsize=30488 CPUtime=1722.29 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 12789 0 0 0 172228 1 0 0 20 0 1 0 49949431 31219712 1839 18446744073709551615 4194304 5747388 140724278108400 140724278105800 5142949 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1839 816 380 0 1040 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 30488

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32300
/proc/meminfo: memFree=31518800/32770624 swapFree=0/401032
[pid=32163] ppid=32160 vsize=30488 CPUtime=1782.29 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 13119 0 0 0 178228 1 0 0 20 0 1 0 49949431 31219712 1840 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4872960 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1840 816 380 0 1040 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 30488

[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 32303
/proc/meminfo: memFree=31519032/32770624 swapFree=0/401064
[pid=32163] ppid=32160 vsize=30488 CPUtime=1842.3 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 13236 0 0 0 184229 1 0 0 20 0 1 0 49949431 31219712 1840 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919893 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1840 816 380 0 1040 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 30488

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 32305
/proc/meminfo: memFree=31518900/32770624 swapFree=0/401088
[pid=32163] ppid=32160 vsize=30488 CPUtime=1902.3 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 13564 0 0 0 190229 1 0 0 20 0 1 0 49949431 31219712 1840 18446744073709551615 4194304 5747388 140724278108400 140724278105800 5126859 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1840 816 380 0 1040 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 30488

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32307
/proc/meminfo: memFree=31519288/32770624 swapFree=0/401116
[pid=32163] ppid=32160 vsize=30488 CPUtime=1962.3 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 14022 0 0 0 196229 1 0 0 20 0 1 0 49949431 31219712 1840 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919893 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1840 816 380 0 1040 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 30488

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32323
/proc/meminfo: memFree=31515136/32770624 swapFree=0/401160
[pid=32163] ppid=32160 vsize=30488 CPUtime=2022.3 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 14130 0 0 0 202229 1 0 0 20 0 1 0 49949431 31219712 1840 18446744073709551615 4194304 5747388 140724278108400 140724278105800 5126432 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1840 816 380 0 1040 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 30488

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32325
/proc/meminfo: memFree=31514756/32770624 swapFree=0/401188
[pid=32163] ppid=32160 vsize=30488 CPUtime=2082.31 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 14469 0 0 0 208230 1 0 0 20 0 1 0 49949431 31219712 1840 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919954 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1840 816 380 0 1040 0
Current children cumulated CPU time (s) 2082.31
Current children cumulated vsize (KiB) 30488

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32328
/proc/meminfo: memFree=31517516/32770624 swapFree=0/401208
[pid=32163] ppid=32160 vsize=30488 CPUtime=2142.31 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 14577 0 0 0 214230 1 0 0 20 0 1 0 49949431 31219712 1840 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919798 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1840 816 380 0 1040 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 30488

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32330
/proc/meminfo: memFree=31517520/32770624 swapFree=0/401220
[pid=32163] ppid=32160 vsize=30488 CPUtime=2202.31 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 14924 0 0 0 220230 1 0 0 20 0 1 0 49949431 31219712 1841 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919847 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7622 1841 816 380 0 1040 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 30488

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32332
/proc/meminfo: memFree=31518652/32770624 swapFree=0/401236
[pid=32163] ppid=32160 vsize=30620 CPUtime=2262.31 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 15372 0 0 0 226230 1 0 0 20 0 1 0 49949431 31354880 1841 18446744073709551615 4194304 5747388 140724278108400 140724278105544 4995240 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7655 1841 816 380 0 1073 0
Current children cumulated CPU time (s) 2262.31
Current children cumulated vsize (KiB) 30620

[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 32336
/proc/meminfo: memFree=31518144/32770624 swapFree=0/401268
[pid=32163] ppid=32160 vsize=30620 CPUtime=2322.31 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 15373 0 0 0 232230 1 0 0 20 0 1 0 49949431 31354880 1841 18446744073709551615 4194304 5747388 140724278108400 140724278105544 4919850 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7655 1841 816 380 0 1073 0
Current children cumulated CPU time (s) 2322.31
Current children cumulated vsize (KiB) 30620

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 32338
/proc/meminfo: memFree=31518264/32770624 swapFree=0/401292
[pid=32163] ppid=32160 vsize=30620 CPUtime=2382.31 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 15708 0 0 0 238230 1 0 0 20 0 1 0 49949431 31354880 1842 18446744073709551615 4194304 5747388 140724278108400 140724278105544 4919928 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7655 1842 816 380 0 1073 0
Current children cumulated CPU time (s) 2382.31
Current children cumulated vsize (KiB) 30620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]
/proc/loadavg: 2.01 2.02 2.05 2/183 32370
/proc/meminfo: memFree=31519912/32770624 swapFree=0/401300
[pid=32163] ppid=32160 vsize=30620 CPUtime=2400.02 cores=0,2,4,6
/proc/32163/stat : 32163 (cosoco) R 32160 32163 25139 0 -1 4202496 16121 0 0 0 240001 1 0 0 20 0 1 0 49949431 31354880 1843 18446744073709551615 4194304 5747388 140724278108400 140724278105800 4919940 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 26390528 140724278112750 140724278112845 140724278112845 140724278116302 0
/proc/32163/statm: 7655 1843 816 380 0 1073 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 30620

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 32163 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400
CPU time (s): 2400.02
CPU user time (s): 2400.01
CPU system time (s): 0.013
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 30620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.013
maximum resident set size= 7436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16170
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= 7
involuntary context switches= 720

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.70269 second user time and 8.45273 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-06 14:46:36
IDJOB=4260118
IDBENCH=124367
IDSOLVER=2647
FILE ID=node134/4260118-1502024434
RUNJOBID= node134-1502013980-30674
PBS_JOBID= 
Free space on /tmp= 62028 MiB

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

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

MD5SUM BENCH= 2a5b3790b47e1c2f5ad8b085143681cb
RANDOM SEED=734264

node134.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.43
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.43
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.43
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.43
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:        31525724 kB
MemAvailable:   31998128 kB
Buffers:          173304 kB
Cached:           590448 kB
SwapCached:            0 kB
Active:           399676 kB
Inactive:         423144 kB
Active(anon):      60924 kB
Inactive(anon):    23032 kB
Active(file):     338752 kB
Inactive(file):   400112 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3988 kB
Writeback:             4 kB
AnonPages:         58104 kB
Mapped:            40524 kB
Shmem:             25276 kB
Slab:             124392 kB
SReclaimable:      98748 kB
SUnreclaim:        25644 kB
KernelStack:        3264 kB
PageTables:         4840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     317508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node134 at 2017-08-06 15:26:36