Trace number 4299549

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2519.95 2520.01

General information on the benchmark

NameHaystacks/
Haystacks-ext-09_c18.xml
MD5SUM162336f6d7c1113ca166592290b0a66d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.89413
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of constraints332
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":81}]
Minimum variable degree8
Maximum variable degree9
Distribution of variable degrees[{"degree":8,"count":65},{"degree":9,"count":16}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":332}]
Number of extensional constraints332
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":332}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.12 --  
0.00/0.00	c
0.00/0.00	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299549-1532809528.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.01 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 81
0.00/0.00	c |            Domain Sizes: 9..9
0.00/0.00	c |
0.00/0.00	c |             Constraints: 332
0.00/0.00	c |                   Arity: 2..2  -- Binary: 332
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 332  (nb tuples: 9..11) -- (shared: 328)
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            254            7873           1872           0              0              16   18   17   
0.00/0.01	c 211            542            16452          3997           0              0              29   31   30   
0.00/0.01	c 332            870            26140          6352           0              0              37   39   38   
0.00/0.01	c 465            1230           36878          8946           0              0              22   47   46   
0.00/0.01	c 611            1625           49710          13316          0              0              23   55   41   
0.00/0.01	c 771            2040           61831          16294          0              0              6   8   7      
0.00/0.01	c 947            2492           75349          19598          0              0              15   17   16   
0.00/0.01	c 1140           3019           90500          23220          0              0              23   25   24   
0.00/0.01	c 1352           3604           107298         27263          0              0              61   63   62   
0.00/0.01	c 1585           4244           126386         31869          0              0              69   71   70   
0.00/0.01	c 1841           4954           147382         36923          0              0              77   79   78   
0.00/0.02	c 2122           5752           170341         42597          0              0              60   62   61   
0.00/0.02	c 2431           6614           195339         48702          0              0              60   62   61   
0.00/0.02	c 2770           7540           222425         55226          0              0              61   63   62   
0.00/0.02	c 3142           8572           252389         62405          0              0              47   49   48   
0.00/0.02	c 3551           9683           284214         70196          0              0              47   49   48   
0.00/0.03	c 4000           10891          319339         78969          0              0              47   49   48   
0.00/0.03	c 4493           12325          359785         88718          0              0              61   64   63   
0.00/0.03	c 5035           13814          402230         99254          0              0              63   65   64   
0.00/0.03	c 5631           15504          449552         110760         0              0              63   65   64   
0.00/0.04	c 6286           17367          501340         123378         0              0              63   65   64   
0.00/0.04	c 7006           19340          556866         137128         0              0              63   65   64   
0.00/0.04	c 7798           21553          617563         152163         0              0              62   64   63   
0.00/0.05	c 8669           24042          686593         168980         0              0              63   65   64   
0.00/0.05	c 9627           26633          761310         187668         0              0              62   64   63   
0.00/0.06	c 10680          29540          843874         207906         0              0              56   59   58   
0.00/0.07	c 11838          32717          933972         230032         0              0              62   64   63   
0.00/0.07	c 13111          36249          1032374        254446         0              0              62   65   64   
0.00/0.08	c 14511          40052          1139990        281269         0              0              62   65   64   
0.00/0.09	c 16051          44152          1259767        311033         0              0              61   64   63   
0.00/0.09	c 17745          48917          1393570        343524         0              0              60   62   61   
0.00/0.10	c 19608          53849          1535103        378991         0              0              53   55   54   
0.10/0.11	c 21657          59447          1692049        417999         0              0              60   62   61   
0.10/0.12	c 23910          65540          1868084        461787         0              0              59   62   61   
0.10/0.14	c 26388          72287          2058812        509381         0              0              59   62   61   
0.10/0.15	c 29113          79822          2272304        562590         0              0              59   62   61   
0.10/0.17	c 32110          88122          2509615        622498         0              0              59   62   61   
0.10/0.18	c 35406          97317          2764071        686922         0              0              59   62   61   
0.10/0.20	c 39031          107815         3050813        757611         0              0              59   62   61   
0.21/0.22	c 43018          118788         3362012        835364         0              0              58   62   61   
0.21/0.24	c 47403          131257         3708292        921048         0              0              60   62   61   
0.21/0.27	c 52226          144951         4085824        1013863        0              0              59   62   61   
0.21/0.29	c 57531          159777         4501376        1116848        0              0              58   62   61   
0.31/0.32	c 63366          176450         4959604        1230667        0              0              59   62   61   
0.31/0.35	c 69784          194275         5465295        1357241        0              0              58   62   61   
0.31/0.39	c 76843          214267         6023239        1495412        0              0              59   62   61   
0.41/0.43	c 84607          235839         6637766        1649281        0              0              58   62   61   
0.41/0.47	c 93147          259802         7312561        1818684        0              0              59   62   61   
0.51/0.52	c 102541         285850         8038622        2002232        0              0              55   62   61   
0.51/0.57	c 112874         314643         8841811        2203204        0              0              58   62   61   
0.60/0.63	c 124240         346606         9733085        2426763        0              0              58   62   61   
0.60/0.69	c 136742         381114         10708370       2671352        0              0              58   62   61   
0.69/0.76	c 150494         420274         11798193       2941914        0              0              58   62   61   
0.79/0.84	c 165621         463306         12989561       3237752        0              0              58   62   61   
0.89/0.92	c 182260         509666         14294673       3565166        0              0              58   62   61   
1.00/1.01	c 200562         561081         15727376       3923901        0              0              57   62   61   
1.10/1.11	c 220694         618249         17299937       4315865        0              0              58   62   61   
1.19/1.22	c 242839         679728         19030109       4748950        0              0              57   62   61   
1.29/1.35	c 267198         748047         20932211       5225597        0              0              58   62   61   
1.39/1.48	c 293992         821800         23014567       5750998        0              0              58   62   61   
1.59/1.63	c 323465         905431         25323771       6326957        0              0              58   62   61   
1.69/1.79	c 355885         995513         27830546       6955751        0              0              54   62   61   
1.89/1.97	c 391547         1096659        30628243       7653553        0              0              58   62   61   
2.10/2.16	c 430775         1206574        33729089       8428493        0              0              58   62   61   
2.29/2.38	c 473925         1328823        37110995       9272706        0              0              57   62   61   
2.59/2.62	c 521390         1462639        40844626       10208146       0              0              58   62   61   
2.79/2.88	c 573601         1610201        44928240       11231649       0              0              58   62   61   
3.10/3.17	c 631033         1769975        49400255       12355457       0              0              58   62   61   
3.39/3.49	c 694208         1947542        54328568       13594856       0              0              55   62   61   
3.79/3.83	c 763700         2143031        59770804       14956162       0              0              58   62   61   
4.19/4.22	c 840141         2357254        65749476       16453658       0              0              52   62   61   
4.59/4.64	c 924226         2593848        72381809       18111578       0              0              52   62   61   
5.10/5.11	c 1016719        2853386        79631414       19929595       0              0              51   55   54   
5.59/5.63	c 1118461        3143310        87602432       21918227       0              0              52   62   61   
6.10/6.19	c 1230377        3461589        96401195       24118125       0              0              54   62   61   
6.79/6.81	c 1353484        3811284        106047289      26535215       0              0              54   62   61   
7.39/7.49	c 1488901        4194170        116677821      29201008       0              0              58   62   61   
8.19/8.24	c 1637859        4617907        128370552      32130125       0              0              51   62   61   
9.00/9.06	c 1801712        5060110        141010127      35326699       0              0              45   55   53   
9.89/9.95	c 1981950        5573391        155090926      38834717       0              0              54   64   63   
10.89/10.95	c 2180211        6136150        170587465      42704584       0              0              55   64   63   
12.00/12.05	c 2398298        6760215        187757091      46996386       0              0              53   64   62   
13.19/13.26	c 2638193        7434599        206439767      51681827       0              0              55   64   63   
14.49/14.57	c 2902077        8190092        226925718      56790120       0              0              54   64   63   
16.00/16.03	c 3192349        9023954        249823031      62507940       0              0              53   64   63   
17.59/17.65	c 3511648        9934464        275050412      68797579       0              0              56   64   63   
19.39/19.44	c 3862876        10960922       302765450      75727536       0              0              53   63   62   
21.29/21.37	c 4249226        12054246       333104376      83327245       0              0              53   64   63   
23.39/23.50	c 4674211        13212361       365868726      91618924       0              0              44   56   54   
25.79/25.87	c 5141694        14598301       402629020      100774496      0              0              52   64   63   
28.39/28.48	c 5655925        16086272       443052238      110915917      0              0              54   64   63   
31.29/31.37	c 6221579        17773785       487835004      122032822      0              0              54   64   63   
34.49/34.55	c 6843798        19598785       536878240      134349170      0              0              54   64   62   
38.00/38.05	c 7528238        21594694       591114129      147922034      0              0              52   64   62   
41.89/41.91	c 8281122        23846501       650610575      162787205      0              0              55   64   63   
46.10/46.12	c 9109294        26250610       715562955      179068982      0              0              53   64   62   
50.69/50.76	c 10020283       28873676       787496186      197068620      0              0              53   64   63   
55.79/55.86	c 11022370       31752507       866432451      216825270      0              0              54   63   62   
61.49/61.53	c 12124665       34961768       953701697      238653631      0              0              51   62   61   
67.59/67.69	c 13337189       38418340       1048874609     262546358      0              0              52   62   61   
74.49/74.54	c 14670965       42374637       1154279974     288941428      0              0              52   62   61   
81.89/81.99	c 16138118       46800736       1269926227     317749629      0              0              51   62   61   
90.19/90.26	c 17751986       51514439       1397077114     349479464      0              0              51   62   61   
99.39/99.44	c 19527240       56972133       1538542351     384659256      0              0              52   62   61   
109.29/109.37	c 21480019       62667760       1691708077     422948746      0              0              52   62   61   
120.29/120.38	c 23628075       69099642       1861908076     465267174      0              0              51   62   61   
132.39/132.45	c 25990936       75914385       2047655503     511870649      0              0              51   62   61   
145.69/145.71	c 28590083       83478558       2252362803     562974881      0              0              51   62   61   
160.49/160.53	c 31449144       91894884       2479186568     619630822      0              0              51   62   61   
176.49/176.59	c 34594111       101046680      2726905409     681658613      0              0              51   62   61   
194.39/194.42	c 38053574       111346098      3001872280     750450367      0              0              51   62   61   
214.19/214.25	c 41858983       122988051      3305765516     826621514      0              0              52   62   61   
235.89/235.96	c 46044932       135786189      3638510445     909663762      0              0              51   62   61   
259.79/259.81	c 50649475       149842913      4002935081     1000383788     0              0              51   62   61   
285.69/285.75	c 55714472       165336296      4403614985     1100240575     0              0              52   62   61   
314.38/314.42	c 61285968       181875004      4844564973     1210489461     0              0              51   62   61   
346.09/346.15	c 67414613       200235248      5330065639     1331973620     0              0              51   62   61   
381.18/381.22	c 74156122       220510310      5867361209     1466408902     0              0              51   62   61   
419.68/419.78	c 81571781       243071392      6457044678     1613895441     0              0              50   62   61   
461.68/461.77	c 89729005       267972373      7102967460     1774968448     0              0              52   62   61   
507.99/508.04	c 98701951       294667189      7813945534     1952621864     0              0              51   62   61   
559.09/559.12	c 108572191      324416143      8595060756     2147572678     0              0              50   62   61   
615.38/615.48	c 119429455      357635829      9457514131     2362491465     0              0              51   62   61   
676.99/677.09	c 131372445      393233317      10404384703    2598939603     0              0              51   62   61   
745.18/745.23	c 144509734      432808721      11445062614    2858252939     0              0              51   62   61   
819.87/819.92	c 158960751      477012149      12590130758    3143689261     0              0              51   62   61   
902.47/902.58	c 174856869      525424709      13853317778    3458925097     0              0              50   62   61   
993.37/993.49	c 192342598      577929908      15238196787    3803700238     0              0              51   62   61   
1093.57/1093.69	c 211576899      636117531      16766804822    4186033581     0              0              50   62   61   
1203.87/1203.93	c 232734630      700618735      18451572908    4606573893     0              0              51   62   61   
1323.86/1323.97	c 256008134      770702852      20300397350    5067164489     0              0              51   62   61   
1457.16/1457.25	c 281608988      847873381      22325680407    5573849464     0              0              51   62   61   
1605.66/1605.72	c 309769927      933679604      24572244443    6134295416     0              0              51   62   61   
1768.15/1768.23	c 340746959      1027426811     27037062733    6748061179     0              0              51   62   61   
1946.96/1947.01	c 374821694      1131399555     29763638489    7432155209     0              0              51   62   61   
2143.05/2143.16	c 412303902      1245851796     32738234486    8173842144     0              0              51   62   -52  
2359.95/2360.08	c 453534330      1370444024     36006281670    8988196994     0              0              51   62   -42  
2519.95/2520.00	
2519.95/2520.00	c *** INTERRUPTED ***
2519.95/2520.00	c restarts              : 137         
2519.95/2520.00	c conflicts             : 484009636    (192071 /sec)
2519.95/2520.00	c decisions             : 1463413354   (580731 /sec)
2519.95/2520.00	c propagations          : 9590920323  (3805995 /sec)
2519.95/2520.00	c root propagations     : 0           
2519.95/2520.00	c filter calls          : 38425610373    (15248555 /sec)
2519.95/2520.00	c useless filter calls  : 32245569810    (83 %)
2519.95/2520.00	c Memory used           : 26.91 MB
2519.95/2520.00	c CPU time              : 2519.95 s
2519.95/2520.00	
2519.95/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9079 MiB free)
  memory of node 1: 16384 MiB (12643 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299549-1532809528/watcher-4299549-1532809528 -o /tmp/evaluation-result-4299549-1532809528/solver-4299549-1532809528 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532809523-24536 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299549-1532809528.xml 

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

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

solver pid=24628, runsolver pid=24625

[startup+0.100106 s]*
/proc/loadavg: 1.38 1.42 1.49 3/189 24629
/proc/meminfo: memFree=22243380/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=3932 CPUtime=0.1 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 1164 0 0 0 10 0 0 0 20 0 1 0 98515919 28217344 983 33554432000 4194304 6142532 140732242186320 140732242182952 5327208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 983 811 476 0 211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3932 KiB

[startup+0.209414 s]*
/proc/loadavg: 1.38 1.42 1.49 3/189 24629
/proc/meminfo: memFree=22243380/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=3932 CPUtime=0.21 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 1164 0 0 0 21 0 0 0 20 0 1 0 98515919 28217344 983 33554432000 4194304 6142532 140732242186320 140732242182952 5336789 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 983 811 476 0 211 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3932 KiB

[startup+0.308764 s]*
/proc/loadavg: 1.38 1.42 1.49 3/189 24629
/proc/meminfo: memFree=22243380/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=3932 CPUtime=0.31 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 1164 0 0 0 31 0 0 0 20 0 1 0 98515919 28217344 983 33554432000 4194304 6142532 140732242186320 140732242182952 4991200 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 983 811 476 0 211 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3932 KiB

[startup+0.700223 s]
/proc/loadavg: 1.38 1.42 1.49 3/189 24629
/proc/meminfo: memFree=22243000/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=3932 CPUtime=0.69 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 1164 0 0 0 69 0 0 0 20 0 1 0 98515919 28217344 983 33554432000 4194304 6142532 140732242186320 140732242183720 5326540 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 983 811 476 0 211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3932 KiB

[startup+1.50023 s]
/proc/loadavg: 1.38 1.42 1.49 3/189 24629
/proc/meminfo: memFree=22243000/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=3932 CPUtime=1.49 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 1164 0 0 0 149 0 0 0 20 0 1 0 98515919 28217344 983 33554432000 4194304 6142532 140732242186320 140732242183720 5326537 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 983 811 476 0 211 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3932 KiB

[startup+3.10899 s]
/proc/loadavg: 1.43 1.43 1.49 3/189 24629
/proc/meminfo: memFree=22243372/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=3.1 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 1276 0 0 0 310 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5326346 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+6.30021 s]
/proc/loadavg: 1.43 1.43 1.49 3/189 24629
/proc/meminfo: memFree=22243704/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=6.29 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 1388 0 0 0 629 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5318987 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+12.7003 s]
/proc/loadavg: 1.48 1.44 1.50 3/189 24629
/proc/meminfo: memFree=22244404/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=12.69 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 1500 0 0 0 1269 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5327408 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+25.5003 s]
/proc/loadavg: 1.53 1.45 1.50 3/189 24629
/proc/meminfo: memFree=22244332/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=25.49 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 1724 0 0 0 2549 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5319106 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+51.109 s]
/proc/loadavg: 1.69 1.50 1.51 3/189 24629
/proc/meminfo: memFree=22244580/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=51.1 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 1836 0 0 0 5110 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5326543 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+102.3 s]
/proc/loadavg: 1.86 1.57 1.54 3/189 24630
/proc/meminfo: memFree=22244976/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=102.29 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 1948 0 0 0 10229 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+162.3 s]
/proc/loadavg: 1.95 1.65 1.57 3/189 24632
/proc/meminfo: memFree=22244940/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=162.29 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 2060 0 0 0 16229 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5327300 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+222.3 s]
/proc/loadavg: 1.98 1.71 1.59 3/189 24633
/proc/meminfo: memFree=22244928/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=222.29 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 2172 0 0 0 22229 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.77 1.62 3/189 24641
/proc/meminfo: memFree=22243948/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=282.29 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 2284 0 0 0 28229 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5170149 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.81 1.64 3/187 24642
/proc/meminfo: memFree=22243960/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=342.28 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 2396 0 0 0 34228 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 4995888 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.84 1.66 3/187 24643
/proc/meminfo: memFree=22244364/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=402.28 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 2508 0 0 0 40228 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 4995694 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.87 1.69 3/187 24644
/proc/meminfo: memFree=22244248/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=462.28 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 2620 0 0 0 46228 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5319040 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB


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

