Trace number 4101179

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 NameAnswerobjective functionCPU timeWall clock time
NaPS 1.02SAT (TO)4399 1800.07 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb
MD5SUMf5fea9f9b3e2808f219e4e92af96aba2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables3330
Total number of constraints117
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints117
Minimum length of a constraint30
Maximum length of a constraint240
Number of terms in the objective function 810
Biggest coefficient in the objective function 21201
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524901
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524901
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c NaPS 1.02b.
1800.05/1800.40	o 23207
1800.05/1800.40	o 4399
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED *** by signal 15
1800.05/1800.40	s SATISFIABLE
1800.05/1800.40	c _____________________________________________________________________________
1800.05/1800.40	c 
1800.05/1800.40	c std/band forms        : 59,60
1800.05/1800.40	c 2cl/3cl ITE-codings   : 205723,222277
1800.05/1800.40	c BDD/srt/adr Max costs : 26745,66379,0
1800.05/1800.40	c BDDraw/bin/mul/srt/adr: 59,0,58,2,0
1800.05/1800.40	c BDD nodes             : 461158
1800.05/1800.40	c Es1/CC detections     : 0,0
1800.05/1800.40	c SAT/UNSAT calls       : 2,2
1800.05/1800.40	c restarts              : 64418
1800.05/1800.40	c conflicts             : 7294219        (4054 /sec)
1800.05/1800.40	c decisions             : 30702729       (17063 /sec)
1800.05/1800.40	c propagations          : 7272108815     (4041368 /sec)
1800.05/1800.40	c inspects              : 0              (0 /sec)
1800.05/1800.40	c CPU time (solving tm) : 1799 s        (306.1 s)
1800.05/1800.40	c Time for Opt-base     : 2.857 s
1800.05/1800.40	c _____________________________________________________________________________
1800.05/1800.40	v -x1 -x2 x3 -x4 -x5 -x6 -x7 x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 x40 -x41 x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2461 -x2462 x2463 -x2464 x2465 -x2466 -x2467 -x2468 -x2469 x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2671 x2672 -x2673 x2674 -x2675 x2676 x2677 x2678 x2679 x2680 x2681 x2682 -x2683 x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 x2888 -x2889 x2890 x2891 x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3301 -x3302 -x3303 x3304 x3305 x3306 x3307 x3308 x3309 x3310 x3311 x3312 x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x2191 x2192 x2193 x2194 -x2195 -x2196 x2197 x2198 x2199 x2200 x2201 -x2202 -x2203 -x2204 x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 x2229 x2230 x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 x2409 x2410 x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x2431 x2432 x2433 x2434 x2435 x2436 x2437 x2438 x2439 x2440 x2441 x2442 x2443 x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 x2501 x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 x2653 x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x2701 -x2702 x2703 x2704 x2705 x2706 x2707 x2708 x2709 x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x871 -x872 x873 -x874 x875 x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x2731 x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749
1800.05/1800.40	v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x2941 x2942 -x2943 x2944 x2945 x2946 x2947 x2948 x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x3121 x3122 x3123 x3124 x3125 x3126 x3127 x3128 x3129 x3130 -x3131 x3132 -x3133 x3134 -x3135 x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x3151 x3152 x3153 x3154 x3155 x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x1321 x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x3181 -x3182 x3183 x3184 x3185 x3186 x3187 x3188 x3189 x3190 x3191 x3192 x3193 x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x3211 -x3212 x3213 x3214 x3215 -x3216 x3217 x3218 x3219 -x3220 -x3221 x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x3241 x3242 x3243 x3244 x3245 x3246 x3247 x3248 x3249 x3250 x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x3271 -x3272 -x3273 x3274 x3275 x3276 x3277 x3278 x3279 x3280 x3281 x3282 x3283 x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 x1688 x1689 x1690 x1691 x1692 x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 x1742 x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 x1923 x1924 x1925 x1926 x1927 x1928 -x1929 x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 x1987 x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040

Verifier Data 

OK	4399

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-4101179-1466225175/watcher-4101179-1466225175 -o /tmp/evaluation-result-4101179-1466225175/solver-4101179-1466225175 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466206070-7007 --watchdog 1960 naps-1.02 HOME/instance-4101179-1466225175.opb 

pid=12110
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 12113
/proc/meminfo: memFree=23056348/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=6832 CPUtime=0 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 415 0 0 0 0 0 0 0 20 0 1 0 24564152 6995968 290 33554432000 4194304 5796924 140734372440352 140735114937528 4404063 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 1708 290 124 392 0 1307 0

