Trace number 1885678

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? (TO) 1802.3 1802.77

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.49/7.55	c SCIP version 1.1.0.7
7.49/7.55	c LP-Solver Clp 1.8.2
7.49/7.55	c user parameter file <scip.set> not found - using default parameters
7.49/7.55	c read problem <HOME/instance-1885678-1245268643.opb>
7.49/7.55	c original problem has 104481 variables (104481 bin, 0 int, 0 impl, 0 cont) and 500875 constraints
9.38/9.48	c No objective function, only one solution is needed.
9.38/9.48	c start presolving problem
9.38/9.48	c presolving:
31.58/31.63	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.28/34.34	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
36.08/36.12	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.88	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.27/38.32	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.67/38.76	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.19	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.57/39.64	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.97/40.08	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.46/40.53	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.87/40.96	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.37/41.41	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.77/41.85	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.17/42.29	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.67/42.73	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
43.06/43.17	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.56/43.60	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.97/44.03	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.37/44.46	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.77/44.89	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.26/45.32	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.66/45.75	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
46.07/46.17	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.57/46.60	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.96/47.02	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.37/47.44	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.77/47.86	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.16/48.28	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.56/48.70	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
49.07/49.11	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.47/49.53	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.87/49.95	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.26/50.37	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.67/50.79	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
51.16/51.20	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.57/51.61	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.97/52.03	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.36/52.44	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.77/52.85	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.17/53.27	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.56/53.69	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
54.07/54.10	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.47/54.51	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.86/54.92	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.26/55.34	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.67/55.75	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
56.06/56.16	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.46/56.57	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.86/56.99	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.36/57.40	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.77/57.81	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.17/58.23	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.56/58.64	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.96/59.05	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.37/59.46	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.77/59.87	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.17/60.28	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.57/60.68	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.96/61.08	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.36/61.48	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.76/61.88	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.16/62.27	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.57/62.67	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.96/63.07	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.36/63.47	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.77/63.87	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.16/64.27	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.56/64.66	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.97/65.06	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.36/65.46	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.76/65.85	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.16/66.25	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.56/66.65	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.96/67.05	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.36/67.44	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.76/67.83	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
68.17/68.23	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.56/68.62	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.96/69.01	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.36/69.41	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.76/69.80	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
70.06/70.19	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.46/70.57	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.86/70.96	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.26/71.35	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.66/71.73	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
72.06/72.10	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.35/72.47	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.75/72.84	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.15/73.21	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.45/73.58	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.85/73.95	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.25/74.32	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.55/74.69	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.95/75.05	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.35/75.42	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.65/75.79	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
76.05/76.16	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.46/76.53	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.75/76.90	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.15/77.26	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.55/77.63	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.85/77.99	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.25/78.36	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.65/78.72	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.95/79.09	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.36/79.45	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.76/79.82	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.05/80.19	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.45/80.55	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.85/80.92	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.15/81.28	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.56/81.65	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.95/82.01	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.25/82.38	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.65/82.74	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
83.05/83.11	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.35/83.47	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.75/83.84	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.15/84.20	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.45/84.57	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.85/84.93	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.15/85.30	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.54/85.66	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.95/86.03	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.24/86.39	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.64/86.76	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
87.05/87.12	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.34/87.48	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.75/87.84	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
88.15/88.20	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.44/88.56	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.85/88.93	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.14/89.29	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.55/89.65	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.95/90.01	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.24/90.37	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.64/90.73	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.95/91.09	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.35/91.45	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.74/91.81	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
92.04/92.17	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.44/92.53	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.75/92.89	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.15/93.25	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.54/93.61	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.84/93.97	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.24/94.33	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.55/94.69	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.94/95.05	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.34/95.41	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.65/95.76	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.94/96.09	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.34/99.43	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.04/100.16	c presolving (155 rounds):
100.04/100.16	c  36066 deleted vars, 195878 deleted constraints, 30148 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
100.04/100.16	c  19024577 implications, 0 cliques
100.04/100.16	c presolved problem has 68415 variables (68415 bin, 0 int, 0 impl, 0 cont) and 304997 constraints
100.04/100.16	c  304997 constraints of type <logicor>
100.04/100.16	c transformed objective value is always integral (scale: 1)
100.04/100.16	c Presolving Time: 69.07
100.04/100.16	c PURESAT
100.04/100.16	c -----------------------------------------------------------------------------------------------
100.04/100.16	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 0]
100.04/100.16	c separating/flowcover/freq = c -1
100.04/100.16	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 0]
100.04/100.16	c separating/cmir/freq = c -1
100.04/100.16	c # additional number of allowed LP iterations
100.04/100.16	c # [type: int, range: [0,2147483647], default: 1000]
100.04/100.16	c heuristics/veclendiving/maxlpiterofs = c 1500
100.04/100.16	c # maximal fraction of diving LP iterations compared to node LP iterations
100.04/100.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.04/100.16	c heuristics/veclendiving/maxlpiterquot = c 0.075
100.04/100.16	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 10]
100.04/100.16	c heuristics/veclendiving/freq = c -1
100.04/100.16	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 1]
100.04/100.16	c heuristics/simplerounding/freq = c -1
100.04/100.16	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 10]
100.04/100.16	c heuristics/shifting/freq = c -1
100.04/100.16	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 1]
100.04/100.16	c heuristics/rounding/freq = c -1
100.04/100.16	c # additional number of allowed LP iterations
100.04/100.16	c # [type: int, range: [0,2147483647], default: 1000]
100.04/100.16	c heuristics/rootsoldiving/maxlpiterofs = c 1500
100.04/100.16	c # maximal fraction of diving LP iterations compared to node LP iterations
100.04/100.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
100.04/100.16	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
100.04/100.16	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 20]
100.04/100.16	c heuristics/rootsoldiving/freq = c -1
100.04/100.16	c # number of nodes added to the contingent of the total nodes
100.04/100.16	c # [type: longint, range: [0,9223372036854775807], default: 500]
100.04/100.16	c heuristics/rens/nodesofs = c 2000
100.04/100.16	c # minimum percentage of integer variables that have to be fixable 
100.04/100.16	c # [type: real, range: [0,1], default: 0.5]
100.04/100.16	c heuristics/rens/minfixingrate = c 0.3
100.04/100.16	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 0]
100.04/100.16	c heuristics/rens/freq = c -1
100.04/100.16	c # additional number of allowed LP iterations
100.04/100.16	c # [type: int, range: [0,2147483647], default: 1000]
100.04/100.16	c heuristics/pscostdiving/maxlpiterofs = c 1500
100.04/100.16	c # maximal fraction of diving LP iterations compared to node LP iterations
100.04/100.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.04/100.16	c heuristics/pscostdiving/maxlpiterquot = c 0.075
100.04/100.16	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 10]
100.04/100.16	c heuristics/pscostdiving/freq = c -1
100.04/100.16	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 1]
100.04/100.16	c heuristics/oneopt/freq = c -1
100.04/100.16	c # additional number of allowed LP iterations
100.04/100.16	c # [type: int, range: [0,2147483647], default: 1000]
100.04/100.16	c heuristics/objpscostdiving/maxlpiterofs = c 1500
100.04/100.16	c # maximal fraction of diving LP iterations compared to total iteration number
100.04/100.16	c # [type: real, range: [0,1], default: 0.01]
100.04/100.16	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
100.04/100.16	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 20]
100.04/100.16	c heuristics/objpscostdiving/freq = c -1
100.04/100.16	c # additional number of allowed LP iterations
100.04/100.16	c # [type: int, range: [0,2147483647], default: 1000]
100.04/100.16	c heuristics/linesearchdiving/maxlpiterofs = c 1500
100.04/100.16	c # maximal fraction of diving LP iterations compared to node LP iterations
100.04/100.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.04/100.16	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
100.04/100.16	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 10]
100.04/100.16	c heuristics/linesearchdiving/freq = c -1
100.04/100.16	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 10]
100.04/100.16	c heuristics/intshifting/freq = c -1
100.04/100.16	c # maximal fraction of diving LP iterations compared to node LP iterations
100.04/100.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.04/100.16	c heuristics/intdiving/maxlpiterquot = c 0.075
100.04/100.16	c # additional number of allowed LP iterations
100.04/100.16	c # [type: int, range: [0,2147483647], default: 1000]
100.04/100.16	c heuristics/guideddiving/maxlpiterofs = c 1500
100.04/100.16	c # maximal fraction of diving LP iterations compared to node LP iterations
100.04/100.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.04/100.16	c heuristics/guideddiving/maxlpiterquot = c 0.075
100.04/100.16	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 10]
100.04/100.16	c heuristics/guideddiving/freq = c -1
100.04/100.16	c # additional number of allowed LP iterations
100.04/100.16	c # [type: int, range: [0,2147483647], default: 1000]
100.04/100.16	c heuristics/fracdiving/maxlpiterofs = c 1500
100.04/100.16	c # maximal fraction of diving LP iterations compared to node LP iterations
100.04/100.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.04/100.16	c heuristics/fracdiving/maxlpiterquot = c 0.075
100.04/100.16	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 10]
100.04/100.16	c heuristics/fracdiving/freq = c -1
100.04/100.16	c # additional number of allowed LP iterations
100.04/100.16	c # [type: int, range: [0,2147483647], default: 1000]
100.04/100.16	c heuristics/feaspump/maxlpiterofs = c 2000
100.04/100.16	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 20]
100.04/100.16	c heuristics/feaspump/freq = c -1
100.04/100.16	c # minimum percentage of integer variables that have to be fixed 
100.04/100.16	c # [type: real, range: [0,1], default: 0.666]
100.04/100.16	c heuristics/crossover/minfixingrate = c 0.5
100.04/100.16	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
100.04/100.16	c # [type: real, range: [0,1], default: 0.1]
100.04/100.16	c heuristics/crossover/nodesquot = c 0.15
100.04/100.16	c # number of nodes without incumbent change that heuristic should wait
100.04/100.16	c # [type: longint, range: [0,9223372036854775807], default: 200]
100.04/100.16	c heuristics/crossover/nwaitingnodes = c 100
100.04/100.16	c # number of nodes added to the contingent of the total nodes
100.04/100.16	c # [type: longint, range: [0,9223372036854775807], default: 500]
100.04/100.16	c heuristics/crossover/nodesofs = c 750
100.04/100.16	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 30]
100.04/100.16	c heuristics/crossover/freq = c -1
100.04/100.16	c # additional number of allowed LP iterations
100.04/100.16	c # [type: int, range: [0,2147483647], default: 1000]
100.04/100.16	c heuristics/coefdiving/maxlpiterofs = c 1500
100.04/100.16	c # maximal fraction of diving LP iterations compared to node LP iterations
100.04/100.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.04/100.16	c heuristics/coefdiving/maxlpiterquot = c 0.075
100.04/100.16	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: 10]
100.04/100.16	c heuristics/coefdiving/freq = c -1
100.04/100.16	c # priority of node selection rule <dfs> in standard mode
100.04/100.16	c # [type: int, range: [-536870912,536870911], default: 0]
100.04/100.16	c nodeselection/dfs/stdpriority = c 1000000
100.04/100.16	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
100.04/100.16	c # [type: int, range: [-1,2147483647], default: -1]
100.04/100.16	c presolving/probing/maxrounds = c 0
100.04/100.16	c # should presolving try to simplify knapsacks
100.04/100.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.04/100.16	c constraints/knapsack/simplifyinequalities = c TRUE
100.04/100.16	c # should disaggregation of knapsack constraints be allowed in preprocessing?
100.04/100.16	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
100.04/100.16	c constraints/knapsack/disaggregation = c FALSE
100.04/100.16	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
100.14/100.24	c # [type: int, range: [-1,2147483647], default: -1]
100.14/100.24	c constraints/knapsack/maxnumcardlift = c 0
100.14/100.24	c # should presolving try to simplify inequalities
100.14/100.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.14/100.24	c constraints/linear/simplifyinequalities = c TRUE
100.14/100.24	c # maximal number of separation rounds in the root node (-1: unlimited)
100.14/100.24	c # [type: int, range: [-1,2147483647], default: -1]
100.14/100.24	c separating/maxroundsroot = c 5
100.14/100.24	c # maximal number of separation rounds per node (-1: unlimited)
100.14/100.24	c # [type: int, range: [-1,2147483647], default: 5]
100.14/100.24	c separating/maxrounds = c 1
100.14/100.24	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.14/100.24	c # [type: char, range: {lafpsqd}, default: l]
100.14/100.24	c lp/pricing = c a
100.14/100.24	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
100.14/100.24	c # [type: int, range: [-1,2147483647], default: 1]
100.14/100.24	c lp/solvefreq = c 0
100.14/100.24	c # solving stops, if the given number of solutions were found (-1: no limit)
100.14/100.24	c # [type: int, range: [-1,2147483647], default: -1]
100.14/100.24	c limits/solutions = c 1
100.14/100.24	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
100.14/100.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
100.14/100.24	c limits/memory = c 1620
100.14/100.24	c # maximal time in seconds to run
100.14/100.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
100.14/100.24	c limits/time = c 1791
100.14/100.24	c # frequency for displaying node information lines
100.14/100.24	c # [type: int, range: [-1,2147483647], default: 100]
100.14/100.24	c display/freq = c 10000
100.14/100.24	c # should enforcement of pseudo solution be disabled?
100.14/100.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.14/100.24	c constraints/disableenfops = c TRUE
100.14/100.24	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
100.14/100.24	c # [type: int, range: [-1,2147483647], default: 0]
100.14/100.24	c constraints/agelimit = c 1
100.14/100.24	c # should binary conflicts be preferred?
100.14/100.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.14/100.24	c conflict/preferbinary = c TRUE
100.14/100.24	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
100.14/100.24	c # [type: int, range: [-1,2147483647], default: -1]
100.14/100.24	c conflict/interconss = c 0
100.14/100.24	c -----------------------------------------------------------------------------------------------
100.14/100.24	c start solving problem
100.14/100.24	c 
424.95/425.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
424.95/425.13	c   394s|     1 |     0 | 38420 | 939M|   0 |  11k|  68k| 304k| 304k|  68k| 304k|   0 |   0 |   0 | 3.436466e+03 |      --      |    Inf 
1074.30/1074.62	c  1041s|     1 |     0 | 58197 | 939M|   0 |  11k|  68k| 304k| 304k|  68k| 305k|   7 |   0 |   0 | 3.439403e+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-1885678-1245268643/watcher-1885678-1245268643 -o /tmp/evaluation-result-1885678-1245268643/solver-1885678-1245268643 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885678-1245268643.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 14748
/proc/meminfo: memFree=1773304/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=5812 CPUtime=0
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 194460535 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/14748/statm: 1453 502 332 1256 0 192 0

