Trace number 3743014

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.19 1802.48

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null50mast_rapportOE1.0_TMAX300_K67_cod1.opb
MD5SUM149bc47a65ee9b475f97ab5e9dc95355
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-57
Best CPU time to get the best result obtained on this benchmark200.271
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 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 108144
Number of bits of the biggest sum of numbers17
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.38	c SCIP version 1.1.0.7
0.29/0.38	c LP-Solver SoPlex 1.4.1
0.29/0.38	c user parameter file <scip.set> not found - using default parameters
0.29/0.38	c read problem <HOME/instance-3743014-1338800835.opb>
0.29/0.38	c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.49/0.53	c start presolving problem
0.49/0.53	c presolving:
0.59/0.67	c (round 1) 16164 del vars, 16284 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10800 impls, 309 clqs
0.59/0.69	c (round 2) 16934 del vars, 17059 del conss, 772 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11210 impls, 308 clqs
0.69/0.72	c (round 3) 17334 del vars, 17459 del conss, 1172 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11874 impls, 308 clqs
0.69/0.74	c (round 4) 17613 del vars, 17738 del conss, 1451 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12958 impls, 308 clqs
0.69/0.76	c (round 5) 17837 del vars, 17962 del conss, 1675 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14154 impls, 308 clqs
0.69/0.78	c (round 6) 18022 del vars, 18147 del conss, 1860 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14998 impls, 308 clqs
0.78/0.80	c (round 7) 18168 del vars, 18293 del conss, 2006 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15690 impls, 308 clqs
0.78/0.82	c (round 8) 18253 del vars, 18378 del conss, 2091 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16388 impls, 308 clqs
0.78/0.84	c (round 9) 18291 del vars, 18416 del conss, 2129 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16812 impls, 308 clqs
0.78/0.86	c (round 10) 18308 del vars, 18433 del conss, 2146 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17014 impls, 308 clqs
42.98/43.08	c (round 11) 18361 del vars, 18499 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22386 upgd conss, 5502124 impls, 308 clqs
43.28/43.38	c (round 12) 18361 del vars, 18538 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 5502124 impls, 308 clqs
55.88/55.90	c    (55.3s) probing: 1000/22142 (4.5%) - 43 fixings, 27 aggregations, 677205 implications, 0 bound changes
78.18/78.29	c    (77.6s) probing: 2000/22142 (9.0%) - 47 fixings, 46 aggregations, 2248759 implications, 0 bound changes
89.38/89.50	c (round 13) 18411 del vars, 18538 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 12519204 impls, 308 clqs
89.67/89.78	c (round 14) 18411 del vars, 18547 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 12519204 impls, 308 clqs
111.57/111.65	c    (110.8s) probing: 3000/22142 (13.5%) - 48 fixings, 57 aggregations, 4106992 implications, 0 bound changes
159.96/160.07	c    (159.2s) probing: 4000/22142 (18.1%) - 51 fixings, 66 aggregations, 6719319 implications, 0 bound changes
212.45/212.56	c    (211.6s) probing: 5000/22142 (22.6%) - 53 fixings, 77 aggregations, 9304882 implications, 0 bound changes
265.84/265.97	c    (264.9s) probing: 6000/22142 (27.1%) - 57 fixings, 88 aggregations, 11819613 implications, 0 bound changes
292.55/292.61	c (round 15) 18461 del vars, 18547 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 34381678 impls, 308 clqs
292.84/292.90	c (round 16) 18461 del vars, 18556 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 34381678 impls, 308 clqs
315.34/315.40	c    (314.2s) probing: 7000/22142 (31.6%) - 59 fixings, 100 aggregations, 14066810 implications, 0 bound changes
367.54/367.65	c    (366.4s) probing: 8000/22142 (36.1%) - 62 fixings, 110 aggregations, 16561389 implications, 0 bound changes
419.92/420.09	c    (418.7s) probing: 9000/22142 (40.6%) - 65 fixings, 121 aggregations, 19048028 implications, 0 bound changes
472.72/472.80	c    (471.3s) probing: 10000/22142 (45.2%) - 67 fixings, 132 aggregations, 21512523 implications, 0 bound changes
477.51/477.68	c (round 17) 18511 del vars, 18556 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 52766386 impls, 308 clqs
477.81/477.97	c (round 18) 18511 del vars, 18567 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 52766386 impls, 308 clqs
519.01/519.12	c    (517.5s) probing: 11000/22142 (49.7%) - 71 fixings, 142 aggregations, 23662836 implications, 0 bound changes
569.21/569.30	c    (567.6s) probing: 12000/22142 (54.2%) - 73 fixings, 154 aggregations, 26071250 implications, 0 bound changes
619.89/620.07	c    (618.3s) probing: 13000/22142 (58.7%) - 76 fixings, 164 aggregations, 28474966 implications, 0 bound changes
663.69/663.87	c (round 19) 18561 del vars, 18567 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 71727192 impls, 308 clqs
663.99/664.16	c (round 20) 18561 del vars, 18577 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 71727192 impls, 308 clqs
668.79/668.98	c    (667.1s) probing: 14000/22142 (63.2%) - 78 fixings, 176 aggregations, 30745192 implications, 0 bound changes
716.78/716.95	c    (715.0s) probing: 15000/22142 (67.7%) - 81 fixings, 185 aggregations, 33064942 implications, 0 bound changes
768.27/768.48	c    (766.4s) probing: 16000/22142 (72.3%) - 84 fixings, 197 aggregations, 35519484 implications, 0 bound changes
818.36/818.55	c    (816.4s) probing: 17000/22142 (76.8%) - 87 fixings, 208 aggregations, 37816351 implications, 0 bound changes
824.16/824.37	c (round 21) 18622 del vars, 18577 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 87861118 impls, 308 clqs
824.46/824.65	c (round 22) 18622 del vars, 18602 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 87861140 impls, 308 clqs
865.36/865.59	c    (863.4s) probing: 18000/22142 (81.3%) - 122 fixings, 218 aggregations, 39969784 implications, 0 bound changes
876.06/876.23	c (round 23) 18675 del vars, 18602 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 92812976 impls, 308 clqs
876.36/876.52	c (round 24) 18675 del vars, 18644 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 92813066 impls, 308 clqs
898.05/898.26	c (round 25) 18730 del vars, 18644 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 94854180 impls, 308 clqs
898.35/898.55	c (round 26) 18730 del vars, 18695 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 94854310 impls, 308 clqs
904.35/904.55	c (round 27) 18780 del vars, 18695 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 95325488 impls, 308 clqs
904.65/904.84	c (round 28) 18780 del vars, 18743 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 95325586 impls, 308 clqs
912.85/913.03	c    (910.7s) probing: 19000/22142 (85.8%) - 281 fixings, 229 aggregations, 42019423 implications, 0 bound changes
917.04/917.26	c (round 29) 18830 del vars, 18743 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 96443872 impls, 308 clqs
917.34/917.55	c (round 30) 18830 del vars, 18790 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 96443996 impls, 308 clqs
919.65/919.85	c (round 31) 18880 del vars, 18790 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 96579574 impls, 308 clqs
919.95/920.13	c (round 32) 18880 del vars, 18838 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 96579672 impls, 308 clqs
929.35/929.53	c (round 33) 18981 del vars, 18838 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 97303860 impls, 308 clqs
929.64/929.81	c (round 34) 18981 del vars, 18938 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 97304094 impls, 308 clqs
932.94/933.10	c (round 35) 19034 del vars, 18938 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 97509320 impls, 308 clqs
932.94/933.12	c (round 36) 19034 del vars, 18991 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 97509398 impls, 308 clqs
937.85/938.04	c (round 37) 19102 del vars, 18991 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 97849444 impls, 308 clqs
938.15/938.32	c (round 38) 19102 del vars, 19056 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 97849664 impls, 308 clqs
941.74/941.90	c (round 39) 19181 del vars, 19056 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98031622 impls, 308 clqs
941.94/942.17	c (round 40) 19181 del vars, 19134 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98031786 impls, 308 clqs
943.24/943.44	c (round 41) 19256 del vars, 19134 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98054002 impls, 308 clqs
943.24/943.46	c (round 42) 19256 del vars, 19209 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98054096 impls, 308 clqs
944.65/944.85	c (round 43) 19329 del vars, 19209 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98086044 impls, 308 clqs
944.95/945.13	c (round 44) 19329 del vars, 19281 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98086232 impls, 308 clqs
950.04/950.30	c (round 45) 19442 del vars, 19281 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98406030 impls, 308 clqs
950.34/950.57	c (round 46) 19442 del vars, 19392 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98406288 impls, 308 clqs
953.24/953.41	c (round 47) 19532 del vars, 19392 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98537346 impls, 308 clqs
953.45/953.68	c (round 48) 19532 del vars, 19480 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98537582 impls, 308 clqs
955.95/956.10	c    (953.7s) probing: 20000/22142 (90.3%) - 1027 fixings, 244 aggregations, 43131289 implications, 0 bound changes
955.95/956.12	c (round 49) 19582 del vars, 19480 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98731392 impls, 308 clqs
957.04/957.23	c (round 50) 19636 del vars, 19582 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98731646 impls, 308 clqs
957.74/957.98	c (round 51) 19690 del vars, 19636 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98731742 impls, 308 clqs
957.95/958.14	c (round 52) 19702 del vars, 19648 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98731798 impls, 308 clqs
958.15/958.35	c (round 53) 19716 del vars, 19662 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98731812 impls, 308 clqs
960.24/960.44	c (round 54) 19773 del vars, 19662 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98879336 impls, 308 clqs
960.24/960.46	c (round 55) 19773 del vars, 19719 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98879482 impls, 308 clqs
962.05/962.25	c (round 56) 19896 del vars, 19719 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98889892 impls, 308 clqs
962.05/962.27	c (round 57) 19896 del vars, 19842 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98890080 impls, 308 clqs
964.44/964.63	c (round 58) 20000 del vars, 19842 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98961628 impls, 308 clqs
964.64/964.88	c (round 59) 20000 del vars, 19945 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98961916 impls, 308 clqs
965.84/966.00	c (round 60) 20086 del vars, 19945 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98963696 impls, 308 clqs
965.84/966.02	c (round 61) 20086 del vars, 20031 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 98963838 impls, 308 clqs
967.34/967.54	c (round 62) 20159 del vars, 20031 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99032803 impls, 308 clqs
967.64/967.80	c (round 63) 20159 del vars, 20101 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99032905 impls, 308 clqs
968.44/968.65	c (round 64) 20231 del vars, 20101 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99041551 impls, 308 clqs
968.75/968.90	c (round 65) 20231 del vars, 20172 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99041677 impls, 308 clqs
969.54/969.76	c (round 66) 20291 del vars, 20172 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99055493 impls, 308 clqs
969.84/970.01	c (round 67) 20291 del vars, 20231 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99055511 impls, 308 clqs
970.64/970.84	c (round 68) 20353 del vars, 20231 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99076485 impls, 308 clqs
970.64/970.86	c (round 69) 20353 del vars, 20293 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99076583 impls, 308 clqs
971.24/971.43	c (round 70) 20407 del vars, 20293 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99082635 impls, 308 clqs
971.24/971.45	c (round 71) 20407 del vars, 20347 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99082701 impls, 308 clqs
972.74/972.98	c (round 72) 20538 del vars, 20347 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99086159 impls, 308 clqs
972.84/973.01	c (round 73) 20538 del vars, 20478 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99086339 impls, 308 clqs
973.74/973.99	c (round 74) 20627 del vars, 20478 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99110151 impls, 308 clqs
973.84/974.02	c (round 75) 20627 del vars, 20567 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99110197 impls, 308 clqs
974.45/974.68	c (round 76) 20702 del vars, 20567 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99112421 impls, 308 clqs
974.54/974.71	c (round 77) 20702 del vars, 20642 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99112499 impls, 308 clqs
975.04/975.29	c (round 78) 20769 del vars, 20642 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99114731 impls, 308 clqs
975.14/975.31	c (round 79) 20769 del vars, 20709 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99114751 impls, 308 clqs
975.24/975.49	c    (973.0s) probing: 21000/22142 (94.8%) - 2090 fixings, 250 aggregations, 43296591 implications, 0 bound changes
975.24/975.49	c    (973.0s) probing: 22000/22142 (99.4%) - 2090 fixings, 250 aggregations, 43296591 implications, 0 bound changes
975.24/975.49	c (round 80) 20783 del vars, 20709 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99115579 impls, 308 clqs
975.34/975.51	c (round 81) 20783 del vars, 20723 del conss, 2147 chg bounds, 0 chg sides, 0 chg coeffs, 22451 upgd conss, 99115579 impls, 308 clqs
975.34/975.55	c presolving (82 rounds):
975.34/975.55	c  20783 deleted vars, 20723 deleted constraints, 2147 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
975.34/975.55	c  99115579 implications, 308 cliques
975.34/975.55	c presolved problem has 19668 variables (19668 bin, 0 int, 0 impl, 0 cont) and 20227 constraints
975.34/975.55	c       1 constraints of type <knapsack>
975.34/975.55	c     308 constraints of type <setppc>
975.34/975.55	c   19918 constraints of type <logicor>
975.34/975.55	c transformed objective value is always integral (scale: 1)
975.34/975.55	c Presolving Time: 972.93
975.34/975.55	c OPT-LIN
975.34/975.55	c -----------------------------------------------------------------------------------------------
975.34/975.55	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
975.34/975.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
975.34/975.55	c limits/memory = c 13950
975.34/975.55	c # maximal time in seconds to run
975.34/975.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
975.34/975.55	c limits/time = c 1791
975.34/975.55	c # frequency for displaying node information lines
975.34/975.55	c # [type: int, range: [-1,2147483647], default: 100]
975.34/975.55	c display/freq = c 10000
975.34/975.55	c -----------------------------------------------------------------------------------------------
975.34/975.55	c start solving problem
975.34/975.55	c 
1013.84/1014.10	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1013.84/1014.10	c  1011s|     1 |     0 | 27309 |2637M|   0 |1234 |  19k|  20k|  20k|  19k|  19k|   0 |   0 |   0 |-5.820782e+01 |      --      |    Inf 
1028.44/1028.64	o -57
1028.44/1028.64	c F1026s|     1 |     0 | 43304 |2638M|   0 |   1 |  19k|  20k|  20k|  19k|  19k|   0 |   0 |   0 |-5.820782e+01 |-5.700000e+01 |   2.08%

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-3743014-1338800835/watcher-3743014-1338800835 -o /tmp/evaluation-result-3743014-1338800835/solver-3743014-1338800835 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743014-1338800835.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: 2.09 2.03 2.01 3/176 8404
/proc/meminfo: memFree=27479140/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=6124 CPUtime=0 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 922 0 0 0 0 0 0 0 20 0 1 0 346209000 6270976 874 33554432000 4194304 7823515 140736417513312 140734695439608 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 1531 874 330 887 0 641 0

