Trace number 4294690

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.79 2520.01

General information on the benchmark

NameHaystacks/
Haystacks-ext-11_c18.xml
MD5SUMdd1566dde9022858d7af3144994afffb
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 benchmark3.06551
Satisfiable
(Un)Satisfiability was proved
Number of variables121
Number of constraints615
Number of domains1
Minimum domain size11
Maximum domain size11
Distribution of domain sizes[{"size":11,"count":121}]
Minimum variable degree10
Maximum variable degree11
Distribution of variable degrees[{"degree":10,"count":101},{"degree":11,"count":20}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":615}]
Number of extensional constraints615
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":615}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 0           
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294690-1532483757.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 121
0.00/0.01	c |            Domain Sizes: 11..11
0.00/0.01	c |
0.00/0.01	c |             Constraints: 615
0.00/0.01	c |                   Arity: 2..2  -- Binary: 615
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Extension: 615  (nb tuples: 11..13) -- (shared: 611)
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            258            10624          1912           0              0              20   22   21   
0.00/0.01	c 211            552            21879          4034           0              0              20   22   21   
0.00/0.01	c 332            887            35371          6528           0              0              47   49   48   
0.00/0.01	c 465            1254           50175          9243           0              0              57   59   58   
0.00/0.02	c 611            1669           66629          12346          0              0              67   69   68   
0.00/0.02	c 771            2129           88313          16497          0              0              37   79   73   
0.00/0.02	c 947            2641           116445         22224          0              0              42   89   78   
0.00/0.02	c 1140           3188           138056         26235          0              0              53   64   54   
0.00/0.02	c 1352           3794           161432         30556          0              0              56   67   57   
0.00/0.02	c 1585           4485           187724         35406          0              0              97   99   98   
0.00/0.03	c 1841           5188           215613         40832          0              0              59   79   62   
0.00/0.03	c 2122           6018           246329         46691          0              0              70   82   71   
0.00/0.03	c 2431           6889           280124         52912          0              0              107   109   108
0.00/0.03	c 2770           7853           316361         59760          0              0              117   119   118
0.00/0.04	c 3142           8818           355275         67686          0              0              44   104   83  
0.00/0.04	c 3551           9936           398295         75930          0              0              86   107   88  
0.00/0.04	c 4000           11269          449091         85430          0              0              96   107   97  
0.00/0.04	c 4493           12714          503965         95669          0              0              99   113   100 
0.00/0.05	c 5035           14241          561409         106612         0              0              89   91   90   
0.00/0.05	c 5631           15892          625159         118748         0              0              99   101   100 
0.00/0.06	c 6286           17755          693829         131861         0              0              102   116   103
0.00/0.06	c 7006           19817          770297         146111         0              0              100   104   103
0.00/0.07	c 7798           21991          851592         161546         0              0              105   119   106
0.00/0.07	c 8669           24390          941918         178632         0              0              104   106   105
0.00/0.08	c 9627           27127          1042704        197515         0              0              104   106   105
0.00/0.08	c 10680          29996          1151673        218169         0              0              94   96   95   
0.00/0.09	c 11838          33317          1274908        241045         0              0              93   95   94   
0.00/0.10	c 13111          36944          1405893        265865         0              0              98   102   101 
0.10/0.11	c 14511          40822          1548193        293120         0              0              98   101   100 
0.10/0.12	c 16051          44983          1703384        322936         0              0              100   102   101
0.10/0.13	c 17745          49671          1873456        355573         0              0              97   99   98   
0.10/0.14	c 19608          54881          2062441        391611         0              0              95   98   97   
0.10/0.15	c 21657          60704          2269342        431304         0              0              95   98   97   
0.10/0.17	c 23910          66975          2495160        474684         0              0              95   98   97   
0.10/0.18	c 26388          73653          2742203        522143         0              0              94   98   97   
0.10/0.20	c 29113          81387          3026002        575568         0              0              94   98   97   
0.21/0.22	c 32110          89699          3333103        635913         0              0              95   98   97   
0.21/0.24	c 35406          99196          3679488        701023         0              0              94   98   97   
0.21/0.26	c 39031          109691         4050949        771632         0              0              93   98   97   
0.21/0.29	c 43018          121021         4451301        849610         0              0              95   98   97   
0.31/0.32	c 47403          133210         4896886        936017         0              0              96   98   97   
0.31/0.35	c 52226          146715         5381603        1030830        0              0              94   98   97   
0.31/0.38	c 57531          161224         5921981        1135959        0              0              95   98   97   
0.41/0.42	c 63366          177261         6510256        1249902        0              0              95   98   97   
0.41/0.46	c 69784          195702         7157812        1374373        0              0              94   98   97   
0.41/0.50	c 76843          215778         7884454        1513464        0              0              94   98   97   
0.51/0.55	c 84607          237427         8674798        1665934        0              0              94   98   97   
0.51/0.60	c 93147          261696         9550745        1834372        0              0              94   98   97   
0.60/0.66	c 102541         287634         10481401       2016953        0              0              94   98   97   
0.69/0.73	c 112874         317002         11551399       2222704        0              0              94   98   97   
0.79/0.80	c 124240         349315         12722659       2449442        0              0              94   98   97   
0.79/0.88	c 136742         384983         14014941       2698618        0              0              94   98   97   
0.89/0.96	c 150494         424414         15429255       2967920        0              0              94   98   97   
1.00/1.06	c 165621         466672         16975008       3267519        0              0              94   98   97   
1.10/1.16	c 182260         513066         18657696       3594571        0              0              94   98   97   
1.19/1.28	c 200562         566165         20558351       3957402        0              0              94   98   97   
1.39/1.41	c 220694         623733         22652475       4360517        0              0              94   98   97   
1.49/1.55	c 242839         686937         24951122       4800732        0              0              94   98   97   
1.69/1.70	c 267198         756266         27447180       5290311        0              0              94   98   97   
1.79/1.87	c 293992         832314         30210027       5830616        0              0              93   98   97   
2.00/2.06	c 323465         916128         33296985       6426534        0              0              94   98   97   
2.19/2.27	c 355885         1008255        36658718       7078691        0              0              92   98   97   
2.49/2.50	c 391547         1112165        40353315       7784994        0              0              94   98   97   
2.69/2.75	c 430775         1227398        44422337       8567089        0              0              94   98   97   
3.00/3.03	c 473925         1352610        48904297       9440806        0              0              93   98   97   
3.29/3.33	c 521390         1489618        53815500       10397686       0              0              93   98   97   
3.59/3.66	c 573601         1639871        59246821       11447659       0              0              93   98   97   
4.00/4.03	c 631033         1807269        65211886       12590138       0              0              94   98   97   
4.39/4.43	c 694208         1989395        71753474       13857515       0              0              93   98   97   
4.79/4.88	c 763700         2189363        78926596       15250119       0              0              93   98   97   
5.29/5.37	c 840141         2410106        86894757       16793263       0              0              93   98   97   
5.89/5.91	c 924226         2651579        95602005       18493667       0              0              94   98   97   
6.49/6.50	c 1016719        2921025        105250411      20348447       0              0              93   98   97   
7.09/7.16	c 1118461        3217496        115789309      22381823       0              0              93   98   97   
7.79/7.89	c 1230377        3540877        127434934      24630461       0              0              83   89   88   
8.59/8.67	c 1353484        3901460        140248142      27094112       0              0              94   98   97   
9.49/9.53	c 1488901        4291774        154301213      29808112       0              0              92   98   97   
10.39/10.50	c 1637859        4726368        169804748      32799192       0              0              93   98   97   
11.49/11.55	c 1801712        5205222        186808952      36086080       0              0              93   98   97   
12.69/12.73	c 1981950        5734402        205717706      39724005       0              0              93   98   97   
13.99/14.01	c 2180211        6321140        226321460      43728600       0              0              92   98   97   
15.38/15.41	c 2398298        6963165        248884511      48104129       0              0              92   98   97   
16.88/16.96	c 2638193        7665525        273912361      52943439       0              0              93   98   97   
18.58/18.67	c 2902077        8440658        301257828      58219230       0              0              93   98   97   
20.48/20.54	c 3192349        9296990        331389146      64040614       0              0              92   98   97   
22.58/22.60	c 3511648        10233485       364651450      70485434       0              0              92   98   97   
24.78/24.86	c 3862876        11269585       401463768      77557861       0              0              92   98   97   
27.28/27.39	c 4249226        12396524       441947072      85431227       0              0              92   98   97   
30.09/30.11	c 4674211        13643434       486153013      93941117       0              0              92   98   97   
33.09/33.16	c 5141694        15011326       534534926      103319929      0              0              92   98   97   
36.48/36.56	c 5655925        16529466       588234324      113671718      0              0              84   91   89   
40.18/40.23	c 6221579        18196075       647473769      125169061      0              0              93   98   97   
44.28/44.30	c 6843798        20008912       713182636      137887859      0              0              92   98   97   
48.68/48.75	c 7528238        22029784       784294968      151664216      0              0              92   98   97   
53.58/53.63	c 8281122        24247762       862790044      166762918      0              0              92   98   97   
58.88/58.96	c 9109294        26681101       949103477      183401793      0              0              92   98   97   
64.78/64.83	c 10020283       29336210       1044566077     201826743      0              0              92   98   97   
71.28/71.34	c 11022370       32272651       1148310318     221922091      0              0              92   98   97   
78.38/78.44	c 12124665       35505947       1263133127     244079312      0              0              90   98   97   
86.38/86.41	c 13337189       39046642       1389443260     268611061      0              0              92   98   97   
94.99/95.05	c 14670965       42953537       1528193182     295404191      0              0              89   98   97   
104.38/104.42	c 16138118       47264469       1680993723     324814173      0              0              90   98   97   
114.68/114.78	c 17751986       52021558       1849756410     357217071      0              0              90   98   97   
126.18/126.20	c 19527240       57203627       2034690498     392952679      0              0              89   98   97   
138.67/138.75	c 21480019       62902370       2238144932     432170144      0              0              89   98   97   
152.47/152.50	c 23628075       69177153       2461964151     475471889      0              0              90   98   97   
167.57/167.64	c 25990936       76106021       2709540153     522993771      0              0              92   98   97   
184.37/184.46	c 28590083       83710221       2980022378     575325066      0              0              89   98   97   
202.67/202.71	c 31449144       92066143       3276315971     632763566      0              0              89   98   97   
223.08/223.15	c 34594111       101271838      3602691718     695916865      0              0              88   98   97   
245.27/245.39	c 38053574       111341651      3960516053     765297753      0              0              88   98   97   
269.56/269.68	c 41858983       122415365      4355717516     841774403      0              0              87   98   97   
296.56/296.62	c 46044932       134711555      4792575962     925923096      0              0              89   98   97   
326.26/326.35	c 50649475       148127856      5269346485     1018525707     0              0              84   98   96   
359.06/359.13	c 55714472       162983578      5797879025     1120733727     0              0              89   98   97   
394.65/394.78	c 61285968       179227301      6377532824     1232740549     0              0              87   98   97   
434.06/434.11	c 67414613       197176918      7018107898     1356061971     0              0              83   98   96   
477.05/477.12	c 74156122       216863059      7715968346     1491146646     0              0              88   98   97   
525.05/525.17	c 81571781       238565838      8486589841     1640053177     0              0              84   98   96   
577.74/577.87	c 89729005       262334218      9331363069     1803781832     0              0              83   98   96   
635.73/635.89	c 98701951       288451548      10256822719    1983267227     0              0              88   98   97   
698.83/698.97	c 108572191      317199305      11282742990    2181656203     0              0              83   98   97   
769.32/769.43	c 119429455      349026357      12413892337    2400646758     0              0              83   98   97   
845.52/845.61	c 131372445      383758715      13654913384    2640035633     0              0              84   98   97   
930.11/930.23	c 144509734      422057858      15020476361    2904074855     0              0              87   98   97   
1022.70/1022.82	c 158960751      464282542      16528708261    3194526024     0              0              84   98   97   
1125.09/1125.25	c 174856869      510714325      18178382449    3513311321     0              0              83   98   97   
1237.58/1237.70	c 192342598      561841867      20000760874    3865444557     0              0              84   98   97   
1360.47/1360.67	c 211576899      617924350      21992849019    4251256132     0              0              83   98   97   
1500.46/1500.67	c 232734630      679798121      24193460748    4677112580     0              0              78   89   88   
1649.65/1649.86	c 256008134      747898984      26611393822    5144401588     0              0              84   98   -87  
1815.03/1815.29	c 281608988      822835218      29270918739    5659199193     0              0              83   98   -70  
1997.02/1997.23	c 309769927      905109614      32193093195    6224660874     0              0              84   98   -54  
2196.81/2197.04	c 340746959      995951337      35415564316    6846279398     0              0              84   98   -41  
2416.89/2417.10	c 374821694      1095759893     38962778631    7530374196     0              0              83   98   -28  
2519.78/2520.00	
2519.78/2520.00	c *** INTERRUPTED ***
2519.78/2520.00	c restarts              : 135         
2519.78/2520.00	c conflicts             : 390887095    (155128 /sec)
2519.78/2520.00	c decisions             : 1142759950   (453516 /sec)
2519.78/2520.00	c propagations          : 7853192560  (3116620 /sec)
2519.78/2520.00	c root propagations     : 0           
2519.78/2520.00	c filter calls          : 40635070454    (16126443 /sec)
2519.78/2520.00	c useless filter calls  : 35458276666    (87 %)
2519.78/2520.00	c Memory used           : 27.30 MB
2519.78/2520.00	c CPU time              : 2519.78 s
2519.78/2520.00	
2519.78/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 (4861 MiB free)
  memory of node 1: 16384 MiB (10846 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294690-1532483757/watcher-4294690-1532483757 -o /tmp/evaluation-result-4294690-1532483757/solver-4294690-1532483757 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22596 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294690-1532483757.xml 

running on 4 cores: 0,2,4,6

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=24010, runsolver pid=24007


[startup+0.100104 s]*
/proc/loadavg: 2.00 2.06 2.06 3/187 24011
/proc/meminfo: memFree=16084416/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4200 CPUtime=0.1 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 1272 0 0 0 10 0 0 0 20 0 1 0 65938936 28622848 1050 33554432000 4194304 6142532 140727304360496 140727304357128 5329035 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1050 792 476 0 310 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4200 KiB

[startup+0.209265 s]*
/proc/loadavg: 2.00 2.06 2.06 3/187 24011
/proc/meminfo: memFree=16084416/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4200 CPUtime=0.21 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 1272 0 0 0 21 0 0 0 20 0 1 0 65938936 28622848 1050 33554432000 4194304 6142532 140727304360496 140727304357128 4995502 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1050 792 476 0 310 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4200 KiB

[startup+0.308635 s]*
/proc/loadavg: 2.00 2.06 2.06 3/187 24011
/proc/meminfo: memFree=16084416/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4200 CPUtime=0.31 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 1272 0 0 0 31 0 0 0 20 0 1 0 65938936 28622848 1050 33554432000 4194304 6142532 140727304360496 140727304357128 4995420 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1050 792 476 0 310 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4200 KiB

[startup+0.700223 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 24011
/proc/meminfo: memFree=16083988/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4200 CPUtime=0.69 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 1272 0 0 0 69 0 0 0 20 0 1 0 65938936 28622848 1050 33554432000 4194304 6142532 140727304360496 140727304357896 5318987 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1050 792 476 0 310 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4200 KiB

[startup+1.50022 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 24011
/proc/meminfo: memFree=16083988/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4200 CPUtime=1.49 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 1272 0 0 0 149 0 0 0 20 0 1 0 65938936 28622848 1050 33554432000 4194304 6142532 140727304360496 140727304357896 5336599 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1050 792 476 0 310 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4200 KiB

[startup+3.1088 s]
/proc/loadavg: 2.00 2.06 2.06 4/187 24011
/proc/meminfo: memFree=16083988/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=3.1 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 1491 0 0 0 310 0 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 4991092 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.06 2.06 4/187 24011
/proc/meminfo: memFree=16083700/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=6.29 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 1710 0 0 0 629 0 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 4995491 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 24011
/proc/meminfo: memFree=16084116/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=12.69 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 1929 0 0 0 1269 0 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 4995879 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 24011
/proc/meminfo: memFree=16084116/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=25.48 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 2367 0 0 0 2548 0 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5319096 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+51.1088 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 24133
/proc/meminfo: memFree=16085232/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=51.08 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 2586 0 0 0 5108 0 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5326540 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24134
/proc/meminfo: memFree=16085272/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=102.28 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 2805 0 0 0 10227 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 4995695 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24136
/proc/meminfo: memFree=16085644/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=162.27 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 3024 0 0 0 16226 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 4990628 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24137
/proc/meminfo: memFree=16086128/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=222.27 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 3243 0 0 0 22226 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 4990890 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24146
/proc/meminfo: memFree=16086088/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=282.26 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 3462 0 0 0 28225 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5341545 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24169
/proc/meminfo: memFree=16084852/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=342.26 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 3681 0 0 0 34225 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5318987 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24170
/proc/meminfo: memFree=16085132/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=402.25 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 3900 0 0 0 40224 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5326540 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24171
/proc/meminfo: memFree=16085040/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=462.25 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 4119 0 0 0 46224 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5326540 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB


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

/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24210
/proc/meminfo: memFree=16084540/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=1782.14 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 7940 0 0 0 178213 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 4995332 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24211
/proc/meminfo: memFree=16084868/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=1842.13 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 8160 0 0 0 184212 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5318922 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24212
/proc/meminfo: memFree=16084736/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=1902.13 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 8269 0 0 0 190212 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5326537 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24214
/proc/meminfo: memFree=16084572/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=1962.12 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 8378 0 0 0 196211 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 4995661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24215
/proc/meminfo: memFree=16084696/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=2022.12 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 8612 0 0 0 202211 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5318858 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24224
/proc/meminfo: memFree=16083564/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=2082.11 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 8723 0 0 0 208210 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5336586 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24225
/proc/meminfo: memFree=16084184/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=2142.11 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 8836 0 0 0 214210 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5336753 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24226
/proc/meminfo: memFree=16084920/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=2202.1 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 9076 0 0 0 220209 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 4995498 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24227
/proc/meminfo: memFree=16084284/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=2262.1 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 9172 0 0 0 226209 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5347477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24228
/proc/meminfo: memFree=16084348/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=2322.09 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 9268 0 0 0 232208 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 4995461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24229
/proc/meminfo: memFree=16084488/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=2382.09 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 9383 0 0 0 238208 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5319106 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24230
/proc/meminfo: memFree=16084612/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=2442.08 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 9602 0 0 0 244207 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 4995888 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24231
/proc/meminfo: memFree=16084232/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=2502.08 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 9712 0 0 0 250207 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5326340 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24232
/proc/meminfo: memFree=16084032/32770624 swapFree=67108860/67108860
[pid=24010] ppid=24007 vsize=27952 memory=4464 CPUtime=2519.78 cores=0,2,4,6
/proc/24010/stat : 24010 (cosoco) R 24007 24010 22565 0 -1 4202496 9821 0 0 0 251977 1 0 0 20 0 1 0 65938936 28622848 1116 33554432000 4194304 6142532 140727304360496 140727304357896 5170107 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40853504 140727304365190 140727304365320 140727304365320 140727304368078 0
/proc/24010/statm: 6988 1116 834 476 0 310 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4464 KiB

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

[startup+2520.01 s]
# the end of solver process 24010 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.78 s, system=0.012998 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.79
CPU user time (s): 2519.78
CPU system time (s): 0.012998
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 27952
Max. memory (cumulated for all children) (KiB): 4464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.78
system time used= 0.012998
maximum resident set size= 4528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9872
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= 15
involuntary context switches= 3189


# summary of solver processes directly reported to runsolver:
#   pid: 24010
#   total CPU time (s): 2519.79
#   total CPU user time (s): 2519.78
#   total CPU system time (s): 0.012998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.27401 second user time and 16.243 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 03:55:57
IDJOB=4294690
IDBENCH=141411
IDSOLVER=2752
FILE ID=node150/4294690-1532483757
RUNJOBID= node150-1532470521-22596
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Haystacks/Haystacks-ext-11_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294690-1532483757/watcher-4294690-1532483757 -o /tmp/evaluation-result-4294690-1532483757/solver-4294690-1532483757 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22596 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294690-1532483757.xml

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

MD5SUM BENCH= dd1566dde9022858d7af3144994afffb
RANDOM SEED=1177340445

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:        16085816 kB
MemAvailable:   31939216 kB
Buffers:          237388 kB
Cached:         15700700 kB
SwapCached:            0 kB
Active:          1576152 kB
Inactive:       14415232 kB
Active(anon):      11832 kB
Inactive(anon):    61412 kB
Active(file):    1564320 kB
Inactive(file): 14353820 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2728 kB
Writeback:             0 kB
AnonPages:         60804 kB
Mapped:            40168 kB
Shmem:             17032 kB
Slab:             391076 kB
SReclaimable:     363720 kB
SUnreclaim:        27356 kB
KernelStack:        3360 kB
PageTables:         5524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344852 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:37:57