Trace number 3742893

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1802.07 1802.42

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opb
MD5SUMcd63af4b43031b31fea6da5a72b06e90
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.81472
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 16038
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 16038
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 204087
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.29/0.39	c SCIP version 1.1.0.7
0.29/0.39	c LP-Solver SoPlex 1.4.1
0.29/0.39	c user parameter file <scip.set> not found - using default parameters
0.29/0.39	c read problem <HOME/instance-3742893-1338799032.opb>
0.29/0.39	c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.48/0.54	c start presolving problem
0.48/0.54	c presolving:
0.59/0.68	c (round 1) 16164 del vars, 16284 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10008 impls, 309 clqs
0.69/0.70	c (round 2) 16933 del vars, 17058 del conss, 771 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10428 impls, 308 clqs
0.69/0.73	c (round 3) 17328 del vars, 17453 del conss, 1166 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11090 impls, 308 clqs
0.69/0.75	c (round 4) 17602 del vars, 17727 del conss, 1440 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12186 impls, 308 clqs
0.69/0.77	c (round 5) 17823 del vars, 17948 del conss, 1661 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13378 impls, 308 clqs
0.69/0.79	c (round 6) 18008 del vars, 18133 del conss, 1846 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14154 impls, 308 clqs
0.79/0.81	c (round 7) 18163 del vars, 18288 del conss, 2001 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14766 impls, 308 clqs
0.79/0.83	c (round 8) 18254 del vars, 18379 del conss, 2092 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15448 impls, 308 clqs
0.79/0.85	c (round 9) 18291 del vars, 18416 del conss, 2129 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15938 impls, 308 clqs
0.79/0.87	c (round 10) 18308 del vars, 18433 del conss, 2146 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16168 impls, 308 clqs
21.99/22.07	c (round 11) 18375 del vars, 18499 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22386 upgd conss, 2589734 impls, 308 clqs
22.28/22.36	c (round 12) 18375 del vars, 18565 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 2589734 impls, 309 clqs
49.38/49.44	c (round 13) 18447 del vars, 18565 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 4886996 impls, 309 clqs
49.67/49.72	c (round 14) 18447 del vars, 18635 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 4886996 impls, 309 clqs
58.27/58.38	c (round 15) 18506 del vars, 18635 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 5660732 impls, 309 clqs
58.57/58.67	c (round 16) 18506 del vars, 18691 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 5660732 impls, 309 clqs
63.36/63.43	c (round 17) 18556 del vars, 18691 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 5791198 impls, 309 clqs
63.66/63.72	c (round 18) 18556 del vars, 18739 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 5791314 impls, 309 clqs
72.65/72.79	c (round 19) 18606 del vars, 18739 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 6527724 impls, 309 clqs
72.95/73.08	c (round 20) 18606 del vars, 18788 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 6527724 impls, 309 clqs
81.75/81.84	c (round 21) 18658 del vars, 18788 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 7265238 impls, 309 clqs
82.05/82.13	c (round 22) 18658 del vars, 18836 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 7265238 impls, 309 clqs
88.06/88.11	c (round 23) 18708 del vars, 18836 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 8126964 impls, 309 clqs
88.35/88.40	c (round 24) 18708 del vars, 18881 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 8126964 impls, 309 clqs
93.65/93.74	c (round 25) 18758 del vars, 18881 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 8362544 impls, 309 clqs
93.95/94.02	c (round 26) 18758 del vars, 18930 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 8362544 impls, 309 clqs
101.45/101.57	c    (100.8s) probing: 1000/22142 (4.5%) - 449 fixings, 27 aggregations, 1452904 implications, 0 bound changes
105.85/105.97	c (round 27) 18808 del vars, 18930 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 9979338 impls, 309 clqs
106.15/106.25	c (round 28) 18808 del vars, 18971 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 9979338 impls, 309 clqs
111.45/111.52	c (round 29) 18858 del vars, 18971 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 10272252 impls, 309 clqs
111.75/111.81	c (round 30) 18858 del vars, 19016 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 10272252 impls, 309 clqs
117.95/118.02	c (round 31) 18908 del vars, 19016 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 10872942 impls, 309 clqs
118.25/118.31	c (round 32) 18908 del vars, 19062 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 10872942 impls, 309 clqs
133.25/133.33	c (round 33) 18958 del vars, 19062 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 12042162 impls, 309 clqs
133.55/133.62	c (round 34) 18958 del vars, 19107 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 12042162 impls, 309 clqs
138.05/138.17	c    (137.3s) probing: 2000/22142 (9.0%) - 625 fixings, 44 aggregations, 2868148 implications, 0 bound changes
152.04/152.13	c (round 35) 19008 del vars, 19107 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 13990640 impls, 309 clqs
152.34/152.41	c (round 36) 19008 del vars, 19143 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 13990640 impls, 309 clqs
176.84/176.96	c    (176.0s) probing: 3000/22142 (13.5%) - 685 fixings, 61 aggregations, 4299506 implications, 0 bound changes
190.24/190.36	c (round 37) 19058 del vars, 19143 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 16209052 impls, 309 clqs
190.53/190.65	c (round 38) 19058 del vars, 19186 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 16209052 impls, 309 clqs
209.33/209.48	c (round 39) 19108 del vars, 19186 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 18381006 impls, 309 clqs
209.63/209.76	c (round 40) 19108 del vars, 19225 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 18381006 impls, 309 clqs
218.83/218.92	c    (217.9s) probing: 4000/22142 (18.1%) - 738 fixings, 73 aggregations, 5887147 implications, 0 bound changes
258.33/258.50	c    (257.4s) probing: 5000/22142 (22.6%) - 760 fixings, 79 aggregations, 6874720 implications, 0 bound changes
269.02/269.12	c (round 41) 19158 del vars, 19225 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 21593082 impls, 309 clqs
269.22/269.40	c (round 42) 19158 del vars, 19266 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 21593082 impls, 309 clqs
286.72/286.89	c (round 43) 19208 del vars, 19266 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 23474676 impls, 309 clqs
287.02/287.17	c (round 44) 19208 del vars, 19307 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 23474676 impls, 309 clqs
303.52/303.69	c    (302.5s) probing: 6000/22142 (27.1%) - 824 fixings, 94 aggregations, 8655930 implications, 0 bound changes
344.20/344.37	c    (343.1s) probing: 7000/22142 (31.6%) - 846 fixings, 102 aggregations, 9747401 implications, 0 bound changes
347.20/347.31	c (round 45) 19258 del vars, 19307 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 26898478 impls, 309 clqs
347.41/347.59	c (round 46) 19258 del vars, 19346 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 26898478 impls, 309 clqs
364.09/364.29	c (round 47) 19308 del vars, 19346 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 28654674 impls, 309 clqs
364.39/364.57	c (round 48) 19308 del vars, 19387 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 28654674 impls, 309 clqs
388.99/389.18	c    (387.9s) probing: 8000/22142 (36.1%) - 904 fixings, 116 aggregations, 11381164 implications, 0 bound changes
425.97/426.11	c (round 49) 19358 del vars, 19387 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 32135164 impls, 309 clqs
426.17/426.39	c (round 50) 19358 del vars, 19425 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 32135164 impls, 309 clqs
431.08/431.29	c    (429.9s) probing: 9000/22142 (40.6%) - 936 fixings, 124 aggregations, 12634325 implications, 0 bound changes
443.08/443.27	c (round 51) 19408 del vars, 19425 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 33912904 impls, 309 clqs
443.37/443.55	c (round 52) 19408 del vars, 19467 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 33912904 impls, 309 clqs
475.07/475.23	c    (473.8s) probing: 10000/22142 (45.2%) - 989 fixings, 138 aggregations, 14165215 implications, 0 bound changes
504.77/504.97	c (round 53) 19458 del vars, 19467 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 37401402 impls, 309 clqs
505.06/505.25	c (round 54) 19458 del vars, 19505 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 37401402 impls, 309 clqs
518.56/518.79	c    (517.3s) probing: 11000/22142 (49.7%) - 1033 fixings, 150 aggregations, 15699736 implications, 0 bound changes
521.76/521.93	c (round 55) 19508 del vars, 19505 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 39165788 impls, 309 clqs
522.05/522.21	c (round 56) 19508 del vars, 19547 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 39165788 impls, 309 clqs
560.36/560.52	c    (558.9s) probing: 12000/22142 (54.2%) - 1070 fixings, 159 aggregations, 16917457 implications, 0 bound changes
583.25/583.42	c (round 57) 19558 del vars, 19547 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 42644574 impls, 309 clqs
583.55/583.70	c (round 58) 19558 del vars, 19585 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 42644574 impls, 309 clqs
600.25/600.44	c (round 59) 19608 del vars, 19585 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 44428150 impls, 309 clqs
600.55/600.71	c (round 60) 19608 del vars, 19627 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 44428150 impls, 309 clqs
606.05/606.21	c    (604.5s) probing: 13000/22142 (58.7%) - 1133 fixings, 174 aggregations, 18687710 implications, 0 bound changes
645.83/646.08	c    (644.3s) probing: 14000/22142 (63.2%) - 1160 fixings, 179 aggregations, 19663717 implications, 0 bound changes
661.54/661.74	c (round 61) 19658 del vars, 19627 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 47906618 impls, 309 clqs
661.84/662.02	c (round 62) 19658 del vars, 19665 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 47906618 impls, 309 clqs
678.43/678.63	c (round 63) 19708 del vars, 19665 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 49683778 impls, 309 clqs
678.74/678.90	c (round 64) 19708 del vars, 19707 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 49683778 impls, 309 clqs
690.43/690.68	c    (688.9s) probing: 15000/22142 (67.7%) - 1214 fixings, 194 aggregations, 21368561 implications, 0 bound changes
729.92/730.10	c (round 65) 19758 del vars, 19707 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 52635316 impls, 309 clqs
730.13/730.37	c (round 66) 19758 del vars, 19746 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 52635338 impls, 309 clqs
731.82/732.00	c    (730.1s) probing: 16000/22142 (72.3%) - 1248 fixings, 202 aggregations, 22504060 implications, 0 bound changes
744.91/745.11	c (round 67) 19822 del vars, 19746 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 54247496 impls, 309 clqs
745.11/745.38	c (round 68) 19822 del vars, 19802 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 54247594 impls, 309 clqs
770.91/771.14	c (round 69) 19874 del vars, 19802 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 55547900 impls, 309 clqs
771.21/771.41	c (round 70) 19874 del vars, 19850 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 55547976 impls, 309 clqs
778.11/778.36	c (round 71) 19939 del vars, 19850 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 56219728 impls, 309 clqs
778.41/778.63	c (round 72) 19939 del vars, 19913 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 56219844 impls, 309 clqs
778.62/778.83	c    (776.8s) probing: 17000/22142 (76.8%) - 1414 fixings, 216 aggregations, 24184617 implications, 0 bound changes
791.40/791.64	c (round 73) 19989 del vars, 19913 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 56902254 impls, 309 clqs
792.01/792.22	c (round 74) 19990 del vars, 19959 del conss, 2151 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 56938380 impls, 309 clqs
792.21/792.48	c (round 75) 19994 del vars, 19963 del conss, 2151 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 56938382 impls, 309 clqs
794.21/794.47	c (round 76) 20046 del vars, 19963 del conss, 2151 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 57110984 impls, 309 clqs
794.21/794.49	c (round 77) 20046 del vars, 20015 del conss, 2151 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 57111100 impls, 309 clqs
812.30/812.50	c (round 78) 20096 del vars, 20015 del conss, 2151 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 58031238 impls, 309 clqs
812.50/812.77	c (round 79) 20096 del vars, 20061 del conss, 2151 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 58031268 impls, 309 clqs
814.60/814.85	c (round 80) 20163 del vars, 20061 del conss, 2151 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 58176848 impls, 309 clqs
814.60/814.88	c (round 81) 20163 del vars, 20128 del conss, 2151 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 58176978 impls, 309 clqs
822.10/822.38	c (round 82) 20213 del vars, 20128 del conss, 2151 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 58741813 impls, 309 clqs
822.60/822.82	c (round 83) 20214 del vars, 20172 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 58751041 impls, 309 clqs
822.80/823.08	c (round 84) 20217 del vars, 20175 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 58751041 impls, 309 clqs
827.10/827.39	c (round 85) 20267 del vars, 20175 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 58966741 impls, 309 clqs
827.20/827.42	c (round 86) 20267 del vars, 20225 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 58966817 impls, 309 clqs
832.00/832.27	c (round 87) 20320 del vars, 20225 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 59218055 impls, 309 clqs
832.30/832.53	c (round 88) 20320 del vars, 20277 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 59218171 impls, 309 clqs
832.41/832.70	c    (830.6s) probing: 18000/22142 (81.3%) - 1771 fixings, 231 aggregations, 25496938 implications, 0 bound changes
843.09/843.30	c (round 89) 20380 del vars, 20277 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 59856206 impls, 309 clqs
843.29/843.56	c (round 90) 20380 del vars, 20332 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 59856272 impls, 309 clqs
847.39/847.60	c (round 91) 20430 del vars, 20332 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 60160240 impls, 309 clqs
847.70/847.90	c (round 92) 20435 del vars, 20386 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 60160336 impls, 309 clqs
847.70/847.94	c (round 93) 20439 del vars, 20390 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 60160408 impls, 309 clqs
854.09/854.37	c (round 94) 20504 del vars, 20390 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 60378684 impls, 309 clqs
854.09/854.39	c (round 95) 20504 del vars, 20455 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 60378806 impls, 309 clqs
854.99/855.23	c (round 96) 20564 del vars, 20455 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 60404852 impls, 309 clqs
854.99/855.25	c (round 97) 20564 del vars, 20515 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 60404918 impls, 309 clqs
863.30/863.56	c (round 98) 20623 del vars, 20515 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 60838682 impls, 309 clqs
863.59/863.82	c (round 99) 20623 del vars, 20571 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 60838782 impls, 309 clqs
864.89/865.18	c (round 100) 20691 del vars, 20571 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 60864370 impls, 309 clqs
864.99/865.20	c (round 101) 20691 del vars, 20639 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 60864476 impls, 309 clqs
871.79/872.06	c (round 102) 20741 del vars, 20639 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61222436 impls, 309 clqs
872.10/872.32	c (round 103) 20741 del vars, 20687 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61222604 impls, 309 clqs
872.99/873.21	c (round 104) 20828 del vars, 20687 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61248014 impls, 309 clqs
872.99/873.23	c (round 105) 20828 del vars, 20774 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61248160 impls, 309 clqs
874.09/874.36	c (round 106) 20916 del vars, 20774 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61279944 impls, 309 clqs
874.09/874.38	c (round 107) 20916 del vars, 20862 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61280108 impls, 309 clqs
875.89/876.10	c (round 108) 20966 del vars, 20862 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61316622 impls, 309 clqs
876.09/876.33	c (round 109) 20983 del vars, 20929 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61316632 impls, 309 clqs
876.09/876.36	c (round 110) 20988 del vars, 20934 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61316726 impls, 309 clqs
881.78/882.03	c (round 111) 21088 del vars, 20934 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61511952 impls, 309 clqs
881.78/882.05	c (round 112) 21088 del vars, 21034 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61512092 impls, 309 clqs
886.19/886.44	c (round 113) 21139 del vars, 21034 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61735300 impls, 309 clqs
886.40/886.69	c (round 114) 21139 del vars, 21082 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61735474 impls, 309 clqs
888.39/888.65	c (round 115) 21193 del vars, 21082 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61818194 impls, 309 clqs
888.39/888.67	c (round 116) 21193 del vars, 21136 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61818258 impls, 309 clqs
892.49/892.77	c    (890.5s) probing: 19000/22142 (85.8%) - 2618 fixings, 246 aggregations, 26668205 implications, 0 bound changes
894.49/894.71	c (round 117) 21271 del vars, 21136 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61977178 impls, 304 clqs
894.69/894.96	c (round 118) 21271 del vars, 21213 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 61977282 impls, 304 clqs
896.78/897.08	c (round 119) 21384 del vars, 21213 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62085624 impls, 304 clqs
896.88/897.10	c (round 120) 21384 del vars, 21326 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62085832 impls, 304 clqs
901.80/902.06	c (round 121) 21437 del vars, 21326 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62325442 impls, 304 clqs
902.08/902.30	c (round 122) 21437 del vars, 21377 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62325520 impls, 304 clqs
903.18/903.49	c (round 123) 21556 del vars, 21377 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62350186 impls, 304 clqs
903.28/903.51	c (round 124) 21556 del vars, 21496 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62350368 impls, 304 clqs
904.49/904.73	c (round 125) 21606 del vars, 21496 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62356204 impls, 304 clqs
904.49/904.75	c (round 126) 21606 del vars, 21551 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62356278 impls, 304 clqs
905.69/905.96	c (round 127) 21676 del vars, 21551 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62407062 impls, 304 clqs
905.69/905.98	c (round 128) 21676 del vars, 21621 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62407230 impls, 304 clqs
907.58/907.89	c (round 129) 21772 del vars, 21621 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62431008 impls, 294 clqs
907.68/907.91	c (round 130) 21772 del vars, 21717 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62431110 impls, 294 clqs
911.79/912.08	c (round 131) 21825 del vars, 21717 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62564572 impls, 294 clqs
912.08/912.32	c (round 132) 21825 del vars, 21769 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62564678 impls, 294 clqs
913.98/914.27	c (round 133) 21894 del vars, 21769 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62634986 impls, 294 clqs
913.98/914.29	c (round 134) 21894 del vars, 21838 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62635082 impls, 294 clqs
916.98/917.28	c (round 135) 21944 del vars, 21838 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62677934 impls, 294 clqs
917.28/917.52	c (round 136) 21944 del vars, 21887 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62677952 impls, 294 clqs
921.68/921.90	c (round 137) 22039 del vars, 21887 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62853964 impls, 294 clqs
921.88/922.14	c (round 138) 22039 del vars, 21980 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 62854092 impls, 294 clqs
924.28/924.51	c (round 139) 22104 del vars, 21980 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63001763 impls, 294 clqs
924.48/924.75	c (round 140) 22104 del vars, 22054 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63001765 impls, 294 clqs
926.08/926.31	c (round 141) 22171 del vars, 22054 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63073031 impls, 294 clqs
926.08/926.33	c (round 142) 22171 del vars, 22121 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63073069 impls, 294 clqs
931.28/931.51	c (round 143) 22298 del vars, 22121 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63233075 impls, 294 clqs
931.49/931.75	c (round 144) 22298 del vars, 22247 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63233273 impls, 294 clqs
932.08/932.36	c (round 145) 22349 del vars, 22247 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63259023 impls, 294 clqs
932.08/932.38	c (round 146) 22349 del vars, 22298 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63259229 impls, 294 clqs
933.98/934.24	c (round 147) 22402 del vars, 22298 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63286987 impls, 294 clqs
933.98/934.26	c (round 148) 22402 del vars, 22351 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63287005 impls, 294 clqs
936.28/936.58	c (round 149) 22505 del vars, 22351 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63342243 impls, 294 clqs
936.37/936.60	c (round 150) 22505 del vars, 22454 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63342267 impls, 294 clqs
937.48/937.76	c (round 151) 22583 del vars, 22454 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63365747 impls, 294 clqs
937.48/937.78	c (round 152) 22583 del vars, 22532 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63365829 impls, 294 clqs
939.58/939.87	c (round 153) 22633 del vars, 22532 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63423829 impls, 294 clqs
939.58/939.89	c (round 154) 22633 del vars, 22582 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63423849 impls, 294 clqs
940.98/941.28	c (round 155) 22683 del vars, 22582 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63423849 impls, 294 clqs
941.08/941.30	c (round 156) 22683 del vars, 22632 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63423849 impls, 294 clqs
941.78/942.06	c    (939.7s) probing: 20000/22142 (90.3%) - 4100 fixings, 254 aggregations, 27334998 implications, 0 bound changes
941.78/942.06	c    (939.7s) probing: 21000/22142 (94.8%) - 4100 fixings, 254 aggregations, 27334998 implications, 0 bound changes
941.78/942.06	c    (939.7s) probing: 22000/22142 (99.4%) - 4100 fixings, 254 aggregations, 27334998 implications, 0 bound changes
941.78/942.06	c (round 157) 22703 del vars, 22632 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63423887 impls, 294 clqs
941.78/942.08	c (round 158) 22703 del vars, 22652 del conss, 2154 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 63423887 impls, 294 clqs
941.87/942.11	c presolving (159 rounds):
941.87/942.11	c  22703 deleted vars, 22652 deleted constraints, 2154 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
941.87/942.11	c  63423887 implications, 294 cliques
941.87/942.11	c presolved problem has 17748 variables (17748 bin, 0 int, 0 impl, 0 cont) and 18298 constraints
941.87/942.11	c       1 constraints of type <knapsack>
941.87/942.11	c     293 constraints of type <setppc>
941.87/942.11	c   18004 constraints of type <logicor>
941.87/942.11	c transformed objective value is always integral (scale: 1)
941.87/942.11	c Presolving Time: 939.61
941.87/942.12	c OPT-LIN
941.87/942.12	c -----------------------------------------------------------------------------------------------
941.87/942.12	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
941.87/942.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
941.87/942.12	c limits/memory = c 13950
941.87/942.12	c # maximal time in seconds to run
941.87/942.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
941.87/942.12	c limits/time = c 1791
941.87/942.12	c # frequency for displaying node information lines
941.87/942.12	c # [type: int, range: [-1,2147483647], default: 100]
941.87/942.12	c display/freq = c 10000
941.87/942.12	c -----------------------------------------------------------------------------------------------
941.87/942.12	c start solving problem
941.87/942.12	c 
973.78/974.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
973.78/974.01	c   971s|     1 |     0 | 23385 |1594M|   0 |1715 |  17k|  18k|  18k|  17k|  18k|   0 |   0 |   0 |-1.091365e+00 |      --      |    Inf

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742893-1338799032/watcher-3742893-1338799032 -o /tmp/evaluation-result-3742893-1338799032/solver-3742893-1338799032 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3742893-1338799032.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8251
/proc/meminfo: memFree=23453884/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=6124 CPUtime=0 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 922 0 0 0 0 0 0 0 20 0 1 0 346028727 6270976 874 33554432000 4194304 7823515 140735315183824 140735189719064 6289413 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8251/statm: 1531 874 330 887 0 641 0

