Trace number 1885707

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.36 1803.08

General information on the benchmark

Name/PURE-SAT/SAT09/APPLICATIONS/
diagnosis/UR-10-5p1.opb
MD5SUM0bdf5517bf810d5e7d1b86559a1b67f6
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark42.2326
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables104856
Total number of constraints508020
Number of constraints which are clauses508020
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.54	c SCIP version 1.1.0.7
7.49/7.54	c LP-Solver SoPlex 1.4.1
7.49/7.54	c user parameter file <scip.set> not found - using default parameters
7.49/7.54	c read problem <HOME/instance-1885707-1245268978.opb>
7.49/7.54	c original problem has 104856 variables (104856 bin, 0 int, 0 impl, 0 cont) and 508020 constraints
9.39/9.49	c No objective function, only one solution is needed.
9.39/9.49	c start presolving problem
9.39/9.49	c presolving:
31.68/31.80	c (round 1) 6194 del vars, 5838 del conss, 5498 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16148260 impls, 0 clqs
34.48/34.51	c (round 2) 17617 del vars, 85144 del conss, 16731 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16216121 impls, 0 clqs
36.28/36.32	c (round 3) 18804 del vars, 109027 del conss, 17819 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16685270 impls, 0 clqs
37.98/38.08	c (round 4) 23020 del vars, 132152 del conss, 21939 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16698978 impls, 0 clqs
38.48/38.53	c (round 5) 23242 del vars, 132864 del conss, 22089 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16716102 impls, 0 clqs
38.88/38.98	c (round 6) 23468 del vars, 133601 del conss, 22239 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16732830 impls, 0 clqs
39.38/39.43	c (round 7) 23699 del vars, 134369 del conss, 22389 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16752562 impls, 0 clqs
39.78/39.88	c (round 8) 23914 del vars, 135087 del conss, 22533 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16768868 impls, 0 clqs
40.28/40.34	c (round 9) 24132 del vars, 135830 del conss, 22672 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16787539 impls, 0 clqs
40.68/40.79	c (round 10) 24334 del vars, 136506 del conss, 22806 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16806420 impls, 0 clqs
41.18/41.24	c (round 11) 24538 del vars, 137203 del conss, 22936 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16825858 impls, 0 clqs
41.58/41.69	c (round 12) 24727 del vars, 137852 del conss, 23060 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16844342 impls, 0 clqs
42.07/42.15	c (round 13) 24911 del vars, 138468 del conss, 23179 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16864774 impls, 0 clqs
42.48/42.59	c (round 14) 25086 del vars, 139071 del conss, 23293 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16884654 impls, 0 clqs
42.98/43.05	c (round 15) 25254 del vars, 139630 del conss, 23402 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16906070 impls, 0 clqs
43.38/43.49	c (round 16) 25415 del vars, 140192 del conss, 23506 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16925446 impls, 0 clqs
43.88/43.93	c (round 17) 25569 del vars, 140712 del conss, 23606 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16942824 impls, 0 clqs
44.28/44.36	c (round 18) 25723 del vars, 141231 del conss, 23706 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16961403 impls, 0 clqs
44.78/44.80	c (round 19) 25878 del vars, 141756 del conss, 23806 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16980583 impls, 0 clqs
45.18/45.23	c (round 20) 26032 del vars, 142274 del conss, 23906 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16998545 impls, 0 clqs
45.57/45.67	c (round 21) 26186 del vars, 142792 del conss, 24005 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17018013 impls, 0 clqs
46.08/46.11	c (round 22) 26331 del vars, 143298 del conss, 24099 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17037882 impls, 0 clqs
46.47/46.54	c (round 23) 26472 del vars, 143782 del conss, 24188 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17056728 impls, 0 clqs
46.88/46.97	c (round 24) 26603 del vars, 144246 del conss, 24272 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17075574 impls, 0 clqs
47.38/47.40	c (round 25) 26729 del vars, 144684 del conss, 24352 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17095090 impls, 0 clqs
47.77/47.83	c (round 26) 26855 del vars, 145121 del conss, 24432 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17112324 impls, 0 clqs
48.18/48.26	c (round 27) 26981 del vars, 145557 del conss, 24512 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17131206 impls, 0 clqs
48.57/48.69	c (round 28) 27107 del vars, 145993 del conss, 24592 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17150066 impls, 0 clqs
49.08/49.12	c (round 29) 27233 del vars, 146430 del conss, 24672 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17167678 impls, 0 clqs
49.48/49.55	c (round 30) 27359 del vars, 146867 del conss, 24752 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17185740 impls, 0 clqs
49.88/49.98	c (round 31) 27485 del vars, 147303 del conss, 24832 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17204658 impls, 0 clqs
50.37/50.40	c (round 32) 27611 del vars, 147739 del conss, 24912 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17222110 impls, 0 clqs
50.77/50.83	c (round 33) 27737 del vars, 148176 del conss, 24992 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17240360 impls, 0 clqs
51.17/51.26	c (round 34) 27863 del vars, 148613 del conss, 25072 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17257976 impls, 0 clqs
51.57/51.68	c (round 35) 27997 del vars, 149097 del conss, 25152 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17275068 impls, 0 clqs
52.08/52.11	c (round 36) 28121 del vars, 149507 del conss, 25232 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17292026 impls, 0 clqs
52.47/52.54	c (round 37) 28257 del vars, 149997 del conss, 25316 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17310181 impls, 0 clqs
52.88/52.96	c (round 38) 28387 del vars, 150465 del conss, 25399 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17326717 impls, 0 clqs
53.27/53.39	c (round 39) 28523 del vars, 150971 del conss, 25483 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17344640 impls, 0 clqs
53.77/53.81	c (round 40) 28653 del vars, 151435 del conss, 25566 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17362426 impls, 0 clqs
54.18/54.24	c (round 41) 28789 del vars, 151946 del conss, 25650 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17380281 impls, 0 clqs
54.57/54.67	c (round 42) 28919 del vars, 152411 del conss, 25733 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17397591 impls, 0 clqs
54.97/55.10	c (round 43) 29055 del vars, 152925 del conss, 25817 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17415130 impls, 0 clqs
55.47/55.52	c (round 44) 29185 del vars, 153395 del conss, 25900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17430688 impls, 0 clqs
55.88/55.95	c (round 45) 29322 del vars, 153904 del conss, 25985 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17447577 impls, 0 clqs
56.27/56.37	c (round 46) 29452 del vars, 154385 del conss, 26068 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17464227 impls, 0 clqs
56.77/56.80	c (round 47) 29590 del vars, 154892 del conss, 26154 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17480744 impls, 0 clqs
57.17/57.22	c (round 48) 29721 del vars, 155381 del conss, 26238 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17497450 impls, 0 clqs
57.57/57.65	c (round 49) 29860 del vars, 155919 del conss, 26325 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17516317 impls, 0 clqs
57.97/58.07	c (round 50) 29992 del vars, 156410 del conss, 26410 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17531821 impls, 0 clqs
58.47/58.50	c (round 51) 30129 del vars, 156936 del conss, 26495 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17548908 impls, 0 clqs
58.87/58.93	c (round 52) 30262 del vars, 157425 del conss, 26581 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17567062 impls, 0 clqs
59.27/59.35	c (round 53) 30399 del vars, 157955 del conss, 26665 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17584487 impls, 0 clqs
59.67/59.78	c (round 54) 30523 del vars, 158431 del conss, 26745 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17601009 impls, 0 clqs
60.17/60.20	c (round 55) 30646 del vars, 158907 del conss, 26819 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17619944 impls, 0 clqs
60.57/60.62	c (round 56) 30755 del vars, 159344 del conss, 26888 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17636740 impls, 0 clqs
60.97/61.04	c (round 57) 30859 del vars, 159752 del conss, 26951 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17656111 impls, 0 clqs
61.38/61.45	c (round 58) 30952 del vars, 160134 del conss, 27008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17670857 impls, 0 clqs
61.77/61.86	c (round 59) 31043 del vars, 160491 del conss, 27065 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17685748 impls, 0 clqs
62.18/62.27	c (round 60) 31131 del vars, 160861 del conss, 27118 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17700924 impls, 0 clqs
62.57/62.67	c (round 61) 31221 del vars, 161209 del conss, 27172 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17715141 impls, 0 clqs
62.97/63.08	c (round 62) 31310 del vars, 161570 del conss, 27226 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17728735 impls, 0 clqs
63.37/63.49	c (round 63) 31395 del vars, 161893 del conss, 27279 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17744404 impls, 0 clqs
63.77/63.89	c (round 64) 31484 del vars, 162230 del conss, 27333 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17757383 impls, 0 clqs
64.16/64.29	c (round 65) 31571 del vars, 162578 del conss, 27387 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17772248 impls, 0 clqs
64.57/64.69	c (round 66) 31663 del vars, 162951 del conss, 27442 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17786198 impls, 0 clqs
64.98/65.09	c (round 67) 31749 del vars, 163291 del conss, 27496 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17799721 impls, 0 clqs
65.37/65.49	c (round 68) 31840 del vars, 163654 del conss, 27552 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17812621 impls, 0 clqs
65.77/65.89	c (round 69) 31929 del vars, 164020 del conss, 27605 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17827024 impls, 0 clqs
66.17/66.29	c (round 70) 32020 del vars, 164383 del conss, 27661 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17839578 impls, 0 clqs
66.56/66.69	c (round 71) 32109 del vars, 164744 del conss, 27716 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17854713 impls, 0 clqs
66.97/67.09	c (round 72) 32195 del vars, 165083 del conss, 27769 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17869065 impls, 0 clqs
67.37/67.50	c (round 73) 32284 del vars, 165434 del conss, 27822 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17884697 impls, 0 clqs
67.77/67.89	c (round 74) 32369 del vars, 165750 del conss, 27875 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17898923 impls, 0 clqs
68.18/68.30	c (round 75) 32460 del vars, 166107 del conss, 27932 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17915224 impls, 0 clqs
68.67/68.70	c (round 76) 32545 del vars, 166456 del conss, 27984 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17931207 impls, 0 clqs
69.07/69.10	c (round 77) 32631 del vars, 166771 del conss, 28037 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17947483 impls, 0 clqs
69.46/69.50	c (round 78) 32719 del vars, 167125 del conss, 28091 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17962396 impls, 0 clqs
69.87/69.90	c (round 79) 32805 del vars, 167453 del conss, 28144 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17978691 impls, 0 clqs
70.26/70.30	c (round 80) 32892 del vars, 167788 del conss, 28198 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17993772 impls, 0 clqs
70.67/70.70	c (round 81) 32978 del vars, 168116 del conss, 28250 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18010018 impls, 0 clqs
71.07/71.10	c (round 82) 33058 del vars, 168452 del conss, 28299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18026757 impls, 0 clqs
71.37/71.49	c (round 83) 33126 del vars, 168721 del conss, 28342 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18044672 impls, 0 clqs
71.77/71.89	c (round 84) 33198 del vars, 169008 del conss, 28387 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18062679 impls, 0 clqs
72.17/72.28	c (round 85) 33268 del vars, 169293 del conss, 28430 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18080884 impls, 0 clqs
72.57/72.68	c (round 86) 33340 del vars, 169579 del conss, 28473 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18098075 impls, 0 clqs
72.97/73.08	c (round 87) 33409 del vars, 169847 del conss, 28516 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18118985 impls, 0 clqs
73.36/73.47	c (round 88) 33468 del vars, 170103 del conss, 28552 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18138104 impls, 0 clqs
73.77/73.85	c (round 89) 33516 del vars, 170274 del conss, 28583 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18155175 impls, 0 clqs
74.17/74.25	c (round 90) 33564 del vars, 170443 del conss, 28614 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18174008 impls, 0 clqs
74.57/74.64	c (round 91) 33612 del vars, 170614 del conss, 28645 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18193729 impls, 0 clqs
74.96/75.03	c (round 92) 33660 del vars, 170782 del conss, 28676 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18210786 impls, 0 clqs
75.36/75.42	c (round 93) 33708 del vars, 170950 del conss, 28707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18229575 impls, 0 clqs
75.76/75.81	c (round 94) 33757 del vars, 171126 del conss, 28739 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18248614 impls, 0 clqs
76.16/76.21	c (round 95) 33805 del vars, 171296 del conss, 28770 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18268999 impls, 0 clqs
76.47/76.60	c (round 96) 33855 del vars, 171478 del conss, 28803 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18286278 impls, 0 clqs
76.87/76.99	c (round 97) 33904 del vars, 171662 del conss, 28835 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18304857 impls, 0 clqs
77.26/77.38	c (round 98) 33953 del vars, 171840 del conss, 28867 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18323582 impls, 0 clqs
77.67/77.77	c (round 99) 34003 del vars, 172026 del conss, 28899 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18344783 impls, 0 clqs
78.07/78.15	c (round 100) 34042 del vars, 172187 del conss, 28924 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18356448 impls, 0 clqs
78.47/78.53	c (round 101) 34077 del vars, 172325 del conss, 28946 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18366685 impls, 0 clqs
78.87/78.90	c (round 102) 34111 del vars, 172460 del conss, 28967 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18377056 impls, 0 clqs
79.17/79.28	c (round 103) 34145 del vars, 172586 del conss, 28988 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18387719 impls, 0 clqs
79.56/79.65	c (round 104) 34179 del vars, 172709 del conss, 29009 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18399102 impls, 0 clqs
79.97/80.03	c (round 105) 34213 del vars, 172844 del conss, 29030 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18410381 impls, 0 clqs
80.37/80.40	c (round 106) 34247 del vars, 172972 del conss, 29051 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18422128 impls, 0 clqs
80.67/80.78	c (round 107) 34281 del vars, 173102 del conss, 29072 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18433051 impls, 0 clqs
81.06/81.15	c (round 108) 34315 del vars, 173231 del conss, 29093 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18444644 impls, 0 clqs
81.46/81.53	c (round 109) 34349 del vars, 173356 del conss, 29114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18455889 impls, 0 clqs
81.87/81.90	c (round 110) 34384 del vars, 173489 del conss, 29136 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18467330 impls, 0 clqs
82.17/82.28	c (round 111) 34418 del vars, 173621 del conss, 29157 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18478557 impls, 0 clqs
82.57/82.65	c (round 112) 34453 del vars, 173747 del conss, 29179 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18490288 impls, 0 clqs
82.96/83.03	c (round 113) 34489 del vars, 173897 del conss, 29202 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18501197 impls, 0 clqs
83.37/83.41	c (round 114) 34524 del vars, 174041 del conss, 29224 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18512764 impls, 0 clqs
83.67/83.78	c (round 115) 34560 del vars, 174189 del conss, 29247 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18523975 impls, 0 clqs
84.06/84.15	c (round 116) 34594 del vars, 174325 del conss, 29268 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18534356 impls, 0 clqs
84.46/84.52	c (round 117) 34629 del vars, 174457 del conss, 29290 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18545673 impls, 0 clqs
84.77/84.90	c (round 118) 34663 del vars, 174592 del conss, 29311 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18557428 impls, 0 clqs
85.16/85.27	c (round 119) 34697 del vars, 174714 del conss, 29332 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18568391 impls, 0 clqs
85.56/85.64	c (round 120) 34731 del vars, 174849 del conss, 29353 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18579954 impls, 0 clqs
85.96/86.01	c (round 121) 34765 del vars, 174979 del conss, 29374 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18590695 impls, 0 clqs
86.26/86.38	c (round 122) 34799 del vars, 175107 del conss, 29395 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18601079 impls, 0 clqs
86.66/86.75	c (round 123) 34827 del vars, 175192 del conss, 29415 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18611241 impls, 0 clqs
87.06/87.11	c (round 124) 34855 del vars, 175274 del conss, 29435 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18620885 impls, 0 clqs
87.36/87.48	c (round 125) 34883 del vars, 175356 del conss, 29455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18631219 impls, 0 clqs
87.76/87.85	c (round 126) 34911 del vars, 175438 del conss, 29475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18641261 impls, 0 clqs
88.17/88.22	c (round 127) 34939 del vars, 175520 del conss, 29495 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18652005 impls, 0 clqs
88.46/88.58	c (round 128) 34967 del vars, 175602 del conss, 29515 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18661887 impls, 0 clqs
88.86/88.95	c (round 129) 34995 del vars, 175684 del conss, 29535 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18671693 impls, 0 clqs
89.26/89.32	c (round 130) 35023 del vars, 175766 del conss, 29555 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18681337 impls, 0 clqs
89.56/89.68	c (round 131) 35051 del vars, 175848 del conss, 29575 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18691855 impls, 0 clqs
89.96/90.05	c (round 132) 35079 del vars, 175930 del conss, 29595 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18701917 impls, 0 clqs
90.36/90.42	c (round 133) 35107 del vars, 176012 del conss, 29615 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18712771 impls, 0 clqs
90.66/90.79	c (round 134) 35137 del vars, 176110 del conss, 29635 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18722699 impls, 0 clqs
91.06/91.16	c (round 135) 35165 del vars, 176192 del conss, 29655 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18732629 impls, 0 clqs
91.46/91.52	c (round 136) 35195 del vars, 176289 del conss, 29675 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18742328 impls, 0 clqs
91.76/91.89	c (round 137) 35224 del vars, 176379 del conss, 29695 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18752924 impls, 0 clqs
92.16/92.26	c (round 138) 35254 del vars, 176477 del conss, 29715 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18762142 impls, 0 clqs
92.56/92.63	c (round 139) 35284 del vars, 176575 del conss, 29735 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18772036 impls, 0 clqs
92.86/92.99	c (round 140) 35314 del vars, 176672 del conss, 29755 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18781085 impls, 0 clqs
93.26/93.36	c (round 141) 35343 del vars, 176762 del conss, 29775 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18792023 impls, 0 clqs
93.65/93.73	c (round 142) 35373 del vars, 176860 del conss, 29795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18800909 impls, 0 clqs
93.96/94.09	c (round 143) 35403 del vars, 176958 del conss, 29815 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18810437 impls, 0 clqs
94.36/94.46	c (round 144) 35433 del vars, 177055 del conss, 29835 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18820625 impls, 0 clqs
94.76/94.83	c (round 145) 35463 del vars, 177152 del conss, 29855 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18830477 impls, 0 clqs
95.16/95.20	c (round 146) 35493 del vars, 177250 del conss, 29875 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18839517 impls, 0 clqs
95.46/95.57	c (round 147) 35523 del vars, 177348 del conss, 29895 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18849313 impls, 0 clqs
95.86/95.94	c (round 148) 35553 del vars, 177445 del conss, 29915 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18858235 impls, 0 clqs
96.26/96.31	c (round 149) 35583 del vars, 177542 del conss, 29935 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18866443 impls, 0 clqs
96.56/96.67	c (round 150) 35613 del vars, 177640 del conss, 29955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18874753 impls, 0 clqs
96.95/97.04	c (round 151) 35643 del vars, 177738 del conss, 29975 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18883273 impls, 0 clqs
97.36/97.40	c (round 152) 35673 del vars, 177835 del conss, 29995 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18890991 impls, 0 clqs
97.66/97.74	c (round 153) 35675 del vars, 177880 del conss, 29995 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18891025 impls, 0 clqs
101.06/101.20	c (round 154) 35675 del vars, 193630 del conss, 29995 chg bounds, 0 chg sides, 0 chg coeffs, 314390 upgd conss, 18891025 impls, 0 clqs
101.86/101.94	c presolving (155 rounds):
101.86/101.94	c  35675 deleted vars, 193630 deleted constraints, 29995 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
101.86/101.94	c  18891025 implications, 0 cliques
101.86/101.94	c presolved problem has 69181 variables (69181 bin, 0 int, 0 impl, 0 cont) and 314390 constraints
101.86/101.94	c  314390 constraints of type <logicor>
101.86/101.94	c transformed objective value is always integral (scale: 1)
101.86/101.94	c Presolving Time: 70.12
101.86/101.94	c PURESAT
101.86/101.94	c -----------------------------------------------------------------------------------------------
101.86/101.94	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 0]
101.86/101.94	c separating/flowcover/freq = c -1
101.86/101.94	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 0]
101.86/101.94	c separating/cmir/freq = c -1
101.86/101.94	c # additional number of allowed LP iterations
101.86/101.94	c # [type: int, range: [0,2147483647], default: 1000]
101.86/101.94	c heuristics/veclendiving/maxlpiterofs = c 1500
101.86/101.94	c # maximal fraction of diving LP iterations compared to node LP iterations
101.86/101.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
101.86/101.94	c heuristics/veclendiving/maxlpiterquot = c 0.075
101.86/101.94	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 10]
101.86/101.94	c heuristics/veclendiving/freq = c -1
101.86/101.94	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 1]
101.86/101.94	c heuristics/simplerounding/freq = c -1
101.86/101.94	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 10]
101.86/101.94	c heuristics/shifting/freq = c -1
101.86/101.94	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 1]
101.86/101.94	c heuristics/rounding/freq = c -1
101.86/101.94	c # additional number of allowed LP iterations
101.86/101.94	c # [type: int, range: [0,2147483647], default: 1000]
101.86/101.94	c heuristics/rootsoldiving/maxlpiterofs = c 1500
101.86/101.94	c # maximal fraction of diving LP iterations compared to node LP iterations
101.86/101.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
101.86/101.94	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
101.86/101.94	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 20]
101.86/101.94	c heuristics/rootsoldiving/freq = c -1
101.86/101.94	c # number of nodes added to the contingent of the total nodes
101.86/101.94	c # [type: longint, range: [0,9223372036854775807], default: 500]
101.86/101.94	c heuristics/rens/nodesofs = c 2000
101.86/101.94	c # minimum percentage of integer variables that have to be fixable 
101.86/101.94	c # [type: real, range: [0,1], default: 0.5]
101.86/101.94	c heuristics/rens/minfixingrate = c 0.3
101.86/101.94	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 0]
101.86/101.94	c heuristics/rens/freq = c -1
101.86/101.94	c # additional number of allowed LP iterations
101.86/101.94	c # [type: int, range: [0,2147483647], default: 1000]
101.86/101.94	c heuristics/pscostdiving/maxlpiterofs = c 1500
101.86/101.94	c # maximal fraction of diving LP iterations compared to node LP iterations
101.86/101.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
101.86/101.94	c heuristics/pscostdiving/maxlpiterquot = c 0.075
101.86/101.94	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 10]
101.86/101.94	c heuristics/pscostdiving/freq = c -1
101.86/101.94	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 1]
101.86/101.94	c heuristics/oneopt/freq = c -1
101.86/101.94	c # additional number of allowed LP iterations
101.86/101.94	c # [type: int, range: [0,2147483647], default: 1000]
101.86/101.94	c heuristics/objpscostdiving/maxlpiterofs = c 1500
101.86/101.94	c # maximal fraction of diving LP iterations compared to total iteration number
101.86/101.94	c # [type: real, range: [0,1], default: 0.01]
101.86/101.94	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
101.86/101.94	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 20]
101.86/101.94	c heuristics/objpscostdiving/freq = c -1
101.86/101.94	c # additional number of allowed LP iterations
101.86/101.94	c # [type: int, range: [0,2147483647], default: 1000]
101.86/101.94	c heuristics/linesearchdiving/maxlpiterofs = c 1500
101.86/101.94	c # maximal fraction of diving LP iterations compared to node LP iterations
101.86/101.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
101.86/101.94	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
101.86/101.94	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 10]
101.86/101.94	c heuristics/linesearchdiving/freq = c -1
101.86/101.94	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 10]
101.86/101.94	c heuristics/intshifting/freq = c -1
101.86/101.94	c # maximal fraction of diving LP iterations compared to node LP iterations
101.86/101.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
101.86/101.94	c heuristics/intdiving/maxlpiterquot = c 0.075
101.86/101.94	c # additional number of allowed LP iterations
101.86/101.94	c # [type: int, range: [0,2147483647], default: 1000]
101.86/101.94	c heuristics/guideddiving/maxlpiterofs = c 1500
101.86/101.94	c # maximal fraction of diving LP iterations compared to node LP iterations
101.86/101.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
101.86/101.94	c heuristics/guideddiving/maxlpiterquot = c 0.075
101.86/101.94	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 10]
101.86/101.94	c heuristics/guideddiving/freq = c -1
101.86/101.94	c # additional number of allowed LP iterations
101.86/101.94	c # [type: int, range: [0,2147483647], default: 1000]
101.86/101.94	c heuristics/fracdiving/maxlpiterofs = c 1500
101.86/101.94	c # maximal fraction of diving LP iterations compared to node LP iterations
101.86/101.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
101.86/101.94	c heuristics/fracdiving/maxlpiterquot = c 0.075
101.86/101.94	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 10]
101.86/101.94	c heuristics/fracdiving/freq = c -1
101.86/101.94	c # additional number of allowed LP iterations
101.86/101.94	c # [type: int, range: [0,2147483647], default: 1000]
101.86/101.94	c heuristics/feaspump/maxlpiterofs = c 2000
101.86/101.94	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 20]
101.86/101.94	c heuristics/feaspump/freq = c -1
101.86/101.94	c # minimum percentage of integer variables that have to be fixed 
101.86/101.94	c # [type: real, range: [0,1], default: 0.666]
101.86/101.94	c heuristics/crossover/minfixingrate = c 0.5
101.86/101.94	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
101.86/101.94	c # [type: real, range: [0,1], default: 0.1]
101.86/101.94	c heuristics/crossover/nodesquot = c 0.15
101.86/101.94	c # number of nodes without incumbent change that heuristic should wait
101.86/101.94	c # [type: longint, range: [0,9223372036854775807], default: 200]
101.86/101.94	c heuristics/crossover/nwaitingnodes = c 100
101.86/101.94	c # number of nodes added to the contingent of the total nodes
101.86/101.94	c # [type: longint, range: [0,9223372036854775807], default: 500]
101.86/101.94	c heuristics/crossover/nodesofs = c 750
101.86/101.94	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 30]
101.86/101.94	c heuristics/crossover/freq = c -1
101.86/101.94	c # additional number of allowed LP iterations
101.86/101.94	c # [type: int, range: [0,2147483647], default: 1000]
101.86/101.94	c heuristics/coefdiving/maxlpiterofs = c 1500
101.86/101.94	c # maximal fraction of diving LP iterations compared to node LP iterations
101.86/101.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
101.86/101.94	c heuristics/coefdiving/maxlpiterquot = c 0.075
101.86/101.94	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: 10]
101.86/101.94	c heuristics/coefdiving/freq = c -1
101.86/101.94	c # priority of node selection rule <dfs> in standard mode
101.86/101.94	c # [type: int, range: [-536870912,536870911], default: 0]
101.86/101.94	c nodeselection/dfs/stdpriority = c 1000000
101.86/101.94	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
101.86/101.94	c # [type: int, range: [-1,2147483647], default: -1]
101.86/101.94	c presolving/probing/maxrounds = c 0
101.86/101.94	c # should presolving try to simplify knapsacks
101.86/101.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
101.86/101.94	c constraints/knapsack/simplifyinequalities = c TRUE
101.86/101.94	c # should disaggregation of knapsack constraints be allowed in preprocessing?
101.86/101.94	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
101.86/101.94	c constraints/knapsack/disaggregation = c FALSE
101.86/101.94	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
101.96/102.03	c # [type: int, range: [-1,2147483647], default: -1]
101.96/102.03	c constraints/knapsack/maxnumcardlift = c 0
101.96/102.03	c # should presolving try to simplify inequalities
101.96/102.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
101.96/102.03	c constraints/linear/simplifyinequalities = c TRUE
101.96/102.03	c # maximal number of separation rounds in the root node (-1: unlimited)
101.96/102.03	c # [type: int, range: [-1,2147483647], default: -1]
101.96/102.03	c separating/maxroundsroot = c 5
101.96/102.03	c # maximal number of separation rounds per node (-1: unlimited)
101.96/102.03	c # [type: int, range: [-1,2147483647], default: 5]
101.96/102.03	c separating/maxrounds = c 1
101.96/102.03	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)
101.96/102.03	c # [type: char, range: {lafpsqd}, default: l]
101.96/102.03	c lp/pricing = c a
101.96/102.03	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
101.96/102.03	c # [type: int, range: [-1,2147483647], default: 1]
101.96/102.03	c lp/solvefreq = c 0
101.96/102.03	c # solving stops, if the given number of solutions were found (-1: no limit)
101.96/102.03	c # [type: int, range: [-1,2147483647], default: -1]
101.96/102.03	c limits/solutions = c 1
101.96/102.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
101.96/102.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
101.96/102.03	c limits/memory = c 1620
101.96/102.03	c # maximal time in seconds to run
101.96/102.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
101.96/102.03	c limits/time = c 1791
101.96/102.03	c # frequency for displaying node information lines
101.96/102.03	c # [type: int, range: [-1,2147483647], default: 100]
101.96/102.03	c display/freq = c 10000
101.96/102.03	c # should enforcement of pseudo solution be disabled?
101.96/102.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
101.96/102.03	c constraints/disableenfops = c TRUE
101.96/102.03	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
101.96/102.03	c # [type: int, range: [-1,2147483647], default: 0]
101.96/102.03	c constraints/agelimit = c 1
101.96/102.03	c # should binary conflicts be preferred?
101.96/102.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
101.96/102.03	c conflict/preferbinary = c TRUE
101.96/102.03	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
101.96/102.03	c # [type: int, range: [-1,2147483647], default: -1]
101.96/102.03	c conflict/interconss = c 0
101.96/102.03	c -----------------------------------------------------------------------------------------------
101.96/102.03	c start solving problem
101.96/102.03	c 
818.71/819.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
818.71/819.12	c   788s|     1 |     0 | 33030 | 949M|   0 |  11k|  69k| 314k| 314k|  69k| 314k|   0 |   0 |   0 | 3.440686e+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-1885707-1245268978/watcher-1885707-1245268978 -o /tmp/evaluation-result-1885707-1245268978/solver-1885707-1245268978 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885707-1245268978.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 9314
/proc/meminfo: memFree=1501872/2055920 swapFree=4182544/4192956
[pid=9314] ppid=9312 vsize=4328 CPUtime=0
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 194494318 4431872 463 1992294400 4194304 7823515 548682068736 18446744073709551615 6863653 0 0 4096 0 0 0 0 17 1 0 0
/proc/9314/statm: 1162 475 308 886 0 272 0

