Trace number 2705395

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
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1791.23 1791.16

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j308_1-unsat--soft-0-100-0.wbo
MD5SUM591706804da9a76ba42d2e694fd25fcb
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark0.022996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2728
Total number of constraints8382
Number of soft constraints8382
Number of constraints which are clauses8210
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints172
Minimum length of a constraint1
Maximum length of a constraint17
Top cost 422384
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 422383
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 143
Number of bits of the biggest sum of numbers8
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 SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2705395-1278578592.wbo>
0.04/0.09	c original problem has 19492 variables (11110 bin, 0 int, 8382 impl, 0 cont) and 16765 constraints
0.04/0.09	c problem read
0.04/0.09	c presolving settings loaded
0.79/0.84	o 422383
0.79/0.84	c feasible solution found by trivial heuristic, objective value  4.223830e+05
0.79/0.84	c presolving:
2.09/2.17	c    (2.1s) probing: 1000/11110 (9.0%) - 0 fixings, 0 aggregations, 250 implications, 0 bound changes
2.89/2.97	c    (2.9s) probing: 1608/11110 (14.5%) - 0 fixings, 0 aggregations, 330 implications, 0 bound changes
2.89/2.97	c    (2.9s) probing aborted: 100/100 successive totally useless probings
2.89/2.97	c (round 1) 0 del vars, 1 del conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 660 impls, 0 clqs
2.89/2.99	c (round 2) 0 del vars, 1 del conss, 8382 chg bounds, 0 chg sides, 0 chg coeffs, 176 upgd conss, 660 impls, 0 clqs
2.99/3.02	c    (2.9s) probing: 1618/11110 (14.6%) - 0 fixings, 0 aggregations, 330 implications, 0 bound changes
2.99/3.02	c    (2.9s) probing aborted: 100/100 successive totally useless probings
2.99/3.02	c presolving (3 rounds):
2.99/3.02	c  0 deleted vars, 1 deleted constraints, 8382 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.99/3.02	c  17296 implications, 0 cliques
2.99/3.02	c presolved problem has 19492 variables (11110 bin, 0 int, 8382 impl, 0 cont) and 16764 constraints
2.99/3.02	c     176 constraints of type <varbound>
2.99/3.02	c    8206 constraints of type <linear>
2.99/3.02	c    8382 constraints of type <indicator>
2.99/3.02	c transformed objective value is always integral (scale: 1)
2.99/3.02	c Presolving Time: 2.88
2.99/3.02	c - non default parameters ----------------------------------------------------------------------
2.99/3.02	c # SCIP version 1.2.1.3
2.99/3.02	c 
2.99/3.02	c # frequency for displaying node information lines
2.99/3.02	c # [type: int, range: [-1,2147483647], default: 100]
2.99/3.02	c display/freq = 10000
2.99/3.02	c 
2.99/3.02	c # maximal time in seconds to run
2.99/3.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.02	c limits/time = 1789.92
2.99/3.02	c 
2.99/3.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.99/3.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.02	c limits/memory = 3420
2.99/3.02	c 
2.99/3.02	c # default clock type (1: CPU user seconds, 2: wall clock time)
2.99/3.02	c # [type: int, range: [1,2], default: 1]
2.99/3.02	c timing/clocktype = 2
2.99/3.02	c 
2.99/3.02	c # should presolving try to simplify inequalities
2.99/3.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.02	c constraints/linear/simplifyinequalities = TRUE
2.99/3.02	c 
2.99/3.02	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.99/3.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.02	c constraints/indicator/addCouplingCons = TRUE
2.99/3.02	c 
2.99/3.02	c # should presolving try to simplify knapsacks
2.99/3.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.02	c constraints/knapsack/simplifyinequalities = TRUE
2.99/3.02	c 
2.99/3.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.99/3.02	c # [type: int, range: [-1,2147483647], default: -1]
2.99/3.02	c separating/rapidlearning/freq = 0
2.99/3.02	c 
2.99/3.02	c -----------------------------------------------------------------------------------------------
2.99/3.02	c start solving
2.99/3.03	c 
2.99/3.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.99/3.06	c t 3.0s|     1 |     0 |     0 |     - |  64M|   0 |   0 |  19k|  16k|  19k|   0 |   0 |   0 |   0 | 0.000000e+00 | 4.223830e+05 |    Inf 
2.99/3.07	c   3.0s|     1 |     0 |    61 |     - |  64M|   0 |   0 |  19k|  16k|  19k| 104 | 104 |   0 |   0 | 0.000000e+00 | 4.223830e+05 |    Inf 
2.99/3.08	c   3.0s|     1 |     0 |   216 |     - |  64M|   0 |   0 |  19k|  16k|  19k| 259 | 259 |   0 |   0 | 0.000000e+00 | 4.223830e+05 |    Inf 
2.99/3.09	c   3.0s|     1 |     2 |   216 |     - |  64M|   0 |   0 |  19k|  16k|  19k| 259 | 259 |   0 |   0 | 0.000000e+00 | 4.223830e+05 |    Inf 
11.69/11.71	o 413187
11.69/11.71	c y11.6s|   835 |   834 |   216 |   0.0 |  69M| 833 |   - |  19k|  16k|   0 |   0 | 259 |   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
113.30/113.35	c   113s| 10000 | 10001 |   873 |   0.1 | 124M| 833 |   0 |  19k|  16k|  19k| 329 | 953 |   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
231.50/231.57	c   231s| 20000 | 20001 |  3415 |   0.2 | 180M| 833 |   0 |  19k|  16k|  19k| 338 |3386 |   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
351.41/351.45	c   351s| 30000 | 30001 |  6114 |   0.2 | 235M| 833 |   0 |  19k|  16k|  19k| 321 |5887 |   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
472.50/472.55	c   472s| 40000 | 40001 |  8823 |   0.2 | 289M| 833 |   0 |  19k|  16k|  19k| 344 |8476 |   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
594.01/594.03	c   594s| 50000 | 50001 | 11409 |   0.2 | 343M| 833 |   0 |  19k|  16k|  19k| 382 |  11k|   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
716.22/716.20	c   716s| 60000 | 60001 | 13893 |   0.2 | 398M| 833 |   0 |  19k|  16k|  19k| 360 |  13k|   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
839.23/839.29	c   839s| 70000 | 70001 | 16571 |   0.2 | 452M| 833 |   0 |  19k|  16k|  19k| 376 |  16k|   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
963.03/963.05	c   963s| 80000 | 80001 | 19293 |   0.2 | 510M| 833 |   0 |  19k|  16k|  19k| 379 |  20k|   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
1086.03/1086.03	c  1086s| 90000 | 90001 | 21912 |   0.2 | 565M| 833 |   0 |  19k|  16k|  19k| 379 |  23k|   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
1208.73/1208.73	c  1209s|100000 |100001 | 24472 |   0.2 | 622M| 833 |   0 |  19k|  16k|  19k| 389 |  26k|   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
1318.64/1318.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1318.64/1318.67	c  1319s|110000 |110001 | 25051 |   0.2 | 680M|1739 |   0 |  19k|  16k|  19k| 411 |  27k|   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
1426.94/1426.91	c  1427s|120000 |120001 | 25530 |   0.2 | 737M|1909 |   0 |  19k|  16k|  19k| 506 |  28k|   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
1535.05/1535.00	c  1535s|130000 |130001 | 26085 |   0.2 | 794M|2047 |   0 |  19k|  16k|  19k| 548 |  28k|   0 |   0 | 0.000000e+00 | 4.131870e+05 |    Inf 
1643.76/1643.77	c  1644s|140000 |140001 | 26592 |   0.2 | 850M|2143 |   0 |  19k|  16k|  19k| 640 |  29k|   0 |  89 | 0.000000e+00 | 4.131870e+05 |    Inf 
1752.46/1752.44	c  1752s|150000 |150001 | 27055 |   0.2 | 905M|2209 |   0 |  19k|  16k|  19k| 641 |  30k|   0 | 116 | 0.000000e+00 | 4.131870e+05 |    Inf 
1790.05/1790.01	c 
1790.05/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.01	c Solving Time (sec) : 1789.93
1790.05/1790.01	c Solving Nodes      : 153436
1790.05/1790.01	c Primal Bound       : +4.13187000000000e+05 (118 solutions)
1790.05/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.05/1790.01	c Gap                : infinite
1790.95/1790.92	s SATISFIABLE
1790.95/1790.92	v -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 
1790.95/1790.92	v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 
1790.95/1790.92	v -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 
1790.95/1790.92	v -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 
1790.95/1790.92	v -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 
1790.95/1790.92	v -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 
1790.95/1790.92	v -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 
1790.95/1790.92	v -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 
1790.95/1790.92	v -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 
1790.95/1790.92	v -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 
1790.95/1790.92	v -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 
1790.95/1790.92	v -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 
1790.95/1790.92	v -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 
1790.95/1790.92	v -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 
1790.95/1790.92	v -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 
1790.95/1790.92	v -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 
1790.95/1790.92	v -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 
1790.95/1790.92	v -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 
1790.95/1790.92	v -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 
1790.95/1790.92	v -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 
1790.95/1790.92	v -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 
1790.95/1790.92	v -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 
1790.95/1790.92	v -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 
1790.95/1790.92	v -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 
1790.95/1790.92	v -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 
1790.95/1790.92	v -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 
1790.95/1790.92	v -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 
1790.95/1790.92	v -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 
1790.95/1790.92	v -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 
1790.95/1790.92	v -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 
1790.95/1790.92	v -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 
1790.95/1790.92	v -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 
1790.95/1790.92	v -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 
1790.95/1790.92	v -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 
1790.95/1790.92	v -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 
1790.95/1790.92	v -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 
1790.95/1790.92	v -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 
1790.95/1790.92	v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 
1790.95/1790.92	v -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 
1790.95/1790.92	v -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 
1790.95/1790.92	v -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 
1790.95/1790.92	v -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 
1790.95/1790.92	v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 
1790.95/1790.92	v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 
1790.95/1790.92	v -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 
1790.95/1790.92	v -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 
1790.95/1790.92	v -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 
1790.95/1790.92	v -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 
1790.95/1790.92	v -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 
1790.95/1790.92	v -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 
1790.95/1790.92	v -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 
1790.95/1790.92	v -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 
1790.95/1790.92	v -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 
1790.95/1790.92	v -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 
1790.95/1790.92	v -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 
1790.95/1790.92	v -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 
1790.95/1790.92	v -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 
1790.95/1790.92	v -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 
1790.95/1790.92	v -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 
1790.95/1790.92	v -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 
1790.95/1790.92	v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 
1790.95/1790.92	v -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 
1790.95/1790.92	v -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 
1790.95/1790.92	v -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 
1790.95/1790.92	v -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 
1790.95/1790.92	v -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 
1790.95/1790.92	v -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 
1790.95/1790.92	v -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 
1790.95/1790.92	v -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 
1790.95/1790.92	v -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 
1790.95/1790.92	v -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 
1790.95/1790.92	v -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 
1790.95/1790.92	v -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 
1790.95/1790.92	v -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 
1790.95/1790.92	v -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 
1790.95/1790.92	v -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 
1790.95/1790.92	v -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 
1790.95/1790.92	v -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 
1790.95/1790.92	v -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 
1790.95/1790.92	v -x1317 -x1316 -x1315 -x1314 -x1313 x1312 x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 
1790.95/1790.92	v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 
1790.95/1790.92	v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 
1790.95/1790.92	v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 
1790.95/1790.92	v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 x1229 x1228 -x1227 
1790.95/1790.92	v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 
1790.95/1790.92	v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 
1790.95/1790.92	v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 x1182 x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 
1790.95/1790.92	v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 
1790.95/1790.92	v -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 x1144 x1143 -x1142 -x1141 -x1140 -x1139 -x1138 
1790.95/1790.92	v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 
1790.95/1790.92	v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 
1790.95/1790.92	v x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 
1790.95/1790.92	v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 
1790.95/1790.92	v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 x1049 x1048 
1790.95/1790.92	v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 
1790.95/1790.92	v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 x1012 
1790.95/1790.92	v x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 
1790.95/1790.92	v -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 
1790.95/1790.92	v -x971 -x970 -x969 -x968 -x967 -x966 x965 x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 
1790.95/1790.92	v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 
1790.95/1790.92	v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 
1790.95/1790.92	v -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 
1790.95/1790.92	v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 x873 x872 -x871 -x870 -x869 -x868 -x867 
1790.95/1790.92	v -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 
1790.95/1790.92	v -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 
1790.95/1790.92	v -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 
1790.95/1790.92	v -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 x787 -x786 -x785 -x784 -x783 
1790.95/1790.92	v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 
1790.95/1790.92	v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 x747 -x746 -x745 -x744 -x743 -x742 -x741 
1790.95/1790.92	v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 
1790.95/1790.92	v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 x705 x704 -x703 -x702 -x701 -x700 -x699 
1790.95/1790.92	v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 
1790.95/1790.92	v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 
1790.95/1790.92	v -x656 x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 
1790.95/1790.92	v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 x616 -x615 
1790.95/1790.92	v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 
1790.95/1790.92	v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 
1790.95/1790.92	v -x572 -x571 -x570 -x569 -x568 -x567 x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 
1790.95/1790.92	v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 
1790.95/1790.92	v -x530 x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 
1790.95/1790.92	v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 
1790.95/1790.92	v -x488 -x487 -x486 -x485 -x484 x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 
1790.95/1790.92	v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 
1790.95/1790.92	v -x446 -x445 -x444 -x443 -x442 x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 
1790.95/1790.92	v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 
1790.95/1790.92	v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 
1790.95/1790.92	v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 
1790.95/1790.92	v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 x346 -x345 -x344 -x343 -x342 
1790.95/1790.92	v -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 
1790.95/1790.92	v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 x302 -x301 -x300 
1790.95/1790.92	v -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 
1790.95/1790.92	v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 x260 -x259 -x258 
1790.95/1790.92	v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 
1790.95/1790.92	v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 x219 -x218 -x217 -x216 
1790.95/1790.92	v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 
1790.95/1790.92	v -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 x176 -x175 -x174 
1790.95/1790.92	v -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 
1790.95/1790.92	v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 
1790.95/1790.92	v -x131 -x130 -x129 -x128 x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 
1790.95/1790.92	v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 
1790.95/1790.92	v -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 
1790.95/1790.92	v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 x39 -x38 
1790.95/1790.92	v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 
1790.95/1790.92	v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 
1790.95/1790.92	c SCIP Status        : solving was interrupted [time limit reached]
1790.95/1790.92	c Solving Time       :    1789.93
1790.95/1790.92	c Original Problem   :
1790.95/1790.92	c   Problem name     : HOME/instance-2705395-1278578592.wbo
1790.95/1790.92	c   Variables        : 19492 (11110 binary, 0 integer, 8382 implicit integer, 0 continuous)
1790.95/1790.92	c   Constraints      : 16765 initial, 16765 maximal
1790.95/1790.92	c Presolved Problem  :
1790.95/1790.92	c   Problem name     : t_HOME/instance-2705395-1278578592.wbo
1790.95/1790.92	c   Variables        : 19492 (11110 binary, 0 integer, 8382 implicit integer, 0 continuous)
1790.95/1790.92	c   Constraints      : 16764 initial, 16764 maximal
1790.95/1790.92	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.95/1790.92	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.95/1790.92	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1790.95/1790.92	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.95/1790.92	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.95/1790.92	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.95/1790.92	c   probing          :       2.12          0          0          0          0          0          0          0          0
1790.95/1790.92	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.95/1790.92	c   linear           :       0.05          0          0          0       8382          0          1          0          0
1790.95/1790.92	c   indicator        :       0.01          0          0          0          0          0          0          0          0
1790.95/1790.92	c   root node        :          -          0          -          -          0          -          -          -          -
1790.95/1790.92	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.95/1790.92	c   integral         :          0          0          0     161786          0          0          0          0          0         46
1790.95/1790.92	c   varbound         :        176          3     108946      69287          0          0       7238        104          0          0
1790.95/1790.92	c   linear           :       8206          3     245437     161763          0          0      51319      30124          0          0
1790.95/1790.92	c   indicator        :       8382          0     245437     161763          0          0      90190          0          0          0
1790.95/1790.92	c   countsols        :          0          0          0     153413          0          0          0          0          0          0
1790.95/1790.92	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.95/1790.92	c   integral         :       0.52       0.00       0.00       0.52       0.00
1790.95/1790.92	c   varbound         :       0.40       0.00       0.19       0.21       0.00
1790.95/1790.92	c   linear           :     427.42       0.01      34.40     393.02       0.00
1790.95/1790.92	c   indicator        :     257.18       0.01      62.76     194.42       0.00
1790.95/1790.92	c   countsols        :       0.05       0.00       0.00       0.05       0.00
1790.95/1790.92	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.95/1790.92	c   vbounds          :       0.18       2981          0       2697
1790.95/1790.92	c   rootredcost      :       0.11          1          0          0
1790.95/1790.92	c   pseudoobj        :      56.68     242101          0          0
1790.95/1790.92	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.95/1790.92	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.95/1790.92	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.95/1790.92	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.95/1790.92	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.95/1790.92	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.95/1790.92	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.95/1790.92	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.95/1790.92	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.95/1790.92	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1790.95/1790.92	c   redcost          :     120.05     161787          0          0          0          0
1790.95/1790.92	c   impliedbounds    :       0.00          0          0          0          0          0
1790.95/1790.92	c   intobj           :       0.00          0          0          0          0          0
1790.95/1790.92	c   cgmip            :       0.00          0          0          0          0          0
1790.95/1790.92	c   gomory           :       0.00          0          0          0          0          0
1790.95/1790.92	c   strongcg         :       0.00          0          0          0          0          0
1790.95/1790.92	c   cmir             :       0.00          0          0          0          0          0
1790.95/1790.92	c   flowcover        :       0.00          0          0          0          0          0
1790.95/1790.92	c   clique           :       0.00          0          0          0          0          0
1790.95/1790.92	c   zerohalf         :       0.00          0          0          0          0          0
1790.95/1790.92	c   mcf              :       0.00          0          0          0          0          0
1790.95/1790.92	c   rapidlearning    :       0.00          0          0          0          0          0
1790.95/1790.92	c Pricers            :       Time      Calls       Vars
1790.95/1790.92	c   problem variables:       0.00          0          0
1790.95/1790.92	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.95/1790.92	c   relpscost        :       0.40         23          0          0          0          0         46
1790.95/1790.92	c   pscost           :       0.00          0          0          0          0          0          0
1790.95/1790.92	c   inference        :     428.69     153413          0          0          0          0     306826
1790.95/1790.92	c   mostinf          :       0.00          0          0          0          0          0          0
1790.95/1790.92	c   leastinf         :       0.00          0          0          0          0          0          0
1790.95/1790.92	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.95/1790.92	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.95/1790.92	c   random           :       0.00          0          0          0          0          0          0
1790.95/1790.92	c Primal Heuristics  :       Time      Calls      Found
1790.95/1790.92	c   LP solutions     :       0.00          -          0
1790.95/1790.92	c   pseudo solutions :       0.00          -          0
1790.95/1790.92	c   intshifting      :       0.00          0          0
1790.95/1790.92	c   feaspump         :       0.00          0          0
1790.95/1790.92	c   oneopt           :       0.12          1          0
1790.95/1790.92	c   crossover        :       1.29         10          0
1790.95/1790.92	c   guideddiving     :       2.87        292          0
1790.95/1790.92	c   coefdiving       :       2.84        293          0
1790.95/1790.92	c   pscostdiving     :       2.84        293          0
1790.95/1790.92	c   fracdiving       :       2.84        293          0
1790.95/1790.92	c   veclendiving     :       2.84        293          0
1790.95/1790.92	c   linesearchdiving :       2.84        293          0
1790.95/1790.92	c   objpscostdiving  :       3.08        293          0
1790.95/1790.92	c   rootsoldiving    :       3.12        293          0
1790.95/1790.92	c   trivial          :       0.69          2          2
1790.95/1790.92	c   simplerounding   :       0.16         23          0
1790.95/1790.92	c   zirounding       :       0.08         23          0
1790.95/1790.92	c   rounding         :       0.07         23          0
1790.95/1790.92	c   shifting         :       0.02          3          0
1790.95/1790.92	c   twoopt           :       0.00          0          0
1790.95/1790.92	c   fixandinfer      :       0.00          0          0
1790.95/1790.92	c   intdiving        :       0.00          0          0
1790.95/1790.92	c   actconsdiving    :       0.00          0          0
1790.95/1790.92	c   octane           :       0.00          0          0
1790.95/1790.92	c   rens             :       0.00          0          0
1790.95/1790.92	c   rins             :       0.00          0          0
1790.95/1790.92	c   localbranching   :       0.00          0          0
1790.95/1790.92	c   mutation         :       0.00          0          0
1790.95/1790.92	c   dins             :       0.00          0          0
1790.95/1790.92	c   undercover       :       0.00          0          0
1790.95/1790.92	c   nlp              :       0.05          0          0
1790.95/1790.92	c   trysol           :       2.03        302        116
1790.95/1790.92	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.95/1790.92	c   primal LP        :       0.00          0          0       0.00          -
1790.95/1790.92	c   dual LP          :     198.25      12365      27176       2.20     137.08
1790.95/1790.92	c   lex dual LP      :       0.00          0          0       0.00          -
1790.95/1790.92	c   barrier LP       :       0.00          0          0       0.00          -
1790.95/1790.92	c   diving/probing LP:       0.00          0          0       0.00          -
1790.95/1790.92	c   strong branching :       0.40        118        396       3.36     981.34
1790.95/1790.92	c     (at root node) :          -          0          0       0.00          -
1790.95/1790.92	c   conflict analysis:       0.00          0          0       0.00          -
1790.95/1790.92	c B&B Tree           :
1790.95/1790.92	c   number of runs   :          1
1790.95/1790.92	c   nodes            :     153436
1790.95/1790.92	c   nodes (total)    :     153436
1790.95/1790.92	c   nodes left       :     153437
1790.95/1790.92	c   max depth        :       2225
1790.95/1790.92	c   max depth (total):       2225
1790.95/1790.92	c   backtracks       :        293 (0.2%)
1790.95/1790.92	c   delayed cutoffs  :          0
1790.95/1790.92	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.95/1790.92	c   avg switch length:       2.04
1790.95/1790.92	c   switching time   :      16.16
1790.95/1790.92	c Solution           :
1790.95/1790.92	c   Solutions found  :        118 (2 improvements)
1790.95/1790.92	c   First Solution   : +4.22383000000000e+05   (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1790.95/1790.92	c   Primal Bound     : +4.13187000000000e+05   (in run 1, after 834 nodes, 11.54 seconds, depth 834, found by <trysol>)
1790.95/1790.92	c   Dual Bound       : +0.00000000000000e+00
1790.95/1790.92	c   Gap              :   infinite
1790.95/1790.92	c   Root Dual Bound  : +0.00000000000000e+00
1790.95/1790.92	c   Root Iterations  :        216
1791.15/1791.16	c Time complete: 1791.22.

Verifier Data 

OK	8037

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705395-1278578592/watcher-2705395-1278578592 -o /tmp/evaluation-result-2705395-1278578592/solver-2705395-1278578592 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705395-1278578592.wbo -t 1800 -m 3800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.95 5/178 23029
/proc/meminfo: memFree=28373376/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=12516 CPUtime=0
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 1975 0 0 0 0 0 0 0 23 0 1 0 26073972 12816384 1894 4089446400 4194304 10345943 140737332987312 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23029/statm: 3129 1894 429 1502 0 1622 0

[startup+0.048978 s]
/proc/loadavg: 2.00 2.00 1.95 5/178 23029
/proc/meminfo: memFree=28373376/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=26724 CPUtime=0.04
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 5514 0 0 0 4 0 0 0 23 0 1 0 26073972 27365376 5433 4089446400 4194304 10345943 140737332987312 18446744073709551615 4683813 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23029/statm: 6681 5433 430 1502 0 5174 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26724

[startup+0.100959 s]
/proc/loadavg: 2.00 2.00 1.95 5/178 23029
/proc/meminfo: memFree=28373376/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=47044 CPUtime=0.09
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 10996 0 0 0 9 0 0 0 23 0 1 0 26073972 48173056 10540 4089446400 4194304 10345943 140737332987312 18446744073709551615 4245998 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 11761 10541 489 1502 0 10254 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47044

[startup+0.300924 s]
/proc/loadavg: 2.00 2.00 1.95 5/178 23029
/proc/meminfo: memFree=28373376/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=80696 CPUtime=0.29
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 18776 0 0 0 28 1 0 0 23 0 1 0 26073972 82632704 18320 4089446400 4194304 10345943 140737332987312 18446744073709551615 9138370 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 20174 18320 524 1502 0 18667 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80696

[startup+0.700854 s]
/proc/loadavg: 2.00 2.00 1.95 5/178 23029
/proc/meminfo: memFree=28373376/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=80696 CPUtime=0.69
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 18776 0 0 0 68 1 0 0 25 0 1 0 26073972 82632704 18320 4089446400 4194304 10345943 140737332987312 18446744073709551615 9138281 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 20174 18320 524 1502 0 18667 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80696

[startup+1.50069 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23030
/proc/meminfo: memFree=28298472/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=83356 CPUtime=1.49
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 19453 0 0 0 148 1 0 0 25 0 1 0 26073972 85356544 18959 4089446400 4194304 10345943 140737332987312 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 20839 18959 568 1502 0 19332 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83356

[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23030
/proc/meminfo: memFree=28296520/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=101444 CPUtime=3.09
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 23600 0 0 0 307 2 0 0 25 0 1 0 26073972 103878656 23105 4089446400 4194304 10345943 140737332987312 18446744073709551615 6866097 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 25361 23105 712 1502 0 23854 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 101444

[startup+6.3008 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23030
/proc/meminfo: memFree=28273332/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=104632 CPUtime=6.29
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 29268 0 0 0 627 2 0 0 25 0 1 0 26073972 107143168 23916 4089446400 4194304 10345943 140737332987312 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 26158 23916 719 1502 0 24651 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104632

[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23030
/proc/meminfo: memFree=28263284/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=108712 CPUtime=12.69
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 35206 0 0 0 1266 3 0 0 25 0 1 0 26073972 111321088 24997 4089446400 4194304 10345943 140737332987312 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 27178 24997 722 1502 0 25671 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108712

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23030
/proc/meminfo: memFree=28241400/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=115056 CPUtime=25.49
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 75082 0 0 0 2542 7 0 0 25 0 1 0 26073972 117817344 26683 4089446400 4194304 10345943 140737332987312 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 28764 26683 731 1502 0 27257 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115056

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23031
/proc/meminfo: memFree=28197264/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=129056 CPUtime=51.09
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 100652 0 0 0 5098 11 0 0 25 0 1 0 26073972 132153344 30123 4089446400 4194304 10345943 140737332987312 18446744073709551615 4454095 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 32264 30123 732 1502 0 30757 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 129056

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23032
/proc/meminfo: memFree=28088468/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=177720 CPUtime=102.3
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 115239 0 0 0 10215 15 0 0 25 0 1 0 26073972 181985280 42653 4089446400 4194304 10345943 140737332987312 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 44430 42653 734 1502 0 42923 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 177720

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23034
/proc/meminfo: memFree=27987976/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=208792 CPUtime=162.3
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 125250 0 0 0 16211 19 0 0 25 0 1 0 26073972 213803008 50433 4089446400 4194304 10345943 140737332987312 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 52198 50433 734 1502 0 50691 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 208792

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23035
/proc/meminfo: memFree=27913672/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=214912 CPUtime=222.3
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 126749 0 0 0 22209 21 0 0 25 0 1 0 26073972 220069888 51932 4089446400 4194304 10345943 140737332987312 18446744073709551615 6003107 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 53728 51932 734 1502 0 52221 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 214912

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23037
/proc/meminfo: memFree=27817400/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=241816 CPUtime=282.3
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 133395 0 0 0 28207 23 0 0 25 0 1 0 26073972 247619584 58578 4089446400 4194304 10345943 140737332987312 18446744073709551615 6309681 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 60454 58578 734 1502 0 58947 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 241816

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23039
/proc/meminfo: memFree=27720764/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=270192 CPUtime=342.3
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 140340 0 0 0 34205 25 0 0 25 0 1 0 26073972 276676608 65523 4089446400 4194304 10345943 140737332987312 18446744073709551615 4688130 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 67548 65523 734 1502 0 66041 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 270192

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23040
/proc/meminfo: memFree=27627480/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=295848 CPUtime=402.31
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 146795 0 0 0 40203 28 0 0 25 0 1 0 26073972 302948352 71978 4089446400 4194304 10345943 140737332987312 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 73962 71978 734 1502 0 72455 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 295848

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23042
/proc/meminfo: memFree=27528984/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=322948 CPUtime=462.31
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 153573 0 0 0 46201 30 0 0 25 0 1 0 26073972 330698752 78756 4089446400 4194304 10345943 140737332987312 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 80737 78756 734 1502 0 79230 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 322948

[startup+522.3 s]
/proc/loadavg: 2.13 2.03 1.96 3/179 23043
/proc/meminfo: memFree=27430740/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=349136 CPUtime=522.31
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 160146 0 0 0 52198 33 0 0 25 0 1 0 26073972 357515264 85329 4089446400 4194304 10345943 140737332987312 18446744073709551615 4796505 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 87284 85329 734 1502 0 85777 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 349136

[startup+582.301 s]
/proc/loadavg: 2.05 2.02 1.96 3/179 23045
/proc/meminfo: memFree=27337692/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=374936 CPUtime=582.31
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 166604 0 0 0 58196 35 0 0 25 0 1 0 26073972 383934464 91787 4089446400 4194304 10345943 140737332987312 18446744073709551615 6777168 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 93734 91787 734 1502 0 92227 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 374936

[startup+642.301 s]
/proc/loadavg: 2.02 2.02 1.96 3/179 23047
/proc/meminfo: memFree=27240792/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=401356 CPUtime=642.32
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 173188 0 0 0 64194 38 0 0 25 0 1 0 26073972 410988544 98371 4089446400 4194304 10345943 140737332987312 18446744073709551615 6713114 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 100339 98371 734 1502 0 98832 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 401356

[startup+702.3 s]

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

/proc/meminfo: memFree=26666636/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=563656 CPUtime=1002.33
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 213520 0 0 0 100179 54 0 0 25 0 1 0 26073972 577183744 138703 4089446400 4194304 10345943 140737332987312 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 140914 138703 734 1502 0 139407 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 563656

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23058
/proc/meminfo: memFree=26574824/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=589148 CPUtime=1062.32
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 219852 0 0 0 106176 56 0 0 25 0 1 0 26073972 603287552 145035 4089446400 4194304 10345943 140737332987312 18446744073709551615 6002399 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 147287 145035 734 1502 0 145780 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 589148

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23068
/proc/meminfo: memFree=26473916/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=617700 CPUtime=1122.34
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 226885 0 0 0 112174 60 0 0 25 0 1 0 26073972 632524800 152068 4089446400 4194304 10345943 140737332987312 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 154425 152068 734 1502 0 152918 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 617700

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23070
/proc/meminfo: memFree=26377028/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=643220 CPUtime=1182.33
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 233414 0 0 0 118170 63 0 0 25 0 1 0 26073972 658657280 158597 4089446400 4194304 10345943 140737332987312 18446744073709551615 6002399 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 160805 158597 734 1502 0 159298 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 643220

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23072
/proc/meminfo: memFree=26276656/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=673588 CPUtime=1242.34
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 240747 0 0 0 124168 66 0 0 25 0 1 0 26073972 689754112 165930 4089446400 4194304 10345943 140737332987312 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 168397 165930 734 1502 0 166890 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 673588

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23073
/proc/meminfo: memFree=26175052/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=704560 CPUtime=1302.35
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 248491 0 0 0 130166 69 0 0 25 0 1 0 26073972 721469440 173674 4089446400 4194304 10345943 140737332987312 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 176140 173674 734 1502 0 174633 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 704560

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23075
/proc/meminfo: memFree=26074688/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=737096 CPUtime=1362.34
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 256268 0 0 0 136162 72 0 0 25 0 1 0 26073972 754786304 181451 4089446400 4194304 10345943 140737332987312 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 184274 181451 734 1502 0 182767 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 737096

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23076
/proc/meminfo: memFree=25975696/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=768308 CPUtime=1422.34
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 264172 0 0 0 142159 75 0 0 25 0 1 0 26073972 786747392 189355 4089446400 4194304 10345943 140737332987312 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 192077 189355 734 1502 0 190570 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 768308

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23078
/proc/meminfo: memFree=25878556/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=799908 CPUtime=1482.35
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 271998 0 0 0 148157 78 0 0 25 0 1 0 26073972 819105792 197181 4089446400 4194304 10345943 140737332987312 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 199977 197181 734 1502 0 198470 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 799908

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23080
/proc/meminfo: memFree=25777320/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=831544 CPUtime=1542.35
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 279798 0 0 0 154154 81 0 0 25 0 1 0 26073972 851501056 204981 4089446400 4194304 10345943 140737332987312 18446744073709551615 4454070 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 207886 204981 734 1502 0 206379 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 831544

[startup+1602.3 s]
/proc/loadavg: 1.48 1.86 1.91 2/171 23102
/proc/meminfo: memFree=27809300/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=863052 CPUtime=1602.35
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 287493 0 0 0 160152 83 0 0 25 0 1 0 26073972 883765248 212676 4089446400 4194304 10345943 140737332987312 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 215763 212676 741 1502 0 214256 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 863052

[startup+1662.3 s]
/proc/loadavg: 1.17 1.70 1.85 2/171 23104
/proc/meminfo: memFree=27777636/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=893948 CPUtime=1662.35
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 295333 0 0 0 166149 86 0 0 25 0 1 0 26073972 915402752 220516 4089446400 4194304 10345943 140737332987312 18446744073709551615 6307492 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 223487 220516 741 1502 0 221980 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 893948

[startup+1722.3 s]
/proc/loadavg: 1.06 1.57 1.80 2/171 23105
/proc/meminfo: memFree=27746596/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=923704 CPUtime=1722.35
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 303097 0 0 0 172146 89 0 0 25 0 1 0 26073972 945872896 228280 4089446400 4194304 10345943 140737332987312 18446744073709551615 6119675 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 230926 228280 741 1502 0 229419 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 923704

[startup+1782.3 s]
/proc/loadavg: 1.02 1.46 1.75 2/171 23107
/proc/meminfo: memFree=27718904/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=952876 CPUtime=1782.36
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 310261 0 0 0 178144 92 0 0 25 0 1 0 26073972 975745024 235444 4089446400 4194304 10345943 140737332987312 18446744073709551615 6802904 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 238219 235444 741 1502 0 236712 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 952876

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 1.02 1.46 1.75 2/171 23107
/proc/meminfo: memFree=27716176/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=954664 CPUtime=1785.56
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 310722 0 0 0 178464 92 0 0 25 0 1 0 26073972 977575936 235905 4089446400 4194304 10345943 140737332987312 18446744073709551615 4900821 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 238666 235905 741 1502 0 237159 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 954664

[startup+1788.7 s]
/proc/loadavg: 1.02 1.45 1.74 2/171 23107
/proc/meminfo: memFree=27714316/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=955684 CPUtime=1788.75
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 311114 0 0 0 178783 92 0 0 25 0 1 0 26073972 978620416 236297 4089446400 4194304 10345943 140737332987312 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/23029/statm: 238921 236297 741 1502 0 237414 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 955684

[startup+1790.3 s]
/proc/loadavg: 1.02 1.45 1.74 2/171 23107
/proc/meminfo: memFree=27713684/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=956704 CPUtime=1790.35
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 311352 0 0 0 178943 92 0 0 18 0 1 0 26073972 979664896 236535 4089446400 4194304 10345943 140737332987312 18446744073709551615 4246430 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23029/statm: 239176 236535 741 1502 0 237669 0
Current children cumulated CPU time (s) 1790.35
Current children cumulated vsize (KiB) 956704

[startup+1790.7 s]
/proc/loadavg: 1.02 1.45 1.74 2/171 23107
/proc/meminfo: memFree=27713436/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=956704 CPUtime=1790.76
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 311352 0 0 0 178984 92 0 0 18 0 1 0 26073972 979664896 236535 4089446400 4194304 10345943 140737332987312 18446744073709551615 4246696 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23029/statm: 239176 236535 741 1502 0 237669 0
Current children cumulated CPU time (s) 1790.76
Current children cumulated vsize (KiB) 956704

[startup+1791.1 s]
/proc/loadavg: 1.02 1.45 1.74 2/171 23107
/proc/meminfo: memFree=27713436/32950928 swapFree=67111528/67111528
[pid=23029] ppid=23027 vsize=956764 CPUtime=1791.15
/proc/23029/stat : 23029 (pbscip.linux.x8) R 23027 23029 22227 0 -1 4202496 311386 0 0 0 179023 92 0 0 18 0 1 0 26073972 979726336 236569 4089446400 4194304 10345943 140737332987312 18446744073709551615 6076037 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/23029/statm: 239191 236569 745 1502 0 237684 0
Current children cumulated CPU time (s) 1791.15
Current children cumulated vsize (KiB) 956764

Child status: 0
Real time (s): 1791.16
CPU time (s): 1791.23
CPU user time (s): 1790.27
CPU system time (s): 0.961853
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 956764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.27
system time used= 0.961853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311389
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= 3
involuntary context switches= 1124

runsolver used 2.24666 second user time and 5.9161 second system time

The end

Launcher Data 

Begin job on node114 at 2010-07-08 10:43:12
IDJOB=2705395
IDBENCH=79346
IDSOLVER=1214
FILE ID=node114/2705395-1278578592
PBS_JOBID= 11240226
Free space on /tmp= 73152 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB10/oliveras/j30/normalized-j308_1-unsat--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705395-1278578592/watcher-2705395-1278578592 -o /tmp/evaluation-result-2705395-1278578592/solver-2705395-1278578592 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705395-1278578592.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 591706804da9a76ba42d2e694fd25fcb
RANDOM SEED=779094286

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.824
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.824
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.824
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.824
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.824
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.824
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.824
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.824
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28374276 kB
Buffers:        158280 kB
Cached:        3915084 kB
SwapCached:          0 kB
Active:        1590220 kB
Inactive:      2815500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28374276 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12832 kB
Writeback:           0 kB
AnonPages:      332300 kB
Mapped:          17632 kB
Slab:           105544 kB
PageTables:       5228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   478448 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73152 MiB
End job on node114 at 2010-07-08 11:13:03