Trace number 4299533

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.89 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 benchmark197.639
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.07	c root propagations     : 0           
0.00/0.07	c restarts enabled, print stats at every restarts
0.00/0.07	c
0.00/0.07	c
0.00/0.07	c
0.00/0.07	c This is cosoco 1.12 --  
0.00/0.07	c
0.00/0.07	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299533-1532809523.xml 
0.00/0.07	c ========================================[ Problem Statistics ]===========================================
0.00/0.07	c |                                                                                                       
0.00/0.07	c |  Parse time        :         0.01 s 
0.00/0.07	c |
0.00/0.07	c |               Variables: 121
0.00/0.07	c |            Domain Sizes: 11..11
0.00/0.07	c |
0.00/0.07	c |             Constraints: 615
0.00/0.07	c |                   Arity: 2..2  -- Binary: 615
0.00/0.07	c | 
0.00/0.07	c |                   Types: 
0.00/0.07	c |                          Extension: 615  (nb tuples: 11..13) -- (shared: 611)
0.00/0.07	c |                          
0.00/0.07	c =========================================================================================================
0.00/0.07	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.07	c 101            258            10624          1912           0              0              20   22   21   
0.00/0.07	c 211            552            21879          4034           0              0              20   22   21   
0.00/0.07	c 332            887            35371          6528           0              0              47   49   48   
0.00/0.07	c 465            1254           50175          9243           0              0              57   59   58   
0.00/0.07	c 611            1669           66629          12346          0              0              67   69   68   
0.00/0.07	c 771            2129           88313          16497          0              0              37   79   73   
0.00/0.08	c 947            2641           116445         22224          0              0              42   89   78   
0.00/0.08	c 1140           3188           138056         26235          0              0              53   64   54   
0.00/0.08	c 1352           3794           161432         30556          0              0              56   67   57   
0.00/0.08	c 1585           4485           187724         35406          0              0              97   99   98   
0.00/0.08	c 1841           5188           215613         40832          0              0              59   79   62   
0.00/0.08	c 2122           6018           246329         46691          0              0              70   82   71   
0.00/0.09	c 2431           6889           280124         52912          0              0              107   109   108
0.00/0.09	c 2770           7853           316361         59760          0              0              117   119   118
0.00/0.09	c 3142           8818           355275         67686          0              0              44   104   83  
0.00/0.09	c 3551           9936           398295         75930          0              0              86   107   88  
0.00/0.10	c 4000           11269          449091         85430          0              0              96   107   97  
0.00/0.10	c 4493           12714          503965         95669          0              0              99   113   100 
0.04/0.11	c 5035           14241          561409         106612         0              0              89   91   90   
0.04/0.11	c 5631           15892          625159         118748         0              0              99   101   100 
0.04/0.11	c 6286           17755          693829         131861         0              0              102   116   103
0.04/0.12	c 7006           19817          770297         146111         0              0              100   104   103
0.04/0.12	c 7798           21991          851592         161546         0              0              105   119   106
0.04/0.13	c 8669           24390          941918         178632         0              0              104   106   105
0.04/0.14	c 9627           27127          1042704        197515         0              0              104   106   105
0.04/0.14	c 10680          29996          1151673        218169         0              0              94   96   95   
0.04/0.15	c 11838          33317          1274908        241045         0              0              93   95   94   
0.04/0.16	c 13111          36944          1405893        265865         0              0              98   102   101 
0.04/0.17	c 14511          40822          1548193        293120         0              0              98   101   100 
0.04/0.18	c 16051          44983          1703384        322936         0              0              100   102   101
0.04/0.19	c 17745          49671          1873456        355573         0              0              97   99   98   
0.04/0.20	c 19608          54881          2062441        391611         0              0              95   98   97   
0.04/0.21	c 21657          60704          2269342        431304         0              0              95   98   97   
0.15/0.23	c 23910          66975          2495160        474684         0              0              95   98   97   
0.15/0.24	c 26388          73653          2742203        522143         0              0              94   98   97   
0.15/0.26	c 29113          81387          3026002        575568         0              0              94   98   97   
0.15/0.28	c 32110          89699          3333103        635913         0              0              95   98   97   
0.15/0.30	c 35406          99196          3679488        701023         0              0              94   98   97   
0.25/0.32	c 39031          109691         4050949        771632         0              0              93   98   97   
0.25/0.35	c 43018          121021         4451301        849610         0              0              95   98   97   
0.25/0.37	c 47403          133210         4896886        936017         0              0              96   98   97   
0.25/0.40	c 52226          146715         5381603        1030830        0              0              94   98   97   
0.35/0.44	c 57531          161224         5921981        1135959        0              0              95   98   97   
0.35/0.47	c 63366          177261         6510256        1249902        0              0              95   98   97   
0.45/0.51	c 69784          195702         7157812        1374373        0              0              94   98   97   
0.45/0.56	c 76843          215778         7884454        1513464        0              0              94   98   97   
0.54/0.61	c 84607          237427         8674798        1665934        0              0              94   98   97   
0.54/0.66	c 93147          261696         9550745        1834372        0              0              94   98   97   
0.63/0.72	c 102541         287634         10481401       2016953        0              0              94   98   97   
0.63/0.79	c 112874         317002         11551399       2222704        0              0              94   98   97   
0.73/0.86	c 124240         349315         12722659       2449442        0              0              94   98   97   
0.83/0.94	c 136742         384983         14014941       2698618        0              0              94   98   97   
0.94/1.02	c 150494         424414         15429255       2967920        0              0              94   98   97   
1.04/1.12	c 165621         466672         16975008       3267519        0              0              94   98   97   
1.13/1.22	c 182260         513066         18657696       3594571        0              0              94   98   97   
1.23/1.34	c 200562         566165         20558351       3957402        0              0              94   98   97   
1.33/1.47	c 220694         623733         22652475       4360517        0              0              94   98   97   
1.53/1.61	c 242839         686937         24951122       4800732        0              0              94   98   97   
1.63/1.76	c 267198         756266         27447180       5290311        0              0              94   98   97   
1.83/1.94	c 293992         832314         30210027       5830616        0              0              93   98   97   
2.04/2.13	c 323465         916128         33296985       6426534        0              0              94   98   97   
2.23/2.33	c 355885         1008255        36658718       7078691        0              0              92   98   97   
2.43/2.56	c 391547         1112165        40353315       7784994        0              0              94   98   97   
2.73/2.81	c 430775         1227398        44422337       8567089        0              0              94   98   97   
2.94/3.09	c 473925         1352610        48904297       9440806        0              0              93   98   97   
3.33/3.40	c 521390         1489618        53815500       10397686       0              0              93   98   97   
3.63/3.73	c 573601         1639871        59246821       11447659       0              0              93   98   97   
4.03/4.12	c 631033         1807269        65211886       12590138       0              0              94   98   97   
4.42/4.54	c 694208         1989395        71753474       13857515       0              0              93   98   97   
4.82/4.99	c 763700         2189363        78926596       15250119       0              0              93   98   97   
5.32/5.47	c 840141         2410106        86894757       16793263       0              0              93   98   97   
5.93/6.02	c 924226         2651579        95602005       18493667       0              0              94   98   97   
6.52/6.61	c 1016719        2921025        105250411      20348447       0              0              93   98   97   
7.12/7.27	c 1118461        3217496        115789309      22381823       0              0              93   98   97   
7.82/8.00	c 1230377        3540877        127434934      24630461       0              0              83   89   88   
8.62/8.79	c 1353484        3901460        140248142      27094112       0              0              94   98   97   
9.53/9.65	c 1488901        4291774        154301213      29808112       0              0              92   98   97   
10.53/10.61	c 1637859        4726368        169804748      32799192       0              0              93   98   97   
11.53/11.67	c 1801712        5205222        186808952      36086080       0              0              93   98   97   
12.73/12.85	c 1981950        5734402        205717706      39724005       0              0              93   98   97   
14.04/14.13	c 2180211        6321140        226321460      43728600       0              0              92   98   97   
15.43/15.53	c 2398298        6963165        248884511      48104129       0              0              92   98   97   
16.94/17.08	c 2638193        7665525        273912361      52943439       0              0              93   98   97   
18.63/18.79	c 2902077        8440658        301257828      58219230       0              0              93   98   97   
20.53/20.65	c 3192349        9296990        331389146      64040614       0              0              92   98   97   
22.63/22.71	c 3511648        10233485       364651450      70485434       0              0              92   98   97   
24.83/24.98	c 3862876        11269585       401463768      77557861       0              0              92   98   97   
27.33/27.47	c 4249226        12396524       441947072      85431227       0              0              92   98   97   
30.13/30.21	c 4674211        13643434       486153013      93941117       0              0              92   98   97   
33.13/33.24	c 5141694        15011326       534534926      103319929      0              0              92   98   97   
36.53/36.62	c 5655925        16529466       588234324      113671718      0              0              84   91   89   
40.13/40.25	c 6221579        18196075       647473769      125169061      0              0              93   98   97   
44.13/44.28	c 6843798        20008912       713182636      137887859      0              0              92   98   97   
48.63/48.73	c 7528238        22029784       784294968      151664216      0              0              92   98   97   
53.43/53.59	c 8281122        24247762       862790044      166762918      0              0              92   98   97   
58.83/58.91	c 9109294        26681101       949103477      183401793      0              0              92   98   97   
64.63/64.78	c 10020283       29336210       1044566077     201826743      0              0              92   98   97   
71.13/71.20	c 11022370       32272651       1148310318     221922091      0              0              92   98   97   
78.23/78.32	c 12124665       35505947       1263133127     244079312      0              0              90   98   97   
86.13/86.25	c 13337189       39046642       1389443260     268611061      0              0              92   98   97   
94.73/94.88	c 14670965       42953537       1528193182     295404191      0              0              89   98   97   
104.13/104.25	c 16138118       47264469       1680993723     324814173      0              0              90   98   97   
114.53/114.64	c 17751986       52021558       1849756410     357217071      0              0              90   98   97   
126.03/126.13	c 19527240       57203627       2034690498     392952679      0              0              89   98   97   
138.62/138.72	c 21480019       62902370       2238144932     432170144      0              0              89   98   97   
152.42/152.53	c 23628075       69177153       2461964151     475471889      0              0              90   98   97   
167.72/167.80	c 25990936       76106021       2709540153     522993771      0              0              92   98   97   
184.42/184.52	c 28590083       83710221       2980022378     575325066      0              0              89   98   97   
202.82/202.93	c 31449144       92066143       3276315971     632763566      0              0              89   98   97   
223.32/223.40	c 34594111       101271838      3602691718     695916865      0              0              88   98   97   
245.52/245.65	c 38053574       111341651      3960516053     765297753      0              0              88   98   97   
269.82/269.92	c 41858983       122415365      4355717516     841774403      0              0              87   98   97   
296.82/296.96	c 46044932       134711555      4792575962     925923096      0              0              89   98   97   
326.72/326.89	c 50649475       148127856      5269346485     1018525707     0              0              84   98   96   
359.62/359.79	c 55714472       162983578      5797879025     1120733727     0              0              89   98   97   
395.52/395.61	c 61285968       179227301      6377532824     1232740549     0              0              87   98   97   
435.12/435.22	c 67414613       197176918      7018107898     1356061971     0              0              83   98   96   
478.52/478.65	c 74156122       216863059      7715968346     1491146646     0              0              88   98   97   
526.32/526.48	c 81571781       238565838      8486589841     1640053177     0              0              84   98   96   
579.02/579.18	c 89729005       262334218      9331363069     1803781832     0              0              83   98   96   
637.21/637.35	c 98701951       288451548      10256822719    1983267227     0              0              88   98   97   
700.31/700.41	c 108572191      317199305      11282742990    2181656203     0              0              83   98   97   
771.21/771.32	c 119429455      349026357      12413892337    2400646758     0              0              83   98   97   
847.61/847.79	c 131372445      383758715      13654913384    2640035633     0              0              84   98   97   
932.60/932.70	c 144509734      422057858      15020476361    2904074855     0              0              87   98   97   
1025.91/1026.05	c 158960751      464282542      16528708261    3194526024     0              0              84   98   97   
1128.01/1128.18	c 174856869      510714325      18178382449    3513311321     0              0              83   98   97   
1240.91/1241.05	c 192342598      561841867      20000760874    3865444557     0              0              84   98   97   
1365.09/1365.26	c 211576899      617924350      21992849019    4251256132     0              0              83   98   97   
1505.29/1505.49	c 232734630      679798121      24193460748    4677112580     0              0              78   89   88   
1654.49/1654.66	c 256008134      747898984      26611393822    5144401588     0              0              84   98   -87  
1820.99/1821.14	c 281608988      822835218      29270918739    5659199193     0              0              83   98   -70  
2003.28/2003.46	c 309769927      905109614      32193093195    6224660874     0              0              84   98   -54  
2203.77/2203.91	c 340746959      995951337      35415564316    6846279398     0              0              84   98   -41  
2423.57/2423.74	c 374821694      1095759893     38962778631    7530374196     0              0              83   98   -28  
2519.87/2520.00	
2519.87/2520.00	c *** INTERRUPTED ***
2519.87/2520.00	c restarts              : 135         
2519.87/2520.00	c conflicts             : 389779145    (154683 /sec)
2519.87/2520.00	c decisions             : 1139487726   (452203 /sec)
2519.87/2520.00	c propagations          : 7830736720  (3107609 /sec)
2519.87/2520.00	c root propagations     : 0           
2519.87/2520.00	c filter calls          : 40518744144    (16079764 /sec)
2519.87/2520.00	c useless filter calls  : 35356753798    (87 %)
2519.87/2520.00	c Memory used           : 27.30 MB
2519.87/2520.00	c CPU time              : 2519.86 s
2519.87/2520.00	
2519.87/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299533-1532809523/watcher-4299533-1532809523 -o /tmp/evaluation-result-4299533-1532809523/solver-4299533-1532809523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532809523-24535 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299533-1532809523.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
solver pid=24567, runsolver pid=24560
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 1.33 1.41 1.49 5/189 24568
/proc/meminfo: memFree=22243340/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4200 CPUtime=0.04 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 1268 0 1 0 4 0 0 0 20 0 1 0 98515467 28622848 1050 33554432000 4194304 6142532 140729930852160 140729930849560 5347440 0 0 4096 8405026 0 0 0 17 0 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1050 792 476 0 310 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4200 KiB

