Trace number 4268054

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2520.1001 2519.8999

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.12 --  
0.03/0.17	c
0.03/0.17	c command line: cosoco -lc -model -restarts HOME/instance-4268054-1502522033.xml 
0.03/0.17	c ========================================[ Problem Statistics ]===========================================
0.03/0.17	c |                                                                                                       
0.03/0.17	c |  Parse time        :         0.11 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.13/0.28	c 101            329            95162          51844          0              0              116   122   115
0.23/0.37	c 211            548            196707         108828         0              0              98   99   97   
0.33/0.46	c 332            774            307380         172922         0              0              102   106   102
0.43/0.59	c 465            1064           479096         271091         0              0              106   110   105
0.63/0.70	c 611            1457           619471         334838         0              0              123   126   122
0.73/0.87	c 771            1901           868952         504131         0              0              108   120   113
0.93/1.05	c 947            2302           1168858        712325         0              0              109   119   109
1.14/1.27	c 1140           2848           1558441        947664         0              0              107   119   108
1.23/1.39	c 1352           3390           1697650        1019375        1              0              1   135   81   
1.43/1.57	c 1585           3876           1987916        1178746        1              0              109   121   110
1.63/1.79	c 1841           4538           2346711        1408122        1              0              106   126   110
1.93/2.06	c 2122           5417           2803919        1672404        1              0              106   129   115
2.24/2.32	c 2431           6182           3277971        1978431        1              0              110   129   114
2.53/2.65	c 2770           7483           3824861        2263922        1              0              111   139   121
2.93/3.08	c 3142           9298           4637102        2690273        1              0              127   137   128
3.43/3.59	c 3551           11314          5547524        3167482        2              0              1   138   105  
3.93/4.06	c 4000           13318          6344079        3602111        2              0              119   145   125
4.23/4.32	c 4493           14486          6781397        3794508        2              0              117   134   124
4.73/4.81	c 5035           16385          7656799        4266927        2              0              111   131   118
5.23/5.34	c 5631           19123          8637306        4797664        3              0              1   146   110  
5.93/6.04	c 6286           22893          9860734        5376446        3              0              111   142   123
6.54/6.63	c 7006           25763          11023307       5983420        4              0              1   144   110  
7.33/7.42	c 7798           29712          12601343       6758959        4              0              120   147   129
8.33/8.40	c 8669           34625          14571997       7769707        4              0              112   145   130
8.74/8.88	c 9627           36849          15700136       8367093        5              0              1   143   118  
9.43/9.57	c 10680          40289          17101312       9018605        5              0              115   142   127
10.33/10.49	c 11838          44812          18961933       10009150       5              0              117   141   127
11.43/11.53	c 13111          50057          21191652       11122639       5              0              115   143   128
12.83/12.93	c 14511          57676          23878097       12430875       5              0              110   139   127
14.13/14.24	c 16051          64470          26274926       13497163       5              0              116   139   123
15.34/15.44	c 17745          70457          28750898       14672022       5              0              117   136   124
16.44/16.57	c 19608          75444          31411387       15943913       5              0              114   135   122
17.33/17.44	c 21657          78415          33952569       17388657       5              0              124   144   129
19.03/19.19	c 23910          89591          38561274       19368315       5              0              128   167   145
21.23/21.35	c 26388          109221         44818981       21797438       5              0              132   178   161
22.93/23.06	c 29113          124368         49909467       23652453       6              0              1   176   141  
24.73/24.82	c 32110          134503         54871242       25873781       6              0              121   168   134
26.53/26.66	c 35406          146177         60208488       28042041       6              0              125   152   135
28.13/28.25	c 39031          157885         64338190       29491492       6              0              126   160   134
29.64/29.74	c 43018          167485         68830920       31106998       7              0              1   161   136  
31.43/31.55	c 47403          181495         73902483       32867970       7              0              124   153   139
33.13/33.27	c 52226          191531         79307309       34775672       7              0              127   149   136
34.73/34.89	c 57531          200074         84728015       37048643       7              0              131   154   139
35.83/35.93	c 63366          209082         88819202       38331327       7              0              135   163   144
37.53/37.60	c 69784          220188         95121773       40425982       7              0              129   152   135
39.33/39.49	c 76843          233976         102250031      43169693       7              0              132   151   137
41.93/42.08	c 84607          249791         110009335      46424194       7              0              129   143   132
45.73/45.80	c 93147          269406         121877494      51404509       7              0              120   145   128
47.63/47.70	c 102541         282162         129264248      54170934       7              0              134   150   137
50.83/50.97	c 112874         298537         141523716      59503335       7              0              132   142   135
52.93/53.00	c 124240         315344         149928928      61714266       7              0              141   155   143
55.13/55.25	c 136742         332155         159548585      64326331       7              0              134   147   137
57.63/57.72	c 150494         350663         169470325      68141228       7              0              138   161   139
61.64/61.71	c 165621         369845         186820113      75335832       7              0              132   149   137
67.04/67.14	c 182260         412790         207316860      82886544       7              0              134   151   141
70.84/70.99	c 200562         441634         223428379      88346679       7              0              129   151   136
77.24/77.31	c 220694         478950         250139515      98629937       7              0              134   161   141
81.84/81.93	c 242839         507052         271040020      106582600      7              0              130   156   139
90.64/90.72	c 267198         554047         310497388      122048785      7              0              131   158   138
96.24/96.32	c 293992         600310         336780503      129012607      7              0              134   161   145
105.64/105.74	c 323465         662418         373155035      142836837      7              0              126   149   133
110.34/110.40	c 355885         701999         393486098      151554965      7              0              133   155   137
115.04/115.19	c 391547         748106         415225826      157560587      7              0              133   154   138
124.25/124.30	c 430775         811508         456272450      173292473      7              0              129   154   136
132.74/132.85	c 473925         879329         495490537      184715289      7              0              132   151   139
144.44/144.54	c 521390         966456         548920491      201864158      7              0              128   156   138
168.84/168.92	c 573601         1145063        641516877      235346023      7              0              130   154   139
180.25/180.37	c 631033         1231282        698528973      254877409      7              0              132   158   141
192.15/192.23	c 694208         1330509        757038492      273081219      7              0              133   158   142
204.75/204.81	c 763700         1438638        820282827      289812382      7              0              132   160   145
220.75/220.83	c 840141         1566678        896032300      314728138      7              0              130   159   139
238.55/238.62	c 924226         1711109        994374915      345221887      7              0              136   166   150
251.05/251.17	c 1016719        1827931        1063047837     365800632      7              0              133   159   146
270.66/270.71	c 1118461        2000170        1159673529     395978201      7              0              129   160   141
295.26/295.32	c 1230377        2210171        1284439683     436297235      7              0              131   165   141
315.86/315.99	c 1353484        2412306        1392068321     466113267      7              0              127   165   145
338.87/338.94	c 1488901        2629317        1517602330     504846202      7              0              130   165   146
363.36/363.42	c 1637859        2859168        1646896154     547194418      7              0              130   168   146
391.17/391.20	c 1801712        3116356        1805651898     597220652      7              0              136   169   150
425.68/425.78	c 1981950        3483027        2004961039     653668440      7              0              135   171   150
463.27/463.37	c 2180211        3818258        2221829375     713727619      7              0              133   167   143
501.58/501.63	c 2398298        4195934        2446089919     777216113      7              0              131   171   150
566.19/566.29	c 2638193        4850302        2782044716     878791825      7              0              131   172   146
634.29/634.37	c 2902077        5625253        3161138995     988406045      7              0              132   173   152
692.10/692.13	c 3192349        6254302        3502863227     1083228661     7              0              132   172   152
765.51/765.59	c 3511648        7066163        3906852153     1205878980     7              0              133   173   149
854.82/854.82	c 3862876        7879591        4420821240     1359919082     7              0              133   173   148
944.22/944.24	c 4249226        8973502        4920480093     1504012684     7              0              137   174   152
1029.83/1029.83	c 4674211        10019984       5405075662     1653380961     7              0              139   174   150
1103.64/1103.66	c 5141694        11049699       5861252179     1794436740     7              0              140   168   152
1164.65/1164.64	c 5655925        11779961       6259352564     1915422390     7              0              143   164   150
1262.36/1262.35	c 6221579        13008975       6839311418     2125202145     7              0              138   166   150
1326.46/1326.44	c 6843798        13834040       7251311378     2240412475     7              0              145   161   149
1456.68/1456.65	c 7528238        15664028       8018569321     2457924587     7              0              140   166   152
1521.88/1521.81	c 8281122        16611007       8460089957     2582779428     8              0              1   163   152  
1615.19/1615.10	c 9109294        18024434       9073983372     2761199309     8              0              143   160   149
1699.10/1699.08	c 10020283       19531395       9680299497     2936459565     8              0              145   161   156
1796.31/1796.21	c 11022370       20681852       10373798847    3098192732     8              0              145   163   152
1884.22/1884.11	c 12124665       22073924       10953360048    3240683989     8              0              141   159   149
1979.04/1978.97	c 13337189       23633108       11630496920    3404005288     8              0              143   160   152
2077.84/2077.75	c 14670965       25419601       12320728267    3579821351     8              0              143   154   150
2205.95/2205.84	c 16138118       27688055       13170404901    3799547442     8              0              139   153   147
2359.78/2359.62	c 17751986       30028897       14120497719    4115217570     8              0              141   152   145
2461.48/2461.39	c 19527240       32305554       14694112266    4290073069     8              0              135   143   142
2520.09/2519.90	
2520.09/2519.90	c *** INTERRUPTED ***
2520.09/2519.90	c restarts              : 104         
2520.09/2519.90	c conflicts             : 20353202     (8076 /sec)
2520.09/2519.90	c decisions             : 33391614     (13250 /sec)
2520.09/2519.90	c propagations          : 4421116449  (1754347 /sec)
2520.09/2519.90	c root propagations     : 0           
2520.09/2519.90	c filter calls          : 15013980487    (5957710 /sec)
2520.09/2519.90	c useless filter calls  : 11788176471    (78 %)
2520.09/2519.90	c Memory used           : 30.12 MB
2520.09/2519.90	c CPU time              : 2520.09 s
2520.09/2519.90	
2520.09/2519.90	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-4268054-1502522033/watcher-4268054-1502522033 -o /tmp/evaluation-result-4268054-1502522033/solver-4268054-1502522033 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268054-1502522033.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 28454
/proc/meminfo: memFree=31066820/32770624 swapFree=0/521740
[pid=28454] ppid=28451 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28454/stat : 28454 (runsolver) D 28451 28454 21984 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 54424010 24240128 107 18446744073709551615 4194304 4338465 140730023990416 140730023988056 140217167885015 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 28844032 140730023993537 140730023993929 140730023993929 140730023997386 0
/proc/28454/statm: 5918 107 54 36 0 2156 0

