Trace number 4294762

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

General information on the benchmark

NameHaystacks/
Haystacks-ext-12_c18.xml
MD5SUM9b1722167e694dc70b944145256e05c5
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 benchmark8.23106
Satisfiable
(Un)Satisfiability was proved
Number of variables144
Number of constraints803
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":144}]
Minimum variable degree11
Maximum variable degree12
Distribution of variable degrees[{"degree":11,"count":122},{"degree":12,"count":22}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":803}]
Number of extensional constraints803
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":803}]
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-4294762-1532491318.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: 144
0.00/0.01	c |            Domain Sizes: 12..12
0.00/0.01	c |
0.00/0.01	c |             Constraints: 803
0.00/0.01	c |                   Arity: 2..2  -- Binary: 803
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Extension: 803  (nb tuples: 12..14) -- (shared: 799)
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            292            14062          2256           0              0              41   43   42   
0.00/0.02	c 211            577            26763          4368           0              0              22   24   23   
0.00/0.02	c 332            920            42211          6979           0              0              52   54   53   
0.00/0.02	c 465            1305           59492          9869           0              0              63   65   64   
0.00/0.02	c 611            1727           79218          13086          0              0              74   76   75   
0.00/0.02	c 771            2194           100622         16653          0              0              85   87   86   
0.00/0.02	c 947            2719           143078         24343          0              0              44   98   74   
0.00/0.03	c 1140           3250           166485         28319          0              0              49   63   51   
0.00/0.03	c 1352           3833           192055         32605          0              0              44   67   48   
0.00/0.03	c 1585           4487           221421         37483          0              0              56   73   58   
0.00/0.03	c 1841           5198           252435         42723          0              0              60   77   62   
0.00/0.03	c 2122           6011           287800         48654          0              0              107   109   108
0.00/0.04	c 2431           6926           326314         55088          0              0              118   120   119
0.00/0.04	c 2770           7913           367906         62154          0              0              85   131   128 
0.00/0.04	c 3142           8751           421573         78723          0              0              54   86   69   
0.00/0.05	c 3551           9786           464631         86171          0              0              11   111   41  
0.00/0.05	c 4000           10940          515056         94536          0              0              28   115   49  
0.00/0.05	c 4493           12371          570249         104109         0              0              21   23   22   
0.00/0.06	c 5035           13893          630634         114531         0              0              21   23   22   
0.00/0.06	c 5631           15557          700534         126327         0              0              75   78   77   
0.00/0.07	c 6286           17397          775583         139127         0              0              76   78   77   
0.00/0.07	c 7006           19326          856682         153203         0              0              88   119   91  
0.00/0.08	c 7798           21551          950454         169202         0              0              100   123   102
0.00/0.09	c 8669           23917          1049170        186047         0              0              80   127   84  
0.00/0.09	c 9627           26576          1153775        204457         0              0              32   34   33   
0.00/0.10	c 10680          29552          1270626        224427         0              0              32   34   33   
0.10/0.11	c 11838          32810          1400190        246288         0              0              31   34   33   
0.10/0.12	c 13111          36288          1547965        271821         0              0              139   142   141
0.10/0.13	c 14511          40197          1708930        299567         0              0              60   115   114 
0.10/0.14	c 16051          44504          1884129        329972         0              0              60   115   113 
0.10/0.15	c 17745          49165          2075336        363330         0              0              60   139   124 
0.10/0.17	c 19608          54505          2297453        405887         0              0              61   121   113 
0.10/0.18	c 21657          60202          2530833        446079         0              0              118   120   119
0.10/0.20	c 23910          66614          2786813        489587         0              0              84   87   86   
0.21/0.21	c 26388          73465          3063110        537495         0              0              75   78   77   
0.21/0.23	c 29113          81203          3368449        590965         0              0              87   90   89   
0.21/0.25	c 32110          89686          3718502        651444         0              0              118   121   120
0.21/0.28	c 35406          98949          4091788        715647         0              0              88   92   91   
0.21/0.30	c 39031          109225         4510098        787029         0              0              88   92   91   
0.31/0.33	c 43018          120435         4966808        866531         0              0              119   123   122
0.31/0.36	c 47403          132813         5465479        952127         0              0              100   127   105
0.31/0.40	c 52226          146602         6017071        1047097        0              0              124   142   127
0.41/0.43	c 57531          161446         6625042        1151662        0              0              123   126   125
0.41/0.48	c 63366          178397         7291384        1265695        0              0              122   126   125
0.51/0.52	c 69784          196402         8013637        1391934        0              0              121   125   124
0.51/0.57	c 76843          216306         8810842        1530122        0              0              103   106   105
0.60/0.62	c 84607          238692         9687954        1681514        0              0              111   115   114
0.60/0.68	c 93147          263458         10679085       1849982        0              0              122   125   124
0.69/0.75	c 102541         290069         11749086       2036873        0              0              121   125   124
0.79/0.82	c 112874         319609         12939213       2241114        0              0              120   124   123
0.89/0.90	c 124240         351424         14225506       2465049        0              0              121   124   123
0.89/0.98	c 136742         386968         15628750       2709263        0              0              120   124   123
1.00/1.08	c 150494         425725         17212971       2982302        0              0              121   125   124
1.10/1.18	c 165621         468640         18960576       3282450        0              0              121   125   124
1.29/1.30	c 182260         516219         20863650       3612814        0              0              120   124   123
1.39/1.43	c 200562         568531         22949716       3973852        0              0              120   124   123
1.49/1.57	c 220694         627296         25252977       4372566        0              0              117   121   120
1.69/1.73	c 242839         691510         27782386       4817484        0              0              118   122   121
1.89/1.90	c 267198         762452         30573959       5305208        0              0              114   119   118
2.00/2.09	c 293992         839325         33633714       5844984        0              0              115   119   118
2.19/2.29	c 323465         924326         37014788       6428898        0              0              115   119   118
2.49/2.53	c 355885         1017497        40793192       7079358        0              0              114   119   118
2.69/2.78	c 391547         1120384        44924380       7791402        0              0              114   119   118
3.00/3.05	c 430775         1232426        49446269       8570430        0              0              115   119   118
3.29/3.36	c 473925         1357710        54418059       9432661        0              0              114   119   118
3.59/3.69	c 521390         1494310        59895305       10389170       0              0              114   119   118
4.00/4.06	c 573601         1645232        65946306       11443373       0              0              115   119   118
4.39/4.47	c 631033         1812490        72527685       12588140       0              0              114   119   118
4.89/4.92	c 694208         1995581        79942754       13869699       0              0              113   119   118
5.39/5.41	c 763700         2197864        87914355       15253601       0              0              107   111   110
5.89/5.95	c 840141         2419931        96700185       16775163       0              0              114   119   118
6.49/6.54	c 924226         2665877        106300861      18444790       0              0              113   119   118
7.19/7.20	c 1016719        2933974        117044265      20309488       0              0              114   119   118
7.89/7.92	c 1118461        3231283        128756929      22338047       0              0              114   119   118
8.69/8.71	c 1230377        3556590        141593325      24587917       0              0              114   119   118
9.49/9.58	c 1353484        3913060        155931902      27054449       0              0              114   119   118
10.49/10.53	c 1488901        4306258        171430721      29764953       0              0              114   119   118
11.49/11.59	c 1637859        4742372        188643220      32748898       0              0              115   119   118
12.69/12.76	c 1801712        5222378        207603324      36035351       0              0              113   119   118
14.00/14.06	c 1981950        5745984        228582296      39692307       0              0              104   109   108
15.39/15.47	c 2180211        6321582        251509659      43719362       0              0              114   119   118
17.00/17.03	c 2398298        6955758        276633178      48088649       0              0              114   119   118
18.69/18.75	c 2638193        7669360        304540966      52900441       0              0              114   119   118
20.59/20.66	c 2902077        8438926        335310368      58245349       0              0              113   119   118
22.69/22.73	c 3192349        9286057        368708895      64038161       0              0              113   119   118
24.99/25.03	c 3511648        10219502       406593121      70583127       0              0              114   119   118
27.48/27.53	c 3862876        11239143       447511635      77646947       0              0              113   119   118
30.18/30.28	c 4249226        12390581       492221289      85401357       0              0              113   119   118
33.28/33.31	c 4674211        13641397       541380618      93870869       0              0              113   119   118
36.58/36.68	c 5141694        15013342       595521048      103241968      0              0              113   119   118
40.28/40.35	c 5655925        16530010       655242933      113515317      0              0              113   119   118
44.38/44.42	c 6221579        18183958       721106613      124868271      0              0              113   119   118
48.78/48.86	c 6843798        19996748       792951174      137442027      0              0              113   119   118
53.68/53.74	c 7528238        21996865       871424818      151131675      0              0              113   119   118
59.08/59.19	c 8281122        24192174       958754394      166340260      0              0              113   119   118
65.08/65.11	c 9109294        26612924       1054413849     182958605      0              0              113   119   118
71.47/71.59	c 10020283       29279438       1160145296     201260092      0              0              113   119   118
78.77/78.84	c 11022370       32217322       1277123165     221468502      0              0              113   119   118
86.57/86.69	c 12124665       35462940       1404367605     243544333      0              0              113   119   118
95.27/95.35	c 13337189       39036543       1545305762     268124025      0              0              113   119   118
104.98/105.01	c 14670965       42949276       1700241644     294985952      0              0              113   119   118
115.57/115.60	c 16138118       47282174       1870680549     324647173      0              0              112   119   118
127.07/127.14	c 17751986       52020503       2058345975     357061573      0              0              113   119   118
139.76/139.89	c 19527240       57216054       2264268686     392763113      0              0              113   119   118
153.86/153.96	c 21480019       62982639       2490475028     432081163      0              0              112   119   118
169.46/169.55	c 23628075       69292540       2739828959     475268546      0              0              112   119   118
186.45/186.56	c 25990936       76205653       3012868402     523141109      0              0              111   119   118
205.06/205.15	c 28590083       83828305       3313824807     575286603      0              0              112   119   118
225.85/225.98	c 31449144       92274486       3648280023     632850292      0              0              112   119   118
248.45/248.55	c 34594111       101612140      4013959621     696421253      0              0              111   119   118
273.25/273.39	c 38053574       111832616      4415739742     766135383      0              0              112   119   118
300.75/300.87	c 41858983       122996607      4854595157     842401120      0              0              112   119   118
330.74/330.88	c 46044932       135281454      5338232556     926192593      0              0              111   119   118
363.84/363.98	c 50649475       148819813      5871336741     1018469186     0              0              111   119   118
400.23/400.32	c 55714472       163640297      6454030911     1119826291     0              0              113   119   118
440.12/440.24	c 61285968       180075937      7095303875     1231319920     0              0              112   119   118
484.52/484.60	c 67414613       198181109      7805649975     1354349694     0              0              110   119   118
532.81/532.91	c 74156122       218034021      8581191803     1489230697     0              0              112   119   118
585.91/586.06	c 81571781       239884751      9445080001     1638401701     0              0              111   119   118
644.59/644.71	c 89729005       263797058      10389702781    1801269539     0              0              111   119   118
708.38/708.58	c 98701951       290091604      11423882686    1980598026     0              0              109   119   118
778.87/779.10	c 108572191      319050524      12563143258    2178237344     0              0              109   119   118
857.55/857.77	c 119429455      351036387      13816899228    2395969594     0              0              112   119   118
942.96/943.15	c 131372445      386285069      15195669060    2635471363     0              0              112   119   118
1036.74/1037.00	c 144509734      425150464      16722119945    2898210987     0              0              109   119   118
1139.74/1139.95	c 158960751      467485907      18383946755    3187712532     0              0              109   119   118
1253.13/1253.35	c 174856869      514129731      20221557979    3506217308     0              0              109   119   118
1378.32/1378.52	c 192342598      565370690      22241215356    3856403451     0              0              109   119   118
1515.71/1515.93	c 211576899      621853452      24464458426    4242874960     0              0              112   119   -104
1665.90/1666.19	c 232734630      684213835      26917468157    4667301042     0              0              109   119   -84
1833.08/1833.37	c 256008134      752502736      29625417768    5135158651     0              0              109   119   -65
2014.67/2014.91	c 281608988      827707353      32585449621    5648114666     0              0              109   119   -49
2214.95/2215.25	c 309769927      910473188      35835014962    6213342993     0              0              109   119   -33
2437.33/2437.64	c 340746959      1001195827     39412326965    6834460963     0              0              109   119   -19
2519.73/2520.00	
2519.73/2520.00	c *** INTERRUPTED ***
2519.73/2520.00	c restarts              : 134         
2519.73/2520.00	c conflicts             : 352313930    (139823 /sec)
2519.73/2520.00	c decisions             : 1035164637   (410826 /sec)
2519.73/2520.00	c propagations          : 7065825988  (2804214 /sec)
2519.73/2520.00	c root propagations     : 0           
2519.73/2520.00	c filter calls          : 40746951643    (16171243 /sec)
2519.73/2520.00	c useless filter calls  : 36103759853    (88 %)
2519.73/2520.00	c Memory used           : 27.56 MB
2519.73/2520.00	c CPU time              : 2519.72 s
2519.73/2520.00	
2519.73/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294762-1532491318/watcher-4294762-1532491318 -o /tmp/evaluation-result-4294762-1532491318/solver-4294762-1532491318 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22596 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294762-1532491318.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=24800, runsolver pid=24797

[startup+0.100108 s]*
/proc/loadavg: 2.13 2.10 2.07 3/188 24801
/proc/meminfo: memFree=16080844/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4728 CPUtime=0.1 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 1348 0 0 0 10 0 0 0 20 0 1 0 66695104 28893184 1182 33554432000 4194304 6142532 140729075324336 140729075320968 5350704 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1182 834 476 0 376 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB

[startup+0.209269 s]*
/proc/loadavg: 2.13 2.10 2.07 3/188 24801
/proc/meminfo: memFree=16080580/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4728 CPUtime=0.21 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 1352 0 0 0 21 0 0 0 20 0 1 0 66695104 28893184 1182 33554432000 4194304 6142532 140729075324336 140729075320968 4995580 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1182 834 476 0 376 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB

[startup+0.308685 s]*
/proc/loadavg: 2.13 2.10 2.07 3/188 24801
/proc/meminfo: memFree=16080580/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4728 CPUtime=0.31 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 1353 0 0 0 31 0 0 0 20 0 1 0 66695104 28893184 1182 33554432000 4194304 6142532 140729075324336 140729075320968 4995420 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1182 834 476 0 376 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB

[startup+0.700224 s]
/proc/loadavg: 2.13 2.10 2.07 3/188 24801
/proc/meminfo: memFree=16080580/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4728 CPUtime=0.69 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 1354 0 0 0 69 0 0 0 20 0 1 0 66695104 28893184 1182 33554432000 4194304 6142532 140729075324336 140729075321736 5335880 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1182 834 476 0 376 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB

[startup+1.50023 s]
/proc/loadavg: 2.13 2.10 2.07 3/188 24801
/proc/meminfo: memFree=16080540/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4728 CPUtime=1.49 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 1354 0 0 0 149 0 0 0 20 0 1 0 66695104 28893184 1182 33554432000 4194304 6142532 140729075324336 140729075321736 4995279 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1182 834 476 0 376 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4728 KiB

[startup+3.10882 s]
/proc/loadavg: 2.12 2.09 2.07 3/188 24801
/proc/meminfo: memFree=16080492/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=3.1 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 1654 0 0 0 310 0 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 5170066 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+6.30022 s]
/proc/loadavg: 2.12 2.09 2.07 3/188 24801
/proc/meminfo: memFree=16080368/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=6.29 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 1954 0 0 0 629 0 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995379 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+12.7002 s]
/proc/loadavg: 2.11 2.09 2.07 3/188 24801
/proc/meminfo: memFree=16080368/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=12.69 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 2254 0 0 0 1269 0 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 5336789 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+25.5002 s]
/proc/loadavg: 2.08 2.09 2.07 3/188 24801
/proc/meminfo: memFree=16080368/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=25.48 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 2854 0 0 0 2548 0 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995343 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+51.1088 s]
/proc/loadavg: 2.05 2.08 2.07 3/188 24862
/proc/meminfo: memFree=16080104/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=51.09 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 3154 0 0 0 5109 0 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4990806 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/188 24863
/proc/meminfo: memFree=16080288/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=102.27 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 3454 0 0 0 10227 0 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995347 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/188 24864
/proc/meminfo: memFree=16080412/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=162.26 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 3754 0 0 0 16226 0 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4990890 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 24864
/proc/meminfo: memFree=16080536/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=222.25 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 4054 0 0 0 22225 0 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995703 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24865
/proc/meminfo: memFree=16080652/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=282.25 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 4354 0 0 0 28224 1 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 5183617 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24866
/proc/meminfo: memFree=16080428/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=342.24 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 4654 0 0 0 34223 1 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 5319096 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 24867
/proc/meminfo: memFree=16080428/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=402.23 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 4954 0 0 0 40222 1 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995491 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+462.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 24868
/proc/meminfo: memFree=16080292/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=462.22 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 5254 0 0 0 46221 1 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 5336741 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB


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