/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 24682
/proc/meminfo: memFree=22243868/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=1782.25 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 4798 0 0 0 178225 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5326540 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 24683
/proc/meminfo: memFree=22243868/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=1842.25 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 4874 0 0 0 184225 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 4995594 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 24684
/proc/meminfo: memFree=22243744/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=1902.25 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 4950 0 0 0 190225 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5318987 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 24686
/proc/meminfo: memFree=22243752/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=1962.25 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 5062 0 0 0 196225 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5336662 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/187 24687
/proc/meminfo: memFree=22243132/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=2022.25 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 5135 0 0 0 202225 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5319096 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+2082.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/188 24696
/proc/meminfo: memFree=22242688/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=2082.25 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 5208 0 0 0 208225 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 4990600 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/188 24719
/proc/meminfo: memFree=22241076/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=2142.25 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 5281 0 0 0 214225 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5326524 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+2202.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/188 24720
/proc/meminfo: memFree=22242024/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=2202.24 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 5404 0 0 0 220224 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5329888 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/188 24721
/proc/meminfo: memFree=22242272/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=2262.24 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 5488 0 0 0 226224 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5347455 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/188 24722
/proc/meminfo: memFree=22242272/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=2322.24 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 5572 0 0 0 232224 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5326537 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 24723
/proc/meminfo: memFree=22242544/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=2382.24 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 5684 0 0 0 238224 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 4995483 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 24724
/proc/meminfo: memFree=22242748/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=2442.24 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 5760 0 0 0 244224 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 5336759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 24725
/proc/meminfo: memFree=22242996/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=2502.24 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 5836 0 0 0 250224 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 4995586 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.16 2.05 1.98 3/187 24786
/proc/meminfo: memFree=22243620/32770624 swapFree=67108796/67108860
[pid=24628] ppid=24625 vsize=27556 memory=4032 CPUtime=2519.95 cores=1,3,5,7
/proc/24628/stat : 24628 (cosoco) R 24625 24628 24504 0 -1 4202496 5907 0 0 0 251995 0 0 0 20 0 1 0 98515919 28217344 1008 33554432000 4194304 6142532 140732242186320 140732242183720 4995491 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 30916608 140732242187398 140732242187528 140732242187528 140732242190286 0
/proc/24628/statm: 6889 1008 834 476 0 211 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4032 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.95
CPU user time (s): 2519.95
CPU system time (s): 0.002999
CPU usage (%): 99.9978
Max. virtual memory (cumulated for all children) (KiB): 27556
Max. memory (cumulated for all children) (KiB): 4032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.002999
maximum resident set size= 4096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5956
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= 6
involuntary context switches= 632


