Trace number 2693301

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.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1801.4 1801.35

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

Verifier Data 

OK	7817

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693301-1277932867/watcher-2693301-1277932867 -o /tmp/evaluation-result-2693301-1277932867/solver-2693301-1277932867 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693301-1277932867.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: 1.95 2.00 2.00 4/178 21286
/proc/meminfo: memFree=30574004/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=11116 CPUtime=0
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 1702 0 0 0 0 0 0 0 25 0 1 0 134581370 11382784 1622 4089446400 4194304 9819077 140734751570848 18446744073709551615 8780188 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21286/statm: 2779 1622 392 1374 0 1400 0

[startup+0.0609629 s]
/proc/loadavg: 1.95 2.00 2.00 4/178 21286
/proc/meminfo: memFree=30574004/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=27968 CPUtime=0.05
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 5918 0 0 0 5 0 0 0 25 0 1 0 134581370 28639232 5838 4089446400 4194304 9819077 140734751570848 18446744073709551615 4240582 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21286/statm: 6992 5838 392 1374 0 5613 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27968

[startup+0.100943 s]
/proc/loadavg: 1.95 2.00 2.00 4/178 21286
/proc/meminfo: memFree=30574004/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=39084 CPUtime=0.09
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 9065 0 0 0 9 0 0 0 25 0 1 0 134581370 40022016 8608 4089446400 4194304 9819077 140734751570848 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 9771 8608 445 1374 0 8392 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39084

[startup+0.300908 s]
/proc/loadavg: 1.95 2.00 2.00 4/178 21286
/proc/meminfo: memFree=30574004/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=78884 CPUtime=0.29
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 18387 0 0 0 28 1 0 0 25 0 1 0 134581370 80777216 17930 4089446400 4194304 9819077 140734751570848 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 19721 17930 483 1374 0 18342 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 78884

[startup+0.700868 s]
/proc/loadavg: 1.95 2.00 2.00 4/178 21286
/proc/meminfo: memFree=30574004/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=78884 CPUtime=0.69
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 18387 0 0 0 68 1 0 0 25 0 1 0 134581370 80777216 17930 4089446400 4194304 9819077 140734751570848 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 19721 17930 483 1374 0 18342 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78884

