Trace number 4243009

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.11 2400.7

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os15/
SuperTaillard-os-15-22.xml
MD5SUM3ba855dc46a3fd367cb99709f0833fff
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 variables450
Number of constraints9675
Number of domains86
Minimum domain size811
Maximum domain size909
Distribution of domain sizes[{"size":811,"count":4},{"size":812,"count":6},{"size":813,"count":4},{"size":814,"count":6},{"size":815,"count":6},{"size":816,"count":6},{"size":818,"count":6},{"size":820,"count":4},{"size":821,"count":8},{"size":822,"count":2},{"size":823,"count":2},{"size":824,"count":6},{"size":825,"count":2},{"size":826,"count":2},{"size":827,"count":12},{"size":828,"count":4},{"size":829,"count":4},{"size":830,"count":6},{"size":831,"count":2},{"size":832,"count":4},{"size":833,"count":12},{"size":834,"count":10},{"size":835,"count":2},{"size":837,"count":8},{"size":838,"count":8},"...",{"size":878,"count":6}, {"size":879,"count":2}, {"size":880,"count":2}, {"size":881,"count":6}, {"size":882,"count":6}, {"size":884,"count":4}, {"size":885,"count":6}, {"size":886,"count":6}, {"size":887,"count":4}, {"size":888,"count":4}, {"size":889,"count":2}, {"size":890,"count":8}, {"size":891,"count":6}, {"size":892,"count":6}, {"size":893,"count":6}, {"size":894,"count":8}, {"size":895,"count":8}, {"size":896,"count":8}, {"size":898,"count":4}, {"size":901,"count":4}, {"size":902,"count":4}, {"size":905,"count":6}, {"size":906,"count":2}, {"size":907,"count":10}, {"size":909,"count":4}]
Minimum variable degree29
Maximum variable degree57
Distribution of variable degrees[{"degree":29,"count":225},{"degree":57,"count":225}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":9675}]
Number of extensional constraints0
Number of intensional constraints9675
Distribution of constraint types[{"type":"intension","count":9675}]
Optimization problemNO
Type of objective

Solver Data

10.69/10.75	c intension x0 != x1  using generic constraint 
10.69/10.75	c intension x2 != x3  using generic constraint 
10.69/10.75	c intension x4 != x5  using generic constraint 
10.69/10.75	c intension x6 != x7  using generic constraint 
10.69/10.76	c intension x8 != x9  using generic constraint 
10.69/10.76	c intension x10 != x11  using generic constraint 
10.69/10.76	c intension x12 != x13  using generic constraint 
10.69/10.76	c intension x14 != x15  using generic constraint 
10.69/10.76	c intension x16 != x17  using generic constraint 
10.69/10.76	c intension x18 != x19  using generic constraint 
10.69/10.76	c intension x20 != x21  using generic constraint 
10.69/10.76	c intension x22 != x23  using generic constraint 
10.69/10.76	c intension x24 != x25  using generic constraint 
10.69/10.76	c intension x26 != x27  using generic constraint 
10.69/10.76	c intension x28 != x29  using generic constraint 
10.69/10.77	c intension x30 != x31  using generic constraint 
10.69/10.77	c intension x32 != x33  using generic constraint 
10.69/10.77	c intension x34 != x35  using generic constraint 
10.69/10.77	c intension x36 != x37  using generic constraint 
10.69/10.77	c intension x38 != x39  using generic constraint 
10.69/10.77	c intension x40 != x41  using generic constraint 
10.69/10.77	c intension x42 != x43  using generic constraint 
10.69/10.77	c intension x44 != x45  using generic constraint 
10.69/10.77	c intension x46 != x47  using generic constraint 
10.69/10.77	c intension x48 != x49  using generic constraint 
10.69/10.77	c intension x50 != x51  using generic constraint 
10.69/10.77	c intension x52 != x53  using generic constraint 
10.69/10.78	c intension x54 != x55  using generic constraint 
10.69/10.78	c intension x56 != x57  using generic constraint 
10.69/10.78	c intension x58 != x59  using generic constraint 
10.69/10.78	c intension x60 != x61  using generic constraint 
10.69/10.78	c intension x62 != x63  using generic constraint 
10.69/10.78	c intension x64 != x65  using generic constraint 
10.69/10.78	c intension x66 != x67  using generic constraint 
10.69/10.78	c intension x68 != x69  using generic constraint 
10.69/10.78	c intension x70 != x71  using generic constraint 
10.69/10.78	c intension x72 != x73  using generic constraint 
10.69/10.78	c intension x74 != x75  using generic constraint 
10.69/10.79	c intension x76 != x77  using generic constraint 
10.69/10.79	c intension x78 != x79  using generic constraint 
10.69/10.79	c intension x80 != x81  using generic constraint 
10.69/10.79	c intension x82 != x83  using generic constraint 
10.69/10.79	c intension x84 != x85  using generic constraint 
10.69/10.79	c intension x86 != x87  using generic constraint 
10.69/10.79	c intension x88 != x89  using generic constraint 
10.69/10.79	c intension x90 != x91  using generic constraint 
10.69/10.79	c intension x92 != x93  using generic constraint 
10.69/10.79	c intension x94 != x95  using generic constraint 
10.69/10.79	c intension x96 != x97  using generic constraint 
10.69/10.79	c intension x98 != x99  using generic constraint 
10.78/10.80	c intension x100 != x101  using generic constraint 
10.78/10.80	c intension x102 != x103  using generic constraint 
10.78/10.80	c intension x104 != x105  using generic constraint 
10.78/10.80	c intension x106 != x107  using generic constraint 
10.78/10.80	c intension x108 != x109  using generic constraint 
10.78/10.80	c intension x110 != x111  using generic constraint 
10.78/10.80	c intension x112 != x113  using generic constraint 
10.78/10.80	c intension x114 != x115  using generic constraint 
10.78/10.80	c intension x116 != x117  using generic constraint 
10.78/10.80	c intension x118 != x119  using generic constraint 
10.78/10.80	c intension x120 != x121  using generic constraint 
10.78/10.81	c intension x122 != x123  using generic constraint 
10.78/10.81	c intension x124 != x125  using generic constraint 
10.78/10.81	c intension x126 != x127  using generic constraint 
10.78/10.81	c intension x128 != x129  using generic constraint 
10.78/10.81	c intension x130 != x131  using generic constraint 
10.78/10.81	c intension x132 != x133  using generic constraint 
10.78/10.81	c intension x134 != x135  using generic constraint 
10.78/10.81	c intension x136 != x137  using generic constraint 
10.78/10.81	c intension x138 != x139  using generic constraint 
10.78/10.81	c intension x140 != x141  using generic constraint 
10.78/10.81	c intension x142 != x143  using generic constraint 
10.78/10.81	c intension x144 != x145  using generic constraint 
10.78/10.82	c intension x146 != x147  using generic constraint 
10.78/10.82	c intension x148 != x149  using generic constraint 
10.78/10.82	c intension x150 != x151  using generic constraint 
10.78/10.82	c intension x152 != x153  using generic constraint 
10.78/10.82	c intension x154 != x155  using generic constraint 
10.78/10.82	c intension x156 != x157  using generic constraint 
10.78/10.82	c intension x158 != x159  using generic constraint 
10.78/10.82	c intension x160 != x161  using generic constraint 
10.78/10.82	c intension x162 != x163  using generic constraint 
10.78/10.82	c intension x164 != x165  using generic constraint 
10.78/10.82	c intension x166 != x167  using generic constraint 
10.78/10.83	c intension x168 != x169  using generic constraint 
10.78/10.83	c intension x170 != x171  using generic constraint 
10.78/10.83	c intension x172 != x173  using generic constraint 
10.78/10.83	c intension x174 != x175  using generic constraint 
10.78/10.83	c intension x176 != x177  using generic constraint 
10.78/10.83	c intension x178 != x179  using generic constraint 
10.78/10.83	c intension x180 != x181  using generic constraint 
10.78/10.83	c intension x182 != x183  using generic constraint 
10.78/10.83	c intension x184 != x185  using generic constraint 
10.78/10.83	c intension x186 != x187  using generic constraint 
10.78/10.83	c intension x188 != x189  using generic constraint 
10.78/10.83	c intension x190 != x191  using generic constraint 
10.78/10.84	c intension x192 != x193  using generic constraint 
10.78/10.84	c intension x194 != x195  using generic constraint 
10.78/10.84	c intension x196 != x197  using generic constraint 
10.78/10.84	c intension x198 != x199  using generic constraint 
10.78/10.84	c intension x200 != x201  using generic constraint 
10.78/10.84	c intension x202 != x203  using generic constraint 
10.78/10.84	c intension x204 != x205  using generic constraint 
10.78/10.84	c intension x206 != x207  using generic constraint 
10.78/10.84	c intension x208 != x209  using generic constraint 
10.78/10.84	c intension x210 != x211  using generic constraint 
10.78/10.84	c intension x212 != x213  using generic constraint 
10.78/10.85	c intension x214 != x215  using generic constraint 
10.78/10.85	c intension x216 != x217  using generic constraint 
10.78/10.85	c intension x218 != x219  using generic constraint 
10.78/10.85	c intension x220 != x221  using generic constraint 
10.78/10.85	c intension x222 != x223  using generic constraint 
10.78/10.85	c intension x224 != x225  using generic constraint 
10.78/10.85	c intension x226 != x227  using generic constraint 
10.78/10.85	c intension x228 != x229  using generic constraint 
10.78/10.85	c intension x230 != x231  using generic constraint 
10.78/10.85	c intension x232 != x233  using generic constraint 
10.78/10.85	c intension x234 != x235  using generic constraint 
10.78/10.85	c intension x236 != x237  using generic constraint 
10.78/10.86	c intension x238 != x239  using generic constraint 
10.78/10.86	c intension x240 != x241  using generic constraint 
10.78/10.86	c intension x242 != x243  using generic constraint 
10.78/10.86	c intension x244 != x245  using generic constraint 
10.78/10.86	c intension x246 != x247  using generic constraint 
10.78/10.86	c intension x248 != x249  using generic constraint 
10.78/10.86	c intension x250 != x251  using generic constraint 
10.78/10.86	c intension x252 != x253  using generic constraint 
10.78/10.86	c intension x254 != x255  using generic constraint 
10.78/10.86	c intension x256 != x257  using generic constraint 
10.78/10.86	c intension x258 != x259  using generic constraint 
10.78/10.86	c intension x260 != x261  using generic constraint 
10.78/10.87	c intension x262 != x263  using generic constraint 
10.78/10.87	c intension x264 != x265  using generic constraint 
10.78/10.87	c intension x266 != x267  using generic constraint 
10.78/10.87	c intension x268 != x269  using generic constraint 
10.78/10.87	c intension x270 != x271  using generic constraint 
10.78/10.87	c intension x272 != x273  using generic constraint 
10.78/10.87	c intension x274 != x275  using generic constraint 
10.78/10.87	c intension x276 != x277  using generic constraint 
10.78/10.87	c intension x278 != x279  using generic constraint 
10.78/10.87	c intension x280 != x281  using generic constraint 
10.78/10.87	c intension x282 != x283  using generic constraint 
10.78/10.88	c intension x284 != x285  using generic constraint 
10.78/10.88	c intension x286 != x287  using generic constraint 
10.78/10.88	c intension x288 != x289  using generic constraint 
10.78/10.88	c intension x290 != x291  using generic constraint 
10.78/10.88	c intension x292 != x293  using generic constraint 
10.78/10.88	c intension x294 != x295  using generic constraint 
10.78/10.88	c intension x296 != x297  using generic constraint 
10.78/10.88	c intension x298 != x299  using generic constraint 
10.78/10.88	c intension x300 != x301  using generic constraint 
10.78/10.88	c intension x302 != x303  using generic constraint 
10.78/10.88	c intension x304 != x305  using generic constraint 
10.78/10.88	c intension x306 != x307  using generic constraint 
10.78/10.89	c intension x308 != x309  using generic constraint 
10.78/10.89	c intension x310 != x311  using generic constraint 
10.78/10.89	c intension x312 != x313  using generic constraint 
10.78/10.89	c intension x314 != x315  using generic constraint 
10.78/10.89	c intension x316 != x317  using generic constraint 
10.78/10.89	c intension x318 != x319  using generic constraint 
10.78/10.89	c intension x320 != x321  using generic constraint 
10.78/10.89	c intension x322 != x323  using generic constraint 
10.78/10.89	c intension x324 != x325  using generic constraint 
10.78/10.89	c intension x326 != x327  using generic constraint 
10.78/10.89	c intension x328 != x329  using generic constraint 
10.78/10.90	c intension x330 != x331  using generic constraint 
10.88/10.90	c intension x332 != x333  using generic constraint 
10.88/10.90	c intension x334 != x335  using generic constraint 
10.88/10.90	c intension x336 != x337  using generic constraint 
10.88/10.90	c intension x338 != x339  using generic constraint 
10.88/10.90	c intension x340 != x341  using generic constraint 
10.88/10.90	c intension x342 != x343  using generic constraint 
10.88/10.90	c intension x344 != x345  using generic constraint 
10.88/10.90	c intension x346 != x347  using generic constraint 
10.88/10.90	c intension x348 != x349  using generic constraint 
10.88/10.90	c intension x350 != x351  using generic constraint 
10.88/10.90	c intension x352 != x353  using generic constraint 
10.88/10.91	c intension x354 != x355  using generic constraint 
10.88/10.91	c intension x356 != x357  using generic constraint 
10.88/10.91	c intension x358 != x359  using generic constraint 
10.88/10.91	c intension x360 != x361  using generic constraint 
10.88/10.91	c intension x362 != x363  using generic constraint 
10.88/10.91	c intension x364 != x365  using generic constraint 
10.88/10.91	c intension x366 != x367  using generic constraint 
10.88/10.91	c intension x368 != x369  using generic constraint 
10.88/10.91	c intension x370 != x371  using generic constraint 
10.88/10.91	c intension x372 != x373  using generic constraint 
10.88/10.91	c intension x374 != x375  using generic constraint 
10.88/10.92	c intension x376 != x377  using generic constraint 
10.88/10.92	c intension x378 != x379  using generic constraint 
10.88/10.92	c intension x380 != x381  using generic constraint 
10.88/10.92	c intension x382 != x383  using generic constraint 
10.88/10.92	c intension x384 != x385  using generic constraint 
10.88/10.92	c intension x386 != x387  using generic constraint 
10.88/10.92	c intension x388 != x389  using generic constraint 
10.88/10.92	c intension x390 != x391  using generic constraint 
10.88/10.92	c intension x392 != x393  using generic constraint 
10.88/10.92	c intension x394 != x395  using generic constraint 
10.88/10.92	c intension x396 != x397  using generic constraint 
10.88/10.92	c intension x398 != x399  using generic constraint 
10.88/10.93	c intension x400 != x401  using generic constraint 
10.88/10.93	c intension x402 != x403  using generic constraint 
10.88/10.93	c intension x404 != x405  using generic constraint 
10.88/10.93	c intension x406 != x407  using generic constraint 
10.88/10.93	c intension x408 != x409  using generic constraint 
10.88/10.93	c intension x410 != x411  using generic constraint 
10.88/10.93	c intension x412 != x413  using generic constraint 
10.88/10.93	c intension x414 != x415  using generic constraint 
10.88/10.93	c intension x416 != x417  using generic constraint 
10.88/10.93	c intension x418 != x419  using generic constraint 
10.88/10.93	c intension x420 != x421  using generic constraint 
10.88/10.94	c intension x422 != x423  using generic constraint 
10.88/10.94	c intension x424 != x425  using generic constraint 
10.88/10.94	c intension x426 != x427  using generic constraint 
10.88/10.94	c intension x428 != x429  using generic constraint 
10.88/10.94	c intension x430 != x431  using generic constraint 
10.88/10.94	c intension x432 != x433  using generic constraint 
10.88/10.94	c intension x434 != x435  using generic constraint 
10.88/10.94	c intension x436 != x437  using generic constraint 
10.88/10.94	c intension x438 != x439  using generic constraint 
10.88/10.94	c intension x440 != x441  using generic constraint 
10.88/10.94	c intension x442 != x443  using generic constraint 
10.88/10.94	c intension x444 != x445  using generic constraint 
10.88/10.95	c intension x446 != x447  using generic constraint 
10.88/10.95	c intension x448 != x449  using generic constraint 
10.88/10.96	c root propagations     : 0           
10.88/10.96	c restarts enabled, print stats at every restarts
10.88/10.96	c
10.88/10.96	c
10.88/10.96	c
10.88/10.96	c This is cosoco 1.0 --  
10.88/10.96	c
10.88/10.96	c ========================================[ Problem Statistics ]===========================================
10.88/10.96	c |                                                                                                       
10.88/10.96	c |  Parse time        :        10.83 s 
10.88/10.96	c |
10.88/10.96	c |               Variables: 450
10.88/10.96	c |            Domain Sizes: 811..909
10.88/10.96	c |
10.88/10.96	c |             Constraints: 9675
10.88/10.96	c |                   Arity: 2..2  -- Binary: 9675
10.88/10.96	c | 
10.88/10.96	c |                   Types: 
10.88/10.96	c |                          (X != Y): 225
10.88/10.96	c |                          Intension: 9450
10.88/10.96	c |                          
10.88/10.96	c =========================================================================================================
10.88/10.96	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
11.48/11.50	c 101            117            91653          372992         0              0              13   15   13   
11.98/12.01	c 211            241            131379         1120630        0              0              13   13   12   
12.68/12.75	c 332            379            219985         1951112        0              0              11   11   10   
13.38/13.47	c 465            522            266091         3065685        0              0              11   11   10   
13.88/13.92	c 611            679            302206         3873016        0              0              10   10   9    
14.58/14.62	c 771            852            358609         5042791        0              0              11   12   10   
15.48/15.54	c 947            1047           458200         5887699        0              0              11   12   10   
16.58/16.63	c 1140           1259           565715         7394052        0              0              10   12   10   
17.68/17.73	c 1352           1497           691965         8567571        0              0              10   11   10   
18.68/18.74	c 1585           1753           810446         9843207        0              0              10   12   10   
19.57/19.68	c 1841           2026           896334         11112305       0              0              10   11   9    
21.38/21.45	c 2122           2326           1027215        13517532       0              0              10   11   10   
22.68/22.74	c 2431           2661           1162119        15151488       0              0              10   11   10   
24.19/24.30	c 2770           3036           1344076        17007410       0              0              10   12   10   
25.88/25.96	c 3142           3438           1516759        18578112       0              0              10   11   10   
27.98/28.07	c 3551           3875           1692839        21717628       0              0              10   12   10   
30.38/30.46	c 4000           4362           1922936        23913286       0              0              10   13   11   
32.27/32.31	c 4493           4883           2077103        27011641       0              0              10   11   10   
34.87/34.98	c 5035           5466           2323983        30432395       0              0              10   13   10   
37.97/38.08	c 5631           6109           2641298        33630937       0              0              10   12   10   
41.27/41.38	c 6286           6808           2958477        36762830       0              0              10   12   10   
44.67/44.74	c 7006           7583           3298548        41839765       0              0              10   13   11   
47.77/47.89	c 7798           8415           3562410        47137313       0              0              10   11   10   
51.17/51.20	c 8669           9335           3873432        51468060       0              0              10   11   10   
55.77/55.87	c 9627           10369          4378557        55118755       0              0              11   13   11   
61.06/61.19	c 10680          11466          4726593        63051278       0              0              10   12   10   
65.46/65.52	c 11838          12671          5062802        70675724       0              0              10   11   10   
71.66/71.78	c 13111          14031          5660081        75587358       0              0              11   13   11   
78.55/78.63	c 14511          15496          6189703        84984644       0              0              10   11   10   
84.46/84.52	c 16051          17098          6648667        94506437       0              0              10   11   10   
92.66/92.79	c 17745          18890          7286818        104882786      0              0              10   13   10   
101.85/101.90	c 19608          20817          7923026        118287191      0              0              10   11   10   
112.75/112.89	c 21657          22995          9026267        130466972      0              0              9   12   10    
120.85/120.93	c 23910          25398          9710296        142566073      0              0              9   11   9     
130.54/130.66	c 26388          27967          10319270       159128600      0              0              10   12   10   
141.54/141.63	c 29113          30764          10988045       177232208      0              0              10   11   10   
150.93/151.03	c 32110          33814          11552506       195257970      0              0              10   12   10   
162.13/162.23	c 35406          37177          12240656       217820151      0              0              10   11   10   
180.03/180.12	c 39031          41042          14228455       232018368      0              0              10   13   11   
194.32/194.43	c 43018          45087          14982051       260591720      0              0              10   12   10   
212.22/212.32	c 47403          49573          15970511       290024628      0              0              10   11   10   
228.81/228.97	c 52226          54597          17163084       317522094      0              0              9   11   9     
253.10/253.20	c 57531          60216          19650449       351203939      0              0              9   12   10    
269.80/269.93	c 63366          66158          20697854       382451402      0              0              10   11   10   
300.69/300.89	c 69784          72709          22337330       431472030      0              0              10   12   10   
334.08/334.29	c 76843          80168          25297169       469656718      0              0              9   12   10    
373.77/374.00	c 84607          88382          28500342       525779496      0              0              9   13   10    
414.16/414.31	c 93147          97366          31462069       586604133      0              0              9   12   10    
458.05/458.25	c 102541         107355         35621042       652040692      0              0              10   13   11   
493.54/493.74	c 112874         117980         37791228       713180527      0              0              9   12   9     
521.13/521.35	c 124240         129529         39394960       765411463      0              0              9   11   10    
586.23/586.42	c 136742         142820         44990764       836325658      0              0              10   14   12   
643.80/644.00	c 150494         157286         49477696       923031959      0              0              9   13   10    
705.19/705.43	c 165621         173064         54462489       1022909623     0              0              9   12   10    
776.67/776.93	c 182260         190607         60270761       1112768599     0              0              9   12   10    
842.95/843.21	c 200562         209405         64076184       1231784933     0              0              9   12   10    
923.75/924.06	c 220694         230302         69687957       1366669304     0              0              9   11   9     
1032.11/1032.44	c 242839         253810         79629561       1480700765     0              0              9   13   11    
1109.40/1109.79	c 267198         278548         83689903       1639186129     0              0              9   12   10    
1205.77/1206.15	c 293992         306287         90370087       1796501382     0              0              9   11   9     
1316.55/1316.92	c 323465         336565         96893183       1993501753     0              0              9   12   10    
1450.12/1450.57	c 355885         370446         107523270      2171427448     0              0              9   13   11    
1604.18/1604.64	c 391547         407878         119222790      2385748229     0              0              9   12   10    
1744.26/1744.77	c 430775         448524         128612537      2622927488     0              0              9   12   10    
1909.01/1909.50	c 473925         493213         140542734      2908362893     0              0              9   13   11    
2063.08/2063.68	c 521390         541699         149089469      3187183647     0              0              9   11   9     
2333.21/2333.84	c 573601         597936         178297206      3401602444     0              0              11   14   12   

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-4243009-1500670650/watcher-4243009-1500670650 -o /tmp/evaluation-result-4243009-1500670650/solver-4243009-1500670650 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500668248-5057 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4243009-1500670650.xml 

pid=5230
running on 8 cores: 1,3,5,7,9,11,13,15

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.04 2.03 1.96 3/237 5233
/proc/meminfo: memFree=32031188/32770624 swapFree=5804/218716
[pid=5233] ppid=5230 vsize=29236 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 1485 0 0 0 0 0 0 0 20 0 1 0 2333638 29937664 1295 33554432000 4194304 5970956 140735741873376 140735741870024 139870276332517 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 7309 1295 681 434 0 673 0

[startup+0.100115 s]
/proc/loadavg: 2.04 2.03 1.96 3/237 5233
/proc/meminfo: memFree=32031188/32770624 swapFree=5804/218716
[pid=5233] ppid=5230 vsize=30724 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 1888 0 0 0 9 0 0 0 20 0 1 0 2333638 31461376 1691 33554432000 4194304 5970956 140735741873376 140735741868776 139870279815131 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 7681 1691 730 434 0 1045 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30724

[startup+0.200295 s]
/proc/loadavg: 2.04 2.03 1.96 3/237 5233
/proc/meminfo: memFree=32031188/32770624 swapFree=5804/218716
[pid=5233] ppid=5230 vsize=31260 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 2026 0 0 0 19 0 0 0 20 0 1 0 2333638 32010240 1862 33554432000 4194304 5970956 140735741873376 140735741869976 139870276332517 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 7815 1862 730 434 0 1179 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31260

[startup+0.300223 s]
/proc/loadavg: 2.04 2.03 1.96 3/237 5233
/proc/meminfo: memFree=32031188/32770624 swapFree=5804/218716
[pid=5233] ppid=5230 vsize=31972 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 2199 0 0 0 29 0 0 0 20 0 1 0 2333638 32739328 2018 33554432000 4194304 5970956 140735741873376 140735741869976 139870279810966 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 7993 2018 730 434 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31972

[startup+0.700182 s]
/proc/loadavg: 2.04 2.03 1.96 3/237 5233
/proc/meminfo: memFree=32031188/32770624 swapFree=5804/218716
[pid=5233] ppid=5230 vsize=40316 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 4362 0 0 0 68 1 0 0 20 0 1 0 2333638 41283584 4082 33554432000 4194304 5970956 140735741873376 140735741864984 4966541 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 10079 4082 776 434 0 3443 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40316

[startup+1.50018 s]
/proc/loadavg: 2.04 2.03 1.96 3/243 5292
/proc/meminfo: memFree=31997812/32770624 swapFree=5804/218784
[pid=5233] ppid=5230 vsize=63812 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 10249 0 0 0 148 1 0 0 20 0 1 0 2333638 65343488 9956 33554432000 4194304 5970956 140735741873376 140735741866872 139870276332517 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 15953 9956 776 434 0 9317 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63812

[startup+3.10018 s]
/proc/loadavg: 2.04 2.03 1.96 3/243 5292
/proc/meminfo: memFree=31957360/32770624 swapFree=5804/218776
[pid=5233] ppid=5230 vsize=111192 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 22452 0 0 0 306 3 0 0 20 0 1 0 2333638 113860608 21803 33554432000 4194304 5970956 140735741873376 140735741866968 139870276332517 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 27798 21803 776 434 0 21162 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111192

[startup+6.30024 s]
/proc/loadavg: 2.04 2.03 1.96 3/243 5292
/proc/meminfo: memFree=31857900/32770624 swapFree=5804/218772
[pid=5233] ppid=5230 vsize=206004 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 46832 0 0 0 622 6 0 0 20 0 1 0 2333638 210948096 45537 33554432000 4194304 5970956 140735741873376 140735741864984 4966541 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 51501 45537 776 434 0 44865 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 206004

[startup+12.7003 s]
/proc/loadavg: 2.04 2.03 1.96 3/243 5292
/proc/meminfo: memFree=31682320/32770624 swapFree=5804/218748
[pid=5233] ppid=5230 vsize=356432 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 94304 0 0 0 1256 12 0 0 20 0 1 0 2333638 364986368 83250 33554432000 4194304 5970956 140735741873376 140735741870440 4964705 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 89108 83250 823 434 0 82472 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 356432

[startup+25.5004 s]
/proc/loadavg: 2.03 2.02 1.96 3/243 5292
/proc/meminfo: memFree=31677768/32770624 swapFree=5804/218768
[pid=5233] ppid=5230 vsize=361316 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 115632 0 0 0 2535 13 0 0 20 0 1 0 2333638 369987584 84490 33554432000 4194304 5970956 140735741873376 140735741870712 4961427 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 90329 84490 823 434 0 83693 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 361316

[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 1.96 3/243 5293
/proc/meminfo: memFree=31676728/32770624 swapFree=5804/218800
[pid=5233] ppid=5230 vsize=362372 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 134516 0 0 0 5093 14 0 0 20 0 1 0 2333638 371068928 84766 33554432000 4194304 5970956 140735741873376 140735741870712 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 90593 84766 823 434 0 83957 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 362372

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/243 5294
/proc/meminfo: memFree=31670900/32770624 swapFree=5804/218896
[pid=5233] ppid=5230 vsize=362768 CPUtime=102.26 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 157029 0 0 0 10211 15 0 0 20 0 1 0 2333638 371474432 84872 33554432000 4194304 5970956 140735741873376 140735741870712 4961400 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 90692 84872 823 434 0 84056 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 362768

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/243 5302
/proc/meminfo: memFree=31669588/32770624 swapFree=5804/218976
[pid=5233] ppid=5230 vsize=363428 CPUtime=162.23 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 165666 0 0 0 16208 15 0 0 20 0 1 0 2333638 372150272 85028 33554432000 4194304 5970956 140735741873376 140735741870712 5052093 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 90857 85028 823 434 0 84221 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 363428

[startup+222.308 s]
/proc/loadavg: 2.08 2.03 1.97 3/244 5326
/proc/meminfo: memFree=31663044/32770624 swapFree=5804/219040
[pid=5233] ppid=5230 vsize=363560 CPUtime=222.22 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 170991 0 0 0 22207 15 0 0 20 0 1 0 2333638 372285440 85065 33554432000 4194304 5970956 140735741873376 140735741870712 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 90890 85065 823 434 0 84254 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 363560

[startup+282.3 s]
/proc/loadavg: 2.12 2.06 1.98 3/244 5327
/proc/meminfo: memFree=31663408/32770624 swapFree=5804/219104
[pid=5233] ppid=5230 vsize=363956 CPUtime=282.19 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 171441 0 0 0 28204 15 0 0 20 0 1 0 2333638 372690944 85154 33554432000 4194304 5970956 140735741873376 140735741870440 5069712 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 90989 85154 823 434 0 84353 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 363956

[startup+342.3 s]
/proc/loadavg: 2.14 2.07 1.99 3/244 5328
/proc/meminfo: memFree=31663848/32770624 swapFree=5804/219148
[pid=5233] ppid=5230 vsize=364088 CPUtime=342.18 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 171895 0 0 0 34203 15 0 0 20 0 1 0 2333638 372826112 85184 33554432000 4194304 5970956 140735741873376 140735741870712 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91022 85184 823 434 0 84386 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 364088

[startup+402.3 s]
/proc/loadavg: 2.05 2.06 1.99 3/244 5329
/proc/meminfo: memFree=31662596/32770624 swapFree=5804/219184
[pid=5233] ppid=5230 vsize=364220 CPUtime=402.16 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 172270 0 0 0 40201 15 0 0 20 0 1 0 2333638 372961280 85228 33554432000 4194304 5970956 140735741873376 140735741870440 5070437 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91055 85228 823 434 0 84419 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 364220

[startup+462.3 s]
/proc/loadavg: 2.02 2.05 1.99 3/244 5330
/proc/meminfo: memFree=31661312/32770624 swapFree=5804/219224
[pid=5233] ppid=5230 vsize=364352 CPUtime=462.15 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 172647 0 0 0 46200 15 0 0 20 0 1 0 2333638 373096448 85258 33554432000 4194304 5970956 140735741873376 140735741870712 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91088 85258 823 434 0 84452 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 364352

[startup+522.3 s]
/proc/loadavg: 2.04 2.06 1.99 3/243 5331
/proc/meminfo: memFree=31660520/32770624 swapFree=5804/219268
[pid=5233] ppid=5230 vsize=364484 CPUtime=522.13 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 173105 0 0 0 52198 15 0 0 20 0 1 0 2333638 373231616 85287 33554432000 4194304 5970956 140735741873376 140735741870712 4964797 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91121 85287 823 434 0 84485 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 364484

[startup+582.3 s]
/proc/loadavg: 2.01 2.04 1.99 3/243 5332
/proc/meminfo: memFree=31659916/32770624 swapFree=5804/219300
[pid=5233] ppid=5230 vsize=364484 CPUtime=582.12 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 173378 0 0 0 58197 15 0 0 20 0 1 0 2333638 373231616 85292 33554432000 4194304 5970956 140735741873376 140735741870712 5071014 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91121 85292 823 434 0 84485 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 364484


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 5365
/proc/meminfo: memFree=31655004/32770624 swapFree=5804/219884
[pid=5233] ppid=5230 vsize=365936 CPUtime=1541.9 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 179111 0 0 0 154174 16 0 0 20 0 1 0 2333638 374718464 85657 33554432000 4194304 5970956 140735741873376 140735741870712 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91484 85657 823 434 0 84848 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 365936

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/243 5366
/proc/meminfo: memFree=31654144/32770624 swapFree=5804/219912
[pid=5233] ppid=5230 vsize=366728 CPUtime=1601.88 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 179854 0 0 0 160172 16 0 0 20 0 1 0 2333638 375529472 85862 33554432000 4194304 5970956 140735741873376 140735741870440 5070994 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91682 85862 823 434 0 85046 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 366728

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/243 5368
/proc/meminfo: memFree=31652712/32770624 swapFree=5804/219944
[pid=5233] ppid=5230 vsize=366860 CPUtime=1661.87 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 180131 0 0 0 166171 16 0 0 20 0 1 0 2333638 375664640 85870 33554432000 4194304 5970956 140735741873376 140735741870440 5319840 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91715 85870 823 434 0 85079 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 366860

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/243 5369
/proc/meminfo: memFree=31653308/32770624 swapFree=5804/219972
[pid=5233] ppid=5230 vsize=366860 CPUtime=1721.85 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 180414 0 0 0 172169 16 0 0 20 0 1 0 2333638 375664640 85872 33554432000 4194304 5970956 140735741873376 140735741870440 5070976 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91715 85872 823 434 0 85079 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 366860

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/243 5370
/proc/meminfo: memFree=31654060/32770624 swapFree=5804/220008
[pid=5233] ppid=5230 vsize=366860 CPUtime=1781.84 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 180706 0 0 0 178168 16 0 0 20 0 1 0 2333638 375664640 85877 33554432000 4194304 5970956 140735741873376 140735741870712 4968168 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91715 85877 823 434 0 85079 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 366860

[startup+1842.3 s]
/proc/loadavg: 2.07 2.03 2.02 3/243 5372
/proc/meminfo: memFree=31654044/32770624 swapFree=5804/220036
[pid=5233] ppid=5230 vsize=366860 CPUtime=1841.82 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 180968 0 0 0 184166 16 0 0 20 0 1 0 2333638 375664640 85884 33554432000 4194304 5970956 140735741873376 140735741870712 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91715 85884 823 434 0 85079 0
Current children cumulated CPU time (s) 1841.82
Current children cumulated vsize (KiB) 366860

[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.02 3/243 5373
/proc/meminfo: memFree=31655000/32770624 swapFree=5804/220068
[pid=5233] ppid=5230 vsize=366860 CPUtime=1901.81 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 181576 0 0 0 190165 16 0 0 20 0 1 0 2333638 375664640 85892 33554432000 4194304 5970956 140735741873376 140735741870712 5070146 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91715 85892 823 434 0 85079 0
Current children cumulated CPU time (s) 1901.81
Current children cumulated vsize (KiB) 366860

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/243 5381
/proc/meminfo: memFree=31653268/32770624 swapFree=5804/220112
[pid=5233] ppid=5230 vsize=366992 CPUtime=1961.79 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 181905 0 0 0 196163 16 0 0 20 0 1 0 2333638 375799808 85898 33554432000 4194304 5970956 140735741873376 140735741870440 5070435 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91748 85898 823 434 0 85112 0
Current children cumulated CPU time (s) 1961.79
Current children cumulated vsize (KiB) 366992

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 5382
/proc/meminfo: memFree=31653380/32770624 swapFree=5804/220148
[pid=5233] ppid=5230 vsize=366992 CPUtime=2021.78 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 182153 0 0 0 202162 16 0 0 20 0 1 0 2333638 375799808 85899 33554432000 4194304 5970956 140735741873376 140735741870440 4968251 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91748 85899 823 434 0 85112 0
Current children cumulated CPU time (s) 2021.78
Current children cumulated vsize (KiB) 366992

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 5383
/proc/meminfo: memFree=31653808/32770624 swapFree=5804/220184
[pid=5233] ppid=5230 vsize=366992 CPUtime=2081.78 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 182458 0 0 0 208162 16 0 0 20 0 1 0 2333638 375799808 85912 33554432000 4194304 5970956 140735741873376 140735741870712 5070400 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91748 85912 823 434 0 85112 0
Current children cumulated CPU time (s) 2081.78
Current children cumulated vsize (KiB) 366992

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 5384
/proc/meminfo: memFree=31653660/32770624 swapFree=5804/220216
[pid=5233] ppid=5230 vsize=366992 CPUtime=2141.76 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 182736 0 0 0 214160 16 0 0 20 0 1 0 2333638 375799808 85913 33554432000 4194304 5970956 140735741873376 140735741870712 5070400 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91748 85913 823 434 0 85112 0
Current children cumulated CPU time (s) 2141.76
Current children cumulated vsize (KiB) 366992

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 5385
/proc/meminfo: memFree=31653776/32770624 swapFree=5804/220252
[pid=5233] ppid=5230 vsize=366992 CPUtime=2201.75 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 183010 0 0 0 220159 16 0 0 20 0 1 0 2333638 375799808 85914 33554432000 4194304 5970956 140735741873376 140735741870712 5070435 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91748 85914 823 434 0 85112 0
Current children cumulated CPU time (s) 2201.75
Current children cumulated vsize (KiB) 366992

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 5386
/proc/meminfo: memFree=31652556/32770624 swapFree=5804/220292
[pid=5233] ppid=5230 vsize=366992 CPUtime=2261.72 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 183264 0 0 0 226156 16 0 0 20 0 1 0 2333638 375799808 85914 33554432000 4194304 5970956 140735741873376 140735741870712 5052093 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91748 85914 823 434 0 85112 0
Current children cumulated CPU time (s) 2261.72
Current children cumulated vsize (KiB) 366992

[startup+2322.3 s]
/proc/loadavg: 2.11 2.04 2.03 3/243 5387
/proc/meminfo: memFree=31653564/32770624 swapFree=5804/220320
[pid=5233] ppid=5230 vsize=366992 CPUtime=2321.71 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 183519 0 0 0 232155 16 0 0 20 0 1 0 2333638 375799808 85914 33554432000 4194304 5970956 140735741873376 140735741870712 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91748 85914 823 434 0 85112 0
Current children cumulated CPU time (s) 2321.71
Current children cumulated vsize (KiB) 366992

[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.03 3/243 5388
/proc/meminfo: memFree=31653904/32770624 swapFree=5804/220364
[pid=5233] ppid=5230 vsize=366992 CPUtime=2381.7 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 183854 0 0 0 238154 16 0 0 20 0 1 0 2333638 375799808 85920 33554432000 4194304 5970956 140735741873376 140735741870712 5052080 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91748 85920 823 434 0 85112 0
Current children cumulated CPU time (s) 2381.7
Current children cumulated vsize (KiB) 366992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.7 s]
/proc/loadavg: 2.03 2.03 2.03 3/243 5388
/proc/meminfo: memFree=31654020/32770624 swapFree=5804/220368
[pid=5233] ppid=5230 vsize=366992 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 183855 0 0 0 239993 16 0 0 20 0 1 0 2333638 375799808 85920 33554432000 4194304 5970956 140735741873376 140735741870712 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91748 85920 823 434 0 85112 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 366992

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

[startup+2400.7 s]
/proc/loadavg: 2.03 2.03 2.03 3/243 5388
/proc/meminfo: memFree=31654020/32770624 swapFree=5804/220368
[pid=5233] ppid=5230 vsize=366992 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/5233/stat : 5233 (cosoco) R 5230 5233 2464 0 -1 4202496 183855 0 0 0 239993 16 0 0 20 0 1 0 2333638 375799808 85920 33554432000 4194304 5970956 140735741873376 140735741870712 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 30932992 140735741879489 140735741879619 140735741879619 140735741882318 0
/proc/5233/statm: 91748 85920 823 434 0 85112 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 366992

Child status: 1
Real time (s): 2400.7
CPU time (s): 2400.11
CPU user time (s): 2399.94
CPU system time (s): 0.169959
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 366992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.94
system time used= 0.169959
maximum resident set size= 343720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183877
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= 42
involuntary context switches= 121152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.01755 second user time and 11.7481 second system time

The end

Launcher Data

Begin job on node117 at 2017-07-21 22:57:30
IDJOB=4243009
IDBENCH=138550
IDSOLVER=2620
FILE ID=node117/4243009-1500670650
RUNJOBID= node117-1500668248-5057
PBS_JOBID= 20623301
Free space on /tmp= 62000 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os15/SuperTaillard-os-15-22.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243009-1500670650/watcher-4243009-1500670650 -o /tmp/evaluation-result-4243009-1500670650/solver-4243009-1500670650 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500668248-5057 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4243009-1500670650.xml

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

MD5SUM BENCH= 3ba855dc46a3fd367cb99709f0833fff
RANDOM SEED=802931421

node117.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.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		: 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		: 1600.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.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		: 2533.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.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		: 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.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		: 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.92
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.92
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		: 1600.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		: 2133.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.92
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.92
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:        32031252 kB
MemAvailable:   32032192 kB
Buffers:           35832 kB
Cached:           277340 kB
SwapCached:            0 kB
Active:           139968 kB
Inactive:         227412 kB
Active(anon):      57244 kB
Inactive(anon):     8696 kB
Active(file):      82724 kB
Inactive(file):   218716 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2948 kB
Writeback:             0 kB
AnonPages:         79384 kB
Mapped:            28432 kB
Shmem:              8840 kB
Slab:              61828 kB
SReclaimable:      30668 kB
SUnreclaim:        31160 kB
KernelStack:        4176 kB
PageTables:         5596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62000 MiB
End job on node117 at 2017-07-21 23:37:31