[startup+0.100151 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 28454
/proc/meminfo: memFree=31066820/32770624 swapFree=0/521740
[pid=28454] ppid=28451 vsize=28824 CPUtime=0.03 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 1491 0 0 0 3 0 0 0 20 0 1 0 54424010 29515776 1325 18446744073709551615 4194304 5972588 140733859493984 140733859490632 140343973661669 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7206 1325 794 435 0 569 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28824

[startup+0.200292 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 28454
/proc/meminfo: memFree=31066820/32770624 swapFree=0/521740
[pid=28454] ppid=28451 vsize=29860 CPUtime=0.13 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 1798 0 0 0 13 0 0 0 20 0 1 0 54424010 30576640 1615 18446744073709551615 4194304 5972588 140733859493984 140733859490632 4965472 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7465 1615 832 435 0 828 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 29860

[startup+0.300252 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 28454
/proc/meminfo: memFree=31066820/32770624 swapFree=0/521740
[pid=28454] ppid=28451 vsize=30316 CPUtime=0.23 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 1907 0 0 0 23 0 0 0 20 0 1 0 54424010 31043584 1746 18446744073709551615 4194304 5972588 140733859493984 140733859490632 5099616 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7579 1746 834 435 0 942 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 30316

[startup+0.700226 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 28454
/proc/meminfo: memFree=31066820/32770624 swapFree=0/521740
[pid=28454] ppid=28451 vsize=30316 CPUtime=0.63 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 1908 0 0 0 63 0 0 0 20 0 1 0 54424010 31043584 1746 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4965342 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7579 1746 834 435 0 942 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 30316

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28455
/proc/meminfo: memFree=31063596/32770624 swapFree=0/521692
[pid=28454] ppid=28451 vsize=30316 CPUtime=1.43 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 1908 0 0 0 143 0 0 0 20 0 1 0 54424010 31043584 1746 18446744073709551615 4194304 5972588 140733859493984 140733859491288 5099616 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7579 1746 834 435 0 942 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 30316

[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28455
/proc/meminfo: memFree=31063224/32770624 swapFree=0/521692
[pid=28454] ppid=28451 vsize=30448 CPUtime=3.03 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 2747 0 0 0 303 0 0 0 20 0 1 0 54424010 31178752 1764 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4995572 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7612 1764 834 435 0 975 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 30448

[startup+6.30023 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 28455
/proc/meminfo: memFree=31063264/32770624 swapFree=0/521724
[pid=28454] ppid=28451 vsize=30448 CPUtime=6.23 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 3672 0 0 0 623 0 0 0 20 0 1 0 54424010 31178752 1774 18446744073709551615 4194304 5972588 140733859493984 140733859491288 5099648 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7612 1774 834 435 0 975 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 30448

[startup+12.7002 s]
/proc/loadavg: 1.85 1.98 2.03 3/181 28455
/proc/meminfo: memFree=31062892/32770624 swapFree=0/521724
[pid=28454] ppid=28451 vsize=30448 CPUtime=12.63 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 4563 0 0 0 1263 0 0 0 20 0 1 0 54424010 31178752 1783 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4995479 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7612 1783 834 435 0 975 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 30448

[startup+25.5003 s]
/proc/loadavg: 1.88 1.98 2.03 3/185 28470
/proc/meminfo: memFree=31059024/32770624 swapFree=0/521724
[pid=28454] ppid=28451 vsize=30580 CPUtime=25.43 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 6368 0 0 0 2543 0 0 0 20 0 1 0 54424010 31313920 1803 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4962352 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7645 1803 834 435 0 1008 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 30580

[startup+51.1003 s]
/proc/loadavg: 1.92 1.99 2.03 3/185 28470
/proc/meminfo: memFree=31059276/32770624 swapFree=0/521708
[pid=28454] ppid=28451 vsize=30580 CPUtime=51.03 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 7294 0 0 0 5103 0 0 0 20 0 1 0 54424010 31313920 1814 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4908987 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7645 1814 834 435 0 1008 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 30580

[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/185 28496
/proc/meminfo: memFree=31057448/32770624 swapFree=0/521724
[pid=28454] ppid=28451 vsize=30712 CPUtime=102.24 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 8228 0 0 0 10224 0 0 0 20 0 1 0 54424010 31449088 1823 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4909657 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1823 834 435 0 1041 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 30712

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/185 28498
/proc/meminfo: memFree=31058528/32770624 swapFree=0/521740
[pid=28454] ppid=28451 vsize=30712 CPUtime=162.24 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 8655 0 0 0 16224 0 0 0 20 0 1 0 54424010 31449088 1830 18446744073709551615 4194304 5972588 140733859493984 140733859491288 5328685 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1830 834 435 0 1041 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 30712

[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 28500
/proc/meminfo: memFree=31062316/32770624 swapFree=0/521756
[pid=28454] ppid=28451 vsize=30712 CPUtime=222.26 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 9086 0 0 0 22226 0 0 0 20 0 1 0 54424010 31449088 1835 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4995447 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1835 834 435 0 1041 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 30712

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 28502
/proc/meminfo: memFree=31062748/32770624 swapFree=0/521744
[pid=28454] ppid=28451 vsize=30712 CPUtime=282.26 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 9089 0 0 0 28226 0 0 0 20 0 1 0 54424010 31449088 1835 18446744073709551615 4194304 5972588 140733859493984 140733859491288 5099648 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1835 834 435 0 1041 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 30712

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 28504
/proc/meminfo: memFree=31062792/32770624 swapFree=0/521748
[pid=28454] ppid=28451 vsize=30712 CPUtime=342.26 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 9526 0 0 0 34226 0 0 0 20 0 1 0 54424010 31449088 1844 18446744073709551615 4194304 5972588 140733859493984 140733859491288 5328649 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1844 834 435 0 1041 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 30712

[startup+402.3 s]
/proc/loadavg: 2.05 2.00 2.04 3/181 28506
/proc/meminfo: memFree=31063040/32770624 swapFree=0/521760
[pid=28454] ppid=28451 vsize=30712 CPUtime=402.27 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 9528 0 0 0 40227 0 0 0 20 0 1 0 54424010 31449088 1844 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4995479 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1844 834 435 0 1041 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 30712

[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/181 28508
/proc/meminfo: memFree=31063288/32770624 swapFree=0/521780
[pid=28454] ppid=28451 vsize=30712 CPUtime=462.27 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 9967 0 0 0 46227 0 0 0 20 0 1 0 54424010 31449088 1848 18446744073709551615 4194304 5972588 140733859493984 140733859491288 5328506 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1848 834 435 0 1041 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 30712

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 28510
/proc/meminfo: memFree=31062992/32770624 swapFree=0/521796
[pid=28454] ppid=28451 vsize=30712 CPUtime=522.28 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 9968 0 0 0 52228 0 0 0 20 0 1 0 54424010 31449088 1848 18446744073709551615 4194304 5972588 140733859493984 140733859491288 5099616 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1848 834 435 0 1041 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 30712

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 28512
/proc/meminfo: memFree=31063060/32770624 swapFree=0/521808
[pid=28454] ppid=28451 vsize=30712 CPUtime=582.29 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 10409 0 0 0 58229 0 0 0 20 0 1 0 54424010 31449088 1850 18446744073709551615 4194304 5972588 140733859493984 140733859491288 5099648 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1850 834 435 0 1041 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 30712


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


[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 28640
/proc/meminfo: memFree=31218228/32770624 swapFree=0/521980
[pid=28454] ppid=28451 vsize=30712 CPUtime=1662.4 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 14309 0 0 0 166240 0 0 0 20 0 1 0 54424010 31449088 1857 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4995521 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1857 834 435 0 1041 0
Current children cumulated CPU time (s) 1662.4
Current children cumulated vsize (KiB) 30712

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 28643
/proc/meminfo: memFree=31218104/32770624 swapFree=0/521984
[pid=28454] ppid=28451 vsize=30712 CPUtime=1722.4 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 14405 0 0 0 172240 0 0 0 20 0 1 0 54424010 31449088 1857 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4995434 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1857 834 435 0 1041 0
Current children cumulated CPU time (s) 1722.4
Current children cumulated vsize (KiB) 30712

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 28645
/proc/meminfo: memFree=31218368/32770624 swapFree=0/521992
[pid=28454] ppid=28451 vsize=30712 CPUtime=1782.41 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 14742 0 0 0 178241 0 0 0 20 0 1 0 54424010 31449088 1858 18446744073709551615 4194304 5972588 140733859493984 140733859491288 5109232 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1858 834 435 0 1041 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 30712

[startup+1842.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/184 28661
/proc/meminfo: memFree=31214436/32770624 swapFree=0/521984
[pid=28454] ppid=28451 vsize=30712 CPUtime=1842.42 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 14852 0 0 0 184242 0 0 0 20 0 1 0 54424010 31449088 1858 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4909211 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1858 834 435 0 1041 0
Current children cumulated CPU time (s) 1842.42
Current children cumulated vsize (KiB) 30712

[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 28663
/proc/meminfo: memFree=31213828/32770624 swapFree=0/522000
[pid=28454] ppid=28451 vsize=30712 CPUtime=1902.42 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 15300 0 0 0 190242 0 0 0 20 0 1 0 54424010 31449088 1858 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4995544 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1858 834 435 0 1041 0
Current children cumulated CPU time (s) 1902.42
Current children cumulated vsize (KiB) 30712

[startup+1962.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 28665
/proc/meminfo: memFree=31216852/32770624 swapFree=0/522016
[pid=28454] ppid=28451 vsize=30712 CPUtime=1962.43 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 15300 0 0 0 196243 0 0 0 20 0 1 0 54424010 31449088 1858 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4995517 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1858 834 435 0 1041 0
Current children cumulated CPU time (s) 1962.43
Current children cumulated vsize (KiB) 30712

[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 28667
/proc/meminfo: memFree=31216932/32770624 swapFree=0/522016
[pid=28454] ppid=28451 vsize=30712 CPUtime=2022.44 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 15747 0 0 0 202244 0 0 0 20 0 1 0 54424010 31449088 1858 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4995572 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1858 834 435 0 1041 0
Current children cumulated CPU time (s) 2022.44
Current children cumulated vsize (KiB) 30712

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 28669
/proc/meminfo: memFree=31216932/32770624 swapFree=0/522028
[pid=28454] ppid=28451 vsize=30712 CPUtime=2082.45 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 15748 0 0 0 208245 0 0 0 20 0 1 0 54424010 31449088 1858 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4995668 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1858 834 435 0 1041 0
Current children cumulated CPU time (s) 2082.45
Current children cumulated vsize (KiB) 30712

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 28671
/proc/meminfo: memFree=31217180/32770624 swapFree=0/522040
[pid=28454] ppid=28451 vsize=30712 CPUtime=2142.45 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 16105 0 0 0 214245 0 0 0 20 0 1 0 54424010 31449088 1859 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4908832 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1859 834 435 0 1041 0
Current children cumulated CPU time (s) 2142.45
Current children cumulated vsize (KiB) 30712

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28673
/proc/meminfo: memFree=31217056/32770624 swapFree=0/522052
[pid=28454] ppid=28451 vsize=30712 CPUtime=2202.46 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 16111 0 0 0 220246 0 0 0 20 0 1 0 54424010 31449088 1859 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4908987 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7678 1859 834 435 0 1041 0
Current children cumulated CPU time (s) 2202.46
Current children cumulated vsize (KiB) 30712

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 28675
/proc/meminfo: memFree=31217552/32770624 swapFree=0/522060
[pid=28454] ppid=28451 vsize=30844 CPUtime=2262.46 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 16555 0 0 0 226246 0 0 0 20 0 1 0 54424010 31584256 1860 18446744073709551615 4194304 5972588 140733859493984 140733859491016 4995479 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7711 1860 834 435 0 1074 0
Current children cumulated CPU time (s) 2262.46
Current children cumulated vsize (KiB) 30844

[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 28677
/proc/meminfo: memFree=31217676/32770624 swapFree=0/522072
[pid=28454] ppid=28451 vsize=30844 CPUtime=2322.47 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 16555 0 0 0 232247 0 0 0 20 0 1 0 54424010 31584256 1860 18446744073709551615 4194304 5972588 140733859493984 140733859491016 4995517 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7711 1860 834 435 0 1074 0
Current children cumulated CPU time (s) 2322.47
Current children cumulated vsize (KiB) 30844

[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 28679
/proc/meminfo: memFree=31217428/32770624 swapFree=0/522076
[pid=28454] ppid=28451 vsize=30844 CPUtime=2382.47 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 17005 0 0 0 238247 0 0 0 20 0 1 0 54424010 31584256 1860 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4995530 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7711 1860 834 435 0 1074 0
Current children cumulated CPU time (s) 2382.47
Current children cumulated vsize (KiB) 30844

[startup+2442.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 28696
/proc/meminfo: memFree=31212736/32770624 swapFree=0/522080
[pid=28454] ppid=28451 vsize=30844 CPUtime=2442.48 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 17005 0 0 0 244248 0 0 0 20 0 1 0 54424010 31584256 1860 18446744073709551615 4194304 5972588 140733859493984 140733859491288 5328670 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7711 1860 834 435 0 1074 0
Current children cumulated CPU time (s) 2442.48
Current children cumulated vsize (KiB) 30844

[startup+2502.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 28698
/proc/meminfo: memFree=31213236/32770624 swapFree=0/522088
[pid=28454] ppid=28451 vsize=30844 CPUtime=2502.49 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 17454 0 0 0 250249 0 0 0 20 0 1 0 54424010 31584256 1861 18446744073709551615 4194304 5972588 140733859493984 140733859491288 4995517 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7711 1861 834 435 0 1074 0
Current children cumulated CPU time (s) 2502.49
Current children cumulated vsize (KiB) 30844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 28698
/proc/meminfo: memFree=31216292/32770624 swapFree=0/522080
[pid=28454] ppid=28451 vsize=30844 CPUtime=2520.09 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 17455 0 0 0 252009 0 0 0 20 0 1 0 54424010 31584256 1861 18446744073709551615 4194304 5972588 140733859493984 140733859491288 5071744 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7711 1861 834 435 0 1074 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 30844

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

[startup+2519.9 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 28698
/proc/meminfo: memFree=31216292/32770624 swapFree=0/522080
[pid=28454] ppid=28451 vsize=30844 CPUtime=2520.09 cores=1,3,5,7
/proc/28454/stat : 28454 (cosoco) R 28451 28454 21984 0 -1 4202496 17455 0 0 0 252009 0 0 0 20 0 1 0 54424010 31584256 1861 18446744073709551615 4194304 5972588 140733859493984 140733859491288 5071744 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 17719296 140733859500526 140733859500621 140733859500621 140733859504078 0
/proc/28454/statm: 7711 1861 834 435 0 1074 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 30844

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.1
CPU user time (s): 2520.09
CPU system time (s): 0.005
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 30844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.09
system time used= 0.005
maximum resident set size= 7512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17493
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= 11
involuntary context switches= 867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.53854 second user time and 10.6108 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-12 08:59:47
IDJOB=4268054
IDBENCH=124367
IDSOLVER=2658
FILE ID=node125/4268054-1502522033
RUNJOBID= node125-1502500302-22048
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
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-4268054-1502522033/watcher-4268054-1502522033 -o /tmp/evaluation-result-4268054-1502522033/solver-4268054-1502522033 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268054-1502522033.xml

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

MD5SUM BENCH= 2a5b3790b47e1c2f5ad8b085143681cb
RANDOM SEED=1595553838

node125.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.07
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.07
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.07
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.07
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:        31067232 kB
MemAvailable:   31834228 kB
Buffers:          268060 kB
Cached:           788620 kB
SwapCached:            0 kB
Active:           733472 kB
Inactive:         546648 kB
Active(anon):     223388 kB
Inactive(anon):    24908 kB
Active(file):     510084 kB
Inactive(file):   521740 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2372 kB
Writeback:             4 kB
AnonPages:        223096 kB
Mapped:            45332 kB
Shmem:             25252 kB
Slab:             127736 kB
SReclaimable:     102012 kB
SUnreclaim:        25724 kB
KernelStack:        3200 kB
PageTables:         5168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     485148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62028 MiB
End job on node125 at 2017-08-12 09:41:47