[startup+0.0659599 s]
/proc/loadavg: 2.09 2.03 2.01 3/176 8404
/proc/meminfo: memFree=27479140/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=26072 CPUtime=0.05 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 5911 0 0 0 5 0 0 0 20 0 1 0 346209000 26697728 5859 33554432000 4194304 7823515 140736417513312 140734695439608 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 6518 5859 354 887 0 5628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26072

[startup+0.100282 s]
/proc/loadavg: 2.09 2.03 2.01 3/176 8404
/proc/meminfo: memFree=27479140/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=29288 CPUtime=0.08 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 6694 0 0 0 8 0 0 0 20 0 1 0 346209000 29990912 6642 33554432000 4194304 7823515 140736417513312 140734695439608 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 7322 6642 354 887 0 6432 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29288

[startup+0.300234 s]
/proc/loadavg: 2.09 2.03 2.01 3/176 8404
/proc/meminfo: memFree=27479140/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=51384 CPUtime=0.29 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 12229 0 0 0 27 2 0 0 20 0 1 0 346209000 52617216 12177 33554432000 4194304 7823515 140736417513312 140734695439608 6908062 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 12846 12177 354 887 0 11956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51384

[startup+0.70019 s]
/proc/loadavg: 2.09 2.03 2.01 3/176 8404
/proc/meminfo: memFree=27479140/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=128536 CPUtime=0.69 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 31376 0 0 0 63 6 0 0 20 0 1 0 346209000 131620864 30970 33554432000 4194304 7823515 140736417513312 140736417510984 5022412 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 32134 30970 431 887 0 31244 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 128536

