Trace number 1885677

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1802.31 1802.76

General information on the benchmark

Name/PURE-SAT/SAT09/APPLICATIONS/
diagnosis/UCG-10-5p0.opb
MD5SUMb3e3439aa338f8019324c79b0efe0cc7
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark94.2247
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables104481
Total number of constraints500875
Number of constraints which are clauses500875
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

7.28/7.37	c SCIP version 1.1.0.7
7.28/7.37	c LP-Solver SoPlex 1.4.1
7.28/7.37	c user parameter file <scip.set> not found - using default parameters
7.28/7.37	c read problem <HOME/instance-1885677-1245268592.opb>
7.28/7.37	c original problem has 104481 variables (104481 bin, 0 int, 0 impl, 0 cont) and 500875 constraints
9.17/9.28	c No objective function, only one solution is needed.
9.17/9.28	c start presolving problem
9.17/9.28	c presolving:
31.38/31.48	c (round 1) 6194 del vars, 5838 del conss, 5498 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16148266 impls, 0 clqs
34.18/34.22	c (round 2) 17615 del vars, 85121 del conss, 16730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16232939 impls, 0 clqs
35.98/36.02	c (round 3) 18842 del vars, 109180 del conss, 17839 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16700145 impls, 0 clqs
37.77/37.80	c (round 4) 23055 del vars, 132358 del conss, 21959 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16715515 impls, 0 clqs
38.18/38.23	c (round 5) 23265 del vars, 132978 del conss, 22109 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16730317 impls, 0 clqs
38.58/38.67	c (round 6) 23523 del vars, 133929 del conss, 22259 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16747893 impls, 0 clqs
39.07/39.11	c (round 7) 23737 del vars, 134573 del conss, 22408 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16764689 impls, 0 clqs
39.48/39.55	c (round 8) 23988 del vars, 135455 del conss, 22568 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16783573 impls, 0 clqs
39.87/39.99	c (round 9) 24184 del vars, 136129 del conss, 22707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16801098 impls, 0 clqs
40.37/40.44	c (round 10) 24422 del vars, 137030 del conss, 22841 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16821302 impls, 0 clqs
40.77/40.87	c (round 11) 24608 del vars, 137591 del conss, 22970 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16838524 impls, 0 clqs
41.27/41.31	c (round 12) 24834 del vars, 138410 del conss, 23111 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16861166 impls, 0 clqs
41.68/41.75	c (round 13) 25002 del vars, 138989 del conss, 23230 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16881040 impls, 0 clqs
42.07/42.18	c (round 14) 25209 del vars, 139818 del conss, 23344 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16901678 impls, 0 clqs
42.57/42.62	c (round 15) 25365 del vars, 140285 del conss, 23453 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16921462 impls, 0 clqs
42.97/43.06	c (round 16) 25558 del vars, 140997 del conss, 23575 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16942190 impls, 0 clqs
43.37/43.48	c (round 17) 25708 del vars, 141572 del conss, 23685 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16957423 impls, 0 clqs
43.87/43.91	c (round 18) 25893 del vars, 142332 del conss, 23785 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16975691 impls, 0 clqs
44.27/44.33	c (round 19) 26035 del vars, 142756 del conss, 23885 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16991789 impls, 0 clqs
44.67/44.76	c (round 20) 26220 del vars, 143431 del conss, 24000 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17010635 impls, 0 clqs
45.07/45.19	c (round 21) 26360 del vars, 143905 del conss, 24099 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17027210 impls, 0 clqs
45.57/45.61	c (round 22) 26536 del vars, 144632 del conss, 24193 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17047224 impls, 0 clqs
45.97/46.03	c (round 23) 26664 del vars, 145016 del conss, 24282 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17063194 impls, 0 clqs
46.37/46.46	c (round 24) 26826 del vars, 145637 del conss, 24381 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17083472 impls, 0 clqs
46.77/46.88	c (round 25) 26938 del vars, 146061 del conss, 24461 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17100260 impls, 0 clqs
47.18/47.29	c (round 26) 27092 del vars, 146669 del conss, 24541 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17118334 impls, 0 clqs
47.67/47.71	c (round 27) 27206 del vars, 147011 del conss, 24621 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17134214 impls, 0 clqs
48.07/48.13	c (round 28) 27360 del vars, 147588 del conss, 24715 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17155050 impls, 0 clqs
48.47/48.55	c (round 29) 27472 del vars, 147975 del conss, 24795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17170730 impls, 0 clqs
48.87/48.97	c (round 30) 27626 del vars, 148611 del conss, 24875 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17189628 impls, 0 clqs
49.27/49.38	c (round 31) 27740 del vars, 148954 del conss, 24955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17206020 impls, 0 clqs
49.77/49.80	c (round 32) 27899 del vars, 149557 del conss, 25054 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17225328 impls, 0 clqs
50.17/50.22	c (round 33) 28020 del vars, 150046 del conss, 25143 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17241844 impls, 0 clqs
50.57/50.64	c (round 34) 28174 del vars, 150708 del conss, 25223 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17261308 impls, 0 clqs
50.97/51.06	c (round 35) 28288 del vars, 151050 del conss, 25303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17276514 impls, 0 clqs
51.37/51.48	c (round 36) 28442 del vars, 151627 del conss, 25397 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17296534 impls, 0 clqs
51.87/51.90	c (round 37) 28554 del vars, 152014 del conss, 25477 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17313360 impls, 0 clqs
52.27/52.31	c (round 38) 28708 del vars, 152650 del conss, 25557 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17331238 impls, 0 clqs
52.68/52.73	c (round 39) 28822 del vars, 152993 del conss, 25637 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17347112 impls, 0 clqs
53.07/53.15	c (round 40) 28976 del vars, 153570 del conss, 25731 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17367636 impls, 0 clqs
53.47/53.57	c (round 41) 29088 del vars, 153985 del conss, 25811 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17383348 impls, 0 clqs
53.87/53.98	c (round 42) 29242 del vars, 154593 del conss, 25891 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17402106 impls, 0 clqs
54.37/54.40	c (round 43) 29356 del vars, 154935 del conss, 25971 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17418576 impls, 0 clqs
54.77/54.81	c (round 44) 29510 del vars, 155512 del conss, 26065 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17438044 impls, 0 clqs
55.17/55.23	c (round 45) 29622 del vars, 155899 del conss, 26145 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17454570 impls, 0 clqs
55.57/55.65	c (round 46) 29776 del vars, 156535 del conss, 26225 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17474214 impls, 0 clqs
55.97/56.06	c (round 47) 29890 del vars, 156878 del conss, 26305 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17489544 impls, 0 clqs
56.37/56.48	c (round 48) 30049 del vars, 157481 del conss, 26404 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17509496 impls, 0 clqs
56.77/56.90	c (round 49) 30170 del vars, 157970 del conss, 26493 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17526724 impls, 0 clqs
57.27/57.31	c (round 50) 30324 del vars, 158632 del conss, 26573 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17544834 impls, 0 clqs
57.67/57.72	c (round 51) 30438 del vars, 158974 del conss, 26653 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17560884 impls, 0 clqs
58.07/58.14	c (round 52) 30592 del vars, 159551 del conss, 26747 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17581680 impls, 0 clqs
58.47/58.55	c (round 53) 30704 del vars, 159937 del conss, 26826 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17598838 impls, 0 clqs
58.86/58.96	c (round 54) 30849 del vars, 160560 del conss, 26900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17617538 impls, 0 clqs
59.27/59.37	c (round 55) 30949 del vars, 160862 del conss, 26969 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17635446 impls, 0 clqs
59.67/59.78	c (round 56) 31080 del vars, 161379 del conss, 27047 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17655350 impls, 0 clqs
60.06/60.19	c (round 57) 31164 del vars, 161718 del conss, 27106 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17674999 impls, 0 clqs
60.47/60.59	c (round 58) 31272 del vars, 162171 del conss, 27160 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17693311 impls, 0 clqs
60.87/60.98	c (round 59) 31344 del vars, 162391 del conss, 27210 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17709513 impls, 0 clqs
61.26/61.38	c (round 60) 31447 del vars, 162797 del conss, 27271 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17729021 impls, 0 clqs
61.66/61.77	c (round 61) 31517 del vars, 163043 del conss, 27321 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17745876 impls, 0 clqs
62.07/62.17	c (round 62) 31620 del vars, 163490 del conss, 27371 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17763584 impls, 0 clqs
62.47/62.56	c (round 63) 31692 del vars, 163710 del conss, 27421 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17780408 impls, 0 clqs
62.87/62.95	c (round 64) 31799 del vars, 164133 del conss, 27486 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17800356 impls, 0 clqs
63.27/63.35	c (round 65) 31876 del vars, 164458 del conss, 27543 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17819453 impls, 0 clqs
63.67/63.75	c (round 66) 31979 del vars, 164930 del conss, 27593 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17838967 impls, 0 clqs
64.06/64.14	c (round 67) 32049 del vars, 165135 del conss, 27643 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17857533 impls, 0 clqs
64.46/64.53	c (round 68) 32152 del vars, 165533 del conss, 27704 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17877407 impls, 0 clqs
64.87/64.93	c (round 69) 32222 del vars, 165787 del conss, 27754 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17897080 impls, 0 clqs
65.27/65.32	c (round 70) 32325 del vars, 166234 del conss, 27804 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17915968 impls, 0 clqs
65.67/65.72	c (round 71) 32395 del vars, 166439 del conss, 27854 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17934326 impls, 0 clqs
66.07/66.11	c (round 72) 32498 del vars, 166833 del conss, 27915 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17954534 impls, 0 clqs
66.46/66.51	c (round 73) 32568 del vars, 167113 del conss, 27965 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17974216 impls, 0 clqs
66.87/66.90	c (round 74) 32668 del vars, 167518 del conss, 28015 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17993368 impls, 0 clqs
67.16/67.29	c (round 75) 32740 del vars, 167737 del conss, 28065 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18013118 impls, 0 clqs
67.56/67.69	c (round 76) 32837 del vars, 168105 del conss, 28124 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18033778 impls, 0 clqs
67.97/68.08	c (round 77) 32907 del vars, 168345 del conss, 28174 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18052792 impls, 0 clqs
68.37/68.47	c (round 78) 33007 del vars, 168769 del conss, 28224 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18073346 impls, 0 clqs
68.76/68.87	c (round 79) 33079 del vars, 168989 del conss, 28274 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18091251 impls, 0 clqs
69.17/69.26	c (round 80) 33183 del vars, 169394 del conss, 28337 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18109953 impls, 0 clqs
69.56/69.65	c (round 81) 33259 del vars, 169714 del conss, 28392 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18126842 impls, 0 clqs
69.97/70.04	c (round 82) 33353 del vars, 170154 del conss, 28436 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18144506 impls, 0 clqs
70.37/70.42	c (round 83) 33409 del vars, 170319 del conss, 28476 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18162518 impls, 0 clqs
70.76/70.81	c (round 84) 33486 del vars, 170606 del conss, 28523 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18182968 impls, 0 clqs
71.17/71.20	c (round 85) 33542 del vars, 170801 del conss, 28563 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18201764 impls, 0 clqs
71.46/71.59	c (round 86) 33622 del vars, 171140 del conss, 28603 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18221220 impls, 0 clqs
71.86/71.99	c (round 87) 33678 del vars, 171303 del conss, 28642 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18241370 impls, 0 clqs
72.27/72.36	c (round 88) 33749 del vars, 171595 del conss, 28684 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18254740 impls, 0 clqs
72.67/72.74	c (round 89) 33791 del vars, 171769 del conss, 28714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18266024 impls, 0 clqs
73.06/73.11	c (round 90) 33851 del vars, 172012 del conss, 28744 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18278436 impls, 0 clqs
73.37/73.48	c (round 91) 33895 del vars, 172149 del conss, 28774 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18290050 impls, 0 clqs
73.76/73.86	c (round 92) 33955 del vars, 172379 del conss, 28810 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18302526 impls, 0 clqs
74.16/74.23	c (round 93) 33997 del vars, 172527 del conss, 28840 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18314002 impls, 0 clqs
74.57/74.60	c (round 94) 34057 del vars, 172782 del conss, 28870 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18325946 impls, 0 clqs
74.86/74.97	c (round 95) 34101 del vars, 172920 del conss, 28900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18336992 impls, 0 clqs
75.26/75.34	c (round 96) 34162 del vars, 173154 del conss, 28937 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18349738 impls, 0 clqs
75.66/75.72	c (round 97) 34208 del vars, 173340 del conss, 28971 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18361312 impls, 0 clqs
75.97/76.09	c (round 98) 34268 del vars, 173608 del conss, 29001 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18373416 impls, 0 clqs
76.37/76.46	c (round 99) 34312 del vars, 173744 del conss, 29030 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18386471 impls, 0 clqs
76.76/76.83	c (round 100) 34364 del vars, 173970 del conss, 29060 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18398871 impls, 0 clqs
77.07/77.20	c (round 101) 34392 del vars, 174075 del conss, 29080 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18409289 impls, 0 clqs
77.46/77.56	c (round 102) 34432 del vars, 174245 del conss, 29100 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18420077 impls, 0 clqs
77.87/77.92	c (round 103) 34460 del vars, 174327 del conss, 29120 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18432271 impls, 0 clqs
78.16/78.29	c (round 104) 34497 del vars, 174459 del conss, 29143 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18444707 impls, 0 clqs
78.57/78.65	c (round 105) 34525 del vars, 174563 del conss, 29163 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18457096 impls, 0 clqs
78.96/79.02	c (round 106) 34562 del vars, 174705 del conss, 29183 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18469546 impls, 0 clqs
79.26/79.39	c (round 107) 34590 del vars, 174787 del conss, 29203 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18481738 impls, 0 clqs
79.66/79.75	c (round 108) 34627 del vars, 174927 del conss, 29226 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18494378 impls, 0 clqs
80.06/80.12	c (round 109) 34655 del vars, 175017 del conss, 29246 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18506809 impls, 0 clqs
80.36/80.48	c (round 110) 34692 del vars, 175165 del conss, 29266 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18517479 impls, 0 clqs
80.76/80.84	c (round 111) 34720 del vars, 175247 del conss, 29286 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18529753 impls, 0 clqs
81.17/81.20	c (round 112) 34759 del vars, 175397 del conss, 29311 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18542507 impls, 0 clqs
81.46/81.57	c (round 113) 34788 del vars, 175510 del conss, 29332 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18554648 impls, 0 clqs
81.86/81.93	c (round 114) 34825 del vars, 175658 del conss, 29352 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18565434 impls, 0 clqs
82.16/82.29	c (round 115) 34853 del vars, 175740 del conss, 29372 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18577740 impls, 0 clqs
82.56/82.65	c (round 116) 34890 del vars, 175876 del conss, 29395 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18590222 impls, 0 clqs
82.96/83.01	c (round 117) 34918 del vars, 175970 del conss, 29415 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18602499 impls, 0 clqs
83.26/83.37	c (round 118) 34955 del vars, 176118 del conss, 29435 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18614893 impls, 0 clqs
83.66/83.74	c (round 119) 34983 del vars, 176200 del conss, 29455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18626941 impls, 0 clqs
84.07/84.10	c (round 120) 35020 del vars, 176334 del conss, 29478 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18639497 impls, 0 clqs
84.36/84.46	c (round 121) 35048 del vars, 176436 del conss, 29498 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18651850 impls, 0 clqs
84.76/84.82	c (round 122) 35085 del vars, 176578 del conss, 29518 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18664038 impls, 0 clqs
85.06/85.18	c (round 123) 35113 del vars, 176660 del conss, 29538 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18674582 impls, 0 clqs
85.46/85.54	c (round 124) 35150 del vars, 176795 del conss, 29561 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18687042 impls, 0 clqs
85.87/85.90	c (round 125) 35178 del vars, 176890 del conss, 29581 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18698955 impls, 0 clqs
86.16/86.26	c (round 126) 35215 del vars, 177038 del conss, 29601 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18711033 impls, 0 clqs
86.56/86.62	c (round 127) 35243 del vars, 177120 del conss, 29621 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18723279 impls, 0 clqs
86.87/86.99	c (round 128) 35281 del vars, 177260 del conss, 29645 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18735747 impls, 0 clqs
87.26/87.35	c (round 129) 35311 del vars, 177378 del conss, 29667 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18746470 impls, 0 clqs
87.66/87.71	c (round 130) 35348 del vars, 177531 del conss, 29687 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18758906 impls, 0 clqs
87.97/88.07	c (round 131) 35376 del vars, 177613 del conss, 29707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18771070 impls, 0 clqs
88.36/88.43	c (round 132) 35413 del vars, 177753 del conss, 29730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18783680 impls, 0 clqs
88.66/88.79	c (round 133) 35441 del vars, 177843 del conss, 29750 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18796127 impls, 0 clqs
89.07/89.15	c (round 134) 35478 del vars, 177991 del conss, 29770 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18808263 impls, 0 clqs
89.46/89.51	c (round 135) 35506 del vars, 178073 del conss, 29790 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18820625 impls, 0 clqs
89.76/89.87	c (round 136) 35543 del vars, 178213 del conss, 29813 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18833333 impls, 0 clqs
90.17/90.24	c (round 137) 35571 del vars, 178309 del conss, 29833 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18845530 impls, 0 clqs
90.56/90.60	c (round 138) 35608 del vars, 178451 del conss, 29853 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18857836 impls, 0 clqs
90.86/90.96	c (round 139) 35636 del vars, 178533 del conss, 29873 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18870258 impls, 0 clqs
91.26/91.33	c (round 140) 35673 del vars, 178672 del conss, 29896 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18882768 impls, 0 clqs
91.56/91.69	c (round 141) 35701 del vars, 178763 del conss, 29916 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18895163 impls, 0 clqs
91.96/92.05	c (round 142) 35738 del vars, 178911 del conss, 29936 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18907421 impls, 0 clqs
92.36/92.41	c (round 143) 35766 del vars, 178993 del conss, 29956 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18917325 impls, 0 clqs
92.66/92.78	c (round 144) 35805 del vars, 179141 del conss, 29981 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18929931 impls, 0 clqs
93.06/93.14	c (round 145) 35834 del vars, 179256 del conss, 30002 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18942234 impls, 0 clqs
93.46/93.50	c (round 146) 35871 del vars, 179404 del conss, 30022 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18954414 impls, 0 clqs
93.76/93.87	c (round 147) 35899 del vars, 179486 del conss, 30042 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18966612 impls, 0 clqs
94.16/94.23	c (round 148) 35936 del vars, 179627 del conss, 30065 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18979362 impls, 0 clqs
94.46/94.59	c (round 149) 35964 del vars, 179716 del conss, 30085 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18991387 impls, 0 clqs
94.86/94.95	c (round 150) 36001 del vars, 179864 del conss, 30105 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19003647 impls, 0 clqs
95.26/95.31	c (round 151) 36029 del vars, 179946 del conss, 30125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19013983 impls, 0 clqs
95.57/95.67	c (round 152) 36066 del vars, 180089 del conss, 30148 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19024563 impls, 0 clqs
95.96/96.00	c (round 153) 36066 del vars, 180130 del conss, 30148 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19024577 impls, 0 clqs
99.35/99.40	c (round 154) 36066 del vars, 195878 del conss, 30148 chg bounds, 0 chg sides, 0 chg coeffs, 304997 upgd conss, 19024577 impls, 0 clqs
100.06/100.13	c presolving (155 rounds):
100.06/100.13	c  36066 deleted vars, 195878 deleted constraints, 30148 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
100.06/100.13	c  19024577 implications, 0 cliques
100.06/100.13	c presolved problem has 68415 variables (68415 bin, 0 int, 0 impl, 0 cont) and 304997 constraints
100.06/100.13	c  304997 constraints of type <logicor>
100.06/100.13	c transformed objective value is always integral (scale: 1)
100.06/100.13	c Presolving Time: 69.14
100.06/100.13	c PURESAT
100.06/100.13	c -----------------------------------------------------------------------------------------------
100.06/100.13	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 0]
100.06/100.13	c separating/flowcover/freq = c -1
100.06/100.13	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 0]
100.06/100.13	c separating/cmir/freq = c -1
100.06/100.13	c # additional number of allowed LP iterations
100.06/100.13	c # [type: int, range: [0,2147483647], default: 1000]
100.06/100.13	c heuristics/veclendiving/maxlpiterofs = c 1500
100.06/100.13	c # maximal fraction of diving LP iterations compared to node LP iterations
100.06/100.13	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.06/100.13	c heuristics/veclendiving/maxlpiterquot = c 0.075
100.06/100.13	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 10]
100.06/100.13	c heuristics/veclendiving/freq = c -1
100.06/100.13	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 1]
100.06/100.13	c heuristics/simplerounding/freq = c -1
100.06/100.13	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 10]
100.06/100.13	c heuristics/shifting/freq = c -1
100.06/100.13	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 1]
100.06/100.13	c heuristics/rounding/freq = c -1
100.06/100.13	c # additional number of allowed LP iterations
100.06/100.13	c # [type: int, range: [0,2147483647], default: 1000]
100.06/100.13	c heuristics/rootsoldiving/maxlpiterofs = c 1500
100.06/100.13	c # maximal fraction of diving LP iterations compared to node LP iterations
100.06/100.13	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
100.06/100.13	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
100.06/100.13	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 20]
100.06/100.13	c heuristics/rootsoldiving/freq = c -1
100.06/100.13	c # number of nodes added to the contingent of the total nodes
100.06/100.13	c # [type: longint, range: [0,9223372036854775807], default: 500]
100.06/100.13	c heuristics/rens/nodesofs = c 2000
100.06/100.13	c # minimum percentage of integer variables that have to be fixable 
100.06/100.13	c # [type: real, range: [0,1], default: 0.5]
100.06/100.13	c heuristics/rens/minfixingrate = c 0.3
100.06/100.13	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 0]
100.06/100.13	c heuristics/rens/freq = c -1
100.06/100.13	c # additional number of allowed LP iterations
100.06/100.13	c # [type: int, range: [0,2147483647], default: 1000]
100.06/100.13	c heuristics/pscostdiving/maxlpiterofs = c 1500
100.06/100.13	c # maximal fraction of diving LP iterations compared to node LP iterations
100.06/100.13	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.06/100.13	c heuristics/pscostdiving/maxlpiterquot = c 0.075
100.06/100.13	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 10]
100.06/100.13	c heuristics/pscostdiving/freq = c -1
100.06/100.13	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 1]
100.06/100.13	c heuristics/oneopt/freq = c -1
100.06/100.13	c # additional number of allowed LP iterations
100.06/100.13	c # [type: int, range: [0,2147483647], default: 1000]
100.06/100.13	c heuristics/objpscostdiving/maxlpiterofs = c 1500
100.06/100.13	c # maximal fraction of diving LP iterations compared to total iteration number
100.06/100.13	c # [type: real, range: [0,1], default: 0.01]
100.06/100.13	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
100.06/100.13	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 20]
100.06/100.13	c heuristics/objpscostdiving/freq = c -1
100.06/100.13	c # additional number of allowed LP iterations
100.06/100.13	c # [type: int, range: [0,2147483647], default: 1000]
100.06/100.13	c heuristics/linesearchdiving/maxlpiterofs = c 1500
100.06/100.13	c # maximal fraction of diving LP iterations compared to node LP iterations
100.06/100.13	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.06/100.13	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
100.06/100.13	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 10]
100.06/100.13	c heuristics/linesearchdiving/freq = c -1
100.06/100.13	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 10]
100.06/100.13	c heuristics/intshifting/freq = c -1
100.06/100.13	c # maximal fraction of diving LP iterations compared to node LP iterations
100.06/100.13	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.06/100.13	c heuristics/intdiving/maxlpiterquot = c 0.075
100.06/100.13	c # additional number of allowed LP iterations
100.06/100.13	c # [type: int, range: [0,2147483647], default: 1000]
100.06/100.13	c heuristics/guideddiving/maxlpiterofs = c 1500
100.06/100.13	c # maximal fraction of diving LP iterations compared to node LP iterations
100.06/100.13	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.06/100.13	c heuristics/guideddiving/maxlpiterquot = c 0.075
100.06/100.13	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 10]
100.06/100.13	c heuristics/guideddiving/freq = c -1
100.06/100.13	c # additional number of allowed LP iterations
100.06/100.13	c # [type: int, range: [0,2147483647], default: 1000]
100.06/100.13	c heuristics/fracdiving/maxlpiterofs = c 1500
100.06/100.13	c # maximal fraction of diving LP iterations compared to node LP iterations
100.06/100.13	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.06/100.13	c heuristics/fracdiving/maxlpiterquot = c 0.075
100.06/100.13	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 10]
100.06/100.13	c heuristics/fracdiving/freq = c -1
100.06/100.13	c # additional number of allowed LP iterations
100.06/100.13	c # [type: int, range: [0,2147483647], default: 1000]
100.06/100.13	c heuristics/feaspump/maxlpiterofs = c 2000
100.06/100.13	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 20]
100.06/100.13	c heuristics/feaspump/freq = c -1
100.06/100.13	c # minimum percentage of integer variables that have to be fixed 
100.06/100.13	c # [type: real, range: [0,1], default: 0.666]
100.06/100.13	c heuristics/crossover/minfixingrate = c 0.5
100.06/100.13	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
100.06/100.13	c # [type: real, range: [0,1], default: 0.1]
100.06/100.13	c heuristics/crossover/nodesquot = c 0.15
100.06/100.13	c # number of nodes without incumbent change that heuristic should wait
100.06/100.13	c # [type: longint, range: [0,9223372036854775807], default: 200]
100.06/100.13	c heuristics/crossover/nwaitingnodes = c 100
100.06/100.13	c # number of nodes added to the contingent of the total nodes
100.06/100.13	c # [type: longint, range: [0,9223372036854775807], default: 500]
100.06/100.13	c heuristics/crossover/nodesofs = c 750
100.06/100.13	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 30]
100.06/100.13	c heuristics/crossover/freq = c -1
100.06/100.13	c # additional number of allowed LP iterations
100.06/100.13	c # [type: int, range: [0,2147483647], default: 1000]
100.06/100.13	c heuristics/coefdiving/maxlpiterofs = c 1500
100.06/100.13	c # maximal fraction of diving LP iterations compared to node LP iterations
100.06/100.13	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.06/100.13	c heuristics/coefdiving/maxlpiterquot = c 0.075
100.06/100.13	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: 10]
100.06/100.13	c heuristics/coefdiving/freq = c -1
100.06/100.13	c # priority of node selection rule <dfs> in standard mode
100.06/100.13	c # [type: int, range: [-536870912,536870911], default: 0]
100.06/100.13	c nodeselection/dfs/stdpriority = c 1000000
100.06/100.13	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
100.06/100.13	c # [type: int, range: [-1,2147483647], default: -1]
100.06/100.13	c presolving/probing/maxrounds = c 0
100.06/100.13	c # should presolving try to simplify knapsacks
100.06/100.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.06/100.13	c constraints/knapsack/simplifyinequalities = c TRUE
100.06/100.13	c # should disaggregation of knapsack constraints be allowed in preprocessing?
100.06/100.13	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
100.06/100.13	c constraints/knapsack/disaggregation = c FALSE
100.06/100.13	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
100.16/100.21	c # [type: int, range: [-1,2147483647], default: -1]
100.16/100.21	c constraints/knapsack/maxnumcardlift = c 0
100.16/100.21	c # should presolving try to simplify inequalities
100.16/100.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.16/100.21	c constraints/linear/simplifyinequalities = c TRUE
100.16/100.21	c # maximal number of separation rounds in the root node (-1: unlimited)
100.16/100.21	c # [type: int, range: [-1,2147483647], default: -1]
100.16/100.21	c separating/maxroundsroot = c 5
100.16/100.21	c # maximal number of separation rounds per node (-1: unlimited)
100.16/100.21	c # [type: int, range: [-1,2147483647], default: 5]
100.16/100.21	c separating/maxrounds = c 1
100.16/100.21	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
100.16/100.21	c # [type: char, range: {lafpsqd}, default: l]
100.16/100.21	c lp/pricing = c a
100.16/100.21	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
100.16/100.21	c # [type: int, range: [-1,2147483647], default: 1]
100.16/100.21	c lp/solvefreq = c 0
100.16/100.21	c # solving stops, if the given number of solutions were found (-1: no limit)
100.16/100.21	c # [type: int, range: [-1,2147483647], default: -1]
100.16/100.21	c limits/solutions = c 1
100.16/100.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
100.16/100.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
100.16/100.21	c limits/memory = c 1620
100.16/100.21	c # maximal time in seconds to run
100.16/100.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
100.16/100.21	c limits/time = c 1791
100.16/100.21	c # frequency for displaying node information lines
100.16/100.21	c # [type: int, range: [-1,2147483647], default: 100]
100.16/100.21	c display/freq = c 10000
100.16/100.21	c # should enforcement of pseudo solution be disabled?
100.16/100.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.16/100.21	c constraints/disableenfops = c TRUE
100.16/100.21	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
100.16/100.21	c # [type: int, range: [-1,2147483647], default: 0]
100.16/100.21	c constraints/agelimit = c 1
100.16/100.21	c # should binary conflicts be preferred?
100.16/100.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.16/100.21	c conflict/preferbinary = c TRUE
100.16/100.21	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
100.16/100.21	c # [type: int, range: [-1,2147483647], default: -1]
100.16/100.21	c conflict/interconss = c 0
100.16/100.21	c -----------------------------------------------------------------------------------------------
100.16/100.21	c start solving problem
100.16/100.21	c 
859.67/859.96	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
859.67/859.96	c   829s|     1 |     0 | 34905 | 939M|   0 |  11k|  68k| 304k| 304k|  68k| 304k|   0 |   0 |   0 | 3.436466e+03 |      --      |    Inf

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9147
/proc/meminfo: memFree=1800504/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=4324 CPUtime=0
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 194454891 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/9147/statm: 1081 457 294 886 0 191 0