# summary of solver processes directly reported to runsolver:
#   pid: 24628
#   total CPU time (s): 2519.95
#   total CPU user time (s): 2519.95
#   total CPU system time (s): 0.002999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3403 second user time and 14.0216 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 22:25:28
IDJOB=4299549
IDBENCH=141413
IDSOLVER=2761
FILE ID=node138/4299549-1532809528
RUNJOBID= node138-1532809523-24536
PBS_JOBID= 21022478
Free space on /tmp= 53796 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Haystacks/Haystacks-ext-09_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299549-1532809528/watcher-4299549-1532809528 -o /tmp/evaluation-result-4299549-1532809528/solver-4299549-1532809528 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532809523-24536 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299549-1532809528.xml

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

MD5SUM BENCH= 162336f6d7c1113ca166592290b0a66d
RANDOM SEED=547369782

node138.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.71
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.71
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.71
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.71
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:        22244412 kB
MemAvailable:   31921688 kB
Buffers:          213060 kB
Cached:          9668336 kB
SwapCached:           44 kB
Active:          2560888 kB
Inactive:        7381268 kB
Active(anon):       5284 kB
Inactive(anon):    83488 kB
Active(file):    2555604 kB
Inactive(file):  7297780 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              2944 kB
Writeback:             0 kB
AnonPages:         68104 kB
Mapped:            39756 kB
Shmem:             25164 kB
Slab:             280608 kB
SReclaimable:     252352 kB
SUnreclaim:        28256 kB
KernelStack:        3312 kB
PageTables:         4780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53792 MiB
End job on node138 at 2018-07-28 23:07:28