[startup+1.50024 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 8405
/proc/meminfo: memFree=27354528/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=172256 CPUtime=1.49 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 42534 0 0 0 138 11 0 0 20 0 1 0 346209000 176390144 41812 33554432000 4194304 7823515 140736417513312 140736417510984 6911387 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 43064 41812 452 887 0 42174 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 172256

[startup+3.10026 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 8405
/proc/meminfo: memFree=27288700/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=216992 CPUtime=3.08 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 52987 0 0 0 296 12 0 0 20 0 1 0 346209000 222199808 52265 33554432000 4194304 7823515 140736417513312 140736417509176 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 54248 52265 452 887 0 53358 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 216992

[startup+6.30024 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 8405
/proc/meminfo: memFree=27210456/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=258000 CPUtime=6.28 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 62529 0 0 0 615 13 0 0 20 0 1 0 346209000 264192000 61807 33554432000 4194304 7823515 140736417513312 140736417509176 6911824 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 64500 61832 452 887 0 63610 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 258000

[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 8405
/proc/meminfo: memFree=27138940/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=331692 CPUtime=12.69 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 79890 0 0 0 1254 15 0 0 20 0 1 0 346209000 339652608 79168 33554432000 4194304 7823515 140736417513312 140736417510008 5803635 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 82923 79168 452 887 0 82033 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 331692

[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 8405
/proc/meminfo: memFree=26980964/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=401928 CPUtime=25.49 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 97579 0 0 0 2531 18 0 0 20 0 1 0 346209000 411574272 96857 33554432000 4194304 7823515 140736417513312 140736417510008 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 100482 96857 452 887 0 99592 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 401928

[startup+51.1002 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 8405
/proc/meminfo: memFree=26799132/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=534864 CPUtime=51.08 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 130132 0 0 0 5083 25 0 0 20 0 1 0 346209000 547700736 129410 33554432000 4194304 7823515 140736417513312 140736417510008 6911387 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 133716 129410 461 887 0 132826 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 534864

[startup+102.307 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 8406
/proc/meminfo: memFree=26429780/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=754784 CPUtime=102.28 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 184480 0 0 0 10186 42 0 0 20 0 1 0 346209000 772898816 183758 33554432000 4194304 7823515 140736417513312 140736417510008 5803600 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 188696 183758 466 887 0 187806 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 754784

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 8406
/proc/meminfo: memFree=26036232/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=938704 CPUtime=162.26 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 230425 0 0 0 16173 53 0 0 20 0 1 0 346209000 961232896 229703 33554432000 4194304 7823515 140736417513312 140736417510008 5803619 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 234676 229703 466 887 0 233786 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 938704

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 8409
/proc/meminfo: memFree=25597324/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=1117956 CPUtime=222.25 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 275065 0 0 0 22163 62 0 0 20 0 1 0 346209000 1144786944 274343 33554432000 4194304 7823515 140736417513312 140736417510008 5102375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 279489 274343 466 887 0 278599 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1117956

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8409
/proc/meminfo: memFree=25265040/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=1262532 CPUtime=282.25 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 310755 0 0 0 28153 72 0 0 20 0 1 0 346209000 1292832768 310033 33554432000 4194304 7823515 140736417513312 140736417510008 4788719 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 315633 310033 466 887 0 314743 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1262532

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8409
/proc/meminfo: memFree=25021036/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=1417592 CPUtime=342.24 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 349029 0 0 0 34141 83 0 0 20 0 1 0 346209000 1451614208 348307 33554432000 4194304 7823515 140736417513312 140736417510008 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 354398 348307 466 887 0 353508 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1417592

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8410
/proc/meminfo: memFree=24782620/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=1568308 CPUtime=402.23 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 386441 0 0 0 40129 94 0 0 20 0 1 0 346209000 1605947392 385719 33554432000 4194304 7823515 140736417513312 140736417509992 5102375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 392077 385719 466 887 0 391187 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1568308

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8410
/proc/meminfo: memFree=24498104/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=1718532 CPUtime=462.22 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 423283 0 0 0 46118 104 0 0 20 0 1 0 346209000 1759776768 422561 33554432000 4194304 7823515 140736417513312 140736417510008 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 429633 422561 466 887 0 428743 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1718532

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8410
/proc/meminfo: memFree=24252744/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=1876936 CPUtime=522.21 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 462018 0 0 0 52106 115 0 0 20 0 1 0 346209000 1921982464 461296 33554432000 4194304 7823515 140736417513312 140736417510008 5803619 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 469234 461296 466 887 0 468344 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1876936

[startup+582.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 8410
/proc/meminfo: memFree=23989024/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=2035916 CPUtime=582.2 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 500806 0 0 0 58097 123 0 0 20 0 1 0 346209000 2084777984 500084 33554432000 4194304 7823515 140736417513312 140736417510008 4787558 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 508979 500084 466 887 0 508089 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2035916

[startup+642.3 s]

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

/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 755711 0 0 0 100000 214 0 0 20 0 1 0 346209000 3062288384 736708 33554432000 4194304 7823515 140736417513312 140736417508648 6209373 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 747629 736708 532 887 0 746739 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 2990516

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8415
/proc/meminfo: memFree=22266840/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=2979684 CPUtime=1062.12 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761141 0 0 0 105992 220 0 0 20 0 1 0 346209000 3051196416 734025 33554432000 4194304 7823515 140736417513312 140736417510008 5808273 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 744921 734025 545 887 0 744031 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2979684

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8415
/proc/meminfo: memFree=22148348/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3024796 CPUtime=1122.12 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761167 0 0 0 111991 221 0 0 20 0 1 0 346209000 3097391104 743760 33554432000 4194304 7823515 140736417513312 140736417509960 5808265 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 756199 743760 547 887 0 755309 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3024796

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8415
/proc/meminfo: memFree=22060708/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3024796 CPUtime=1182.11 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761198 0 0 0 117975 236 0 0 20 0 1 0 346209000 3097391104 743789 33554432000 4194304 7823515 140736417513312 140736417509320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 756199 743789 562 887 0 755309 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3024796

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8415
/proc/meminfo: memFree=21977656/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3024796 CPUtime=1242.1 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761198 0 0 0 123926 284 0 0 20 0 1 0 346209000 3097391104 743789 33554432000 4194304 7823515 140736417513312 140736417509320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 756199 743789 562 887 0 755309 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3024796

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8416
/proc/meminfo: memFree=21889272/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3024796 CPUtime=1302.09 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761198 0 0 0 129873 336 0 0 20 0 1 0 346209000 3097391104 743789 33554432000 4194304 7823515 140736417513312 140736417509320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 756199 743789 562 887 0 755309 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3024796

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8416
/proc/meminfo: memFree=21797328/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3024796 CPUtime=1362.08 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761198 0 0 0 135815 393 0 0 20 0 1 0 346209000 3097391104 743789 33554432000 4194304 7823515 140736417513312 140736417509320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 756199 743789 562 887 0 755309 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3024796

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8419
/proc/meminfo: memFree=21722592/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3024796 CPUtime=1422.08 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761198 0 0 0 141760 448 0 0 20 0 1 0 346209000 3097391104 743789 33554432000 4194304 7823515 140736417513312 140736417509320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 756199 743789 562 887 0 755309 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3024796

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8419
/proc/meminfo: memFree=21641248/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3024796 CPUtime=1482.06 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761198 0 0 0 147704 502 0 0 20 0 1 0 346209000 3097391104 743789 33554432000 4194304 7823515 140736417513312 140736417509320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 756199 743789 562 887 0 755309 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3024796

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8419
/proc/meminfo: memFree=21565628/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3024796 CPUtime=1542.05 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761198 0 0 0 153649 556 0 0 20 0 1 0 346209000 3097391104 743789 33554432000 4194304 7823515 140736417513312 140736417509320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 756199 743789 562 887 0 755309 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3024796

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 8419
/proc/meminfo: memFree=21487812/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3024796 CPUtime=1602.05 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761198 0 0 0 159593 612 0 0 20 0 1 0 346209000 3097391104 743789 33554432000 4194304 7823515 140736417513312 140736417509320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 756199 743789 562 887 0 755309 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3024796

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8420
/proc/meminfo: memFree=21398196/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3024796 CPUtime=1662.04 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761198 0 0 0 165535 669 0 0 20 0 1 0 346209000 3097391104 743789 33554432000 4194304 7823515 140736417513312 140736417509320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 756199 743789 562 887 0 755309 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 3024796

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8420
/proc/meminfo: memFree=21317476/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3024796 CPUtime=1722.02 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761198 0 0 0 171474 728 0 0 20 0 1 0 346209000 3097391104 743789 33554432000 4194304 7823515 140736417513312 140736417509320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 756199 743789 562 887 0 755309 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3024796

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8420
/proc/meminfo: memFree=21237592/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3024796 CPUtime=1782.02 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761198 0 0 0 177411 791 0 0 20 0 1 0 346209000 3097391104 743789 33554432000 4194304 7823515 140736417513312 140736417509320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 756199 743789 562 887 0 755309 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3024796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8458
/proc/meminfo: memFree=23349452/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3030952 CPUtime=1800.02 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 761214 0 0 0 179193 809 0 0 20 0 1 0 346209000 3103694848 743802 33554432000 4194304 7823515 140736417513312 140736417509320 5562284 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 757738 743802 562 887 0 756848 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3030952

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8404

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8459
/proc/meminfo: memFree=23343372/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3047820 CPUtime=1801.11 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 762763 0 0 0 179302 809 0 0 20 0 1 0 346209000 3120967680 749439 33554432000 4194304 7823515 140736417513312 140736417508352 5562344 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 761955 749439 562 887 0 761065 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 3047820

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8459
/proc/meminfo: memFree=23320984/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=3060096 CPUtime=1801.9 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4202496 764262 0 0 0 179381 809 0 0 20 0 1 0 346209000 3133538304 751960 33554432000 4194304 7823515 140736417513312 140736417509304 5562284 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 765024 751960 562 887 0 764134 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 3060096

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8459
/proc/meminfo: memFree=23320984/32873648 swapFree=7116/7116
[pid=8404] ppid=8402 vsize=0 CPUtime=1802.11 cores=0,2,4,6
/proc/8404/stat : 8404 (pbscip.linux.x8) R 8402 8404 7629 0 -1 4203524 764262 0 0 0 179392 819 0 0 20 0 1 0 346209000 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8404/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.48
CPU time (s): 1802.19
CPU user time (s): 1793.92
CPU system time (s): 8.27074
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 3060096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 8.27074
maximum resident set size= 3007840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 764262
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= 14
involuntary context switches= 2116

runsolver used 2.73158 second user time and 7.34188 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-04 11:07:15
IDJOB=3743014
IDBENCH=90633
IDSOLVER=2321
FILE ID=node123/3743014-1338800835
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_luby_50null50mast_rapportOE1.0_TMAX300_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-3743014-1338800835/watcher-3743014-1338800835 -o /tmp/evaluation-result-3743014-1338800835/solver-3743014-1338800835 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743014-1338800835.opb

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

MD5SUM BENCH= 149bc47a65ee9b475f97ab5e9dc95355
RANDOM SEED=187614965

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:        27479784 kB
Buffers:         1817092 kB
Cached:          2319744 kB
SwapCached:         2268 kB
Active:          2623284 kB
Inactive:        1879352 kB
Active(anon):     359188 kB
Inactive(anon):     5504 kB
Active(file):    2264096 kB
Inactive(file):  1873848 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             24848 kB
Writeback:             0 kB
AnonPages:        367840 kB
Mapped:            12092 kB
Shmem:                 0 kB
Slab:             751812 kB
SReclaimable:     195420 kB
SUnreclaim:       556392 kB
KernelStack:        1480 kB
PageTables:         4712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     492824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71248 MiB
End job on node123 at 2012-06-04 11:37:18