Trace number 4242269

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
R1: cosoco 1.1? (TO) 2400.03 2400.31

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.09/0.10	c root propagations     : 115         
0.09/0.10	c restarts enabled, print stats at every restarts
0.09/0.10	c
0.09/0.10	c
0.09/0.10	c
0.09/0.10	c This is cosoco 1.0 --  
0.09/0.10	c
0.09/0.10	c ========================================[ Problem Statistics ]===========================================
0.09/0.10	c |                                                                                                       
0.09/0.10	c |  Parse time        :         0.09 s 
0.09/0.10	c |
0.09/0.10	c |               Variables: 1058
0.09/0.10	c |            Domain Sizes: 23..23
0.09/0.10	c |
0.09/0.10	c |             Constraints: 1081
0.09/0.10	c |                   Arity: 1..25  -- Unary: 23
0.09/0.10	c | 
0.09/0.10	c |                   Types: 
0.09/0.10	c |                          All Different: 46
0.09/0.10	c |                          Element Variable: 1012
0.09/0.10	c |                          Unary: 23
0.09/0.10	c |                          
0.09/0.10	c =========================================================================================================
0.09/0.10	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.09/0.10	c remove useless variable y[0][0]
0.09/0.10	c remove useless variable y[1][1]
0.09/0.10	c remove useless variable y[2][2]
0.09/0.10	c remove useless variable y[3][3]
0.09/0.10	c remove useless variable y[4][4]
0.09/0.10	c remove useless variable y[5][5]
0.09/0.10	c remove useless variable y[6][6]
0.09/0.10	c remove useless variable y[7][7]
0.09/0.10	c remove useless variable y[8][8]
0.09/0.10	c remove useless variable y[9][9]
0.09/0.10	c remove useless variable y[10][10]
0.09/0.10	c remove useless variable y[11][11]
0.09/0.10	c remove useless variable y[12][12]
0.09/0.10	c remove useless variable y[13][13]
0.09/0.10	c remove useless variable y[14][14]
0.09/0.10	c remove useless variable y[15][15]
0.09/0.10	c remove useless variable y[16][16]
0.09/0.10	c remove useless variable y[17][17]
0.09/0.10	c remove useless variable y[18][18]
0.09/0.10	c remove useless variable y[19][19]
0.09/0.10	c remove useless variable y[20][20]
0.09/0.10	c remove useless variable y[21][21]
0.09/0.10	c remove useless variable y[22][22]
0.09/0.14	c 101            476            56210          21412          109            0              156   236   212
0.09/0.19	c 211            819            126027         35790          109            0              62   112   94  
0.19/0.26	c 332            1185           223133         62408          109            0              52   145   130 
0.29/0.34	c 465            1651           351288         84877          109            0              85   131   127 
0.39/0.40	c 611            2080           449389         107462         109            0              102   156   132
0.39/0.49	c 771            2634           589933         138780         109            0              150   198   182
0.49/0.57	c 947            3141           706952         165903         109            0              51   82   78   
0.59/0.65	c 1140           3688           840407         198579         109            0              67   189   167 
0.69/0.72	c 1352           4180           945982         219545         109            0              44   47   46   
0.79/0.85	c 1585           4901           1145562        264315         109            0              89   212   187 
0.89/0.95	c 1841           5632           1304675        309543         109            0              109   192   179
0.99/1.03	c 2122           6253           1425884        348093         109            0              67   86   83   
1.10/1.14	c 2431           6957           1599504        385700         109            0              61   191   116 
1.20/1.28	c 2770           7845           1819444        419146         109            0              56   106   104 
1.39/1.45	c 3142           8938           2080119        460265         109            0              58   105   102 
1.49/1.59	c 3551           9971           2300840        526505         109            0              52   143   100 
1.69/1.79	c 4000           11260          2601923        622843         109            0              52   159   142 
1.89/1.93	c 4493           12402          2833477        694561         109            0              84   211   187 
1.99/2.08	c 5035           13720          3078553        760591         109            0              100   149   129
2.20/2.28	c 5631           15062          3404324        858472         109            0              99   188   164 
2.49/2.54	c 6286           16721          3826807        982868         109            0              88   227   207 
2.89/2.90	c 7006           18803          4367098        1091334        109            0              77   90   84   
3.19/3.24	c 7798           21082          4887226        1214355        109            0              109   168   154
3.59/3.63	c 8669           23698          5487810        1394598        109            0              75   129   115 
4.29/4.33	c 9627           27257          6552103        1663728        109            0              155   200   179
4.59/4.69	c 10680          29992          7113146        1773887        109            0              59   178   78  
4.99/5.01	c 11838          32504          7639181        1948583        109            0              69   198   178 
5.60/5.63	c 13111          38045          8590026        2264545        109            0              67   202   176 
5.99/6.06	c 14511          41470          9226246        2424503        109            0              76   89   81   
6.99/7.01	c 16051          48484          10674489       2742507        109            0              65   89   73   
7.59/7.60	c 17745          52865          11629837       2999203        109            0              64   165   132 
8.09/8.19	c 19608          57091          12543125       3123228        109            0              64   75   68   
8.79/8.89	c 21657          61619          13622221       3256284        109            0              63   68   67   
9.49/9.57	c 23910          65840          14737148       3427517        109            0              60   67   63   
10.39/10.47	c 26388          71618          16191381       4012392        109            0              52   135   119 
11.59/11.69	c 29113          78131          18231046       4588786        109            0              64   250   225 
12.59/12.65	c 32110          86418          19774526       5128884        109            0              86   211   165 
13.29/13.38	c 35406          93904          20964970       5465947        109            0              65   168   135 
14.39/14.45	c 39031          101582         22698791       6011671        109            0              65   237   212 
15.58/15.63	c 43018          110349         24611184       6581669        109            0              56   203   174 
17.38/17.48	c 47403          123042         27621565       7477631        109            0              56   214   186 
18.69/18.76	c 52226          135586         29655996       8079293        109            0              56   137   111 
20.78/20.82	c 57531          149592         32924128       9046212        109            0              47   204   175 
22.78/22.87	c 63366          163268         36326783       9998172        109            0              55   235   208 
24.88/24.98	c 69784          176956         39796763       11036822       109            0              61   236   209 
26.88/26.99	c 76843          190824         43257810       12280897       109            0              88   221   205 
29.88/29.95	c 84607          208805         47823891       13726096       109            0              78   192   126 
33.09/33.14	c 93147          233369         52844672       15268888       109            0              67   214   154 
36.29/36.34	c 102541         255672         57782584       17107342       109            0              53   139   116 
37.78/37.87	c 112874         272058         60351901       18178233       109            0              56   199   174 
42.08/42.15	c 124240         298093         67548880       20531629       109            0              114   229   207
48.28/48.38	c 136742         332283         77392462       23811988       109            0              58   201   158 
51.48/51.50	c 150494         355935         82518317       25534003       109            0              59   228   206 
56.38/56.44	c 165621         388570         90962397       27836099       109            0              56   224   196 
61.38/61.43	c 182260         425188         98908081       30095675       109            0              56   193   151 
67.09/67.13	c 200562         458735         108526072      33525433       109            0              97   238   212 
73.08/73.19	c 220694         501260         118781396      36960407       109            0              91   240   207 
81.58/81.62	c 242839         544527         132490956      40273495       109            0              55   114   102 
87.48/87.53	c 267198         589918         142396097      43495816       109            0              81   213   189 
95.87/95.93	c 293992         645777         156344679      47718096       109            0              89   219   187 
108.57/108.61	c 323465         727129         176832526      52582188       109            0              71   95   78   
118.07/118.15	c 355885         792164         193374090      57147162       109            0              70   235   210 
131.87/132.00	c 391547         885360         216168474      63010531       109            0              81   210   145 
146.97/147.06	c 430775         971123         242407594      69964505       109            0              143   255   224
166.26/166.36	c 473925         1085588        273618962      76061604       109            0              63   165   152 
181.86/181.97	c 521390         1209956        298473227      80591168       109            0              75   102   83  
203.26/203.38	c 573601         1318242        335909121      91186040       109            0              111   260   229
220.96/221.00	c 631033         1435598        366026809      100216479      109            0              112   251   223
249.05/249.14	c 694208         1611209        411542407      108610894      109            0              72   101   84  
279.05/279.11	c 763700         1793412        462124125      124485543      109            0              51   225   185 
309.85/309.95	c 840141         2010238        514361382      138499420      109            0              92   195   148 
344.14/344.24	c 924226         2262724        572017432      154729413      109            0              86   207   180 
384.95/385.08	c 1016719        2514830        641157776      175963179      109            0              101   226   194
417.53/417.66	c 1118461        2737113        695951163      192465701      109            0              93   228   203 
453.63/453.79	c 1230377        2970102        759498615      212108063      109            0              77   246   221 
493.72/493.88	c 1353484        3230803        827990019      236405832      109            0              96   238   193 
541.72/541.80	c 1488901        3556789        908444510      259077019      109            0              87   205   177 
590.62/590.79	c 1637859        3852323        986065722      294182906      109            0              100   160   139
630.61/630.73	c 1801712        4169752        1055816658     318154360      109            0              82   221   182 
684.11/684.28	c 1981950        4583947        1143376370     340005887      109            0              70   97   79   
752.40/752.54	c 2180211        5095434        1254826049     369338118      109            0              61   191   110 
821.99/822.19	c 2398298        5610908        1354403041     400029120      109            0              39   48   46   
894.48/894.64	c 2638193        6140368        1479164399     440989395      109            0              62   218   177 
970.47/970.67	c 2902077        6772864        1594984201     464873004      109            0              61   69   68   
1049.66/1049.87	c 3192349        7461518        1716132964     492505112      109            0              53   66   65   
1115.26/1115.50	c 3511648        7998740        1830793022     529408492      109            0              61   175   151 
1197.24/1197.49	c 3862876        8649618        1973238427     572094301      109            0              65   214   181 
1304.54/1304.77	c 4249226        9404600        2154907555     640008946      109            0              71   220   184 
1413.33/1413.54	c 4674211        10229628       2338029589     711020416      109            0              66   223   195 
1507.81/1508.04	c 5141694        11116493       2483928475     756433527      109            0              62   108   76  
1672.70/1672.97	c 5655925        12272810       2768211404     846090674      109            0              65   240   207 
1822.28/1822.52	c 6221579        13400282       3025179954     931982426      109            0              67   229   198 
2021.67/2021.91	c 6843798        14739018       3370138137     1042502044     109            0              72   214   177 
2217.64/2217.99	c 7528238        16347516       3706980976     1144697953     109            0              65   219   170