[startup+0.209636 s]*
/proc/loadavg: 1.33 1.41 1.49 4/189 24568
/proc/meminfo: memFree=22243340/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4200 CPUtime=0.15 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 1270 0 1 0 15 0 0 0 20 0 1 0 98515467 28622848 1050 33554432000 4194304 6142532 140729930852160 140729930849560 5326540 0 0 4096 8405026 0 0 0 17 0 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1050 792 476 0 310 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4200 KiB

[startup+0.30919 s]*
/proc/loadavg: 1.33 1.41 1.49 4/189 24568
/proc/meminfo: memFree=22243340/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4200 CPUtime=0.25 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 1270 0 1 0 25 0 0 0 20 0 1 0 98515467 28622848 1050 33554432000 4194304 6142532 140729930852160 140729930849560 4995420 0 0 4096 8405026 0 0 0 17 0 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1050 792 476 0 310 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4200 KiB

[startup+0.700223 s]
/proc/loadavg: 1.33 1.41 1.49 4/189 24568
/proc/meminfo: memFree=22243340/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4200 CPUtime=0.63 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 1270 0 1 0 63 0 0 0 20 0 1 0 98515467 28622848 1050 33554432000 4194304 6142532 140729930852160 140729930849560 4995568 0 0 4096 8405026 0 0 0 17 0 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1050 792 476 0 310 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4200 KiB