[startup+0.042855 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8251
/proc/meminfo: memFree=23453884/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=22756 CPUtime=0.03 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 5060 0 0 0 3 0 0 0 20 0 1 0 346028727 23302144 5008 33554432000 4194304 7823515 140735315183824 140735189719064 5874880 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8251/statm: 5689 5008 354 887 0 4799 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 22756

[startup+0.100282 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8251
/proc/meminfo: memFree=23453884/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=29100 CPUtime=0.08 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 6663 0 0 0 8 0 0 0 20 0 1 0 346028727 29798400 6611 33554432000 4194304 7823515 140735315183824 140735315049928 6830357 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8251/statm: 7275 6611 354 887 0 6385 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29100

[startup+0.300226 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8251
/proc/meminfo: memFree=23453884/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=51384 CPUtime=0.29 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 12228 0 0 0 28 1 0 0 20 0 1 0 346028727 52617216 12176 33554432000 4194304 7823515 140735315183824 140735315049928 4403228 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8251/statm: 12846 12176 354 887 0 11956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51384

[startup+0.70022 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8251
/proc/meminfo: memFree=23453884/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=128280 CPUtime=0.69 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 31310 0 0 0 64 5 0 0 20 0 1 0 346028727 131358720 30904 33554432000 4194304 7823515 140735315183824 140735315177976 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8251/statm: 32070 30904 431 887 0 31180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 128280

[startup+1.50021 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 8252
/proc/meminfo: memFree=23327736/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=168912 CPUtime=1.49 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 41770 0 0 0 138 11 0 0 20 0 1 0 346028727 172965888 41048 33554432000 4194304 7823515 140735315183824 140735315179688 5803650 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8251/statm: 42228 41048 452 887 0 41338 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 168912

[startup+3.10025 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 8290
/proc/meminfo: memFree=27613396/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=216876 CPUtime=3.09 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 52964 0 0 0 296 13 0 0 20 0 1 0 346028727 222081024 52242 33554432000 4194304 7823515 140735315183824 140735315179688 5803650 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8251/statm: 54219 52242 452 887 0 53329 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216876

[startup+6.30028 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8290
/proc/meminfo: memFree=27269964/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=244692 CPUtime=6.28 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 59521 0 0 0 615 13 0 0 20 0 1 0 346028727 250564608 58799 33554432000 4194304 7823515 140735315183824 140735315179688 5803658 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 61173 58799 452 887 0 60283 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 244692

[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8290
/proc/meminfo: memFree=27151348/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=333376 CPUtime=12.68 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 80318 0 0 0 1252 16 0 0 20 0 1 0 346028727 341377024 79638 33554432000 4194304 7823515 140735315183824 140735315179688 5803627 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 83344 79638 452 887 0 82454 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 333376

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8290
/proc/meminfo: memFree=27019916/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=405820 CPUtime=25.48 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 97246 0 0 0 2529 19 0 0 20 0 1 0 346028727 415559680 97074 33554432000 4194304 7823515 140735315183824 140735315179688 5803662 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 101455 97074 460 887 0 100565 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 405820

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8291
/proc/meminfo: memFree=26817756/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=524564 CPUtime=51.07 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 126441 0 0 0 5082 25 0 0 20 0 1 0 346028727 537153536 126555 33554432000 4194304 7823515 140735315183824 140735315180520 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 131141 126555 460 887 0 130251 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 524564

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8291
/proc/meminfo: memFree=26617168/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=596808 CPUtime=102.25 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 144241 0 0 0 10191 34 0 0 20 0 1 0 346028727 611131392 144945 33554432000 4194304 7823515 140735315183824 140735315178696 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 149202 144945 466 887 0 148312 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 596808

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8291
/proc/meminfo: memFree=26241168/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=751844 CPUtime=162.24 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 182506 0 0 0 16175 49 0 0 20 0 1 0 346028727 769888256 184220 33554432000 4194304 7823515 140735315183824 140735315180520 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 187961 184220 466 887 0 187071 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 751844

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8294
/proc/meminfo: memFree=25853884/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=867048 CPUtime=222.23 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 211451 0 0 0 22164 59 0 0 20 0 1 0 346028727 887857152 213841 33554432000 4194304 7823515 140735315183824 140735315180520 4817523 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 216762 213841 466 887 0 215872 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 867048

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8294
/proc/meminfo: memFree=25509012/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=979780 CPUtime=282.22 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 238972 0 0 0 28153 69 0 0 20 0 1 0 346028727 1003294720 242621 33554432000 4194304 7823515 140735315183824 140735315180520 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 244945 242621 466 887 0 244055 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 979780

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8294
/proc/meminfo: memFree=25352184/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1075296 CPUtime=342.2 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 262432 0 0 0 34141 79 0 0 20 0 1 0 346028727 1101103104 266272 33554432000 4194304 7823515 140735315183824 140735315180520 4241583 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 268824 266272 466 887 0 267934 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1075296

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8295
/proc/meminfo: memFree=25125912/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1169740 CPUtime=402.18 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 285723 0 0 0 40132 86 0 0 20 0 1 0 346028727 1197813760 289582 33554432000 4194304 7823515 140735315183824 140735315180504 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 292435 289582 466 887 0 291545 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1169740

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8295
/proc/meminfo: memFree=24873228/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1269972 CPUtime=462.17 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 310669 0 0 0 46122 95 0 0 20 0 1 0 346028727 1300451328 314577 33554432000 4194304 7823515 140735315183824 140735315180504 5802411 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 317493 314577 466 887 0 316603 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1269972

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8295
/proc/meminfo: memFree=24679072/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1377600 CPUtime=522.16 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 337402 0 0 0 52113 103 0 0 20 0 1 0 346028727 1410662400 341389 33554432000 4194304 7823515 140735315183824 140735315180520 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 344400 341389 466 887 0 343510 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1377600

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8295
/proc/meminfo: memFree=24469480/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1457104 CPUtime=582.15 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 357106 0 0 0 58103 112 0 0 20 0 1 0 346028727 1492074496 361246 33554432000 4194304 7823515 140735315183824 140735315180520 5803616 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 364276 361246 466 887 0 363386 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1457104

[startup+642.3 s]

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

/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 518491 0 0 0 99991 215 0 0 20 0 1 0 346028727 2007236608 488044 33554432000 4194304 7823515 140735315183824 140735315179832 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 490048 488044 560 887 0 489158 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 1960192

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8300
/proc/meminfo: memFree=23121924/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1960192 CPUtime=1062.05 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 518495 0 0 0 105923 282 0 0 20 0 1 0 346028727 2007236608 488382 33554432000 4194304 7823515 140735315183824 140735315179832 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 490048 488382 560 887 0 489158 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 1960192

[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8300
/proc/meminfo: memFree=23026912/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1960192 CPUtime=1122.05 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 518496 0 0 0 111859 346 0 0 20 0 1 0 346028727 2007236608 489146 33554432000 4194304 7823515 140735315183824 140735315179832 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 490048 489146 560 887 0 489158 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1960192

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8300
/proc/meminfo: memFree=22940844/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1960192 CPUtime=1182.03 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 518498 0 0 0 117786 417 0 0 20 0 1 0 346028727 2007236608 489260 33554432000 4194304 7823515 140735315183824 140735315179832 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 490048 489260 560 887 0 489158 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 1960192

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8300
/proc/meminfo: memFree=22847872/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1960192 CPUtime=1242.03 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 518498 0 0 0 123720 483 0 0 20 0 1 0 346028727 2007236608 489260 33554432000 4194304 7823515 140735315183824 140735315179832 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 490048 489260 560 887 0 489158 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1960192

[startup+1302.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 8301
/proc/meminfo: memFree=22765084/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1960192 CPUtime=1302.02 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 518498 0 0 0 129653 549 0 0 20 0 1 0 346028727 2007236608 489260 33554432000 4194304 7823515 140735315183824 140735315179832 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 490048 489260 560 887 0 489158 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1960192

[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 8301
/proc/meminfo: memFree=22676824/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1960192 CPUtime=1362.01 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 518498 0 0 0 135586 615 0 0 20 0 1 0 346028727 2007236608 489260 33554432000 4194304 7823515 140735315183824 140735315179832 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 490048 489260 560 887 0 489158 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1960192

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 8304
/proc/meminfo: memFree=22596088/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1960192 CPUtime=1422 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 518498 0 0 0 141514 686 0 0 20 0 1 0 346028727 2007236608 489260 33554432000 4194304 7823515 140735315183824 140735315179832 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 490048 489260 560 887 0 489158 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1960192

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 8326
/proc/meminfo: memFree=22506480/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1960192 CPUtime=1481.99 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 518498 0 0 0 147443 756 0 0 20 0 1 0 346028727 2007236608 489260 33554432000 4194304 7823515 140735315183824 140735315179832 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 490048 489260 560 887 0 489158 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1960192

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8326
/proc/meminfo: memFree=22424456/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1960192 CPUtime=1541.98 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 518498 0 0 0 153371 827 0 0 20 0 1 0 346028727 2007236608 489260 33554432000 4194304 7823515 140735315183824 140735315179832 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 490048 489260 560 887 0 489158 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1960192

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8327
/proc/meminfo: memFree=22328632/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=1960192 CPUtime=1601.97 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 518498 0 0 0 159303 894 0 0 20 0 1 0 346028727 2007236608 489260 33554432000 4194304 7823515 140735315183824 140735315179832 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 490048 489260 560 887 0 489158 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1960192

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8327
/proc/meminfo: memFree=22150608/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=2064616 CPUtime=1661.97 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 524970 0 0 0 165245 952 0 0 20 0 1 0 346028727 2114166784 512084 33554432000 4194304 7823515 140735315183824 140735315179816 5562311 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 516154 512084 560 887 0 515264 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2064616

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 8327
/proc/meminfo: memFree=21941472/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=2176944 CPUtime=1721.95 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 527236 0 0 0 171241 954 0 0 20 0 1 0 346028727 2229190656 540411 33554432000 4194304 7823515 140735315183824 140735315179832 5566408 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 544236 540411 563 887 0 543346 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2176944

[startup+1782.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/176 8327
/proc/meminfo: memFree=21866392/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=2176944 CPUtime=1781.94 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 527236 0 0 0 177240 954 0 0 20 0 1 0 346028727 2229190656 540411 33554432000 4194304 7823515 140735315183824 140735315179832 5728554 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 544236 540411 563 887 0 543346 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 2176944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 8366
/proc/meminfo: memFree=25339396/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=2176944 CPUtime=1800.05 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 527236 0 0 0 179051 954 0 0 20 0 1 0 346028727 2229190656 540411 33554432000 4194304 7823515 140735315183824 140735315179832 5728920 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 544236 540411 563 887 0 543346 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2176944

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8251

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

[startup+1801.4 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 8367
/proc/meminfo: memFree=25339140/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=2176944 CPUtime=1801.04 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 527236 0 0 0 179150 954 0 0 20 0 1 0 346028727 2229190656 540411 33554432000 4194304 7823515 140735315183824 140735314928960 5727345 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 544236 540411 563 887 0 543346 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 2176944

[startup+1802.2 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 8367
/proc/meminfo: memFree=25337700/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=2176944 CPUtime=1801.84 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 527236 0 0 0 179230 954 0 0 20 0 1 0 346028727 2229190656 540411 33554432000 4194304 7823515 140735315183824 140735314928960 5880256 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 544236 540411 563 887 0 543346 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2176944

[startup+1802.4 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 8367
/proc/meminfo: memFree=25337700/32873648 swapFree=7116/7116
[pid=8251] ppid=8249 vsize=2176944 CPUtime=1802.04 cores=0,2,4,6
/proc/8251/stat : 8251 (pbscip.linux.x8) R 8249 8251 7629 0 -1 4202496 527236 0 0 0 179250 954 0 0 20 0 1 0 346028727 2229190656 540411 33554432000 4194304 7823515 140735315183824 140735314928960 5728593 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8251/statm: 544236 540411 563 887 0 543346 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2176944

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.42
CPU time (s): 1802.07
CPU user time (s): 1792.51
CPU system time (s): 9.55855
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 2176944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.51
system time used= 9.55855
maximum resident set size= 2161644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106
involuntary context switches= 2076

runsolver used 3.55446 second user time and 11.9682 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-04 10:37:13
IDJOB=3742893
IDBENCH=90451
IDSOLVER=2321
FILE ID=node123/3742893-1338799032
RUNJOBID= node123-1338788257-7645
PBS_JOBID= 14636858
Free space on /tmp= 71280 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742893-1338799032/watcher-3742893-1338799032 -o /tmp/evaluation-result-3742893-1338799032/solver-3742893-1338799032 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3742893-1338799032.opb

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

MD5SUM BENCH= cd63af4b43031b31fea6da5a72b06e90
RANDOM SEED=241055008

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        23454240 kB
Buffers:         1816752 kB
Cached:          2318644 kB
SwapCached:         2268 kB
Active:          6643832 kB
Inactive:        1878808 kB
Active(anon):    4380004 kB
Inactive(anon):     5504 kB
Active(file):    2263828 kB
Inactive(file):  1873304 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             12456 kB
Writeback:             0 kB
AnonPages:       4386744 kB
Mapped:            12124 kB
Shmem:                 0 kB
Slab:             751056 kB
SReclaimable:     195272 kB
SUnreclaim:       555784 kB
KernelStack:        1472 kB
PageTables:        12696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    4592760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71272 MiB
End job on node123 at 2012-06-04 11:07:15