[startup+1.50072 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 21287
/proc/meminfo: memFree=30503936/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=82916 CPUtime=1.49
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 19680 0 0 0 146 3 0 0 25 0 1 0 134581370 84905984 18936 4089446400 4194304 9819077 140734751570848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 20729 18936 527 1374 0 19350 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82916

[startup+3.10042 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 21287
/proc/meminfo: memFree=30499348/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=85276 CPUtime=3.09
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 20949 0 0 0 301 8 0 0 25 0 1 0 134581370 87322624 19498 4089446400 4194304 9819077 140734751570848 18446744073709551615 4331524 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 21319 19498 541 1374 0 19940 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85276

[startup+6.30085 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 21287
/proc/meminfo: memFree=30482780/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=102132 CPUtime=6.29
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 138324 0 0 0 604 25 0 0 25 0 1 0 134581370 104583168 23202 4089446400 4194304 9819077 140734751570848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 25533 23202 665 1374 0 24154 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102132

[startup+12.7007 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 21287
/proc/meminfo: memFree=30476348/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=105888 CPUtime=12.69
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 343030 0 0 0 1216 53 0 0 25 0 1 0 134581370 108429312 24162 4089446400 4194304 9819077 140734751570848 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 26472 24162 665 1374 0 25093 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105888

[startup+25.5004 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 21288
/proc/meminfo: memFree=30461684/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=115048 CPUtime=25.49
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 708487 0 0 0 2446 103 0 0 25 0 1 0 134581370 117809152 26593 4089446400 4194304 9819077 140734751570848 18446744073709551615 6628310 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 28762 26593 689 1374 0 27383 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115048

[startup+51.1008 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21289
/proc/meminfo: memFree=30429660/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=135064 CPUtime=51.09
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 1382976 0 0 0 4907 202 0 0 25 0 1 0 134581370 138305536 31468 4089446400 4194304 9819077 140734751570848 18446744073709551615 4429721 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 33766 31468 689 1374 0 32387 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 135064

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21290
/proc/meminfo: memFree=30367944/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=172028 CPUtime=102.3
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 2586084 0 0 0 9837 393 0 0 25 0 1 0 134581370 176156672 40592 4089446400 4194304 9819077 140734751570848 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 43007 40592 691 1374 0 41628 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 172028

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21291
/proc/meminfo: memFree=30296352/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=216156 CPUtime=162.29
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 4319771 0 0 0 15577 652 0 0 25 0 1 0 134581370 221343744 51682 4089446400 4194304 9819077 140734751570848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 54039 51682 691 1374 0 52660 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 216156

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21293
/proc/meminfo: memFree=30228116/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=254564 CPUtime=222.3
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 5906507 0 0 0 21347 883 0 0 25 0 1 0 134581370 260673536 61306 4089446400 4194304 9819077 140734751570848 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 63641 61306 691 1374 0 62262 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 254564

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21295
/proc/meminfo: memFree=30162108/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=293840 CPUtime=282.3
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 7305154 0 0 0 27134 1096 0 0 25 0 1 0 134581370 300892160 71089 4089446400 4194304 9819077 140734751570848 18446744073709551615 4965891 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 73460 71089 691 1374 0 72081 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 293840

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21297
/proc/meminfo: memFree=30092992/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=333412 CPUtime=342.3
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 8030243 0 0 0 32993 1237 0 0 25 0 1 0 134581370 341413888 81187 4089446400 4194304 9819077 140734751570848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 83353 81187 691 1374 0 81974 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 333412

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21298
/proc/meminfo: memFree=30029344/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=368392 CPUtime=402.3
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 9036737 0 0 0 38816 1414 0 0 25 0 1 0 134581370 377233408 90021 4089446400 4194304 9819077 140734751570848 18446744073709551615 7815949 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 92058 89942 691 1374 0 90679 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 368392

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21299
/proc/meminfo: memFree=29963324/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=404372 CPUtime=462.31
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 10383124 0 0 0 44605 1626 0 0 25 0 1 0 134581370 414076928 98865 4089446400 4194304 9819077 140734751570848 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 101093 98865 691 1374 0 99714 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 404372

[startup+522.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 21301
/proc/meminfo: memFree=29899052/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=441564 CPUtime=522.31
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 11585769 0 0 0 50405 1826 0 0 25 0 1 0 134581370 452161536 108205 4089446400 4194304 9819077 140734751570848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 110391 108205 691 1374 0 109012 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 441564

[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21303
/proc/meminfo: memFree=29832168/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=477380 CPUtime=582.31
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 12854614 0 0 0 56208 2023 0 0 25 0 1 0 134581370 488837120 117112 4089446400 4194304 9819077 140734751570848 18446744073709551615 6590607 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21286/statm: 119345 117128 691 1374 0 117966 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 477380

[startup+642.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 21308
/proc/meminfo: memFree=29765160/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=515484 CPUtime=642.32
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 14202333 0 0 0 61997 2235 0 0 25 0 1 0 134581370 527855616 126229 4089446400 4194304 9819077 140734751570848 18446744073709551615 4651272 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 128871 126229 691 1374 0 127492 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 515484

[startup+702.3 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.00 1.36 1.72 2/171 21340
/proc/meminfo: memFree=30419300/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=775024 CPUtime=1062.32
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 25913916 0 0 0 102190 4042 0 0 25 0 1 0 134581370 793624576 191266 4089446400 4194304 9819077 140734751570848 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 193756 191266 691 1374 0 192377 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 775024

[startup+1122.3 s]
/proc/loadavg: 1.00 1.29 1.67 2/171 21342
/proc/meminfo: memFree=30383684/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=810660 CPUtime=1122.31
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 27621837 0 0 0 107925 4306 0 0 25 0 1 0 134581370 830115840 200130 4089446400 4194304 9819077 140734751570848 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 202665 200130 691 1374 0 201286 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 810660

[startup+1182.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/171 21344
/proc/meminfo: memFree=30348436/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=846308 CPUtime=1182.32
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 29248398 0 0 0 113661 4571 0 0 25 0 1 0 134581370 866619392 209056 4089446400 4194304 9819077 140734751570848 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 211577 209056 691 1374 0 210198 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 846308

[startup+1242.3 s]
/proc/loadavg: 1.00 1.19 1.58 2/171 21346
/proc/meminfo: memFree=30312080/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=881748 CPUtime=1242.32
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 30842223 0 0 0 119413 4819 0 0 25 0 1 0 134581370 902909952 217944 4089446400 4194304 9819077 140734751570848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 220437 217944 691 1374 0 219058 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 881748

[startup+1302.3 s]
/proc/loadavg: 1.00 1.15 1.54 2/171 21347
/proc/meminfo: memFree=30274228/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=919440 CPUtime=1302.33
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 32380518 0 0 0 125171 5062 0 0 25 0 1 0 134581370 941506560 227415 4089446400 4194304 9819077 140734751570848 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 229860 227415 691 1374 0 228481 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 919440

[startup+1362.3 s]
/proc/loadavg: 1.00 1.12 1.51 2/171 21348
/proc/meminfo: memFree=30237008/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=955896 CPUtime=1362.33
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 34050850 0 0 0 130906 5327 0 0 25 0 1 0 134581370 978837504 236586 4089446400 4194304 9819077 140734751570848 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 238974 236471 691 1374 0 237595 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 955896

[startup+1422.31 s]
/proc/loadavg: 1.00 1.10 1.47 2/171 21350
/proc/meminfo: memFree=30199644/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=994004 CPUtime=1422.33
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 35701158 0 0 0 136640 5593 0 0 25 0 1 0 134581370 1017860096 246096 4089446400 4194304 9819077 140734751570848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 248501 246096 691 1374 0 247122 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 994004

[startup+1482.3 s]
/proc/loadavg: 1.00 1.08 1.44 2/171 21352
/proc/meminfo: memFree=30161056/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=1033320 CPUtime=1482.33
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 37428129 0 0 0 142369 5864 0 0 25 0 1 0 134581370 1058119680 255946 4089446400 4194304 9819077 140734751570848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 258330 255946 691 1374 0 256951 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1033320

[startup+1542.3 s]
/proc/loadavg: 1.00 1.06 1.41 2/171 21354
/proc/meminfo: memFree=30120348/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=1073016 CPUtime=1542.33
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 39044658 0 0 0 148115 6118 0 0 25 0 1 0 134581370 1098768384 265860 4089446400 4194304 9819077 140734751570848 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 268254 265860 691 1374 0 266875 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1073016

[startup+1602.3 s]
/proc/loadavg: 1.00 1.05 1.38 2/171 21355
/proc/meminfo: memFree=30081876/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=1111256 CPUtime=1602.34
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 40965167 0 0 0 153813 6421 0 0 25 0 1 0 134581370 1137926144 275477 4089446400 4194304 9819077 140734751570848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 277814 275477 691 1374 0 276435 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1111256

[startup+1662.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/171 21356
/proc/meminfo: memFree=30045512/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=1147388 CPUtime=1662.33
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 42811443 0 0 0 159537 6696 0 0 25 0 1 0 134581370 1174925312 284539 4089446400 4194304 9819077 140734751570848 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 286847 284539 691 1374 0 285468 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1147388

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/171 21358
/proc/meminfo: memFree=30012508/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=1180420 CPUtime=1722.33
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 44596844 0 0 0 165264 6969 0 0 25 0 1 0 134581370 1208750080 292784 4089446400 4194304 9819077 140734751570848 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 295105 292784 691 1374 0 293726 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1180420

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/171 21360
/proc/meminfo: memFree=29979384/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=1214676 CPUtime=1782.34
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 46330450 0 0 0 170990 7244 0 0 25 0 1 0 134581370 1243828224 301323 4089446400 4194304 9819077 140734751570848 18446744073709551615 4651558 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 303669 301323 691 1374 0 302290 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1214676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.02 1.30 2/171 21360
/proc/meminfo: memFree=29966976/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=1226056 CPUtime=1800.04
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 46781795 0 0 0 172685 7319 0 0 25 0 1 0 134581370 1255481344 304101 4089446400 4194304 9819077 140734751570848 18446744073709551615 6590607 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21286/statm: 306514 304108 691 1374 0 305135 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1226056

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

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.02 1.30 2/172 21361
/proc/meminfo: memFree=29966968/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=1226056 CPUtime=1800.65
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 46781917 0 0 0 172746 7319 0 0 25 0 1 0 134581370 1255481344 304181 4089446400 4194304 9819077 140734751570848 18446744073709551615 4241122 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21286/statm: 306514 304181 691 1374 0 305135 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 1226056

[startup+1801 s]
/proc/loadavg: 1.00 1.02 1.30 2/172 21361
/proc/meminfo: memFree=29966968/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=1226056 CPUtime=1801.04
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 46781917 0 0 0 172785 7319 0 0 25 0 1 0 134581370 1255481344 304181 4089446400 4194304 9819077 140734751570848 18446744073709551615 4241129 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21286/statm: 306514 304181 691 1374 0 305135 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 1226056

[startup+1801.2 s]
/proc/loadavg: 1.00 1.02 1.30 2/172 21361
/proc/meminfo: memFree=29966968/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=585192 CPUtime=1801.24
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 46782128 0 0 0 172803 7321 0 0 25 0 1 0 134581370 599236608 144016 4089446400 4194304 9819077 140734751570848 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21286/statm: 146298 144016 694 1374 0 144919 0
Current children cumulated CPU time (s) 1801.24
Current children cumulated vsize (KiB) 585192

[startup+1801.3 s]
/proc/loadavg: 1.00 1.02 1.30 2/172 21361
/proc/meminfo: memFree=29966968/32951124 swapFree=67111528/67111528
[pid=21286] ppid=21284 vsize=215900 CPUtime=1801.34
/proc/21286/stat : 21286 (pbscip.linux.x8) R 21284 21286 20700 0 -1 4202496 46782140 0 0 0 172811 7323 0 0 25 0 1 0 134581370 221081600 51703 4089446400 4194304 9819077 140734751570848 18446744073709551615 4700038 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21286/statm: 53975 51703 694 1374 0 52596 0
Current children cumulated CPU time (s) 1801.34
Current children cumulated vsize (KiB) 215900

Child status: 0
Real time (s): 1801.35
CPU time (s): 1801.4
CPU user time (s): 1728.16
CPU system time (s): 73.2419
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1226056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1728.16
system time used= 73.2419
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46782144
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= 1
involuntary context switches= 1840

runsolver used 2.94855 second user time and 5.95409 second system time

The end

Launcher Data 

Begin job on node146 at 2010-06-30 23:21:07
IDJOB=2693301
IDBENCH=79346
IDSOLVER=1205
FILE ID=node146/2693301-1277932867
PBS_JOBID= 11197431
Free space on /tmp= 74172 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 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-2693301-1277932867/watcher-2693301-1277932867 -o /tmp/evaluation-result-2693301-1277932867/solver-2693301-1277932867 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693301-1277932867.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 591706804da9a76ba42d2e694fd25fcb
RANDOM SEED=2076106048

node146.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.839
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.67
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.839
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.83
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.839
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.75
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.839
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.83
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.839
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.67
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.839
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.82
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.839
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.74
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.839
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30574656 kB
Buffers:        222484 kB
Cached:        1341028 kB
SwapCached:          0 kB
Active:        1091012 kB
Inactive:      1134932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30574656 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6552 kB
Writeback:           0 kB
AnonPages:      661984 kB
Mapped:          17516 kB
Slab:            84892 kB
PageTables:       5860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   816856 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= 74172 MiB
End job on node146 at 2010-06-30 23:51:09