[startup+0.0173791 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9147
/proc/meminfo: memFree=1800504/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=8848 CPUtime=0.01
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 1528 0 0 0 1 0 0 0 18 0 1 0 194454891 9060352 1510 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/9147/statm: 2212 1510 351 886 0 1322 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8848

[startup+0.101386 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9147
/proc/meminfo: memFree=1800504/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=14436 CPUtime=0.09
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 2912 0 0 0 8 1 0 0 18 0 1 0 194454891 14782464 2894 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/9147/statm: 3609 2894 351 886 0 2719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14436

[startup+0.301404 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9147
/proc/meminfo: memFree=1800504/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=23272 CPUtime=0.29
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 5122 0 0 0 27 2 0 0 19 0 1 0 194454891 23830528 5104 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 0 0 0 0 17 1 0 0
/proc/9147/statm: 5818 5104 351 886 0 4928 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23272

[startup+0.701438 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9147
/proc/meminfo: memFree=1800504/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=38080 CPUtime=0.69
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 8829 0 0 0 65 4 0 0 22 0 1 0 194454891 38993920 8811 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/9147/statm: 9520 8811 351 886 0 8630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38080

[startup+1.50151 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 9148
/proc/meminfo: memFree=1746608/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=89196 CPUtime=1.49
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 21560 0 0 0 140 9 0 0 25 0 1 0 194454891 91336704 21542 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/9147/statm: 22299 21542 351 886 0 21409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89196

[startup+3.10165 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 9148
/proc/meminfo: memFree=1688496/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=137736 CPUtime=3.08
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 33664 0 0 0 294 14 0 0 25 0 1 0 194454891 141041664 33646 1992294400 4194304 7823515 548682068736 18446744073709551615 4403228 0 0 4096 0 0 0 0 17 1 0 0
/proc/9147/statm: 34434 33646 351 886 0 33544 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 137736

[startup+6.30193 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 9148
/proc/meminfo: memFree=1608752/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=220492 CPUtime=6.28
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 54303 0 0 0 606 22 0 0 25 0 1 0 194454891 225783808 54285 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/9147/statm: 55123 54285 351 886 0 54233 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 220492

[startup+12.7025 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 9148
/proc/meminfo: memFree=1107312/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=727980 CPUtime=12.68
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 180102 0 0 0 1188 80 0 0 25 0 1 0 194454891 745451520 179730 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 181995 179730 418 886 0 181105 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 727980

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 9148
/proc/meminfo: memFree=616368/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1209792 CPUtime=25.48
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 300528 0 0 0 2412 136 0 0 25 0 1 0 194454891 1238827008 300156 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 302448 300167 419 886 0 301558 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1209792

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 9148
/proc/meminfo: memFree=456240/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1352140 CPUtime=51.07
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 336165 0 0 0 4442 665 0 0 25 0 1 0 194454891 1384591360 335793 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 338035 335793 432 886 0 337145 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1352140

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 9148
/proc/meminfo: memFree=336816/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1541748 CPUtime=102.26
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 387447 0 0 0 7950 2276 0 0 25 0 1 0 194454891 1578749952 374713 1992294400 4194304 7823515 548682068736 18446744073709551615 6237593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 385437 374715 496 886 0 384547 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1541748

[startup+162.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 9148
/proc/meminfo: memFree=252272/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1622444 CPUtime=162.24
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 400509 0 0 0 13938 2286 0 0 25 0 1 0 194454891 1661382656 386834 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 405611 386834 515 886 0 404721 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1622444

[startup+222.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 9148
/proc/meminfo: memFree=218480/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1635616 CPUtime=222.23
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 409240 0 0 0 19929 2294 0 0 25 0 1 0 194454891 1674870784 395145 1992294400 4194304 7823515 548682068736 18446744073709551615 6151351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 408904 395145 515 886 0 408014 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1635616

[startup+282.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 9154
/proc/meminfo: memFree=203248/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1651088 CPUtime=282.21
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 413028 0 0 0 25922 2299 0 0 25 0 1 0 194454891 1690714112 398932 1992294400 4194304 7823515 548682068736 18446744073709551615 6151335 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 412772 398932 515 886 0 411882 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1651088

[startup+342.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 9154
/proc/meminfo: memFree=191344/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1659476 CPUtime=342.19
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 416013 0 0 0 31918 2301 0 0 25 0 1 0 194454891 1699303424 401892 1992294400 4194304 7823515 548682068736 18446744073709551615 6908168 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 414869 401892 515 886 0 413979 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1659476

[startup+402.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 9154
/proc/meminfo: memFree=188144/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1660376 CPUtime=402.18
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 416822 0 0 0 37914 2304 0 0 25 0 1 0 194454891 1700225024 402701 1992294400 4194304 7823515 548682068736 18446744073709551615 6212544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 415094 402701 515 886 0 414204 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1660376

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9154
/proc/meminfo: memFree=187696/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1660376 CPUtime=462.16
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 416918 0 0 0 43911 2305 0 0 25 0 1 0 194454891 1700225024 402797 1992294400 4194304 7823515 548682068736 18446744073709551615 6212356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 415094 402797 515 886 0 414204 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1660376

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=187440/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1660376 CPUtime=522.14
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 416988 0 0 0 49908 2306 0 0 25 0 1 0 194454891 1700225024 402867 1992294400 4194304 7823515 548682068736 18446744073709551615 5924519 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 415094 402867 515 886 0 414204 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1660376

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=187184/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1660376 CPUtime=582.14
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 417040 0 0 0 55906 2308 0 0 25 0 1 0 194454891 1700225024 402919 1992294400 4194304 7823515 548682068736 18446744073709551615 6174884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 415094 402919 515 886 0 414204 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1660376

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=186928/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1660376 CPUtime=642.12
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 417108 0 0 0 61903 2309 0 0 25 0 1 0 194454891 1700225024 402987 1992294400 4194304 7823515 548682068736 18446744073709551615 6212327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 415094 402987 515 886 0 414204 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1660376

[startup+702.302 s]

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

/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 417314 0 0 0 103881 2320 0 0 25 0 1 0 194454891 1700225024 403193 1992294400 4194304 7823515 548682068736 18446744073709551615 5965385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 415094 403193 532 886 0 414204 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1660376

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=134448/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1702344 CPUtime=1122.01
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 430183 0 0 0 109602 2599 0 0 25 0 1 0 194454891 1743200256 416062 1992294400 4194304 7823515 548682068736 18446744073709551615 5566663 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 425586 416062 536 886 0 424696 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1702344

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=126320/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1712216 CPUtime=1182
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 433330 0 0 0 115599 2601 0 0 25 0 1 0 194454891 1753309184 418099 1992294400 4194304 7823515 548682068736 18446744073709551615 6212327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 428054 418099 544 886 0 427164 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1712216

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=126000/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1712216 CPUtime=1241.97
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 433380 0 0 0 121595 2602 0 0 25 0 1 0 194454891 1753309184 418149 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 428054 418149 544 886 0 427164 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1712216

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=124336/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1714596 CPUtime=1301.96
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 433772 0 0 0 127593 2603 0 0 25 0 1 0 194454891 1755746304 418541 1992294400 4194304 7823515 548682068736 18446744073709551615 6212325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 428649 418541 544 886 0 427759 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1714596

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=105264/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1736028 CPUtime=1361.95
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 438518 0 0 0 133589 2606 0 0 25 0 1 0 194454891 1777692672 423287 1992294400 4194304 7823515 548682068736 18446744073709551615 6214782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 434007 423287 544 886 0 433117 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1736028

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=104496/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1736028 CPUtime=1421.93
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 438711 0 0 0 139585 2608 0 0 25 0 1 0 194454891 1777692672 423480 1992294400 4194304 7823515 548682068736 18446744073709551615 6212552 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 434007 423480 544 886 0 433117 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1736028

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=104176/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1736028 CPUtime=1481.92
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 438788 0 0 0 145582 2610 0 0 25 0 1 0 194454891 1777692672 423557 1992294400 4194304 7823515 548682068736 18446744073709551615 6212570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 434007 423557 544 886 0 433117 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1736028

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=104112/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1736028 CPUtime=1541.9
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 438800 0 0 0 151579 2611 0 0 25 0 1 0 194454891 1777692672 423569 1992294400 4194304 7823515 548682068736 18446744073709551615 6237434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 434007 423569 544 886 0 433117 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1736028

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=104048/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1736028 CPUtime=1601.89
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 438807 0 0 0 157576 2613 0 0 25 0 1 0 194454891 1777692672 423576 1992294400 4194304 7823515 548682068736 18446744073709551615 6211318 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 434007 423576 544 886 0 433117 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1736028

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=103984/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1736028 CPUtime=1661.88
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 438816 0 0 0 163573 2615 0 0 25 0 1 0 194454891 1777692672 423585 1992294400 4194304 7823515 548682068736 18446744073709551615 6215064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 434007 423585 544 886 0 433117 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1736028

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=103920/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1736028 CPUtime=1721.86
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 438826 0 0 0 169570 2616 0 0 25 0 1 0 194454891 1777692672 423595 1992294400 4194304 7823515 548682068736 18446744073709551615 6206177 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 434007 423595 544 886 0 433117 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1736028

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=103920/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1736028 CPUtime=1781.85
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 438828 0 0 0 175567 2618 0 0 25 0 1 0 194454891 1777692672 423597 1992294400 4194304 7823515 548682068736 18446744073709551615 5924524 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 434007 423597 544 886 0 433117 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1736028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9154
/proc/meminfo: memFree=103856/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1736028 CPUtime=1800.05
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 438834 0 0 0 177386 2619 0 0 25 0 1 0 194454891 1777692672 423603 1992294400 4194304 7823515 548682068736 18446744073709551615 6211594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 434007 423603 544 886 0 433117 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1736028

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9147

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9155
/proc/meminfo: memFree=103784/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1736028 CPUtime=1800.94
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 438834 0 0 0 177475 2619 0 0 25 0 1 0 194454891 1777692672 423603 1992294400 4194304 7823515 548682068736 18446744073709551615 6212306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 434007 423603 544 886 0 433117 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 1736028

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9155
/proc/meminfo: memFree=103784/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=1736028 CPUtime=1801.74
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4194304 438834 0 0 0 177555 2619 0 0 25 0 1 0 194454891 1777692672 423603 1992294400 4194304 7823515 548682068736 18446744073709551615 6212449 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 434007 423603 544 886 0 433117 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 1736028

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9155
/proc/meminfo: memFree=103784/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=0 CPUtime=1802.14
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4195332 438834 0 0 0 177586 2628 0 0 25 0 1 0 194454891 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9155
/proc/meminfo: memFree=103784/2055920 swapFree=4192952/4192956
[pid=9147] ppid=9145 vsize=0 CPUtime=1802.24
/proc/9147/stat : 9147 (pbscip.linux.x8) R 9145 9147 9110 0 -1 4195332 438834 0 0 0 177586 2638 0 0 25 0 1 0 194454891 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9147/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.24
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1802.31
CPU user time (s): 1775.87
CPU system time (s): 26.449
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1736028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.87
system time used= 26.449
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438834
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= 5
involuntary context switches= 2840

runsolver used 1.47078 second user time and 3.98739 second system time

The end

Launcher Data 

Begin job on node58 at 2009-06-17 21:56:33
IDJOB=1885677
IDBENCH=72081
IDSOLVER=683
FILE ID=node58/1885677-1245268592
PBS_JOBID= 9372468
Free space on /tmp= 66548 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/diagnosis/UCG-10-5p0.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-1885677-1245268592/watcher-1885677-1245268592 -o /tmp/evaluation-result-1885677-1245268592/solver-1885677-1245268592 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885677-1245268592.opb

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

MD5SUM BENCH= b3e3439aa338f8019324c79b0efe0cc7
RANDOM SEED=1708399217

node58.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.243
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.243
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1800920 kB
Buffers:         38636 kB
Cached:         148700 kB
SwapCached:          4 kB
Active:          85440 kB
Inactive:       115244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800920 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:           24884 kB
Writeback:           0 kB
Mapped:          23096 kB
Slab:            40356 kB
Committed_AS:    91176 kB
PageTables:       1360 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66536 MiB
End job on node58 at 2009-06-17 22:26:36