Verifier Data 

One s line expected

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-4242269-1500660197/watcher-4242269-1500660197 -o /tmp/evaluation-result-4242269-1500660197/solver-4242269-1500660197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500648174-2499 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242269-1500660197.xml 

pid=4401
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.02 2.05 3/243 4404
/proc/meminfo: memFree=31866748/32770624 swapFree=5796/215908
[pid=4404] ppid=4401 vsize=27916 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 1194 0 0 0 1 0 0 0 20 0 1 0 1287405 28585984 1030 33554432000 4194304 5970956 140736379336704 140736379336064 139643883355109 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 6979 1030 714 434 0 343 0

[startup+0.100111 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4404
/proc/meminfo: memFree=31866748/32770624 swapFree=5796/215908
[pid=4404] ppid=4401 vsize=33732 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 2711 0 0 0 9 0 0 0 20 0 1 0 1287405 34541568 2548 33554432000 4194304 5970956 140736379336704 140736379331576 4998807 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8433 2548 768 434 0 1797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33732

[startup+0.200383 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4404
/proc/meminfo: memFree=31866748/32770624 swapFree=5796/215908
[pid=4404] ppid=4401 vsize=34392 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 2869 0 0 0 19 0 0 0 20 0 1 0 1287405 35217408 2680 33554432000 4194304 5970956 140736379336704 140736379334040 4908262 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8598 2680 773 434 0 1962 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34392

[startup+0.300324 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4404
/proc/meminfo: memFree=31866748/32770624 swapFree=5796/215908
[pid=4404] ppid=4401 vsize=34392 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 2887 0 0 0 29 0 0 0 20 0 1 0 1287405 35217408 2680 33554432000 4194304 5970956 140736379336704 140736379334040 4998697 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8598 2680 773 434 0 1962 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34392

[startup+0.700275 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4404
/proc/meminfo: memFree=31866748/32770624 swapFree=5796/215908
[pid=4404] ppid=4401 vsize=34664 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 2930 0 0 0 69 0 0 0 20 0 1 0 1287405 35495936 2746 33554432000 4194304 5970956 140736379336704 140736379334040 4998693 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8666 2746 776 434 0 2030 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34664

[startup+1.50028 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4405
/proc/meminfo: memFree=31858168/32770624 swapFree=5796/216104
[pid=4404] ppid=4401 vsize=34664 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 2955 0 0 0 149 0 0 0 20 0 1 0 1287405 35495936 2746 33554432000 4194304 5970956 140736379336704 140736379334040 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8666 2746 776 434 0 2030 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34664

[startup+3.10027 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4405
/proc/meminfo: memFree=31857720/32770624 swapFree=5796/216264
[pid=4404] ppid=4401 vsize=34796 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 4936 0 0 0 309 0 0 0 20 0 1 0 1287405 35631104 2814 33554432000 4194304 5970956 140736379336704 140736379334040 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8699 2814 776 434 0 2063 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34796

[startup+6.30029 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4405
/proc/meminfo: memFree=31857096/32770624 swapFree=5796/216260
[pid=4404] ppid=4401 vsize=34928 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 6904 0 0 0 629 0 0 0 20 0 1 0 1287405 35766272 2831 33554432000 4194304 5970956 140736379336704 140736379334040 4908508 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8732 2831 776 434 0 2096 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34928

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4405
/proc/meminfo: memFree=31856212/32770624 swapFree=5796/216276
[pid=4404] ppid=4401 vsize=35060 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 8904 0 0 0 1269 0 0 0 20 0 1 0 1287405 35901440 2833 33554432000 4194304 5970956 140736379336704 140736379334040 4998230 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2833 776 434 0 2129 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35060

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4405
/proc/meminfo: memFree=31856088/32770624 swapFree=5796/216284
[pid=4404] ppid=4401 vsize=35060 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 12914 0 0 0 2548 0 0 0 20 0 1 0 1287405 35901440 2876 33554432000 4194304 5970956 140736379336704 140736379334040 5324290 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2876 776 434 0 2129 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35060

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4405
/proc/meminfo: memFree=31855984/32770624 swapFree=5796/216320
[pid=4404] ppid=4401 vsize=35060 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 14927 0 0 0 5108 0 0 0 20 0 1 0 1287405 35901440 2876 33554432000 4194304 5970956 140736379336704 140736379334040 4998641 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2876 776 434 0 2129 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35060

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4406
/proc/meminfo: memFree=31854832/32770624 swapFree=5796/216380
[pid=4404] ppid=4401 vsize=35060 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 16944 0 0 0 10228 0 0 0 20 0 1 0 1287405 35901440 2880 33554432000 4194304 5970956 140736379336704 140736379334040 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2880 776 434 0 2129 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 35060

[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/244 4407
/proc/meminfo: memFree=31855148/32770624 swapFree=5796/216448
[pid=4404] ppid=4401 vsize=35060 CPUtime=162.26 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 17439 0 0 0 16226 0 0 0 20 0 1 0 1287405 35901440 2880 33554432000 4194304 5970956 140736379336704 140736379334040 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2880 776 434 0 2129 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 35060

[startup+222.308 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4408
/proc/meminfo: memFree=31855396/32770624 swapFree=5796/216496
[pid=4404] ppid=4401 vsize=35060 CPUtime=222.26 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 17939 0 0 0 22226 0 0 0 20 0 1 0 1287405 35901440 2889 33554432000 4194304 5970956 140736379336704 140736379334040 4998697 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2889 776 434 0 2129 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 35060

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4409
/proc/meminfo: memFree=31855928/32770624 swapFree=5796/216524
[pid=4404] ppid=4401 vsize=35060 CPUtime=282.25 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 18438 0 0 0 28225 0 0 0 20 0 1 0 1287405 35901440 2896 33554432000 4194304 5970956 140736379336704 140736379334040 4998312 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2896 776 434 0 2129 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 35060

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4410
/proc/meminfo: memFree=31856268/32770624 swapFree=5796/216556
[pid=4404] ppid=4401 vsize=35060 CPUtime=342.24 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 18937 0 0 0 34224 0 0 0 20 0 1 0 1287405 35901440 2897 33554432000 4194304 5970956 140736379336704 140736379334040 5328044 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2897 776 434 0 2129 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 35060

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4411
/proc/meminfo: memFree=31856068/32770624 swapFree=5796/216596
[pid=4404] ppid=4401 vsize=35060 CPUtime=402.24 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 19437 0 0 0 40224 0 0 0 20 0 1 0 1287405 35901440 2897 33554432000 4194304 5970956 140736379336704 140736379334040 4974671 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2897 776 434 0 2129 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 35060

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4419
/proc/meminfo: memFree=31856904/32770624 swapFree=5796/216648
[pid=4404] ppid=4401 vsize=35060 CPUtime=462.23 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 19936 0 0 0 46223 0 0 0 20 0 1 0 1287405 35901440 2897 33554432000 4194304 5970956 140736379336704 140736379334040 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2897 776 434 0 2129 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 35060

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4420
/proc/meminfo: memFree=31856780/32770624 swapFree=5796/216684
[pid=4404] ppid=4401 vsize=35060 CPUtime=522.22 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 20434 0 0 0 52222 0 0 0 20 0 1 0 1287405 35901440 2897 33554432000 4194304 5970956 140736379336704 140736379334040 4998281 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2897 776 434 0 2129 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 35060

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4421
/proc/meminfo: memFree=31856656/32770624 swapFree=5796/216716
[pid=4404] ppid=4401 vsize=35060 CPUtime=582.21 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 20932 0 0 0 58221 0 0 0 20 0 1 0 1287405 35901440 2897 33554432000 4194304 5970956 140736379336704 140736379334040 4998693 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2897 776 434 0 2129 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 35060


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


[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4447
/proc/meminfo: memFree=31855356/32770624 swapFree=5796/217272
[pid=4404] ppid=4401 vsize=35060 CPUtime=1542.11 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 28574 0 0 0 154211 0 0 0 20 0 1 0 1287405 35901440 2897 33554432000 4194304 5970956 140736379336704 140736379334040 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2897 776 434 0 2129 0
Current children cumulated CPU time (s) 1542.11
Current children cumulated vsize (KiB) 35060

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4448
/proc/meminfo: memFree=31855524/32770624 swapFree=5796/217300
[pid=4404] ppid=4401 vsize=35060 CPUtime=1602.11 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 29034 0 0 0 160210 1 0 0 20 0 1 0 1287405 35901440 2897 33554432000 4194304 5970956 140736379336704 140736379334040 4998986 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8765 2897 776 434 0 2129 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 35060

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4522
/proc/meminfo: memFree=31858648/32770624 swapFree=5796/217444
[pid=4404] ppid=4401 vsize=35192 CPUtime=1662.1 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 29503 0 0 0 166209 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379333672 4998689 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 35192

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4523
/proc/meminfo: memFree=31857092/32770624 swapFree=5796/217456
[pid=4404] ppid=4401 vsize=35192 CPUtime=1722.09 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 30001 0 0 0 172208 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 4976725 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 35192

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4524
/proc/meminfo: memFree=31857416/32770624 swapFree=5796/217480
[pid=4404] ppid=4401 vsize=35192 CPUtime=1782.09 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 30459 0 0 0 178208 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 4998287 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 35192

[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 4525
/proc/meminfo: memFree=31857452/32770624 swapFree=5796/217512
[pid=4404] ppid=4401 vsize=35192 CPUtime=1842.08 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 30959 0 0 0 184207 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 4998230 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 35192

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4526
/proc/meminfo: memFree=31858008/32770624 swapFree=5796/217548
[pid=4404] ppid=4401 vsize=35192 CPUtime=1902.07 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 31415 0 0 0 190206 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 1902.07
Current children cumulated vsize (KiB) 35192

[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4527
/proc/meminfo: memFree=31857736/32770624 swapFree=5796/217576
[pid=4404] ppid=4401 vsize=35192 CPUtime=1962.07 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 31870 0 0 0 196206 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 4998248 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 35192

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4528
/proc/meminfo: memFree=31857960/32770624 swapFree=5796/217596
[pid=4404] ppid=4401 vsize=35192 CPUtime=2022.06 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 32369 0 0 0 202205 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 4998167 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 35192

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4529
/proc/meminfo: memFree=31857108/32770624 swapFree=5796/217624
[pid=4404] ppid=4401 vsize=35192 CPUtime=2082.06 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 32830 0 0 0 208205 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 4908539 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 35192

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4530
/proc/meminfo: memFree=31857564/32770624 swapFree=5796/217648
[pid=4404] ppid=4401 vsize=35192 CPUtime=2142.05 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 33288 0 0 0 214204 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 4997804 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 35192

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4531
/proc/meminfo: memFree=31857648/32770624 swapFree=5796/217684
[pid=4404] ppid=4401 vsize=35192 CPUtime=2202.05 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 33749 0 0 0 220204 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 4998637 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 35192

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4539
/proc/meminfo: memFree=31857548/32770624 swapFree=5796/217724
[pid=4404] ppid=4401 vsize=35192 CPUtime=2262.03 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 34248 0 0 0 226202 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 35192

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4540
/proc/meminfo: memFree=31857540/32770624 swapFree=5796/217748
[pid=4404] ppid=4401 vsize=35192 CPUtime=2322.03 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 34697 0 0 0 232202 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 4998312 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 35192

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4541
/proc/meminfo: memFree=31857000/32770624 swapFree=5796/217780
[pid=4404] ppid=4401 vsize=35192 CPUtime=2382.02 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 35147 0 0 0 238201 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 5098910 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 2382.02
Current children cumulated vsize (KiB) 35192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4541
/proc/meminfo: memFree=31857248/32770624 swapFree=5796/217788
[pid=4404] ppid=4401 vsize=35192 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 35573 0 0 0 240001 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 4998306 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 35192

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 4404 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4541
/proc/meminfo: memFree=31857248/32770624 swapFree=5796/217788
[pid=4404] ppid=4401 vsize=35192 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/4404/stat : 4404 (cosoco) R 4401 4404 2468 0 -1 4202496 35573 0 0 0 240001 1 0 0 20 0 1 0 1287405 36036608 2898 33554432000 4194304 5970956 140736379336704 140736379334040 4998306 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 30031872 140736379344065 140736379344195 140736379344195 140736379346894 0
/proc/4404/statm: 8798 2898 776 434 0 2162 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 35192

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.03
CPU user time (s): 2400.02
CPU system time (s): 0.013998
CPU usage (%): 99.9885
Max. virtual memory (cumulated for all children) (KiB): 35192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.013998
maximum resident set size= 11636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35601
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= 120639

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53907 second user time and 10.9794 second system time

The end

Launcher Data 

Begin job on node125 at 2017-07-21 20:03:17
IDJOB=4242269
IDBENCH=133861
IDSOLVER=2620
FILE ID=node125/4242269-1500660197
RUNJOBID= node125-1500648174-2499
PBS_JOBID= 20623295
Free space on /tmp= 62024 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg7/QuasiGroup-7-23.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242269-1500660197/watcher-4242269-1500660197 -o /tmp/evaluation-result-4242269-1500660197/solver-4242269-1500660197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500648174-2499 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242269-1500660197.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= b8524f073185c8a0baa20bdfdedb9a39
RANDOM SEED=356032924

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31867528 kB
MemAvailable:   31858100 kB
Buffers:           33644 kB
Cached:           269212 kB
SwapCached:            0 kB
Active:           311020 kB
Inactive:         224608 kB
Active(anon):     235604 kB
Inactive(anon):     8700 kB
Active(file):      75416 kB
Inactive(file):   215908 kB
Unevictable:        5796 kB
Mlocked:            5796 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2232 kB
Writeback:             0 kB
AnonPages:        238148 kB
Mapped:            30308 kB
Shmem:              8840 kB
Slab:              61444 kB
SReclaimable:      30164 kB
SUnreclaim:        31280 kB
KernelStack:        4272 kB
PageTables:         5592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62020 MiB
End job on node125 at 2017-07-21 20:43:18