[startup+0.100203 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 12113
/proc/meminfo: memFree=23056348/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=9956 CPUtime=0.09 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 1203 0 0 0 9 0 0 0 20 0 1 0 24564152 10194944 1040 33554432000 4194304 5796924 140734372440352 140735114937528 5090063 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 2489 1040 144 392 0 2088 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9956

[startup+0.200336 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 12113
/proc/meminfo: memFree=23056348/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=10988 CPUtime=0.19 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 1479 0 0 0 19 0 0 0 20 0 1 0 24564152 11251712 1316 33554432000 4194304 5796924 140734372440352 140734372436568 5100122 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 2747 1316 144 392 0 2346 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10988

[startup+0.300301 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 12113
/proc/meminfo: memFree=23056348/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=11156 CPUtime=0.29 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 1535 0 0 0 29 0 0 0 20 0 1 0 24564152 11423744 1372 33554432000 4194304 5796924 140734372440352 140734372436568 4806969 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 2789 1372 144 392 0 2388 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11156

[startup+0.700279 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 12113
/proc/meminfo: memFree=23056348/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=12408 CPUtime=0.69 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 1941 0 0 0 69 0 0 0 20 0 1 0 24564152 12705792 1653 33554432000 4194304 5796924 140734372440352 140734372436568 5087492 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 3102 1653 144 392 0 2701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12408

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12114
/proc/meminfo: memFree=23050260/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=19796 CPUtime=1.49 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 3901 0 0 0 149 0 0 0 20 0 1 0 24564152 20271104 3448 33554432000 4194304 5796924 140734372440352 140734372436568 4805675 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 4949 3448 144 392 0 4548 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19796

[startup+3.10032 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12114
/proc/meminfo: memFree=23034760/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=28680 CPUtime=3.09 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 6398 0 0 0 308 1 0 0 20 0 1 0 24564152 29368320 5615 33554432000 4194304 5796924 140734372440352 140734372436568 4805600 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 7170 5615 144 392 0 6769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28680

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12114
/proc/meminfo: memFree=23015056/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=46620 CPUtime=6.29 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 9855 0 0 0 628 1 0 0 20 0 1 0 24564152 47738880 10161 33554432000 4194304 5796924 140734372440352 140734372436568 4809377 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 11655 10161 144 392 0 11254 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46620

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12114
/proc/meminfo: memFree=22780840/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=312920 CPUtime=12.69 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 42671 0 0 0 1259 10 0 0 20 0 1 0 24564152 320430080 68625 33554432000 4194304 5796924 140734372440352 140734372437400 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 78230 68625 170 392 0 77829 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 312920

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12114
/proc/meminfo: memFree=22771884/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=319696 CPUtime=25.48 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 44599 0 0 0 2537 11 0 0 20 0 1 0 24564152 327368704 70150 33554432000 4194304 5796924 140734372440352 140734372437464 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 79924 70150 170 392 0 79523 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 319696

[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 12114
/proc/meminfo: memFree=22710340/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=324724 CPUtime=51.08 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 46480 0 0 0 5096 12 0 0 20 0 1 0 24564152 332517376 73110 33554432000 4194304 5796924 140734372440352 140734372437400 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 81181 73110 170 392 0 80780 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 324724

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12115
/proc/meminfo: memFree=22722636/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=333440 CPUtime=102.28 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 50141 0 0 0 10214 14 0 0 20 0 1 0 24564152 341442560 75668 33554432000 4194304 5796924 140734372440352 140734372437816 4607763 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 83360 75668 170 392 0 82959 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 333440

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 12116
/proc/meminfo: memFree=22698872/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=370952 CPUtime=162.26 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 53627 0 0 0 16210 16 0 0 20 0 1 0 24564152 379854848 80036 33554432000 4194304 5796924 140734372440352 140734372437400 4594720 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 92738 80036 170 392 0 92337 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 370952

[startup+222.307 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 12117
/proc/meminfo: memFree=22685300/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=374804 CPUtime=222.26 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 55588 0 0 0 22208 18 0 0 20 0 1 0 24564152 383799296 81897 33554432000 4194304 5796924 140734372440352 140734372437400 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 93701 81897 170 392 0 93300 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 374804

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 12122
/proc/meminfo: memFree=22677232/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=379456 CPUtime=282.25 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 56975 0 0 0 28205 20 0 0 20 0 1 0 24564152 388562944 82233 33554432000 4194304 5796924 140734372440352 140734372437816 4606565 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 94864 82233 170 392 0 94463 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 379456

[startup+342.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 12123
/proc/meminfo: memFree=22617032/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=420896 CPUtime=342.23 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 62472 0 0 0 34200 23 0 0 20 0 1 0 24564152 430997504 91096 33554432000 4194304 5796924 140734372440352 140734372437992 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 105224 91096 180 392 0 104823 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 420896

[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 12124
/proc/meminfo: memFree=22600184/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=424668 CPUtime=402.23 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 64934 0 0 0 40197 26 0 0 20 0 1 0 24564152 434860032 94532 33554432000 4194304 5796924 140734372440352 140734372437400 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 106167 94532 180 392 0 105766 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 424668

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 12125
/proc/meminfo: memFree=22574972/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=428524 CPUtime=462.22 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 67066 0 0 0 46194 28 0 0 20 0 1 0 24564152 438808576 97647 33554432000 4194304 5796924 140734372440352 140734372437400 4592593 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 107131 97647 180 392 0 106730 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 428524

[startup+522.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 12126
/proc/meminfo: memFree=22534656/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=436928 CPUtime=522.21 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 68359 0 0 0 52192 29 0 0 20 0 1 0 24564152 447414272 100965 33554432000 4194304 5796924 140734372440352 140734372437672 4583151 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 109232 100965 180 392 0 108831 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 436928

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 12127
/proc/meminfo: memFree=22519332/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=436928 CPUtime=582.21 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 68934 0 0 0 58190 31 0 0 20 0 1 0 24564152 447414272 101600 33554432000 4194304 5796924 140734372440352 140734372437816 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 109232 101600 180 392 0 108831 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 436928


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


[startup+882.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 12181
/proc/meminfo: memFree=27643980/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=498056 CPUtime=882.1 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 75056 0 0 0 88170 40 0 0 20 0 1 0 24564152 510009344 108960 33554432000 4194304 5796924 140734372440352 140734372437464 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 124514 108960 180 392 0 124113 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 498056

[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 12206
/proc/meminfo: memFree=27613752/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=501692 CPUtime=942.08 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 76643 0 0 0 94165 43 0 0 20 0 1 0 24564152 513732608 109888 33554432000 4194304 5796924 140734372440352 140734372437992 4606708 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 125423 109888 180 392 0 125022 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 501692

[startup+1002.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 12207
/proc/meminfo: memFree=27571816/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=456336 CPUtime=1002.08 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 77843 0 0 0 100163 45 0 0 20 0 1 0 24564152 467288064 108790 33554432000 4194304 5796924 140734372440352 140734372437816 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 114084 108790 180 392 0 113683 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 456336

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12208
/proc/meminfo: memFree=27539448/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=509564 CPUtime=1062.07 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 78634 0 0 0 106161 46 0 0 20 0 1 0 24564152 521793536 115195 33554432000 4194304 5796924 140734372440352 140734372437400 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 127391 115195 180 392 0 126990 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 509564

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12209
/proc/meminfo: memFree=27515632/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=511504 CPUtime=1122.06 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 79907 0 0 0 112157 49 0 0 20 0 1 0 24564152 523780096 113718 33554432000 4194304 5796924 140734372440352 140734372437400 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 127876 113718 180 392 0 127475 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 511504

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 12210
/proc/meminfo: memFree=27510612/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=514372 CPUtime=1182.05 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 81353 0 0 0 118153 52 0 0 20 0 1 0 24564152 526716928 111903 33554432000 4194304 5796924 140734372440352 140734372437400 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 128593 111903 180 392 0 128192 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 514372

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12212
/proc/meminfo: memFree=27471736/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=515156 CPUtime=1242.04 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 81757 0 0 0 124152 52 0 0 20 0 1 0 24564152 527519744 117928 33554432000 4194304 5796924 140734372440352 140734372437400 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 128789 117928 180 392 0 128388 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 515156

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12213
/proc/meminfo: memFree=27468224/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=516872 CPUtime=1302.03 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 82749 0 0 0 130149 54 0 0 20 0 1 0 24564152 529276928 115158 33554432000 4194304 5796924 140734372440352 140734372437400 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 129218 115158 180 392 0 128817 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 516872

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12214
/proc/meminfo: memFree=27434176/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=518844 CPUtime=1362.03 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 83216 0 0 0 136148 55 0 0 20 0 1 0 24564152 531296256 121246 33554432000 4194304 5796924 140734372440352 140734372437400 4606733 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 129711 121246 180 392 0 129310 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 518844

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12215
/proc/meminfo: memFree=27433032/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=520204 CPUtime=1422.02 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 83819 0 0 0 142146 56 0 0 20 0 1 0 24564152 532688896 117827 33554432000 4194304 5796924 140734372440352 140734372437816 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 130051 117827 180 392 0 129650 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 520204

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12219
/proc/meminfo: memFree=27395888/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=523412 CPUtime=1482 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 84465 0 0 0 148143 57 0 0 20 0 1 0 24564152 535973888 124094 33554432000 4194304 5796924 140734372440352 140734372437400 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 130853 124094 180 392 0 130452 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 523412

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12221
/proc/meminfo: memFree=27385900/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=524540 CPUtime=1542 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 85381 0 0 0 154141 59 0 0 20 0 1 0 24564152 537128960 120175 33554432000 4194304 5796924 140734372440352 140734372437400 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 131135 120175 180 392 0 130734 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 524540

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12222
/proc/meminfo: memFree=27353308/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=526352 CPUtime=1601.98 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 85857 0 0 0 160139 59 0 0 20 0 1 0 24564152 538984448 125761 33554432000 4194304 5796924 140734372440352 140734372437400 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 131588 125761 180 392 0 131187 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 526352

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12223
/proc/meminfo: memFree=27360560/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=527268 CPUtime=1661.97 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 87099 0 0 0 166136 61 0 0 20 0 1 0 24564152 539922432 121932 33554432000 4194304 5796924 140734372440352 140734372437816 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 131817 121932 180 392 0 131416 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 527268

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 12224
/proc/meminfo: memFree=27441388/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=530140 CPUtime=1721.97 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 87627 0 0 0 172135 62 0 0 20 0 1 0 24564152 542863360 127570 33554432000 4194304 5796924 140734372440352 140734372437400 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 132535 127570 180 392 0 132134 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 530140

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12225
/proc/meminfo: memFree=27442032/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=532052 CPUtime=1781.96 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 88836 0 0 0 178132 64 0 0 20 0 1 0 24564152 544821248 121876 33554432000 4194304 5796924 140734372440352 140734372437816 4606847 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 133013 121876 180 392 0 132612 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 532052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12226
/proc/meminfo: memFree=27431404/32872528 swapFree=303544/319896
[pid=12113] ppid=12110 vsize=532052 CPUtime=1800.05 cores=0,2,4,6
/proc/12113/stat : 12113 (naps-1.02) R 12110 12113 6991 0 -1 4202496 88839 0 0 0 179941 64 0 0 20 0 1 0 24564152 544821248 123412 33554432000 4194304 5796924 140734372440352 140734372437816 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12113/statm: 133013 123412 180 392 0 132612 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 532052

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.42
CPU system time (s): 0.6519
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 743668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.6519
maximum resident set size= 625340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88851
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= 106
involuntary context switches= 1873

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.21821 second user time and 6.38203 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-18 06:46:15
IDJOB=4101179
IDBENCH=1710
IDSOLVER=2544
FILE ID=node128/4101179-1466225175
RUNJOBID= node128-1466206070-7007
PBS_JOBID= 19918149
Free space on /tmp= 71700 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor1.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101179-1466225175/watcher-4101179-1466225175 -o /tmp/evaluation-result-4101179-1466225175/solver-4101179-1466225175 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466206070-7007 --watchdog 1960  naps-1.02 HOME/instance-4101179-1466225175.opb

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

MD5SUM BENCH= f5fea9f9b3e2808f219e4e92af96aba2
RANDOM SEED=779570192

node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
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
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 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
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 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
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
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
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        23057256 kB
Buffers:          100324 kB
Cached:           117976 kB
SwapCached:         2708 kB
Active:          8590492 kB
Inactive:         145276 kB
Active(anon):    8516744 kB
Inactive(anon):     2684 kB
Active(file):      73748 kB
Inactive(file):   142592 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67099180 kB
Dirty:              3896 kB
Writeback:             0 kB
AnonPages:       8827864 kB
Mapped:             9564 kB
Shmem:                 0 kB
Slab:             611344 kB
SReclaimable:      54952 kB
SUnreclaim:       556392 kB
KernelStack:        1472 kB
PageTables:        21464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    9784104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4462592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node128 at 2016-06-18 07:16:16