[startup+1.50023 s]
/proc/loadavg: 1.33 1.41 1.49 5/189 24568
/proc/meminfo: memFree=22243340/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4200 CPUtime=1.43 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 1270 0 1 0 143 0 0 0 20 0 1 0 98515467 28622848 1050 33554432000 4194304 6142532 140729930852160 140729930849560 5337763 0 0 4096 8405026 0 0 0 17 0 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1050 792 476 0 310 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4200 KiB

[startup+3.10902 s]
/proc/loadavg: 1.38 1.42 1.49 5/189 24568
/proc/meminfo: memFree=22243540/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=3.04 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 1489 0 1 0 304 0 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4995676 0 0 4096 8405026 0 0 0 17 0 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+6.30022 s]
/proc/loadavg: 1.38 1.42 1.49 3/189 24629
/proc/meminfo: memFree=22243000/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=6.22 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 1708 0 1 0 621 1 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 5326540 0 0 4096 8405026 0 0 0 17 0 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+12.7002 s]
/proc/loadavg: 1.43 1.43 1.49 3/189 24629
/proc/meminfo: memFree=22243704/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=12.63 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 1927 0 1 0 1261 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4990592 0 0 4096 8405026 0 0 0 17 0 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+25.5003 s]
/proc/loadavg: 1.48 1.44 1.50 3/189 24629
/proc/meminfo: memFree=22244332/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=25.43 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 2365 0 1 0 2541 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4995385 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+51.1091 s]
/proc/loadavg: 1.66 1.49 1.51 3/189 24629
/proc/meminfo: memFree=22244580/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=51.04 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 2584 0 1 0 5102 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4995461 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+102.3 s]
/proc/loadavg: 1.85 1.57 1.53 3/189 24630
/proc/meminfo: memFree=22244860/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=102.23 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 2803 0 1 0 10221 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 5329581 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+162.3 s]
/proc/loadavg: 1.95 1.64 1.56 3/189 24632
/proc/meminfo: memFree=22244948/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=162.22 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 3022 0 1 0 16220 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 5335806 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+222.3 s]
/proc/loadavg: 1.98 1.71 1.59 3/189 24633
/proc/meminfo: memFree=22244928/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=222.22 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 3241 0 1 0 22220 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4995577 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.76 1.62 3/189 24641
/proc/meminfo: memFree=22243876/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=282.22 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 3460 0 1 0 28220 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4990592 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.81 1.64 3/187 24642
/proc/meminfo: memFree=22243960/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=342.22 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 3679 0 1 0 34220 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4990822 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.84 1.66 3/187 24643
/proc/meminfo: memFree=22244364/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=402.22 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 3898 0 1 0 40220 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 5336764 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.87 1.68 3/187 24644
/proc/meminfo: memFree=22244248/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=462.22 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 4117 0 1 0 46220 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB


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

