Trace number 1885717

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.35 1802.87

General information on the benchmark

Name/PURE-SAT/SAT09/APPLICATIONS/
diagnosis/UR-10-5p0.opb
MD5SUM333666727ba8497b0bdb276d670bc01c
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 benchmark222.98
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables104479
Total number of constraints500869
Number of constraints which are clauses500869
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.39/7.43	c SCIP version 1.1.0.7
7.39/7.43	c LP-Solver SoPlex 1.4.1
7.39/7.43	c user parameter file <scip.set> not found - using default parameters
7.39/7.43	c read problem <HOME/instance-1885717-1245269068.opb>
7.39/7.43	c original problem has 104479 variables (104479 bin, 0 int, 0 impl, 0 cont) and 500869 constraints
9.29/9.37	c No objective function, only one solution is needed.
9.29/9.37	c start presolving problem
9.29/9.37	c presolving:
31.59/31.61	c (round 1) 6194 del vars, 5838 del conss, 5498 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16132782 impls, 0 clqs
34.39/34.40	c (round 2) 17615 del vars, 85141 del conss, 16730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16198855 impls, 0 clqs
36.09/36.17	c (round 3) 18802 del vars, 109013 del conss, 17818 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16667908 impls, 0 clqs
37.88/37.92	c (round 4) 23018 del vars, 132122 del conss, 21938 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16681566 impls, 0 clqs
38.28/38.35	c (round 5) 23240 del vars, 132832 del conss, 22088 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16698608 impls, 0 clqs
38.68/38.79	c (round 6) 23466 del vars, 133560 del conss, 22238 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16715308 impls, 0 clqs
39.18/39.24	c (round 7) 23697 del vars, 134320 del conss, 22388 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16734934 impls, 0 clqs
39.59/39.67	c (round 8) 23912 del vars, 135030 del conss, 22532 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16751216 impls, 0 clqs
40.08/40.12	c (round 9) 24130 del vars, 135762 del conss, 22671 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16769773 impls, 0 clqs
40.48/40.56	c (round 10) 24332 del vars, 136430 del conss, 22805 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16788714 impls, 0 clqs
40.98/41.00	c (round 11) 24536 del vars, 137118 del conss, 22935 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16808184 impls, 0 clqs
41.38/41.44	c (round 12) 24725 del vars, 137758 del conss, 23059 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16826618 impls, 0 clqs
41.78/41.88	c (round 13) 24909 del vars, 138366 del conss, 23178 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16847036 impls, 0 clqs
42.28/42.32	c (round 14) 25084 del vars, 138961 del conss, 23292 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16867230 impls, 0 clqs
42.68/42.76	c (round 15) 25252 del vars, 139513 del conss, 23401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16889186 impls, 0 clqs
43.08/43.20	c (round 16) 25413 del vars, 140067 del conss, 23505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16908808 impls, 0 clqs
43.58/43.62	c (round 17) 25567 del vars, 140580 del conss, 23605 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16925964 impls, 0 clqs
43.98/44.06	c (round 18) 25721 del vars, 141092 del conss, 23705 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16943989 impls, 0 clqs
44.38/44.49	c (round 19) 25876 del vars, 141609 del conss, 23805 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16963075 impls, 0 clqs
44.88/44.92	c (round 20) 26030 del vars, 142120 del conss, 23905 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16980399 impls, 0 clqs
45.28/45.36	c (round 21) 26184 del vars, 142631 del conss, 24004 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16999789 impls, 0 clqs
45.67/45.79	c (round 22) 26329 del vars, 143130 del conss, 24098 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17018626 impls, 0 clqs
46.18/46.22	c (round 23) 26470 del vars, 143606 del conss, 24187 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17036268 impls, 0 clqs
46.58/46.64	c (round 24) 26601 del vars, 144063 del conss, 24271 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17054014 impls, 0 clqs
46.98/47.07	c (round 25) 26727 del vars, 144494 del conss, 24351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17072094 impls, 0 clqs
47.37/47.50	c (round 26) 26853 del vars, 144924 del conss, 24431 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17089172 impls, 0 clqs
47.88/47.92	c (round 27) 26979 del vars, 145353 del conss, 24511 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17106878 impls, 0 clqs
48.29/48.35	c (round 28) 27105 del vars, 145782 del conss, 24591 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17124726 impls, 0 clqs
48.68/48.77	c (round 29) 27231 del vars, 146212 del conss, 24671 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17141564 impls, 0 clqs
49.18/49.20	c (round 30) 27357 del vars, 146642 del conss, 24751 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17159108 impls, 0 clqs
49.58/49.63	c (round 31) 27483 del vars, 147071 del conss, 24831 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17178708 impls, 0 clqs
49.98/50.05	c (round 32) 27609 del vars, 147500 del conss, 24911 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17196024 impls, 0 clqs
50.38/50.47	c (round 33) 27735 del vars, 147930 del conss, 24991 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17213602 impls, 0 clqs
50.88/50.90	c (round 34) 27861 del vars, 148360 del conss, 25071 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17231464 impls, 0 clqs
51.28/51.32	c (round 35) 27995 del vars, 148837 del conss, 25151 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17247886 impls, 0 clqs
51.68/51.74	c (round 36) 28119 del vars, 149244 del conss, 25231 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17263920 impls, 0 clqs
52.07/52.17	c (round 37) 28255 del vars, 149723 del conss, 25315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17282799 impls, 0 clqs
52.48/52.58	c (round 38) 28385 del vars, 150186 del conss, 25398 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17298359 impls, 0 clqs
52.98/53.01	c (round 39) 28521 del vars, 150681 del conss, 25482 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17315086 impls, 0 clqs
53.37/53.43	c (round 40) 28651 del vars, 151145 del conss, 25565 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17332972 impls, 0 clqs
53.78/53.84	c (round 41) 28787 del vars, 151648 del conss, 25649 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17349533 impls, 0 clqs
54.17/54.26	c (round 42) 28917 del vars, 152107 del conss, 25732 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17364859 impls, 0 clqs
54.58/54.68	c (round 43) 29053 del vars, 152608 del conss, 25816 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17383340 impls, 0 clqs
54.98/55.09	c (round 44) 29183 del vars, 153073 del conss, 25899 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17399012 impls, 0 clqs
55.47/55.51	c (round 45) 29319 del vars, 153570 del conss, 25983 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17415499 impls, 0 clqs
55.87/55.93	c (round 46) 29449 del vars, 154042 del conss, 26066 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17432113 impls, 0 clqs
56.28/56.34	c (round 47) 29585 del vars, 154538 del conss, 26150 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17449758 impls, 0 clqs
56.68/56.76	c (round 48) 29715 del vars, 154999 del conss, 26233 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17465674 impls, 0 clqs
57.07/57.17	c (round 49) 29852 del vars, 155509 del conss, 26318 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17483345 impls, 0 clqs
57.47/57.59	c (round 50) 29982 del vars, 155975 del conss, 26401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17499501 impls, 0 clqs
57.98/58.00	c (round 51) 30119 del vars, 156480 del conss, 26486 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17517936 impls, 0 clqs
58.38/58.42	c (round 52) 30250 del vars, 156956 del conss, 26570 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17535856 impls, 0 clqs
58.77/58.84	c (round 53) 30387 del vars, 157472 del conss, 26654 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17554501 impls, 0 clqs
59.17/59.25	c (round 54) 30510 del vars, 157938 del conss, 26733 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17570269 impls, 0 clqs
59.58/59.66	c (round 55) 30632 del vars, 158405 del conss, 26806 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17588728 impls, 0 clqs
59.97/60.07	c (round 56) 30740 del vars, 158818 del conss, 26874 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17604756 impls, 0 clqs
60.38/60.48	c (round 57) 30843 del vars, 159215 del conss, 26936 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17623627 impls, 0 clqs
60.77/60.88	c (round 58) 30936 del vars, 159574 del conss, 26993 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17636999 impls, 0 clqs
61.17/61.28	c (round 59) 31025 del vars, 159917 del conss, 27048 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17650942 impls, 0 clqs
61.57/61.67	c (round 60) 31114 del vars, 160275 del conss, 27102 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17663934 impls, 0 clqs
61.98/62.07	c (round 61) 31203 del vars, 160623 del conss, 27155 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17677619 impls, 0 clqs
62.37/62.46	c (round 62) 31291 del vars, 160966 del conss, 27208 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17689819 impls, 0 clqs
62.77/62.86	c (round 63) 31380 del vars, 161300 del conss, 27263 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17704174 impls, 0 clqs
63.17/63.25	c (round 64) 31468 del vars, 161645 del conss, 27316 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17716090 impls, 0 clqs
63.57/63.65	c (round 65) 31557 del vars, 161995 del conss, 27369 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17729347 impls, 0 clqs
63.97/64.05	c (round 66) 31645 del vars, 162326 del conss, 27422 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17742981 impls, 0 clqs
64.38/64.44	c (round 67) 31734 del vars, 162673 del conss, 27477 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17756976 impls, 0 clqs
64.78/64.84	c (round 68) 31824 del vars, 163031 del conss, 27532 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17769946 impls, 0 clqs
65.17/65.24	c (round 69) 31912 del vars, 163380 del conss, 27584 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17784633 impls, 0 clqs
65.57/65.64	c (round 70) 32002 del vars, 163724 del conss, 27639 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17797477 impls, 0 clqs
65.98/66.03	c (round 71) 32090 del vars, 164069 del conss, 27693 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17813710 impls, 0 clqs
66.37/66.43	c (round 72) 32176 del vars, 164397 del conss, 27746 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17829238 impls, 0 clqs
66.77/66.83	c (round 73) 32264 del vars, 164739 del conss, 27798 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17845086 impls, 0 clqs
67.17/67.23	c (round 74) 32349 del vars, 165049 del conss, 27851 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17861932 impls, 0 clqs
67.57/67.64	c (round 75) 32439 del vars, 165397 del conss, 27907 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17882308 impls, 0 clqs
67.98/68.04	c (round 76) 32521 del vars, 165715 del conss, 27959 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17899424 impls, 0 clqs
68.37/68.44	c (round 77) 32610 del vars, 166050 del conss, 28012 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17917070 impls, 0 clqs
68.77/68.84	c (round 78) 32692 del vars, 166354 del conss, 28064 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17934960 impls, 0 clqs
69.18/69.25	c (round 79) 32781 del vars, 166687 del conss, 28119 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17954804 impls, 0 clqs
69.57/69.64	c (round 80) 32863 del vars, 166986 del conss, 28171 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17970640 impls, 0 clqs
69.97/70.05	c (round 81) 32952 del vars, 167332 del conss, 28223 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17991700 impls, 0 clqs
70.37/70.45	c (round 82) 33026 del vars, 167623 del conss, 28270 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18010885 impls, 0 clqs
70.77/70.85	c (round 83) 33094 del vars, 167878 del conss, 28313 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18031449 impls, 0 clqs
71.17/71.24	c (round 84) 33163 del vars, 168136 del conss, 28356 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18051021 impls, 0 clqs
71.57/71.64	c (round 85) 33229 del vars, 168380 del conss, 28398 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18069773 impls, 0 clqs
71.97/72.03	c (round 86) 33301 del vars, 168666 del conss, 28442 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18088333 impls, 0 clqs
72.37/72.43	c (round 87) 33367 del vars, 168907 del conss, 28483 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18108987 impls, 0 clqs
72.77/72.82	c (round 88) 33427 del vars, 169158 del conss, 28520 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18126534 impls, 0 clqs
73.17/73.21	c (round 89) 33475 del vars, 169333 del conss, 28551 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18145511 impls, 0 clqs
73.47/73.59	c (round 90) 33523 del vars, 169501 del conss, 28582 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18162524 impls, 0 clqs
73.87/73.98	c (round 91) 33571 del vars, 169665 del conss, 28613 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18181725 impls, 0 clqs
74.27/74.36	c (round 92) 33619 del vars, 169831 del conss, 28644 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18199626 impls, 0 clqs
74.68/74.74	c (round 93) 33667 del vars, 169997 del conss, 28675 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18218443 impls, 0 clqs
75.07/75.13	c (round 94) 33715 del vars, 170169 del conss, 28706 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18237490 impls, 0 clqs
75.47/75.51	c (round 95) 33763 del vars, 170333 del conss, 28737 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18256103 impls, 0 clqs
75.77/75.89	c (round 96) 33812 del vars, 170508 del conss, 28769 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18275054 impls, 0 clqs
76.17/76.28	c (round 97) 33860 del vars, 170680 del conss, 28800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18291831 impls, 0 clqs
76.57/76.66	c (round 98) 33909 del vars, 170853 del conss, 28832 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18310508 impls, 0 clqs
76.97/77.05	c (round 99) 33957 del vars, 171022 del conss, 28862 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18331391 impls, 0 clqs
77.37/77.42	c (round 100) 33997 del vars, 171184 del conss, 28888 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18343978 impls, 0 clqs
77.67/77.79	c (round 101) 34031 del vars, 171312 del conss, 28909 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18354891 impls, 0 clqs
78.08/78.15	c (round 102) 34066 del vars, 171448 del conss, 28931 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18366450 impls, 0 clqs
78.47/78.52	c (round 103) 34100 del vars, 171577 del conss, 28952 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18377093 impls, 0 clqs
78.77/78.89	c (round 104) 34134 del vars, 171706 del conss, 28973 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18388476 impls, 0 clqs
79.17/79.26	c (round 105) 34168 del vars, 171831 del conss, 28994 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18399721 impls, 0 clqs
79.56/79.62	c (round 106) 34202 del vars, 171958 del conss, 29015 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18411456 impls, 0 clqs
79.86/79.99	c (round 107) 34236 del vars, 172081 del conss, 29036 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18422353 impls, 0 clqs
80.27/80.36	c (round 108) 34270 del vars, 172210 del conss, 29057 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18433928 impls, 0 clqs
80.67/80.72	c (round 109) 34304 del vars, 172331 del conss, 29078 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18444501 impls, 0 clqs
80.97/81.09	c (round 110) 34338 del vars, 172463 del conss, 29099 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18454718 impls, 0 clqs
81.38/81.45	c (round 111) 34372 del vars, 172585 del conss, 29120 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18465257 impls, 0 clqs
81.77/81.82	c (round 112) 34407 del vars, 172719 del conss, 29142 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18476106 impls, 0 clqs
82.07/82.18	c (round 113) 34441 del vars, 172850 del conss, 29163 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18486257 impls, 0 clqs
82.47/82.55	c (round 114) 34476 del vars, 172985 del conss, 29185 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18496662 impls, 0 clqs
82.87/82.91	c (round 115) 34510 del vars, 173111 del conss, 29206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18507215 impls, 0 clqs
83.17/83.28	c (round 116) 34545 del vars, 173245 del conss, 29228 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18517632 impls, 0 clqs
83.57/83.65	c (round 117) 34579 del vars, 173372 del conss, 29249 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18528237 impls, 0 clqs
83.97/84.02	c (round 118) 34614 del vars, 173504 del conss, 29271 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18538862 impls, 0 clqs
84.27/84.39	c (round 119) 34648 del vars, 173638 del conss, 29292 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18549115 impls, 0 clqs
84.67/84.75	c (round 120) 34682 del vars, 173767 del conss, 29313 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18559696 impls, 0 clqs
85.07/85.12	c (round 121) 34716 del vars, 173891 del conss, 29334 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18569751 impls, 0 clqs
85.36/85.49	c (round 122) 34750 del vars, 174015 del conss, 29355 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18579239 impls, 0 clqs
85.78/85.85	c (round 123) 34778 del vars, 174106 del conss, 29375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18589453 impls, 0 clqs
86.17/86.22	c (round 124) 34806 del vars, 174188 del conss, 29395 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18598309 impls, 0 clqs
86.47/86.58	c (round 125) 34834 del vars, 174270 del conss, 29415 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18607693 impls, 0 clqs
86.87/86.95	c (round 126) 34862 del vars, 174352 del conss, 29435 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18616895 impls, 0 clqs
87.26/87.31	c (round 127) 34890 del vars, 174434 del conss, 29455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18626805 impls, 0 clqs
87.57/87.68	c (round 128) 34918 del vars, 174516 del conss, 29475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18636721 impls, 0 clqs
87.97/88.04	c (round 129) 34946 del vars, 174598 del conss, 29495 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18647453 impls, 0 clqs
88.36/88.41	c (round 130) 34974 del vars, 174680 del conss, 29515 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18657081 impls, 0 clqs
88.67/88.78	c (round 131) 35002 del vars, 174762 del conss, 29535 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18667585 impls, 0 clqs
89.07/89.14	c (round 132) 35030 del vars, 174844 del conss, 29555 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18677647 impls, 0 clqs
89.47/89.51	c (round 133) 35058 del vars, 174926 del conss, 29575 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18687635 impls, 0 clqs
89.77/89.87	c (round 134) 35088 del vars, 175023 del conss, 29595 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18696661 impls, 0 clqs
90.16/90.24	c (round 135) 35116 del vars, 175105 del conss, 29615 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18707533 impls, 0 clqs
90.57/90.60	c (round 136) 35146 del vars, 175201 del conss, 29635 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18717226 impls, 0 clqs
90.86/90.97	c (round 137) 35175 del vars, 175291 del conss, 29655 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18726866 impls, 0 clqs
91.27/91.33	c (round 138) 35205 del vars, 175388 del conss, 29675 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18737024 impls, 0 clqs
91.67/91.70	c (round 139) 35235 del vars, 175485 del conss, 29695 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18747058 impls, 0 clqs
91.97/92.07	c (round 140) 35265 del vars, 175581 del conss, 29715 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18757013 impls, 0 clqs
92.37/92.44	c (round 141) 35294 del vars, 175671 del conss, 29735 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18767925 impls, 0 clqs
92.76/92.80	c (round 142) 35324 del vars, 175768 del conss, 29755 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18777597 impls, 0 clqs
93.07/93.17	c (round 143) 35354 del vars, 175865 del conss, 29775 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18788065 impls, 0 clqs
93.47/93.53	c (round 144) 35384 del vars, 175961 del conss, 29795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18798217 impls, 0 clqs
93.76/93.89	c (round 145) 35414 del vars, 176057 del conss, 29815 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18808939 impls, 0 clqs
94.16/94.25	c (round 146) 35444 del vars, 176154 del conss, 29835 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18818865 impls, 0 clqs
94.57/94.62	c (round 147) 35474 del vars, 176251 del conss, 29855 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18828519 impls, 0 clqs
94.86/94.98	c (round 148) 35504 del vars, 176347 del conss, 29875 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18837383 impls, 0 clqs
95.26/95.34	c (round 149) 35534 del vars, 176443 del conss, 29895 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18846759 impls, 0 clqs
95.57/95.70	c (round 150) 35564 del vars, 176540 del conss, 29915 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18856083 impls, 0 clqs
95.96/96.06	c (round 151) 35594 del vars, 176637 del conss, 29935 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18866655 impls, 0 clqs
96.37/96.41	c (round 152) 35624 del vars, 176733 del conss, 29955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18876695 impls, 0 clqs
96.67/96.75	c (round 153) 35626 del vars, 176777 del conss, 29955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18876727 impls, 0 clqs
100.07/100.11	c (round 154) 35626 del vars, 192525 del conss, 29955 chg bounds, 0 chg sides, 0 chg coeffs, 308344 upgd conss, 18876727 impls, 0 clqs
100.76/100.84	c presolving (155 rounds):
100.76/100.84	c  35626 deleted vars, 192525 deleted constraints, 29955 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
100.76/100.84	c  18876727 implications, 0 cliques
100.76/100.84	c presolved problem has 68853 variables (68853 bin, 0 int, 0 impl, 0 cont) and 308344 constraints
100.76/100.84	c  308344 constraints of type <logicor>
100.76/100.84	c transformed objective value is always integral (scale: 1)
100.76/100.84	c Presolving Time: 69.68
100.76/100.84	c PURESAT
100.76/100.84	c -----------------------------------------------------------------------------------------------
100.76/100.84	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 0]
100.76/100.84	c separating/flowcover/freq = c -1
100.76/100.84	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 0]
100.76/100.84	c separating/cmir/freq = c -1
100.76/100.84	c # additional number of allowed LP iterations
100.76/100.84	c # [type: int, range: [0,2147483647], default: 1000]
100.76/100.84	c heuristics/veclendiving/maxlpiterofs = c 1500
100.76/100.84	c # maximal fraction of diving LP iterations compared to node LP iterations
100.76/100.84	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.76/100.84	c heuristics/veclendiving/maxlpiterquot = c 0.075
100.76/100.84	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 10]
100.76/100.84	c heuristics/veclendiving/freq = c -1
100.76/100.84	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 1]
100.76/100.84	c heuristics/simplerounding/freq = c -1
100.76/100.84	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 10]
100.76/100.84	c heuristics/shifting/freq = c -1
100.76/100.84	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 1]
100.76/100.84	c heuristics/rounding/freq = c -1
100.76/100.84	c # additional number of allowed LP iterations
100.76/100.84	c # [type: int, range: [0,2147483647], default: 1000]
100.76/100.84	c heuristics/rootsoldiving/maxlpiterofs = c 1500
100.76/100.84	c # maximal fraction of diving LP iterations compared to node LP iterations
100.76/100.84	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
100.76/100.84	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
100.76/100.84	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 20]
100.76/100.84	c heuristics/rootsoldiving/freq = c -1
100.76/100.84	c # number of nodes added to the contingent of the total nodes
100.76/100.84	c # [type: longint, range: [0,9223372036854775807], default: 500]
100.76/100.84	c heuristics/rens/nodesofs = c 2000
100.76/100.84	c # minimum percentage of integer variables that have to be fixable 
100.76/100.84	c # [type: real, range: [0,1], default: 0.5]
100.76/100.84	c heuristics/rens/minfixingrate = c 0.3
100.76/100.84	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 0]
100.76/100.84	c heuristics/rens/freq = c -1
100.76/100.84	c # additional number of allowed LP iterations
100.76/100.84	c # [type: int, range: [0,2147483647], default: 1000]
100.76/100.84	c heuristics/pscostdiving/maxlpiterofs = c 1500
100.76/100.84	c # maximal fraction of diving LP iterations compared to node LP iterations
100.76/100.84	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.76/100.84	c heuristics/pscostdiving/maxlpiterquot = c 0.075
100.76/100.84	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 10]
100.76/100.84	c heuristics/pscostdiving/freq = c -1
100.76/100.84	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 1]
100.76/100.84	c heuristics/oneopt/freq = c -1
100.76/100.84	c # additional number of allowed LP iterations
100.76/100.84	c # [type: int, range: [0,2147483647], default: 1000]
100.76/100.84	c heuristics/objpscostdiving/maxlpiterofs = c 1500
100.76/100.84	c # maximal fraction of diving LP iterations compared to total iteration number
100.76/100.84	c # [type: real, range: [0,1], default: 0.01]
100.76/100.84	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
100.76/100.84	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 20]
100.76/100.84	c heuristics/objpscostdiving/freq = c -1
100.76/100.84	c # additional number of allowed LP iterations
100.76/100.84	c # [type: int, range: [0,2147483647], default: 1000]
100.76/100.84	c heuristics/linesearchdiving/maxlpiterofs = c 1500
100.76/100.84	c # maximal fraction of diving LP iterations compared to node LP iterations
100.76/100.84	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.76/100.84	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
100.76/100.84	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 10]
100.76/100.84	c heuristics/linesearchdiving/freq = c -1
100.76/100.84	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 10]
100.76/100.84	c heuristics/intshifting/freq = c -1
100.76/100.84	c # maximal fraction of diving LP iterations compared to node LP iterations
100.76/100.84	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.76/100.84	c heuristics/intdiving/maxlpiterquot = c 0.075
100.76/100.84	c # additional number of allowed LP iterations
100.76/100.84	c # [type: int, range: [0,2147483647], default: 1000]
100.76/100.84	c heuristics/guideddiving/maxlpiterofs = c 1500
100.76/100.84	c # maximal fraction of diving LP iterations compared to node LP iterations
100.76/100.84	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.76/100.84	c heuristics/guideddiving/maxlpiterquot = c 0.075
100.76/100.84	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 10]
100.76/100.84	c heuristics/guideddiving/freq = c -1
100.76/100.84	c # additional number of allowed LP iterations
100.76/100.84	c # [type: int, range: [0,2147483647], default: 1000]
100.76/100.84	c heuristics/fracdiving/maxlpiterofs = c 1500
100.76/100.84	c # maximal fraction of diving LP iterations compared to node LP iterations
100.76/100.84	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.76/100.84	c heuristics/fracdiving/maxlpiterquot = c 0.075
100.76/100.84	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 10]
100.76/100.84	c heuristics/fracdiving/freq = c -1
100.76/100.84	c # additional number of allowed LP iterations
100.76/100.84	c # [type: int, range: [0,2147483647], default: 1000]
100.76/100.84	c heuristics/feaspump/maxlpiterofs = c 2000
100.76/100.84	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 20]
100.76/100.84	c heuristics/feaspump/freq = c -1
100.76/100.84	c # minimum percentage of integer variables that have to be fixed 
100.76/100.84	c # [type: real, range: [0,1], default: 0.666]
100.76/100.84	c heuristics/crossover/minfixingrate = c 0.5
100.76/100.84	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
100.76/100.84	c # [type: real, range: [0,1], default: 0.1]
100.76/100.84	c heuristics/crossover/nodesquot = c 0.15
100.76/100.84	c # number of nodes without incumbent change that heuristic should wait
100.76/100.84	c # [type: longint, range: [0,9223372036854775807], default: 200]
100.76/100.84	c heuristics/crossover/nwaitingnodes = c 100
100.76/100.84	c # number of nodes added to the contingent of the total nodes
100.76/100.84	c # [type: longint, range: [0,9223372036854775807], default: 500]
100.76/100.84	c heuristics/crossover/nodesofs = c 750
100.76/100.84	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 30]
100.76/100.84	c heuristics/crossover/freq = c -1
100.76/100.84	c # additional number of allowed LP iterations
100.76/100.84	c # [type: int, range: [0,2147483647], default: 1000]
100.76/100.84	c heuristics/coefdiving/maxlpiterofs = c 1500
100.76/100.84	c # maximal fraction of diving LP iterations compared to node LP iterations
100.76/100.84	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.76/100.84	c heuristics/coefdiving/maxlpiterquot = c 0.075
100.76/100.84	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: 10]
100.76/100.84	c heuristics/coefdiving/freq = c -1
100.76/100.84	c # priority of node selection rule <dfs> in standard mode
100.76/100.84	c # [type: int, range: [-536870912,536870911], default: 0]
100.76/100.84	c nodeselection/dfs/stdpriority = c 1000000
100.76/100.84	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
100.76/100.84	c # [type: int, range: [-1,2147483647], default: -1]
100.76/100.84	c presolving/probing/maxrounds = c 0
100.76/100.84	c # should presolving try to simplify knapsacks
100.76/100.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.76/100.84	c constraints/knapsack/simplifyinequalities = c TRUE
100.76/100.84	c # should disaggregation of knapsack constraints be allowed in preprocessing?
100.76/100.84	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
100.76/100.84	c constraints/knapsack/disaggregation = c FALSE
100.76/100.84	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
100.86/100.92	c # [type: int, range: [-1,2147483647], default: -1]
100.86/100.92	c constraints/knapsack/maxnumcardlift = c 0
100.86/100.92	c # should presolving try to simplify inequalities
100.86/100.92	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.86/100.92	c constraints/linear/simplifyinequalities = c TRUE
100.86/100.92	c # maximal number of separation rounds in the root node (-1: unlimited)
100.86/100.92	c # [type: int, range: [-1,2147483647], default: -1]
100.86/100.92	c separating/maxroundsroot = c 5
100.86/100.92	c # maximal number of separation rounds per node (-1: unlimited)
100.86/100.92	c # [type: int, range: [-1,2147483647], default: 5]
100.86/100.92	c separating/maxrounds = c 1
100.86/100.92	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.86/100.92	c # [type: char, range: {lafpsqd}, default: l]
100.86/100.92	c lp/pricing = c a
100.86/100.92	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
100.86/100.92	c # [type: int, range: [-1,2147483647], default: 1]
100.86/100.92	c lp/solvefreq = c 0
100.86/100.92	c # solving stops, if the given number of solutions were found (-1: no limit)
100.86/100.92	c # [type: int, range: [-1,2147483647], default: -1]
100.86/100.93	c limits/solutions = c 1
100.86/100.93	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
100.86/100.93	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
100.86/100.93	c limits/memory = c 1620
100.86/100.93	c # maximal time in seconds to run
100.86/100.93	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
100.86/100.93	c limits/time = c 1791
100.86/100.93	c # frequency for displaying node information lines
100.86/100.93	c # [type: int, range: [-1,2147483647], default: 100]
100.86/100.93	c display/freq = c 10000
100.86/100.93	c # should enforcement of pseudo solution be disabled?
100.86/100.93	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.86/100.93	c constraints/disableenfops = c TRUE
100.86/100.93	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
100.86/100.93	c # [type: int, range: [-1,2147483647], default: 0]
100.86/100.93	c constraints/agelimit = c 1
100.86/100.93	c # should binary conflicts be preferred?
100.86/100.93	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.86/100.93	c conflict/preferbinary = c TRUE
100.86/100.93	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
100.86/100.93	c # [type: int, range: [-1,2147483647], default: -1]
100.86/100.93	c conflict/interconss = c 0
100.86/100.93	c -----------------------------------------------------------------------------------------------
100.86/100.93	c start solving problem
100.86/100.93	c 
970.11/970.43	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
970.11/970.43	c   940s|     1 |     0 | 37747 | 942M|   0 |  11k|  68k| 308k| 308k|  68k| 308k|   0 |   0 |   0 | 3.437640e+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-1885717-1245269068/watcher-1885717-1245269068 -o /tmp/evaluation-result-1885717-1245269068/solver-1885717-1245269068 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885717-1245269068.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: 1.04 1.03 1.01 3/64 14997
/proc/meminfo: memFree=1798816/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=4648 CPUtime=0
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 493 0 0 0 0 0 0 0 18 0 1 0 194504090 4759552 477 1992294400 4194304 7823515 548682068736 18446744073709551615 5898624 0 0 4096 0 0 0 0 17 1 0 0
/proc/14997/statm: 1162 485 319 886 0 272 0