/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 1722.09 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/188 24916
/proc/meminfo: memFree=16079652/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=1782.09 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 10252 0 0 0 178207 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+1842.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/188 24939
/proc/meminfo: memFree=16078824/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=1842.08 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 10552 0 0 0 184206 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995353 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+1902.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 24940
/proc/meminfo: memFree=16079548/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=1902.08 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 10685 0 0 0 190206 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995271 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 24941
/proc/meminfo: memFree=16080168/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=1962.07 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 10828 0 0 0 196205 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 5318987 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 24942
/proc/meminfo: memFree=16080676/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=2022.07 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 11128 0 0 0 202205 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995661 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24943
/proc/meminfo: memFree=16080428/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=2082.06 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 11255 0 0 0 208204 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995515 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 2082.06 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24944
/proc/meminfo: memFree=16080468/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=2142.05 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 11388 0 0 0 214203 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995510 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 2142.05 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 24945
/proc/meminfo: memFree=16080504/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=2202.05 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 11518 0 0 0 220203 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 5326543 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 2202.05 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24946
/proc/meminfo: memFree=16080380/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=2262.04 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 11802 0 0 0 226202 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 5170132 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 2262.04 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24955
/proc/meminfo: memFree=16079312/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=2322.04 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 11921 0 0 0 232202 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995353 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 24956
/proc/meminfo: memFree=16079932/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=2382.03 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 12040 0 0 0 238201 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 4995353 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 24957
/proc/meminfo: memFree=16079864/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=2442.03 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 12340 0 0 0 244201 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 5336789 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 2442.03 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 24958
/proc/meminfo: memFree=16079988/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=2502.02 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 12461 0 0 0 250200 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 5341585 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 2502.02 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/188 24959
/proc/meminfo: memFree=16079608/32770624 swapFree=67108860/67108860
[pid=24800] ppid=24797 vsize=28216 memory=4792 CPUtime=2519.73 cores=0,2,4,6
/proc/24800/stat : 24800 (cosoco) R 24797 24800 22565 0 -1 4202496 12584 0 0 0 251971 2 0 0 20 0 1 0 66695104 28893184 1198 33554432000 4194304 6142532 140729075324336 140729075321736 5345599 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30269440 140729075332230 140729075332360 140729075332360 140729075335118 0
/proc/24800/statm: 7054 1198 834 476 0 376 0
Current children cumulated CPU time: 2519.73 s
Current children cumulated vsize: 28216 KiB
Current children cumulated memory: 4792 KiB

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