/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 24682
/proc/meminfo: memFree=22243868/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=1782.18 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 7936 0 1 0 178216 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 5170000 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 24683
/proc/meminfo: memFree=22243868/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=1842.18 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 8155 0 1 0 184216 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4995879 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 24684
/proc/meminfo: memFree=22243744/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=1902.18 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 8264 0 1 0 190216 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4995872 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 24686
/proc/meminfo: memFree=22243628/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=1962.18 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 8373 0 1 0 196216 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 5170000 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/187 24687
/proc/meminfo: memFree=22243132/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=2022.18 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 8607 0 1 0 202216 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4995558 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 1.96 3/188 24696
/proc/meminfo: memFree=22242500/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=2082.18 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 8718 0 1 0 208216 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4995332 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/188 24719
/proc/meminfo: memFree=22240828/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=2142.17 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 8829 0 1 0 214215 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4995271 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+2202.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/188 24720
/proc/meminfo: memFree=22242024/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=2202.17 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 8960 0 1 0 220215 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 5336826 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/188 24721
/proc/meminfo: memFree=22242272/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=2262.17 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 9167 0 1 0 226215 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 5336833 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/188 24722
/proc/meminfo: memFree=22242272/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=2322.17 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 9263 0 1 0 232215 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4995491 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 24723
/proc/meminfo: memFree=22242412/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=2382.17 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 9378 0 1 0 238215 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4995498 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 24724
/proc/meminfo: memFree=22242748/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=2442.17 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 9597 0 1 0 244215 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 5326512 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 24725
/proc/meminfo: memFree=22242996/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=2502.17 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 9707 0 1 0 250215 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 4995568 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 2502.17 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.97 3/187 24725
/proc/meminfo: memFree=22242996/32770624 swapFree=67108796/67108860
[pid=24567] ppid=24560 vsize=27952 memory=4460 CPUtime=2519.87 cores=0,2,4,6
/proc/24567/stat : 24567 (cosoco) R 24560 24567 24504 0 -1 4202496 9813 0 1 0 251985 2 0 0 20 0 1 0 98515467 28622848 1115 33554432000 4194304 6142532 140729930852160 140729930849560 5336759 0 0 4096 8405026 0 0 0 17 4 0 0 5 0 0 8243016 8247936 29044736 140729930855558 140729930855688 140729930855688 140729930858446 0
/proc/24567/statm: 6988 1115 834 476 0 310 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 27952 KiB
Current children cumulated memory: 4460 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.86
system time used= 0.029999
maximum resident set size= 4524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9864
page faults= 1
swaps= 0
block input operations= 184
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 1615