[startup+0.0472589 s]
/proc/loadavg: 1.04 1.03 1.01 3/64 14997
/proc/meminfo: memFree=1798816/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=11064 CPUtime=0.04
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 2061 0 0 0 4 0 0 0 18 0 1 0 194504090 11329536 2043 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/14997/statm: 2766 2052 351 886 0 1876 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11064

[startup+0.101262 s]
/proc/loadavg: 1.04 1.03 1.01 3/64 14997
/proc/meminfo: memFree=1798816/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=14436 CPUtime=0.09
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 2912 0 0 0 8 1 0 0 18 0 1 0 194504090 14782464 2894 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/14997/statm: 3609 2894 351 886 0 2719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14436

[startup+0.301284 s]
/proc/loadavg: 1.04 1.03 1.01 3/64 14997
/proc/meminfo: memFree=1798816/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=23272 CPUtime=0.29
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 5123 0 0 0 28 1 0 0 19 0 1 0 194504090 23830528 5105 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/14997/statm: 5818 5105 351 886 0 4928 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23272

[startup+0.701328 s]
/proc/loadavg: 1.04 1.03 1.01 3/64 14997
/proc/meminfo: memFree=1798816/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=38080 CPUtime=0.69
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 8830 0 0 0 66 3 0 0 22 0 1 0 194504090 38993920 8812 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0
/proc/14997/statm: 9520 8812 351 886 0 8630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38080