[startup+2520.01 s]
# the end of solver process 24800 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.72 s, system=0.022997 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.74
CPU user time (s): 2519.72
CPU system time (s): 0.022997
CPU usage (%): 99.9893
Max. virtual memory (cumulated for all children) (KiB): 28216
Max. memory (cumulated for all children) (KiB): 4792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.72
system time used= 0.022997
maximum resident set size= 4856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12633
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= 3066


# summary of solver processes directly reported to runsolver:
#   pid: 24800
#   total CPU time (s): 2519.74
#   total CPU user time (s): 2519.72
#   total CPU system time (s): 0.022997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2292 second user time and 15.296 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 06:01:58
IDJOB=4294762
IDBENCH=141419
IDSOLVER=2752
FILE ID=node150/4294762-1532491318
RUNJOBID= node150-1532470521-22596
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

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

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

MD5SUM BENCH= 9b1722167e694dc70b944145256e05c5
RANDOM SEED=1001313832

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:        16082532 kB
MemAvailable:   31939500 kB
Buffers:          238440 kB
Cached:         15702884 kB
SwapCached:            0 kB
Active:          1577760 kB
Inactive:       14416560 kB
Active(anon):      11400 kB
Inactive(anon):    61412 kB
Active(file):    1566360 kB
Inactive(file): 14355148 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2600 kB
Writeback:             0 kB
AnonPages:         68736 kB
Mapped:            40640 kB
Shmem:             17032 kB
Slab:             390992 kB
SReclaimable:     363920 kB
SUnreclaim:        27072 kB
KernelStack:        3584 kB
PageTables:         5408 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:     12288 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 06:43:59