# summary of solver processes directly reported to runsolver:
#   pid: 24567
#   total CPU time (s): 2519.89
#   total CPU user time (s): 2519.86
#   total CPU system time (s): 0.029999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.19118 second user time and 15.9896 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 22:25:23
IDJOB=4299533
IDBENCH=141411
IDSOLVER=2761
FILE ID=node138/4299533-1532809523
RUNJOBID= node138-1532809523-24535
PBS_JOBID= 21022478
Free space on /tmp= 53800 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-4299533-1532809523/watcher-4299533-1532809523 -o /tmp/evaluation-result-4299533-1532809523/solver-4299533-1532809523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532809523-24535 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299533-1532809523.xml

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

MD5SUM BENCH= dd1566dde9022858d7af3144994afffb
RANDOM SEED=447001148

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22245380 kB
MemAvailable:   31921536 kB
Buffers:          213052 kB
Cached:          9667332 kB
SwapCached:           44 kB
Active:          2558948 kB
Inactive:        7381004 kB
Active(anon):       4160 kB
Inactive(anon):    83488 kB
Active(file):    2554788 kB
Inactive(file):  7297516 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              5496 kB
Writeback:             0 kB
AnonPages:         66752 kB
Mapped:            37668 kB
Shmem:             25164 kB
Slab:             280540 kB
SReclaimable:     252312 kB
SUnreclaim:        28228 kB
KernelStack:        3120 kB
PageTables:         5232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

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