[startup+1.50142 s]
/proc/loadavg: 1.04 1.03 1.01 2/65 14998
/proc/meminfo: memFree=1744472/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=89196 CPUtime=1.49
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 21561 0 0 0 140 9 0 0 25 0 1 0 194504090 91336704 21543 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/14997/statm: 22299 21543 351 886 0 21409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89196

[startup+3.10159 s]
/proc/loadavg: 1.12 1.04 1.01 2/65 14998
/proc/meminfo: memFree=1688600/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=137736 CPUtime=3.09
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 33664 0 0 0 295 14 0 0 25 0 1 0 194504090 141041664 33646 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/14997/statm: 34434 33646 351 886 0 33544 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 137736

[startup+6.30195 s]
/proc/loadavg: 1.12 1.04 1.01 2/65 14998
/proc/meminfo: memFree=1607084/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=220676 CPUtime=6.29
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 54330 0 0 0 606 23 0 0 25 0 1 0 194504090 225972224 54312 1992294400 4194304 7823515 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/14997/statm: 55169 54312 351 886 0 54279 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 220676

[startup+12.7017 s]
/proc/loadavg: 1.10 1.04 1.01 2/65 14998
/proc/meminfo: memFree=1106208/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=725368 CPUtime=12.69
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 179449 0 0 0 1186 83 0 0 25 0 1 0 194504090 742776832 179077 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 181342 179077 418 886 0 180452 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 725368