[startup+0.0965711 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14748
/proc/meminfo: memFree=1773304/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=15752 CPUtime=0.09
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 2916 0 0 0 8 1 0 0 18 0 1 0 194460535 16130048 2900 1992294400 4194304 9342243 548682068736 18446744073709551615 4403228 0 0 4096 0 0 0 0 17 1 0 0
/proc/14748/statm: 3938 2900 376 1256 0 2677 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15752

[startup+0.101571 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14748
/proc/meminfo: memFree=1773304/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=15896 CPUtime=0.09
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 2944 0 0 0 8 1 0 0 18 0 1 0 194460535 16277504 2928 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/14748/statm: 3974 2928 376 1256 0 2713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15896

[startup+0.301588 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14748
/proc/meminfo: memFree=1773304/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=24628 CPUtime=0.29
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 5143 0 0 0 27 2 0 0 19 0 1 0 194460535 25219072 5127 1992294400 4194304 9342243 548682068736 18446744073709551615 8247778 0 0 4096 0 0 0 0 17 1 0 0
/proc/14748/statm: 6157 5127 376 1256 0 4896 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24628

[startup+0.701623 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 14748
/proc/meminfo: memFree=1773304/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=39268 CPUtime=0.69
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 8793 0 0 0 66 3 0 0 22 0 1 0 194460535 40210432 8777 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 1 0 0
/proc/14748/statm: 9817 8777 376 1256 0 8556 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39268

[startup+1.50169 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 14749
/proc/meminfo: memFree=1720944/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=88284 CPUtime=1.49
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 21008 0 0 0 140 9 0 0 25 0 1 0 194460535 90402816 20992 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/14748/statm: 22071 20992 376 1256 0 20810 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88284

[startup+3.10183 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 14749
/proc/meminfo: memFree=1664240/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=138080 CPUtime=3.09
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 33393 0 0 0 295 14 0 0 25 0 1 0 194460535 141393920 33377 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/14748/statm: 34520 33377 376 1256 0 33259 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 138080

[startup+6.30111 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 14749
/proc/meminfo: memFree=1584624/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=216740 CPUtime=6.28
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 53046 0 0 0 605 23 0 0 25 0 1 0 194460535 221941760 53030 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/14748/statm: 54185 53030 376 1256 0 52924 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 216740

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 14749
/proc/meminfo: memFree=1084912/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=724504 CPUtime=12.69
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 178979 0 0 0 1184 85 0 0 25 0 1 0 194460535 741892096 178609 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 181126 178609 460 1256 0 179865 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 724504

[startup+25.5028 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 14749
/proc/meminfo: memFree=596080/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1201196 CPUtime=25.48
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 298153 0 0 0 2407 141 0 0 25 0 1 0 194460535 1230024704 297783 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 300299 297783 461 1256 0 299038 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1201196

[startup+51.1021 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 14749
/proc/meminfo: memFree=428784/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1353784 CPUtime=51.06
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 336321 0 0 0 4440 666 0 0 25 0 1 0 194460535 1386274816 335951 1992294400 4194304 9342243 548682068736 18446744073709551615 5417491 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 338446 335951 474 1256 0 337185 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1353784

[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 14749
/proc/meminfo: memFree=350064/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1558852 CPUtime=102.24
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 375547 0 0 0 7962 2262 0 0 25 0 1 0 194460535 1596264448 366907 1992294400 4194304 9342243 548682068736 18446744073709551615 6881842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 389713 366907 583 1256 0 388452 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1558852

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14749
/proc/meminfo: memFree=208304/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1651336 CPUtime=162.23
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 445480 0 0 0 13928 2295 0 0 25 0 1 0 194460535 1690968064 391059 1992294400 4194304 9342243 548682068736 18446744073709551615 6964613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 412834 391059 612 1256 0 411573 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1651336

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=200368/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1657432 CPUtime=222.2
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 473818 0 0 0 19910 2310 0 0 25 0 1 0 194460535 1697210368 392952 1992294400 4194304 9342243 548682068736 18446744073709551615 6963988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 414358 392952 612 1256 0 413097 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 1657432

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=196656/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1661140 CPUtime=282.19
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 504851 0 0 0 25894 2325 0 0 25 0 1 0 194460535 1701007360 393928 1992294400 4194304 9342243 548682068736 18446744073709551615 6959741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 415285 393928 612 1256 0 414024 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1661140

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=204400/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1663892 CPUtime=342.17
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 527750 0 0 0 31880 2337 0 0 25 0 1 0 194460535 1703825408 391978 1992294400 4194304 9342243 548682068736 18446744073709551615 6956483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 415973 391978 612 1256 0 414712 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1663892

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=202480/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1665820 CPUtime=402.16
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 546055 0 0 0 37870 2346 0 0 25 0 1 0 194460535 1705799680 392451 1992294400 4194304 9342243 548682068736 18446744073709551615 6496544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 416455 392451 612 1256 0 415194 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1665820

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=198000/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1668252 CPUtime=462.14
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 559467 0 0 0 43861 2353 0 0 25 0 1 0 194460535 1708290048 393562 1992294400 4194304 9342243 548682068736 18446744073709551615 4338438 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 417063 393562 630 1256 0 415802 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1668252

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=198000/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1668252 CPUtime=522.13
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 559467 0 0 0 49859 2354 0 0 25 0 1 0 194460535 1708290048 393562 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 417063 393562 630 1256 0 415802 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1668252

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=197936/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1668252 CPUtime=582.12
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 559468 0 0 0 55856 2356 0 0 25 0 1 0 194460535 1708290048 393563 1992294400 4194304 9342243 548682068736 18446744073709551615 4272794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 417063 393563 631 1256 0 415802 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1668252

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=198000/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1668252 CPUtime=642.1
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 559469 0 0 0 61714 2496 0 0 25 0 1 0 194460535 1708290048 393564 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 417063 393564 632 1256 0 415802 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1668252

[startup+702.301 s]

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

/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 582399 0 0 0 103578 2622 0 0 25 0 1 0 194460535 1762963456 416489 1992294400 4194304 9342243 548682068736 18446744073709551615 6962268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 430411 416489 644 1256 0 429150 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1721644

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103408/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1121.98
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 109575 2623 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 6237448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1724156

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103408/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1181.97
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 115572 2625 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 6952853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1724156

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103344/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1241.96
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 121570 2626 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1724156

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103344/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1301.95
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 127568 2627 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1724156

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103280/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1361.93
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 133565 2628 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1724156

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103280/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1421.92
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 139563 2629 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 4338467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1724156

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103216/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1481.9
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 145559 2631 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1724156

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103216/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1541.88
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 151556 2632 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1724156

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103152/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1601.86
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 157553 2633 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1724156

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103152/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1661.86
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 163551 2635 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1724156

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103088/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1721.84
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 169547 2637 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1724156

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103088/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1781.83
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 175545 2638 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 6953040 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1724156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 14755
/proc/meminfo: memFree=103088/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1800.03
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 177364 2639 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1724156

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14748

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 3/66 14756
/proc/meminfo: memFree=103080/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1800.92
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 177453 2639 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 5566647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 1724156

[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14756
/proc/meminfo: memFree=103080/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=1724156 CPUtime=1801.72
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4194304 583039 0 0 0 177533 2639 0 0 25 0 1 0 194460535 1765535744 417129 1992294400 4194304 9342243 548682068736 18446744073709551615 5566603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 431039 417129 644 1256 0 429778 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 1724156

[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14756
/proc/meminfo: memFree=103080/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=0 CPUtime=1802.12
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4195332 583039 0 0 0 177564 2648 0 0 25 0 1 0 194460535 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

[startup+1802.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 14756
/proc/meminfo: memFree=103080/2055920 swapFree=4181656/4192956
[pid=14748] ppid=14746 vsize=0 CPUtime=1802.22
/proc/14748/stat : 14748 (pbscip.linux.x8) R 14746 14748 14711 0 -1 4195332 583039 0 0 0 177564 2658 0 0 25 0 1 0 194460535 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14748/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.77
CPU time (s): 1802.3
CPU user time (s): 1775.64
CPU system time (s): 26.6519
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 1724156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.65
system time used= 26.6519
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583039
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= 2
involuntary context switches= 2435

runsolver used 1.87571 second user time and 4.06438 second system time

The end

Launcher Data 

Begin job on node50 at 2009-06-17 21:57:24
IDJOB=1885678
IDBENCH=72081
IDSOLVER=684
FILE ID=node50/1885678-1245268643
PBS_JOBID= 9372469
Free space on /tmp= 66356 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/diagnosis/UCG-10-5p0.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885678-1245268643/watcher-1885678-1245268643 -o /tmp/evaluation-result-1885678-1245268643/solver-1885678-1245268643 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885678-1245268643.opb

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

MD5SUM BENCH= b3e3439aa338f8019324c79b0efe0cc7
RANDOM SEED=151699955

node50.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.211
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.211
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:       1773792 kB
Buffers:         21648 kB
Cached:         194208 kB
SwapCached:       5076 kB
Active:          88128 kB
Inactive:       134952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1773792 kB
SwapTotal:     4192956 kB
SwapFree:      4181656 kB
Dirty:           26880 kB
Writeback:           0 kB
Mapped:          12852 kB
Slab:            45056 kB
Committed_AS:   134912 kB
PageTables:       1452 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= 66344 MiB
End job on node50 at 2009-06-17 22:27:27