Trace number 4294708

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.94 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 benchmark0.360612
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-4294708-1532483798.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 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.05	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.13	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.48	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.12	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.96	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.25	c 2638193        7434599        206439767      51681827       0              0              55   64   63   
14.49/14.56	c 2902077        8190092        226925718      56790120       0              0              54   64   63   
16.00/16.02	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.43	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.49	c 4674211        13212361       365868726      91618924       0              0              44   56   54   
25.79/25.86	c 5141694        14598301       402629020      100774496      0              0              52   64   63   
28.39/28.46	c 5655925        16086272       443052238      110915917      0              0              54   64   63   
31.29/31.36	c 6221579        17773785       487835004      122032822      0              0              54   64   63   
34.49/34.54	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.11	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.87	c 11022370       31752507       866432451      216825270      0              0              54   63   62   
61.49/61.52	c 12124665       34961768       953701697      238653631      0              0              51   62   61   
67.69/67.70	c 13337189       38418340       1048874609     262546358      0              0              52   62   61   
74.49/74.55	c 14670965       42374637       1154279974     288941428      0              0              52   62   61   
82.00/82.01	c 16138118       46800736       1269926227     317749629      0              0              51   62   61   
90.29/90.30	c 17751986       51514439       1397077114     349479464      0              0              51   62   61   
99.39/99.48	c 19527240       56972133       1538542351     384659256      0              0              52   62   61   
109.39/109.40	c 21480019       62667760       1691708077     422948746      0              0              52   62   61   
120.39/120.47	c 23628075       69099642       1861908076     465267174      0              0              51   62   61   
132.48/132.55	c 25990936       75914385       2047655503     511870649      0              0              51   62   61   
145.78/145.83	c 28590083       83478558       2252362803     562974881      0              0              51   62   61   
160.48/160.59	c 31449144       91894884       2479186568     619630822      0              0              51   62   61   
176.58/176.65	c 34594111       101046680      2726905409     681658613      0              0              51   62   61   
194.48/194.55	c 38053574       111346098      3001872280     750450367      0              0              51   62   61   
214.28/214.37	c 41858983       122988051      3305765516     826621514      0              0              52   62   61   
235.99/236.09	c 46044932       135786189      3638510445     909663762      0              0              51   62   61   
259.88/259.95	c 50649475       149842913      4002935081     1000383788     0              0              51   62   61   
285.88/285.92	c 55714472       165336296      4403614985     1100240575     0              0              52   62   61   
314.48/314.59	c 61285968       181875004      4844564973     1210489461     0              0              51   62   61   
346.28/346.33	c 67414613       200235248      5330065639     1331973620     0              0              51   62   61   
381.38/381.42	c 74156122       220510310      5867361209     1466408902     0              0              51   62   61   
419.88/419.92	c 81571781       243071392      6457044678     1613895441     0              0              50   62   61   
461.87/461.99	c 89729005       267972373      7102967460     1774968448     0              0              52   62   61   
508.17/508.29	c 98701951       294667189      7813945534     1952621864     0              0              51   62   61   
559.37/559.42	c 108572191      324416143      8595060756     2147572678     0              0              50   62   61   
615.57/615.67	c 119429455      357635829      9457514131     2362491465     0              0              51   62   61   
677.37/677.42	c 131372445      393233317      10404384703    2598939603     0              0              51   62   61   
745.57/745.69	c 144509734      432808721      11445062614    2858252939     0              0              51   62   61   
820.26/820.38	c 158960751      477012149      12590130758    3143689261     0              0              51   62   61   
902.86/902.94	c 174856869      525424709      13853317778    3458925097     0              0              50   62   61   
993.76/993.80	c 192342598      577929908      15238196787    3803700238     0              0              51   62   61   
1093.97/1094.06	c 211576899      636117531      16766804822    4186033581     0              0              50   62   61   
1204.55/1204.60	c 232734630      700618735      18451572908    4606573893     0              0              51   62   61   
1324.85/1324.95	c 256008134      770702852      20300397350    5067164489     0              0              51   62   61   
1457.96/1458.06	c 281608988      847873381      22325680407    5573849464     0              0              51   62   61   
1606.24/1606.32	c 309769927      933679604      24572244443    6134295416     0              0              51   62   61   
1769.14/1769.26	c 340746959      1027426811     27037062733    6748061179     0              0              51   62   61   
1948.33/1948.47	c 374821694      1131399555     29763638489    7432155209     0              0              51   62   61   
2144.63/2144.76	c 412303902      1245851796     32738234486    8173842144     0              0              51   62   -52  
2361.03/2361.13	c 453534330      1370444024     36006281670    8988196994     0              0              51   62   -42  
2519.93/2520.00	
2519.93/2520.00	c *** INTERRUPTED ***
2519.93/2520.00	c restarts              : 137         
2519.93/2520.00	c conflicts             : 483732289    (191962 /sec)
2519.93/2520.00	c decisions             : 1462503948   (580374 /sec)
2519.93/2520.00	c propagations          : 9585211665  (3803758 /sec)
2519.93/2520.00	c root propagations     : 0           
2519.93/2520.00	c filter calls          : 38402815396    (15239624 /sec)
2519.93/2520.00	c useless filter calls  : 32226387331    (83 %)
2519.93/2520.00	c Memory used           : 26.91 MB
2519.93/2520.00	c CPU time              : 2519.93 s
2519.93/2520.00	
2519.93/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 (4860 MiB free)
  memory of node 1: 16384 MiB (10848 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100033 s]*