[startup+25.5011 s]
/proc/loadavg: 1.08 1.04 1.01 2/65 14998
/proc/meminfo: memFree=620128/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1203428 CPUtime=25.49
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 298925 0 0 0 2408 141 0 0 25 0 1 0 194504090 1232310272 298553 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 300857 298562 419 886 0 299967 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1203428

[startup+51.1019 s]
/proc/loadavg: 1.05 1.04 1.01 2/65 14998
/proc/meminfo: memFree=466272/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1340656 CPUtime=51.08
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 333294 0 0 0 4455 653 0 0 25 0 1 0 194504090 1372831744 332922 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 335164 332922 432 886 0 334274 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1340656

[startup+102.306 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 14998
/proc/meminfo: memFree=434400/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1390732 CPUtime=102.26
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 351567 0 0 0 7953 2273 0 0 25 0 1 0 194504090 1424109568 342816 1992294400 4194304 7823515 548682068736 18446744073709551615 4308611 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 347683 342817 487 886 0 346793 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1390732

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 14998
/proc/meminfo: memFree=242144/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1633756 CPUtime=162.24
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 402977 0 0 0 13927 2297 0 0 25 0 1 0 194504090 1672966144 389025 1992294400 4194304 7823515 548682068736 18446744073709551615 6151345 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 408439 389025 515 886 0 407549 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1633756

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 14998
/proc/meminfo: memFree=210016/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1645396 CPUtime=222.23
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 411207 0 0 0 19919 2304 0 0 25 0 1 0 194504090 1684885504 396857 1992294400 4194304 7823515 548682068736 18446744073709551615 6212077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 411349 396857 515 886 0 410459 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1645396

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 14998
/proc/meminfo: memFree=188832/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1665000 CPUtime=282.21
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 416582 0 0 0 25913 2308 0 0 25 0 1 0 194504090 1704960000 402140 1992294400 4194304 7823515 548682068736 18446744073709551615 6212699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 416250 402140 515 886 0 415360 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1665000

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=182824/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1665456 CPUtime=342.19
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 418076 0 0 0 31909 2310 0 0 25 0 1 0 194504090 1705426944 403634 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 416364 403634 515 886 0 415474 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1665456

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=179624/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1666588 CPUtime=402.17
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 418868 0 0 0 37904 2313 0 0 25 0 1 0 194504090 1706586112 404426 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 416647 404426 515 886 0 415757 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1666588

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=178024/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1666940 CPUtime=462.16
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 419254 0 0 0 43901 2315 0 0 25 0 1 0 194504090 1706946560 404812 1992294400 4194304 7823515 548682068736 18446744073709551615 6212552 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 416735 404812 515 886 0 415845 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1666940

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=177576/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1667092 CPUtime=522.14
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 419364 0 0 0 49897 2317 0 0 25 0 1 0 194504090 1707102208 404922 1992294400 4194304 7823515 548682068736 18446744073709551615 6211396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 416773 404922 515 886 0 415883 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1667092

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=177064/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1667368 CPUtime=582.12
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 419496 0 0 0 55893 2319 0 0 25 0 1 0 194504090 1707384832 405054 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 416842 405054 515 886 0 415952 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1667368

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=176680/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1667652 CPUtime=642.11
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 419586 0 0 0 61891 2320 0 0 25 0 1 0 194504090 1707675648 405144 1992294400 4194304 7823515 548682068736 18446744073709551615 6151341 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 416913 405144 515 886 0 416023 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1667652

[startup+702.301 s]

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

/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 420120 0 0 0 103864 2334 0 0 25 0 1 0 194504090 1708376064 405627 1992294400 4194304 7823515 548682068736 18446744073709551615 5965377 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 417084 405627 532 886 0 416194 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1668336

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=174568/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1668336 CPUtime=1121.97
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 420120 0 0 0 109860 2337 0 0 25 0 1 0 194504090 1708376064 405627 1992294400 4194304 7823515 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 417084 405627 532 886 0 416194 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1668336

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=174504/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1668336 CPUtime=1181.95
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 420121 0 0 0 115855 2340 0 0 25 0 1 0 194504090 1708376064 405628 1992294400 4194304 7823515 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 417084 405628 532 886 0 416194 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1668336

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=174440/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1668336 CPUtime=1241.93
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 420122 0 0 0 121850 2343 0 0 25 0 1 0 194504090 1708376064 405629 1992294400 4194304 7823515 548682068736 18446744073709551615 4273488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 417084 405629 533 886 0 416194 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1668336

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=174440/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1668336 CPUtime=1301.92
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 420122 0 0 0 127847 2345 0 0 25 0 1 0 194504090 1708376064 405629 1992294400 4194304 7823515 548682068736 18446744073709551615 5965908 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 417084 405629 533 886 0 416194 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1668336

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=174376/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1668336 CPUtime=1361.9
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 420122 0 0 0 133842 2348 0 0 25 0 1 0 194504090 1708376064 405629 1992294400 4194304 7823515 548682068736 18446744073709551615 4272784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 417084 405629 533 886 0 416194 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1668336

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=174376/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1668336 CPUtime=1421.88
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 420123 0 0 0 139838 2350 0 0 25 0 1 0 194504090 1708376064 405630 1992294400 4194304 7823515 548682068736 18446744073709551615 5965825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 417084 405630 533 886 0 416194 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1668336

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=174312/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1668336 CPUtime=1481.86
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 420123 0 0 0 145833 2353 0 0 25 0 1 0 194504090 1708376064 405630 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 417084 405630 533 886 0 416194 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1668336

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=123240/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1715060 CPUtime=1541.85
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 434052 0 0 0 151554 2631 0 0 25 0 1 0 194504090 1756221440 418393 1992294400 4194304 7823515 548682068736 18446744073709551615 6099692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 428765 418393 545 886 0 427875 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1715060

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=112168/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1724708 CPUtime=1601.83
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 437026 0 0 0 157549 2634 0 0 25 0 1 0 194504090 1766100992 421169 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 431177 421169 545 886 0 430287 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1724708

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=111848/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1724708 CPUtime=1661.8
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 437128 0 0 0 163545 2635 0 0 25 0 1 0 194504090 1766100992 421271 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 431177 421271 545 886 0 430287 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1724708

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=111592/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1724844 CPUtime=1721.79
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 437171 0 0 0 169542 2637 0 0 25 0 1 0 194504090 1766240256 421314 1992294400 4194304 7823515 548682068736 18446744073709551615 6180642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 431211 421314 545 886 0 430321 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1724844

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=111464/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1724844 CPUtime=1781.77
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 437187 0 0 0 175539 2638 0 0 25 0 1 0 194504090 1766240256 421330 1992294400 4194304 7823515 548682068736 18446744073709551615 6214922 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 431211 421330 545 886 0 430321 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1724844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=111336/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1725000 CPUtime=1800.08
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 437207 0 0 0 177369 2639 0 0 25 0 1 0 194504090 1766400000 421350 1992294400 4194304 7823515 548682068736 18446744073709551615 6237379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 431250 421350 545 886 0 430360 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1725000

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14997

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14998
/proc/meminfo: memFree=111336/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1725000 CPUtime=1800.87
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 437207 0 0 0 177448 2639 0 0 25 0 1 0 194504090 1766400000 421350 1992294400 4194304 7823515 548682068736 18446744073709551615 6180591 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 431250 421350 545 886 0 430360 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (KiB) 1725000

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14999
/proc/meminfo: memFree=111264/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1725000 CPUtime=1801.67
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 437207 0 0 0 177528 2639 0 0 25 0 1 0 194504090 1766400000 421350 1992294400 4194304 7823515 548682068736 18446744073709551615 6180642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 431250 421350 545 886 0 430360 0
Current children cumulated CPU time (s) 1801.67
Current children cumulated vsize (KiB) 1725000

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14999
/proc/meminfo: memFree=111264/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=1725000 CPUtime=1802.07
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4194304 437207 0 0 0 177568 2639 0 0 25 0 1 0 194504090 1766400000 421350 1992294400 4194304 7823515 548682068736 18446744073709551615 6212302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 431250 421350 545 886 0 430360 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 1725000

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14999
/proc/meminfo: memFree=1371944/2055920 swapFree=4181976/4192956
[pid=14997] ppid=14995 vsize=0 CPUtime=1802.27
/proc/14997/stat : 14997 (pbscip.linux.x8) R 14995 14997 14920 0 -1 4195332 437207 0 0 0 177569 2658 0 0 25 0 1 0 194504090 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14997/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.87
CPU time (s): 1802.35
CPU user time (s): 1775.69
CPU system time (s): 26.6509
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1725000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.69
system time used= 26.6509
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437207
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= 2174

runsolver used 1.9547 second user time and 3.9684 second system time

The end

Launcher Data 

Begin job on node38 at 2009-06-17 22:04:29
IDJOB=1885717
IDBENCH=72085
IDSOLVER=683
FILE ID=node38/1885717-1245269068
PBS_JOBID= 9372487
Free space on /tmp= 66220 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/UR-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-1885717-1245269068/watcher-1885717-1245269068 -o /tmp/evaluation-result-1885717-1245269068/solver-1885717-1245269068 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885717-1245269068.opb

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

MD5SUM BENCH= 333666727ba8497b0bdb276d670bc01c
RANDOM SEED=267736188

node38.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.232
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.232
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:       1799296 kB
Buffers:         31708 kB
Cached:         151184 kB
SwapCached:       4992 kB
Active:          88464 kB
Inactive:       102524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1799296 kB
SwapTotal:     4192956 kB
SwapFree:      4181976 kB
Dirty:           24976 kB
Writeback:           0 kB
Mapped:          14396 kB
Slab:            51612 kB
Committed_AS:   184692 kB
PageTables:       1464 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= 66208 MiB
End job on node38 at 2009-06-17 22:34:32