Trace number 4268213

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.8401 2520

General information on the benchmark

NameQuasiGroups/QuasiGroups-elt-qg7/
QuasiGroup-7-23.xml
MD5SUMb8524f073185c8a0baa20bdfdedb9a39
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1058
Number of constraints1014
Number of domains1
Minimum domain size23
Maximum domain size23
Distribution of domain sizes[{"size":23,"count":1035}]
Minimum variable degree0
Maximum variable degree47
Distribution of variable degrees[{"degree":0,"count":23},{"degree":2,"count":506},{"degree":46,"count":23},{"degree":47,"count":506}]
Minimum constraint arity23
Maximum constraint arity529
Distribution of constraint arities[{"arity":23,"count":1},{"arity":25,"count":1012},{"arity":529,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":1012}]
Optimization problemNO
Type of objective

Solver Data 

0.03/0.12	c root propagations     : 115         
0.03/0.12	c restarts enabled, print stats at every restarts
0.03/0.12	c
0.03/0.12	c
0.03/0.12	c
0.03/0.12	c This is cosoco 1.12 --  
0.03/0.12	c
0.03/0.12	c command line: cosoco -lc -model -restarts HOME/instance-4268213-1502543892.xml 
0.03/0.12	c ========================================[ Problem Statistics ]===========================================
0.03/0.12	c |                                                                                                       
0.03/0.12	c |  Parse time        :         0.05 s 
0.03/0.12	c |
0.03/0.12	c |               Variables: 1058
0.03/0.12	c |            Domain Sizes: 23..23
0.03/0.12	c |
0.03/0.12	c |             Constraints: 1081
0.03/0.12	c |                   Arity: 1..25  -- Unary: 23
0.03/0.12	c | 
0.03/0.12	c |                   Types: 
0.03/0.12	c |                          All Different: 46
0.03/0.12	c |                          Element Variable: 1012
0.03/0.12	c |                          Unary: 23
0.03/0.12	c |                          
0.03/0.12	c =========================================================================================================
0.03/0.12	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.03/0.12	c remove useless variable y[0][0]
0.03/0.12	c remove useless variable y[1][1]
0.03/0.12	c remove useless variable y[2][2]
0.03/0.12	c remove useless variable y[3][3]
0.03/0.12	c remove useless variable y[4][4]
0.03/0.12	c remove useless variable y[5][5]
0.03/0.12	c remove useless variable y[6][6]
0.03/0.12	c remove useless variable y[7][7]
0.03/0.12	c remove useless variable y[8][8]
0.03/0.12	c remove useless variable y[9][9]
0.03/0.12	c remove useless variable y[10][10]
0.03/0.12	c remove useless variable y[11][11]
0.03/0.12	c remove useless variable y[12][12]
0.03/0.12	c remove useless variable y[13][13]
0.03/0.12	c remove useless variable y[14][14]
0.03/0.12	c remove useless variable y[15][15]
0.03/0.12	c remove useless variable y[16][16]
0.03/0.12	c remove useless variable y[17][17]
0.03/0.12	c remove useless variable y[18][18]
0.03/0.12	c remove useless variable y[19][19]
0.03/0.12	c remove useless variable y[20][20]
0.03/0.12	c remove useless variable y[21][21]
0.03/0.12	c remove useless variable y[22][22]
0.03/0.15	c 101            476            56210          21412          109            0              156   236   212
0.13/0.20	c 211            819            126027         35790          109            0              62   112   94  
0.13/0.26	c 332            1185           223133         62408          109            0              52   145   130 
0.23/0.34	c 465            1651           351288         84877          109            0              85   131   127 
0.33/0.40	c 611            2080           449389         107462         109            0              102   156   132
0.33/0.49	c 771            2634           589933         138780         109            0              150   198   182
0.43/0.57	c 947            3141           706952         165903         109            0              51   82   78   
0.53/0.65	c 1140           3688           840407         198579         109            0              67   189   167 
0.63/0.72	c 1352           4180           945982         219545         109            0              44   47   46   
0.73/0.85	c 1585           4901           1145562        264315         109            0              89   212   187 
0.83/0.95	c 1841           5632           1304675        309543         109            0              109   192   179
0.93/1.03	c 2122           6253           1425884        348093         109            0              67   86   83   
1.03/1.13	c 2431           6957           1599504        385700         109            0              61   191   116 
1.13/1.27	c 2770           7845           1819444        419146         109            0              56   106   104 
1.33/1.44	c 3142           8938           2080119        460265         109            0              58   105   102 
1.43/1.58	c 3551           9971           2300840        526505         109            0              52   143   100 
1.63/1.78	c 4000           11260          2601923        622843         109            0              52   159   142 
1.83/1.92	c 4493           12402          2833477        694561         109            0              84   211   187 
1.93/2.07	c 5035           13720          3078553        760591         109            0              100   149   129
2.13/2.27	c 5631           15062          3404324        858472         109            0              99   188   164 
2.42/2.53	c 6286           16721          3826807        982868         109            0              88   227   207 
2.72/2.88	c 7006           18803          4367098        1091334        109            0              77   90   84   
3.12/3.22	c 7798           21082          4887226        1214355        109            0              109   168   154
3.52/3.61	c 8669           23698          5487810        1394598        109            0              75   129   115 
4.22/4.30	c 9627           27257          6552103        1663728        109            0              155   200   179
4.52/4.66	c 10680          29992          7113146        1773887        109            0              59   178   78  
4.82/4.98	c 11838          32504          7639181        1948583        109            0              69   198   178 
5.43/5.59	c 13111          38045          8590026        2264545        109            0              67   202   176 
5.92/6.01	c 14511          41470          9226246        2424503        109            0              76   89   81   
6.82/6.95	c 16051          48484          10674489       2742507        109            0              65   89   73   
7.43/7.54	c 17745          52865          11629837       2999203        109            0              64   165   132 
8.03/8.12	c 19608          57091          12543125       3123228        109            0              64   75   68   
8.74/8.82	c 21657          61619          13622221       3256284        109            0              63   68   67   
9.33/9.49	c 23910          65840          14737148       3427517        109            0              60   67   63   
10.23/10.38	c 26388          71618          16191381       4012392        109            0              52   135   119 
11.43/11.59	c 29113          78131          18231046       4588786        109            0              64   250   225 
12.43/12.54	c 32110          86418          19774526       5128884        109            0              86   211   165 
13.14/13.27	c 35406          93904          20964970       5465947        109            0              65   168   135 
14.24/14.33	c 39031          101582         22698791       6011671        109            0              65   237   212 
15.44/15.50	c 43018          110349         24611184       6581669        109            0              56   203   174 
17.23/17.34	c 47403          123042         27621565       7477631        109            0              56   214   186 
18.53/18.61	c 52226          135586         29655996       8079293        109            0              56   137   111 
20.53/20.66	c 57531          149592         32924128       9046212        109            0              47   204   175 
22.53/22.69	c 63366          163268         36326783       9998172        109            0              55   235   208 
24.63/24.79	c 69784          176956         39796763       11036822       109            0              61   236   209 
26.63/26.79	c 76843          190824         43257810       12280897       109            0              88   221   205 
29.63/29.73	c 84607          208805         47823891       13726096       109            0              78   192   126 
32.83/32.90	c 93147          233369         52844672       15268888       109            0              67   214   154 
35.93/36.08	c 102541         255672         57782584       17107342       109            0              53   139   116 
37.44/37.60	c 112874         272058         60351901       18178233       109            0              56   199   174 
41.73/41.84	c 124240         298093         67548880       20531629       109            0              114   229   207
47.93/48.03	c 136742         332283         77392462       23811988       109            0              58   201   158 
51.03/51.13	c 150494         355935         82518317       25534003       109            0              59   228   206 
55.93/56.01	c 165621         388570         90962397       27836099       109            0              56   224   196 
60.83/60.90	c 182260         425188         98908081       30095675       109            0              56   193   151 
66.33/66.45	c 200562         458735         108526072      33525433       109            0              97   238   212 
72.13/72.27	c 220694         501260         118781396      36960407       109            0              91   240   207 
80.23/80.39	c 242839         544527         132490956      40273495       109            0              55   114   102 
85.93/86.09	c 267198         589918         142396097      43495816       109            0              81   213   189 
94.12/94.21	c 293992         645777         156344679      47718096       109            0              89   219   187 
106.63/106.74	c 323465         727129         176832526      52582188       109            0              71   95   78   
116.12/116.23	c 355885         792164         193374090      57147162       109            0              70   235   210 
129.92/130.04	c 391547         885360         216168474      63010531       109            0              81   210   145 
144.92/145.01	c 430775         971123         242407594      69964505       109            0              143   255   224
164.02/164.18	c 473925         1085588        273618962      76061604       109            0              63   165   152 
179.62/179.71	c 521390         1209956        298473227      80591168       109            0              75   102   83  
200.82/200.99	c 573601         1318242        335909121      91186040       109            0              111   260   229
218.32/218.47	c 631033         1435598        366026809      100216479      109            0              112   251   223
246.22/246.39	c 694208         1611209        411542407      108610894      109            0              72   101   84  
276.02/276.19	c 763700         1793412        462124125      124485543      109            0              51   225   185 
306.72/306.88	c 840141         2010238        514361382      138499420      109            0              92   195   148 
340.81/340.97	c 924226         2262724        572017432      154729413      109            0              86   207   180 
381.51/381.61	c 1016719        2514830        641157776      175963179      109            0              101   226   194
413.91/414.05	c 1118461        2737113        695951163      192465701      109            0              93   228   203 
449.71/449.90	c 1230377        2970102        759498615      212108063      109            0              77   246   221 
489.61/489.70	c 1353484        3230803        827990019      236405832      109            0              96   238   193 
537.21/537.35	c 1488901        3556789        908444510      259077019      109            0              87   205   177 
585.90/586.09	c 1637859        3852323        986065722      294182906      109            0              100   160   139
625.70/625.83	c 1801712        4169752        1055816658     318154360      109            0              82   221   182 
678.90/679.04	c 1981950        4583947        1143376370     340005887      109            0              70   97   79   
746.70/746.87	c 2180211        5095434        1254826049     369338118      109            0              61   191   110 
815.90/816.06	c 2398298        5610908        1354403041     400029120      109            0              39   48   46   
887.89/888.07	c 2638193        6140368        1479164399     440989395      109            0              62   218   177 
963.39/963.55	c 2902077        6772864        1594984201     464873004      109            0              61   69   68   
1042.08/1042.26	c 3192349        7461518        1716132964     492505112      109            0              53   66   65   
1107.38/1107.51	c 3511648        7998740        1830793022     529408492      109            0              61   175   151 
1188.88/1189.02	c 3862876        8649618        1973238427     572094301      109            0              65   214   181 
1295.68/1295.81	c 4249226        9404600        2154907555     640008946      109            0              71   220   184 
1404.07/1404.28	c 4674211        10229628       2338029589     711020416      109            0              66   223   195 
1498.17/1498.32	c 5141694        11116493       2483928475     756433527      109            0              62   108   76  
1662.16/1662.33	c 5655925        12272810       2768211404     846090674      109            0              65   240   207 
1810.86/1811.09	c 6221579        13400282       3025179954     931982426      109            0              67   229   198 
2009.25/2009.49	c 6843798        14739018       3370138137     1042502044     109            0              72   214   177 
2204.25/2204.40	c 7528238        16347516       3706980976     1144697953     109            0              65   219   170 
2453.53/2453.76	c 8281122        18012152       4137899488     1260225548     109            0              71   182   156 
2519.83/2520.00	
2519.83/2520.00	c *** INTERRUPTED ***
2519.83/2520.00	c restarts              : 95          
2519.83/2520.00	c conflicts             : 8465315      (3359 /sec)
2519.83/2520.00	c decisions             : 18486097     (7336 /sec)
2519.83/2520.00	c propagations          : 1292173926  (512805 /sec)
2519.83/2520.00	c root propagations     : 115         
2519.83/2520.00	c filter calls          : 4250389212     (1686787 /sec)
2519.83/2520.00	c useless filter calls  : 4022890994     (94 %)
2519.83/2520.00	c Memory used           : 34.24 MB
2519.83/2520.00	c CPU time              : 2519.81 s
2519.83/2520.00	
2519.83/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268213-1502543892/watcher-4268213-1502543892 -o /tmp/evaluation-result-4268213-1502543892/solver-4268213-1502543892 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6741 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268213-1502543892.xml 

pid=14795
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 14798
/proc/meminfo: memFree=29917040/32770624 swapFree=0/563548
[pid=14798] ppid=14795 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14798/stat : 14798 (runsolver) D 14795 14798 6677 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 56582604 24240128 108 18446744073709551615 4194304 4338465 140725088264464 140725088262104 140182730330839 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 18677760 140725088268482 140725088268873 140725088268873 140725088272330 0
/proc/14798/statm: 5918 108 54 36 0 2156 0

[startup+0.10084 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 14798
/proc/meminfo: memFree=29917040/32770624 swapFree=0/563548
[pid=14798] ppid=14795 vsize=31620 CPUtime=0.03 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 2135 0 0 0 3 0 0 0 20 0 1 0 56582604 32378880 1954 18446744073709551615 4194304 5972588 140735627030192 140735627025096 5098456 0 0 1 0 0 0 0 17 7 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 7905 1954 735 435 0 1268 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 31620

[startup+0.200834 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 14798
/proc/meminfo: memFree=29917040/32770624 swapFree=0/563548
[pid=14798] ppid=14795 vsize=34396 CPUtime=0.13 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 2865 0 0 0 13 0 0 0 20 0 1 0 56582604 35221504 2680 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4999760 0 0 1 8405026 0 0 0 17 7 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8599 2680 777 435 0 1962 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 34396

[startup+0.300835 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 14798
/proc/meminfo: memFree=29917040/32770624 swapFree=0/563548
[pid=14798] ppid=14795 vsize=34396 CPUtime=0.23 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 2884 0 0 0 23 0 0 0 20 0 1 0 56582604 35221504 2680 18446744073709551615 4194304 5972588 140735627030192 140735627027496 5000053 0 0 1 8405026 0 0 0 17 7 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8599 2680 777 435 0 1962 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 34396

[startup+0.700224 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 14798
/proc/meminfo: memFree=29917040/32770624 swapFree=0/563548
[pid=14798] ppid=14795 vsize=34660 CPUtime=0.63 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 2927 0 0 0 63 0 0 0 20 0 1 0 56582604 35491840 2746 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4999628 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8665 2746 779 435 0 2028 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 34660

[startup+1.50022 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 14799
/proc/meminfo: memFree=29909336/32770624 swapFree=0/563548
[pid=14798] ppid=14795 vsize=34660 CPUtime=1.43 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 2955 0 0 0 143 0 0 0 20 0 1 0 56582604 35491840 2746 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4970965 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8665 2746 779 435 0 2028 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 34660

[startup+3.10023 s]
/proc/loadavg: 1.92 2.01 2.04 3/183 14799
/proc/meminfo: memFree=29908964/32770624 swapFree=0/563548
[pid=14798] ppid=14795 vsize=34792 CPUtime=3.02 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 4929 0 0 0 302 0 0 0 20 0 1 0 56582604 35627008 2810 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4999263 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8698 2810 779 435 0 2061 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 34792

[startup+6.30023 s]
/proc/loadavg: 1.92 2.01 2.04 3/183 14799
/proc/meminfo: memFree=29908060/32770624 swapFree=0/563548
[pid=14798] ppid=14795 vsize=34792 CPUtime=6.22 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 6892 0 0 0 622 0 0 0 20 0 1 0 56582604 35627008 2827 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4971589 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8698 2827 779 435 0 2061 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 34792

[startup+12.7002 s]
/proc/loadavg: 1.93 2.01 2.04 3/183 14800
/proc/meminfo: memFree=29908060/32770624 swapFree=0/563548
[pid=14798] ppid=14795 vsize=35056 CPUtime=12.63 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 8892 0 0 0 1262 1 0 0 20 0 1 0 56582604 35897344 2830 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4999760 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2830 779 435 0 2127 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 35056

[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 2.04 3/183 14800
/proc/meminfo: memFree=29908060/32770624 swapFree=0/563548
[pid=14798] ppid=14795 vsize=35056 CPUtime=25.43 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 12898 0 0 0 2542 1 0 0 20 0 1 0 56582604 35897344 2870 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4970903 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2870 779 435 0 2127 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 35056

[startup+51.1003 s]
/proc/loadavg: 1.96 2.01 2.04 3/183 14800
/proc/meminfo: memFree=29904820/32770624 swapFree=0/563560
[pid=14798] ppid=14795 vsize=35056 CPUtime=51.03 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 14902 0 0 0 5102 1 0 0 20 0 1 0 56582604 35897344 2870 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4972728 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2870 779 435 0 2127 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 35056

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 14802
/proc/meminfo: memFree=29902976/32770624 swapFree=0/563560
[pid=14798] ppid=14795 vsize=35056 CPUtime=102.23 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 15384 0 0 0 10222 1 0 0 20 0 1 0 56582604 35897344 2873 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4999243 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2873 779 435 0 2127 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 35056

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 14804
/proc/meminfo: memFree=29902544/32770624 swapFree=0/563564
[pid=14798] ppid=14795 vsize=35056 CPUtime=162.22 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 15878 0 0 0 16221 1 0 0 20 0 1 0 56582604 35897344 2876 18446744073709551615 4194304 5972588 140735627030192 140735627027496 5324928 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2876 779 435 0 2127 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 35056

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 14806
/proc/meminfo: memFree=29902544/32770624 swapFree=0/563560
[pid=14798] ppid=14795 vsize=35056 CPUtime=222.22 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 16373 0 0 0 22221 1 0 0 20 0 1 0 56582604 35897344 2889 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4999104 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2889 779 435 0 2127 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 35056

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 14808
/proc/meminfo: memFree=29902552/32770624 swapFree=0/563568
[pid=14798] ppid=14795 vsize=35056 CPUtime=282.22 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 16867 0 0 0 28221 1 0 0 20 0 1 0 56582604 35897344 2892 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4999263 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2892 779 435 0 2127 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 35056

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 14810
/proc/meminfo: memFree=29902608/32770624 swapFree=0/563572
[pid=14798] ppid=14795 vsize=35056 CPUtime=342.21 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 17360 0 0 0 34220 1 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4999669 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 35056

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 14827
/proc/meminfo: memFree=29896880/32770624 swapFree=0/563576
[pid=14798] ppid=14795 vsize=35056 CPUtime=402.21 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 17853 0 0 0 40220 1 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 35056

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 14829
/proc/meminfo: memFree=29900544/32770624 swapFree=0/563572
[pid=14798] ppid=14795 vsize=35056 CPUtime=462.21 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 18348 0 0 0 46220 1 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 5328649 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 35056

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 14831
/proc/meminfo: memFree=29900932/32770624 swapFree=0/563588
[pid=14798] ppid=14795 vsize=35056 CPUtime=522.21 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 18841 0 0 0 52220 1 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4999182 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 35056

[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 14833
/proc/meminfo: memFree=29901180/32770624 swapFree=0/563588
[pid=14798] ppid=14795 vsize=35056 CPUtime=582.2 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 19331 0 0 0 58219 1 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 5099616 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 35056


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


[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 14958
/proc/meminfo: memFree=29405052/32770624 swapFree=0/562880
[pid=14798] ppid=14795 vsize=35056 CPUtime=1602.16 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 27415 0 0 0 160215 1 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4999673 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 35056

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 14960
/proc/meminfo: memFree=29408992/32770624 swapFree=0/562900
[pid=14798] ppid=14795 vsize=35056 CPUtime=1662.16 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 27889 0 0 0 166215 1 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 5099616 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 35056

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14962
/proc/meminfo: memFree=29409324/32770624 swapFree=0/562908
[pid=14798] ppid=14795 vsize=35056 CPUtime=1722.15 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 28382 0 0 0 172214 1 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4978304 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 35056

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14964
/proc/meminfo: memFree=29409484/32770624 swapFree=0/562912
[pid=14798] ppid=14795 vsize=35056 CPUtime=1782.16 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 28856 0 0 0 178214 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 5099616 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 35056

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14966
/proc/meminfo: memFree=29409436/32770624 swapFree=0/562924
[pid=14798] ppid=14795 vsize=35056 CPUtime=1842.16 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 29349 0 0 0 184214 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4975398 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 1842.16
Current children cumulated vsize (KiB) 35056

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14968
/proc/meminfo: memFree=29410124/32770624 swapFree=0/562928
[pid=14798] ppid=14795 vsize=35056 CPUtime=1902.16 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 29824 0 0 0 190214 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4999673 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 1902.16
Current children cumulated vsize (KiB) 35056

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14970
/proc/meminfo: memFree=29409952/32770624 swapFree=0/562924
[pid=14798] ppid=14795 vsize=35056 CPUtime=1962.15 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 30296 0 0 0 196213 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 35056

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14972
/proc/meminfo: memFree=29409952/32770624 swapFree=0/562936
[pid=14798] ppid=14795 vsize=35056 CPUtime=2022.15 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 30788 0 0 0 202213 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4999224 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 2022.15
Current children cumulated vsize (KiB) 35056

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14974
/proc/meminfo: memFree=29409704/32770624 swapFree=0/562944
[pid=14798] ppid=14795 vsize=35056 CPUtime=2082.15 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 31265 0 0 0 208213 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4975088 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 35056

[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 15037
/proc/meminfo: memFree=31180508/32770624 swapFree=0/562976
[pid=14798] ppid=14795 vsize=35056 CPUtime=2142.14 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 31743 0 0 0 214212 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 5099630 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 2142.14
Current children cumulated vsize (KiB) 35056

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 15053
/proc/meminfo: memFree=31176344/32770624 swapFree=0/563020
[pid=14798] ppid=14795 vsize=35056 CPUtime=2202.15 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 32219 0 0 0 220213 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 2202.15
Current children cumulated vsize (KiB) 35056

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 15055
/proc/meminfo: memFree=31177620/32770624 swapFree=0/563024
[pid=14798] ppid=14795 vsize=35056 CPUtime=2262.14 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 32707 0 0 0 226212 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4971884 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 2262.14
Current children cumulated vsize (KiB) 35056

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15057
/proc/meminfo: memFree=31179488/32770624 swapFree=0/563024
[pid=14798] ppid=14795 vsize=35056 CPUtime=2322.14 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 33166 0 0 0 232212 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 5099630 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 2322.14
Current children cumulated vsize (KiB) 35056

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15059
/proc/meminfo: memFree=31179108/32770624 swapFree=0/563024
[pid=14798] ppid=14795 vsize=35056 CPUtime=2382.13 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 33635 0 0 0 238211 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 5328649 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 2382.13
Current children cumulated vsize (KiB) 35056

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15061
/proc/meminfo: memFree=31179356/32770624 swapFree=0/563016
[pid=14798] ppid=14795 vsize=35056 CPUtime=2442.13 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 34105 0 0 0 244211 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4975303 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 2442.13
Current children cumulated vsize (KiB) 35056

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15063
/proc/meminfo: memFree=31179492/32770624 swapFree=0/563008
[pid=14798] ppid=14795 vsize=35056 CPUtime=2502.13 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 34596 0 0 0 250211 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4975114 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 2502.13
Current children cumulated vsize (KiB) 35056



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15063
/proc/meminfo: memFree=31179492/32770624 swapFree=0/563000
[pid=14798] ppid=14795 vsize=35056 CPUtime=2519.83 cores=1,3,5,7
/proc/14798/stat : 14798 (cosoco) R 14795 14798 6677 0 -1 4202496 35052 0 0 0 251981 2 0 0 20 0 1 0 56582604 35897344 2893 18446744073709551615 4194304 5972588 140735627030192 140735627027496 4978048 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 32722944 140735627031022 140735627031117 140735627031117 140735627034574 0
/proc/14798/statm: 8764 2893 779 435 0 2127 0
Current children cumulated CPU time (s) 2519.83
Current children cumulated vsize (KiB) 35056

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14798 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520
CPU time (s): 2519.84
CPU user time (s): 2519.81
CPU system time (s): 0.025998
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 35056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.81
system time used= 0.025998
maximum resident set size= 11648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35105
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= 13
involuntary context switches= 750

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66241 second user time and 8.46569 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-12 15:04:04
IDJOB=4268213
IDBENCH=133861
IDSOLVER=2658
FILE ID=node127/4268213-1502543892
RUNJOBID= node127-1502500309-6741
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg7/QuasiGroup-7-23.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268213-1502543892/watcher-4268213-1502543892 -o /tmp/evaluation-result-4268213-1502543892/solver-4268213-1502543892 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6741 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268213-1502543892.xml

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

MD5SUM BENCH= b8524f073185c8a0baa20bdfdedb9a39
RANDOM SEED=1848405116

node127.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.92
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.92
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.92
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.92
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:        29917876 kB
MemAvailable:   30727908 kB
Buffers:          272492 kB
Cached:           826660 kB
SwapCached:            0 kB
Active:          1839256 kB
Inactive:         588456 kB
Active(anon):    1328896 kB
Inactive(anon):    24908 kB
Active(file):     510360 kB
Inactive(file):   563548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2344 kB
Writeback:             0 kB
AnonPages:       1328092 kB
Mapped:            46364 kB
Shmem:             25252 kB
Slab:             129044 kB
SReclaimable:     103916 kB
SUnreclaim:        25128 kB
KernelStack:        3312 kB
PageTables:         7588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1594792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1243136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62028 MiB
End job on node127 at 2017-08-12 15:46:04