/proc/loadavg: 2.00 2.05 2.05 3/187 24133
/proc/meminfo: memFree=16085268/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=3936 CPUtime=0.1 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 1165 0 0 0 10 0 0 0 20 0 1 0 65943079 28217344 984 33554432000 4194304 6142532 140735909405104 140735909401736 140041862954080 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 984 811 476 0 211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3936 KiB

[startup+0.209217 s]*
/proc/loadavg: 2.00 2.05 2.05 3/187 24133
/proc/meminfo: memFree=16085292/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=3936 CPUtime=0.21 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 1165 0 0 0 21 0 0 0 20 0 1 0 65943079 28217344 984 33554432000 4194304 6142532 140735909405104 140735909401736 5336753 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 984 811 476 0 211 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3936 KiB

[startup+0.3087 s]*
/proc/loadavg: 2.00 2.05 2.05 3/187 24133
/proc/meminfo: memFree=16085292/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=3936 CPUtime=0.31 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 1165 0 0 0 31 0 0 0 20 0 1 0 65943079 28217344 984 33554432000 4194304 6142532 140735909405104 140735909401736 5327323 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 984 811 476 0 211 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3936 KiB

[startup+0.700225 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 24133
/proc/meminfo: memFree=16085292/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=3936 CPUtime=0.69 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 1165 0 0 0 69 0 0 0 20 0 1 0 65943079 28217344 984 33554432000 4194304 6142532 140735909405104 140735909402504 4995362 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 984 811 476 0 211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3936 KiB

[startup+1.50023 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 24133
/proc/meminfo: memFree=16085108/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=3936 CPUtime=1.49 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 1165 0 0 0 149 0 0 0 20 0 1 0 65943079 28217344 984 33554432000 4194304 6142532 140735909405104 140735909402504 5318987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 984 811 476 0 211 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3936 KiB

[startup+3.10879 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 24133
/proc/meminfo: memFree=16084984/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=3.1 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 1277 0 0 0 310 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5336728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 24133
/proc/meminfo: memFree=16085108/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=6.29 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 1389 0 0 0 629 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 4990992 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 24133
/proc/meminfo: memFree=16085232/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=12.69 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 1501 0 0 0 1269 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5170144 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24133
/proc/meminfo: memFree=16085356/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=25.49 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 1725 0 0 0 2549 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5327103 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+51.1088 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24133
/proc/meminfo: memFree=16085728/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=51.1 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 1837 0 0 0 5110 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5326543 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24135
/proc/meminfo: memFree=16085768/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=102.29 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 1949 0 0 0 10229 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 4995453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24136
/proc/meminfo: memFree=16086120/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=162.28 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 2061 0 0 0 16228 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 4995461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24145
/proc/meminfo: memFree=16085780/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=222.28 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 2173 0 0 0 22228 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 4995279 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24168
/proc/meminfo: memFree=16084728/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=282.28 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 2285 0 0 0 28228 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5326543 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24169
/proc/meminfo: memFree=16085084/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=342.28 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 2397 0 0 0 34228 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 4995332 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24170
/proc/meminfo: memFree=16085588/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=402.28 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 2509 0 0 0 40228 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5336753 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24171
/proc/meminfo: memFree=16085316/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=462.27 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 2621 0 0 0 46227 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 4990789 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB


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

/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24211
/proc/meminfo: memFree=16084620/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=1782.24 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 4799 0 0 0 178224 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 4995420 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24212
/proc/meminfo: memFree=16084736/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=1842.24 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 4875 0 0 0 184224 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5326540 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24214
/proc/meminfo: memFree=16084448/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=1902.23 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 4951 0 0 0 190223 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 4990880 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24215
/proc/meminfo: memFree=16084448/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=1962.23 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 5063 0 0 0 196223 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5336728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24224
/proc/meminfo: memFree=16083564/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=2022.23 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 5136 0 0 0 202223 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 4995453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24225
/proc/meminfo: memFree=16083936/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=2082.23 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 5209 0 0 0 208223 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 4995879 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24226
/proc/meminfo: memFree=16084548/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=2142.23 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 5282 0 0 0 214223 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5347481 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24227
/proc/meminfo: memFree=16084160/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=2202.23 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 5405 0 0 0 220223 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 4995703 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24228
/proc/meminfo: memFree=16084224/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=2262.23 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 5489 0 0 0 226223 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5329892 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24229
/proc/meminfo: memFree=16084364/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=2322.22 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 5573 0 0 0 232222 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5170088 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24230
/proc/meminfo: memFree=16084488/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=2382.22 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 5685 0 0 0 238222 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5319104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24231
/proc/meminfo: memFree=16084232/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=2442.22 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 5761 0 0 0 244222 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5319106 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24293
/proc/meminfo: memFree=16082272/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=2502.22 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 5837 0 0 0 250222 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5326512 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24293
/proc/meminfo: memFree=16082592/32770624 swapFree=67108860/67108860
[pid=24132] ppid=24129 vsize=27556 memory=4036 CPUtime=2519.93 cores=1,3,5,7
/proc/24132/stat : 24132 (cosoco) R 24129 24132 22565 0 -1 4202496 5908 0 0 0 251993 0 0 0 20 0 1 0 65943079 28217344 1009 33554432000 4194304 6142532 140735909405104 140735909402504 5335662 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24870912 140735909414022 140735909414152 140735909414152 140735909416910 0
/proc/24132/statm: 6889 1009 834 476 0 211 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 4036 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.004999
maximum resident set size= 4100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5957
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= 641


# summary of solver processes directly reported to runsolver:
#   pid: 24132
#   total CPU time (s): 2519.94
#   total CPU user time (s): 2519.93
#   total CPU system time (s): 0.004999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.07915 second user time and 16.3319 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 03:56:38
IDJOB=4294708
IDBENCH=141413
IDSOLVER=2752
FILE ID=node150/4294708-1532483798
RUNJOBID= node150-1532470521-22597
PBS_JOBID= 21021585
Free space on /tmp= 53104 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-4294708-1532483798/watcher-4294708-1532483798 -o /tmp/evaluation-result-4294708-1532483798/solver-4294708-1532483798 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294708-1532483798.xml

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

MD5SUM BENCH= 162336f6d7c1113ca166592290b0a66d
RANDOM SEED=846298927

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        16086432 kB
MemAvailable:   31940216 kB
Buffers:          237444 kB
Cached:         15700724 kB
SwapCached:            0 kB
Active:          1576716 kB
Inactive:       14415272 kB
Active(anon):      12100 kB
Inactive(anon):    61412 kB
Active(file):    1564616 kB
Inactive(file): 14353860 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2712 kB
Writeback:             0 kB
AnonPages:         61716 kB
Mapped:            40732 kB
Shmem:             17032 kB
Slab:             391180 kB
SReclaimable:     363768 kB
SUnreclaim:        27412 kB
KernelStack:        3328 kB
PageTables:         4844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     345484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

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