[startup+0.100403 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9314
/proc/meminfo: memFree=1501872/2055920 swapFree=4182544/4192956
[pid=9314] ppid=9312 vsize=14436 CPUtime=0.09
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 2912 0 0 0 8 1 0 0 18 0 1 0 194494318 14782464 2894 1992294400 4194304 7823515 548682068736 18446744073709551615 6911728 0 0 4096 0 0 0 0 17 1 0 0
/proc/9314/statm: 3609 2894 351 886 0 2719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14436

[startup+0.201421 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9314
/proc/meminfo: memFree=1501872/2055920 swapFree=4182544/4192956
[pid=9314] ppid=9312 vsize=18936 CPUtime=0.19
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 4036 0 0 0 18 1 0 0 18 0 1 0 194494318 19390464 4018 1992294400 4194304 7823515 548682068736 18446744073709551615 5879922 0 0 4096 0 0 0 0 17 1 0 0
/proc/9314/statm: 4734 4018 351 886 0 3844 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18936

[startup+0.30144 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9314
/proc/meminfo: memFree=1501872/2055920 swapFree=4182544/4192956
[pid=9314] ppid=9312 vsize=23272 CPUtime=0.29
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 5122 0 0 0 27 2 0 0 19 0 1 0 194494318 23830528 5104 1992294400 4194304 7823515 548682068736 18446744073709551615 5542134 0 0 4096 0 0 0 0 17 1 0 0
/proc/9314/statm: 5818 5104 351 886 0 4928 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23272

[startup+0.701515 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9314
/proc/meminfo: memFree=1501872/2055920 swapFree=4182544/4192956
[pid=9314] ppid=9312 vsize=38080 CPUtime=0.69
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 8813 0 0 0 66 3 0 0 22 0 1 0 194494318 38993920 8795 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/9314/statm: 9520 8795 351 886 0 8630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38080

[startup+1.50166 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 9315
/proc/meminfo: memFree=1442920/2055920 swapFree=4182544/4192956
[pid=9314] ppid=9312 vsize=89196 CPUtime=1.49
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 21556 0 0 0 140 9 0 0 25 0 1 0 194494318 91336704 21538 1992294400 4194304 7823515 548682068736 18446744073709551615 4516708 0 0 4096 0 0 0 0 17 1 0 0
/proc/9314/statm: 22299 21538 351 886 0 21409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89196

[startup+3.10196 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 9315
/proc/meminfo: memFree=1389416/2055920 swapFree=4182544/4192956
[pid=9314] ppid=9312 vsize=136516 CPUtime=3.09
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 33386 0 0 0 295 14 0 0 25 0 1 0 194494318 139792384 33368 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0
/proc/9314/statm: 34129 33368 351 886 0 33239 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 136516

[startup+6.30256 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 9315
/proc/meminfo: memFree=1308840/2055920 swapFree=4182544/4192956
[pid=9314] ppid=9312 vsize=219456 CPUtime=6.29
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 54022 0 0 0 607 22 0 0 25 0 1 0 194494318 224722944 54004 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/9314/statm: 54864 54004 351 886 0 53974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 219456

[startup+12.7018 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 9315
/proc/meminfo: memFree=802288/2055920 swapFree=4182544/4192956
[pid=9314] ppid=9312 vsize=728920 CPUtime=12.69
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 180412 0 0 0 1187 82 0 0 25 0 1 0 194494318 746414080 180040 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 182230 180040 418 886 0 181340 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 728920

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 9315
/proc/meminfo: memFree=317552/2055920 swapFree=4182544/4192956
[pid=9314] ppid=9312 vsize=1201572 CPUtime=25.48
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 298576 0 0 0 2405 143 0 0 25 0 1 0 194494318 1230409728 298204 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 300393 298204 419 886 0 299503 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1201572

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 9315
/proc/meminfo: memFree=149296/2055920 swapFree=4182544/4192956
[pid=9314] ppid=9312 vsize=1360304 CPUtime=51.07
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 338281 0 0 0 4444 663 0 0 25 0 1 0 194494318 1392951296 337909 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 340076 337909 432 886 0 339186 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1360304

[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 9315
/proc/meminfo: memFree=120304/2055920 swapFree=4182544/4192956
[pid=9314] ppid=9312 vsize=1389064 CPUtime=102.26
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 352769 0 0 0 7901 2325 0 0 19 0 1 0 194494318 1422401536 345168 1992294400 4194304 7823515 548682068736 18446744073709551615 4240344 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 347266 345168 464 886 0 346376 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1389064

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=15792/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1652660 CPUtime=162.13
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 407746 0 0 0 13861 2352 0 0 25 0 1 0 194494318 1692323840 393640 1992294400 4194304 7823515 548682068736 18446744073709551615 6908153 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 413165 393640 515 886 0 412275 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 1652660

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=15280/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1666616 CPUtime=222.11
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 417068 0 0 0 19851 2360 0 0 25 0 1 0 194494318 1706614784 402576 1992294400 4194304 7823515 548682068736 18446744073709551615 6212330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 416654 402576 515 886 0 415764 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 1666616

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=15536/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1673228 CPUtime=282.09
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 420024 0 0 0 25845 2364 0 0 25 0 1 0 194494318 1713385472 405529 1992294400 4194304 7823515 548682068736 18446744073709551615 6212302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 418307 405529 515 886 0 417417 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 1673228

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=15216/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1674128 CPUtime=342.07
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 420845 0 0 0 31840 2367 0 0 25 0 1 0 194494318 1714307072 406350 1992294400 4194304 7823515 548682068736 18446744073709551615 6263490 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 418532 406350 515 886 0 417642 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 1674128

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=15536/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1684556 CPUtime=402.05
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 423476 0 0 0 37836 2369 0 0 25 0 1 0 194494318 1724985344 408981 1992294400 4194304 7823515 548682068736 18446744073709551615 6179813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 421139 408981 515 886 0 420249 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 1684556

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=15088/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1684996 CPUtime=462.02
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 423882 0 0 0 43831 2371 0 0 25 0 1 0 194494318 1725435904 409387 1992294400 4194304 7823515 548682068736 18446744073709551615 6212439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 421249 409387 515 886 0 420359 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 1684996

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=15920/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1685328 CPUtime=522.01
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 424061 0 0 0 49828 2373 0 0 25 0 1 0 194494318 1725775872 409566 1992294400 4194304 7823515 548682068736 18446744073709551615 6177714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 421332 409566 515 886 0 420442 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 1685328

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=16240/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1688284 CPUtime=581.98
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 424590 0 0 0 55824 2374 0 0 25 0 1 0 194494318 1728802816 410026 1992294400 4194304 7823515 548682068736 18446744073709551615 6908153 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 422071 410026 515 886 0 421181 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 1688284

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=16240/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1688512 CPUtime=641.97
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 425000 0 0 0 61821 2376 0 0 25 0 1 0 194494318 1729036288 410436 1992294400 4194304 7823515 548682068736 18446744073709551615 6908168 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 422128 410436 515 886 0 421238 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 1688512

[startup+702.303 s]

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

/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 425324 0 0 0 109790 2390 0 0 25 0 1 0 194494318 1729490944 410715 1992294400 4194304 7823515 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 422239 410715 531 886 0 421349 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 1688956

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=15088/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1688956 CPUtime=1181.78
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 425324 0 0 0 115787 2391 0 0 25 0 1 0 194494318 1729490944 410715 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 422239 410715 531 886 0 421349 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 1688956

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=15024/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1688956 CPUtime=1241.77
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 425325 0 0 0 121784 2393 0 0 25 0 1 0 194494318 1729490944 410716 1992294400 4194304 7823515 548682068736 18446744073709551615 5965566 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 422239 410716 532 886 0 421349 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 1688956

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=15024/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1688956 CPUtime=1301.74
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 425325 0 0 0 127779 2395 0 0 25 0 1 0 194494318 1729490944 410716 1992294400 4194304 7823515 548682068736 18446744073709551615 5965825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 422239 410716 532 886 0 421349 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 1688956

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=14960/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1688956 CPUtime=1361.72
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 425325 0 0 0 133775 2397 0 0 25 0 1 0 194494318 1729490944 410716 1992294400 4194304 7823515 548682068736 18446744073709551615 4273474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 422239 410716 532 886 0 421349 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 1688956

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=14960/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1688956 CPUtime=1421.71
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 425325 0 0 0 139772 2399 0 0 25 0 1 0 194494318 1729490944 410716 1992294400 4194304 7823515 548682068736 18446744073709551615 4273474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 422239 410716 532 886 0 421349 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 1688956

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=14896/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1688956 CPUtime=1481.68
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 425325 0 0 0 145768 2400 0 0 25 0 1 0 194494318 1729490944 410716 1992294400 4194304 7823515 548682068736 18446744073709551615 5965825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 422239 410716 532 886 0 421349 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 1688956

[startup+1542.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=14832/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1688956 CPUtime=1541.67
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 425325 0 0 0 151765 2402 0 0 25 0 1 0 194494318 1729490944 410716 1992294400 4194304 7823515 548682068736 18446744073709551615 4273482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 422239 410716 532 886 0 421349 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1688956

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=16368/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1688956 CPUtime=1601.64
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 425325 0 0 0 157761 2403 0 0 25 0 1 0 194494318 1729490944 410716 1992294400 4194304 7823515 548682068736 18446744073709551615 5965825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 422239 410716 532 886 0 421349 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 1688956

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=16368/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1688956 CPUtime=1661.62
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 425326 0 0 0 163574 2588 0 0 25 0 1 0 194494318 1729490944 410717 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 422239 410717 533 886 0 421349 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 1688956

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=16240/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1739528 CPUtime=1721.6
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 439461 0 0 0 169457 2703 0 0 25 0 1 0 194494318 1781276672 423706 1992294400 4194304 7823515 548682068736 18446744073709551615 6212035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 434882 423706 544 886 0 433992 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 1739528

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=16112/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1751436 CPUtime=1781.58
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 441790 0 0 0 175452 2706 0 0 25 0 1 0 194494318 1793470464 426035 1992294400 4194304 7823515 548682068736 18446744073709551615 6212340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 437859 426035 544 886 0 436969 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 1751436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=15664/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1751436 CPUtime=1800.08
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 441907 0 0 0 177302 2706 0 0 25 0 1 0 194494318 1793470464 426152 1992294400 4194304 7823515 548682068736 18446744073709551615 6212443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 437859 426152 544 886 0 436969 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1751436

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9314

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

[startup+1801.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9315
/proc/meminfo: memFree=15664/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1751436 CPUtime=1800.77
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 441907 0 0 0 177371 2706 0 0 25 0 1 0 194494318 1793470464 426152 1992294400 4194304 7823515 548682068736 18446744073709551615 6212556 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 437859 426152 544 886 0 436969 0
Current children cumulated CPU time (s) 1800.77
Current children cumulated vsize (KiB) 1751436

[startup+1802.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9316
/proc/meminfo: memFree=15656/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1751436 CPUtime=1801.57
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 441907 0 0 0 177451 2706 0 0 25 0 1 0 194494318 1793470464 426152 1992294400 4194304 7823515 548682068736 18446744073709551615 6213447 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 437859 426152 544 886 0 436969 0
Current children cumulated CPU time (s) 1801.57
Current children cumulated vsize (KiB) 1751436

[startup+1802.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9316
/proc/meminfo: memFree=15656/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=1751436 CPUtime=1801.97
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4194304 441907 0 0 0 177491 2706 0 0 25 0 1 0 194494318 1793470464 426152 1992294400 4194304 7823515 548682068736 18446744073709551615 6212325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 437859 426152 544 886 0 436969 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 1751436

[startup+1802.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9316
/proc/meminfo: memFree=602800/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=0 CPUtime=1802.18
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4195332 441907 0 0 0 177502 2716 0 0 25 0 1 0 194494318 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.18
Current children cumulated vsize (KiB) 0

[startup+1803.01 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9316
/proc/meminfo: memFree=602800/2055920 swapFree=4181512/4192956
[pid=9314] ppid=9312 vsize=0 CPUtime=1802.28
/proc/9314/stat : 9314 (pbscip.linux.x8) R 9312 9314 9277 0 -1 4195332 441907 0 0 0 177502 2726 0 0 25 0 1 0 194494318 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9314/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1803.08
CPU time (s): 1802.36
CPU user time (s): 1775.02
CPU system time (s): 27.3368
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (KiB): 1751436

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

runsolver used 2.19067 second user time and 4.21736 second system time

The end

Launcher Data 

Begin job on node47 at 2009-06-17 22:02:59
IDJOB=1885707
IDBENCH=72084
IDSOLVER=683
FILE ID=node47/1885707-1245268978
PBS_JOBID= 9372488
Free space on /tmp= 65936 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-5p1.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-1885707-1245268978/watcher-1885707-1245268978 -o /tmp/evaluation-result-1885707-1245268978/solver-1885707-1245268978 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885707-1245268978.opb

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

MD5SUM BENCH= 0bdf5517bf810d5e7d1b86559a1b67f6
RANDOM SEED=291413236

node47.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.261
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.261
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:       1502352 kB
Buffers:         73320 kB
Cached:         392092 kB
SwapCached:       4196 kB
Active:         150672 kB
Inactive:       322504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1502352 kB
SwapTotal:     4192956 kB
SwapFree:      4182544 kB
Dirty:           25284 kB
Writeback:           0 kB
Mapped:          13532 kB
Slab:            66372 kB
Committed_AS:   209356 kB
PageTables:       1448 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= 65928 MiB
End job on node47 at 2009-06-17 22:33:02