Trace number 1885708

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? (TO) 1802.31 1803.05

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 

6.97/7.08	c SCIP version 1.1.0.7
6.97/7.08	c LP-Solver Clp 1.8.2
6.97/7.08	c user parameter file <scip.set> not found - using default parameters
6.97/7.08	c read problem <HOME/instance-1885708-1245268987.opb>
6.97/7.08	c original problem has 104856 variables (104856 bin, 0 int, 0 impl, 0 cont) and 508020 constraints
8.96/8.99	c No objective function, only one solution is needed.
8.96/8.99	c start presolving problem
8.96/8.99	c presolving:
30.96/31.10	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
33.66/33.73	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
35.36/35.45	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.06/37.13	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.16/38.28	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.76/38.81	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.26/39.31	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.65/39.76	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.15/40.22	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.65/40.72	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.06/41.20	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.66/41.75	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.06/42.18	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.55/42.61	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.96/43.03	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.36/43.45	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.75/43.87	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.16/44.29	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.65/44.71	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.05/45.12	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.46/45.55	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
45.85/45.97	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.25/46.38	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.65/46.80	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.15/47.21	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.45/47.63	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
47.95/48.05	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.36/48.47	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
48.75/48.88	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.15/49.29	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.65/49.71	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.05/50.12	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.45/50.53	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
50.86/50.95	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.25/51.36	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
51.65/51.77	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.05/52.18	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.45/52.59	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
52.95/53.00	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.35/53.41	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
53.75/53.82	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.15/54.22	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.55/54.63	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
54.94/55.03	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.34/55.44	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
55.75/55.84	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.14/56.24	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
56.55/56.64	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
56.94/57.05	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.85/57.97	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.24/58.38	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.65/58.79	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.23/59.37	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.74/59.89	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.23/60.31	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.74/60.85	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
61.14/61.26	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.53/61.66	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.94/62.04	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.33/62.43	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.74/62.81	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
63.04/63.19	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.43/63.58	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
64.13/64.29	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.52/64.68	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.93/65.07	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
65.34/65.45	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.73/65.84	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
66.13/66.23	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.54/66.61	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.83/67.00	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
67.23/67.38	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.63/67.77	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
68.03/68.15	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.43/68.54	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.83/68.93	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.23/69.31	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.62/69.70	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.93/70.09	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.33/70.47	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.73/70.86	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.13/71.24	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.53/71.62	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.83/72.00	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.23/72.38	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.63/72.76	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
73.03/73.14	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.43/73.52	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.72/73.89	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.13/74.27	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.53/74.65	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.92/75.01	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.22/75.39	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.63/75.76	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.02/76.13	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.32/76.50	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.73/76.87	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.13/77.24	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.53/77.61	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
77.83/77.97	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.22/78.33	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.52/78.68	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
78.93/79.04	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.22/79.39	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.63/79.75	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.02/80.11	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.32/80.46	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
80.72/80.82	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.02/81.18	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.42/81.53	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
81.72/81.89	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.12/82.24	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.52/82.60	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
82.82/82.95	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.22/83.31	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
83.52/83.66	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
83.92/84.02	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.22/84.38	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
84.62/84.73	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
84.92/85.09	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.31/85.45	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
85.72/85.80	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.02/86.16	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
86.42/86.51	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
86.72/86.87	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.12/87.22	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
87.42/87.58	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
87.82/87.93	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.11/88.28	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
88.52/88.64	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
88.82/88.99	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.22/89.34	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
89.52/89.70	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
89.92/90.06	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
90.32/90.41	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
90.62/90.76	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.01/91.12	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
91.32/91.47	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
91.72/91.83	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.02/92.18	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
92.41/92.53	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
92.71/92.88	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.11/93.24	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
93.42/93.59	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
93.82/93.94	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
94.11/94.29	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
94.52/94.64	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
94.81/94.99	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
95.21/95.34	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
95.52/95.69	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
95.91/96.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
96.21/96.38	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
96.61/96.71	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
99.82/99.99	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
100.61/100.71	c presolving (155 rounds):
100.61/100.71	c  35675 deleted vars, 193630 deleted constraints, 29995 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
100.61/100.71	c  18891025 implications, 0 cliques
100.61/100.71	c presolved problem has 69181 variables (69181 bin, 0 int, 0 impl, 0 cont) and 314390 constraints
100.61/100.71	c  314390 constraints of type <logicor>
100.61/100.71	c transformed objective value is always integral (scale: 1)
100.61/100.71	c Presolving Time: 70.33
100.61/100.71	c PURESAT
100.61/100.71	c -----------------------------------------------------------------------------------------------
100.61/100.71	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 0]
100.61/100.71	c separating/flowcover/freq = c -1
100.61/100.71	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 0]
100.61/100.71	c separating/cmir/freq = c -1
100.61/100.71	c # additional number of allowed LP iterations
100.61/100.71	c # [type: int, range: [0,2147483647], default: 1000]
100.61/100.71	c heuristics/veclendiving/maxlpiterofs = c 1500
100.61/100.71	c # maximal fraction of diving LP iterations compared to node LP iterations
100.61/100.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.61/100.71	c heuristics/veclendiving/maxlpiterquot = c 0.075
100.61/100.71	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 10]
100.61/100.71	c heuristics/veclendiving/freq = c -1
100.61/100.71	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 1]
100.61/100.71	c heuristics/simplerounding/freq = c -1
100.61/100.71	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 10]
100.61/100.71	c heuristics/shifting/freq = c -1
100.61/100.71	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 1]
100.61/100.71	c heuristics/rounding/freq = c -1
100.61/100.71	c # additional number of allowed LP iterations
100.61/100.71	c # [type: int, range: [0,2147483647], default: 1000]
100.61/100.71	c heuristics/rootsoldiving/maxlpiterofs = c 1500
100.61/100.71	c # maximal fraction of diving LP iterations compared to node LP iterations
100.61/100.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
100.61/100.71	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
100.61/100.71	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 20]
100.61/100.71	c heuristics/rootsoldiving/freq = c -1
100.61/100.71	c # number of nodes added to the contingent of the total nodes
100.61/100.71	c # [type: longint, range: [0,9223372036854775807], default: 500]
100.61/100.71	c heuristics/rens/nodesofs = c 2000
100.61/100.71	c # minimum percentage of integer variables that have to be fixable 
100.61/100.71	c # [type: real, range: [0,1], default: 0.5]
100.61/100.71	c heuristics/rens/minfixingrate = c 0.3
100.61/100.71	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 0]
100.61/100.71	c heuristics/rens/freq = c -1
100.61/100.71	c # additional number of allowed LP iterations
100.61/100.71	c # [type: int, range: [0,2147483647], default: 1000]
100.61/100.71	c heuristics/pscostdiving/maxlpiterofs = c 1500
100.61/100.71	c # maximal fraction of diving LP iterations compared to node LP iterations
100.61/100.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.61/100.71	c heuristics/pscostdiving/maxlpiterquot = c 0.075
100.61/100.71	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 10]
100.61/100.71	c heuristics/pscostdiving/freq = c -1
100.61/100.71	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 1]
100.61/100.71	c heuristics/oneopt/freq = c -1
100.61/100.71	c # additional number of allowed LP iterations
100.61/100.71	c # [type: int, range: [0,2147483647], default: 1000]
100.61/100.71	c heuristics/objpscostdiving/maxlpiterofs = c 1500
100.61/100.71	c # maximal fraction of diving LP iterations compared to total iteration number
100.61/100.71	c # [type: real, range: [0,1], default: 0.01]
100.61/100.71	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
100.61/100.71	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 20]
100.61/100.71	c heuristics/objpscostdiving/freq = c -1
100.61/100.71	c # additional number of allowed LP iterations
100.61/100.71	c # [type: int, range: [0,2147483647], default: 1000]
100.61/100.71	c heuristics/linesearchdiving/maxlpiterofs = c 1500
100.61/100.71	c # maximal fraction of diving LP iterations compared to node LP iterations
100.61/100.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.61/100.71	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
100.61/100.71	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 10]
100.61/100.71	c heuristics/linesearchdiving/freq = c -1
100.61/100.71	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 10]
100.61/100.71	c heuristics/intshifting/freq = c -1
100.61/100.71	c # maximal fraction of diving LP iterations compared to node LP iterations
100.61/100.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.61/100.71	c heuristics/intdiving/maxlpiterquot = c 0.075
100.61/100.71	c # additional number of allowed LP iterations
100.61/100.71	c # [type: int, range: [0,2147483647], default: 1000]
100.61/100.71	c heuristics/guideddiving/maxlpiterofs = c 1500
100.61/100.71	c # maximal fraction of diving LP iterations compared to node LP iterations
100.61/100.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.61/100.71	c heuristics/guideddiving/maxlpiterquot = c 0.075
100.61/100.71	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 10]
100.61/100.71	c heuristics/guideddiving/freq = c -1
100.61/100.71	c # additional number of allowed LP iterations
100.61/100.71	c # [type: int, range: [0,2147483647], default: 1000]
100.61/100.71	c heuristics/fracdiving/maxlpiterofs = c 1500
100.61/100.71	c # maximal fraction of diving LP iterations compared to node LP iterations
100.61/100.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.61/100.71	c heuristics/fracdiving/maxlpiterquot = c 0.075
100.61/100.71	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 10]
100.61/100.71	c heuristics/fracdiving/freq = c -1
100.61/100.71	c # additional number of allowed LP iterations
100.61/100.71	c # [type: int, range: [0,2147483647], default: 1000]
100.61/100.71	c heuristics/feaspump/maxlpiterofs = c 2000
100.61/100.71	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 20]
100.61/100.71	c heuristics/feaspump/freq = c -1
100.61/100.71	c # minimum percentage of integer variables that have to be fixed 
100.61/100.71	c # [type: real, range: [0,1], default: 0.666]
100.61/100.71	c heuristics/crossover/minfixingrate = c 0.5
100.61/100.71	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
100.61/100.71	c # [type: real, range: [0,1], default: 0.1]
100.61/100.71	c heuristics/crossover/nodesquot = c 0.15
100.61/100.71	c # number of nodes without incumbent change that heuristic should wait
100.61/100.71	c # [type: longint, range: [0,9223372036854775807], default: 200]
100.61/100.71	c heuristics/crossover/nwaitingnodes = c 100
100.61/100.71	c # number of nodes added to the contingent of the total nodes
100.61/100.71	c # [type: longint, range: [0,9223372036854775807], default: 500]
100.61/100.71	c heuristics/crossover/nodesofs = c 750
100.61/100.71	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 30]
100.61/100.71	c heuristics/crossover/freq = c -1
100.61/100.71	c # additional number of allowed LP iterations
100.61/100.71	c # [type: int, range: [0,2147483647], default: 1000]
100.61/100.71	c heuristics/coefdiving/maxlpiterofs = c 1500
100.61/100.71	c # maximal fraction of diving LP iterations compared to node LP iterations
100.61/100.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
100.61/100.71	c heuristics/coefdiving/maxlpiterquot = c 0.075
100.61/100.71	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: 10]
100.61/100.71	c heuristics/coefdiving/freq = c -1
100.61/100.71	c # priority of node selection rule <dfs> in standard mode
100.61/100.71	c # [type: int, range: [-536870912,536870911], default: 0]
100.61/100.71	c nodeselection/dfs/stdpriority = c 1000000
100.61/100.71	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
100.61/100.71	c # [type: int, range: [-1,2147483647], default: -1]
100.61/100.71	c presolving/probing/maxrounds = c 0
100.61/100.71	c # should presolving try to simplify knapsacks
100.61/100.71	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.61/100.71	c constraints/knapsack/simplifyinequalities = c TRUE
100.61/100.71	c # should disaggregation of knapsack constraints be allowed in preprocessing?
100.61/100.71	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
100.61/100.71	c constraints/knapsack/disaggregation = c FALSE
100.61/100.71	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
100.61/100.80	c # [type: int, range: [-1,2147483647], default: -1]
100.61/100.80	c constraints/knapsack/maxnumcardlift = c 0
100.61/100.80	c # should presolving try to simplify inequalities
100.61/100.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.61/100.80	c constraints/linear/simplifyinequalities = c TRUE
100.61/100.80	c # maximal number of separation rounds in the root node (-1: unlimited)
100.61/100.80	c # [type: int, range: [-1,2147483647], default: -1]
100.61/100.80	c separating/maxroundsroot = c 5
100.61/100.80	c # maximal number of separation rounds per node (-1: unlimited)
100.61/100.80	c # [type: int, range: [-1,2147483647], default: 5]
100.61/100.80	c separating/maxrounds = c 1
100.61/100.80	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.61/100.80	c # [type: char, range: {lafpsqd}, default: l]
100.61/100.80	c lp/pricing = c a
100.61/100.80	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
100.61/100.80	c # [type: int, range: [-1,2147483647], default: 1]
100.61/100.80	c lp/solvefreq = c 0
100.61/100.80	c # solving stops, if the given number of solutions were found (-1: no limit)
100.61/100.80	c # [type: int, range: [-1,2147483647], default: -1]
100.71/100.80	c limits/solutions = c 1
100.71/100.80	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
100.71/100.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
100.71/100.80	c limits/memory = c 1620
100.71/100.80	c # maximal time in seconds to run
100.71/100.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
100.71/100.80	c limits/time = c 1791
100.71/100.80	c # frequency for displaying node information lines
100.71/100.80	c # [type: int, range: [-1,2147483647], default: 100]
100.71/100.80	c display/freq = c 10000
100.71/100.80	c # should enforcement of pseudo solution be disabled?
100.71/100.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.71/100.80	c constraints/disableenfops = c TRUE
100.71/100.80	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
100.71/100.80	c # [type: int, range: [-1,2147483647], default: 0]
100.71/100.80	c constraints/agelimit = c 1
100.71/100.80	c # should binary conflicts be preferred?
100.71/100.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
100.71/100.80	c conflict/preferbinary = c TRUE
100.71/100.80	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
100.71/100.80	c # [type: int, range: [-1,2147483647], default: -1]
100.71/100.80	c conflict/interconss = c 0
100.71/100.80	c -----------------------------------------------------------------------------------------------
100.71/100.80	c start solving problem
100.71/100.80	c 
403.49/403.72	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
403.49/403.72	c   373s|     1 |     0 | 37096 | 949M|   0 |  11k|  69k| 314k| 314k|  69k| 314k|   0 |   0 |   0 | 3.440686e+03 |      --      |    Inf 
1296.12/1296.78	c  1264s|     1 |     0 | 56012 | 949M|   0 |  12k|  69k| 314k| 314k|  69k| 314k|   8 |   0 |   0 | 3.443652e+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-1885708-1245268987/watcher-1885708-1245268987 -o /tmp/evaluation-result-1885708-1245268987/solver-1885708-1245268987 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885708-1245268987.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.09 1.18 1.08 3/64 21169
/proc/meminfo: memFree=1829060/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=7616 CPUtime=0
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 580 0 0 0 0 0 0 0 19 0 1 0 194496751 7798784 564 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/21169/statm: 1904 575 353 1256 0 643 0

[startup+0.0234659 s]
/proc/loadavg: 1.09 1.18 1.08 3/64 21169
/proc/meminfo: memFree=1829060/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=10780 CPUtime=0.01
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 1660 0 0 0 1 0 0 0 19 0 1 0 194496751 11038720 1644 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 0 0 0
/proc/21169/statm: 2695 1644 376 1256 0 1434 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10780

[startup+0.101472 s]
/proc/loadavg: 1.09 1.18 1.08 3/64 21169
/proc/meminfo: memFree=1829060/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=15896 CPUtime=0.09
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 2946 0 0 0 9 0 0 0 19 0 1 0 194496751 16277504 2930 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 0 0 0
/proc/21169/statm: 3974 2930 376 1256 0 2713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15896

[startup+0.301494 s]
/proc/loadavg: 1.09 1.18 1.08 3/64 21169
/proc/meminfo: memFree=1829060/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=25848 CPUtime=0.29
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 5421 0 0 0 27 2 0 0 20 0 1 0 194496751 26468352 5405 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 0 0 0
/proc/21169/statm: 6462 5405 376 1256 0 5201 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25848

[startup+0.701534 s]
/proc/loadavg: 1.09 1.18 1.08 3/64 21169
/proc/meminfo: memFree=1829060/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=43532 CPUtime=0.69
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 9866 0 0 0 65 4 0 0 24 0 1 0 194496751 44576768 9850 1992294400 4194304 9342243 548682068736 18446744073709551615 8247739 0 0 4096 0 0 0 0 17 0 0 0
/proc/21169/statm: 10883 9850 376 1256 0 9622 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43532

[startup+1.50162 s]
/proc/loadavg: 1.09 1.18 1.08 2/65 21170
/proc/meminfo: memFree=1770428/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=96944 CPUtime=1.49
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 23207 0 0 0 140 9 0 0 25 0 1 0 194496751 99270656 23191 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 0 0 0 0 17 0 0 0
/proc/21169/statm: 24236 23191 376 1256 0 22975 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96944

[startup+3.10178 s]
/proc/loadavg: 1.09 1.18 1.08 2/65 21170
/proc/meminfo: memFree=1714492/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=144704 CPUtime=3.09
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 35090 0 0 0 295 14 0 0 25 0 1 0 194496751 148176896 35074 1992294400 4194304 9342243 548682068736 18446744073709551615 8235707 0 0 4096 0 0 0 0 17 0 0 0
/proc/21169/statm: 36176 35074 376 1256 0 34915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144704

[startup+6.30111 s]
/proc/loadavg: 1.24 1.21 1.10 2/65 21170
/proc/meminfo: memFree=1628220/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=235060 CPUtime=6.28
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 57642 0 0 0 605 23 0 0 25 0 1 0 194496751 240701440 57626 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 0 0 0
/proc/21169/statm: 58765 57626 376 1256 0 57504 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 235060

[startup+12.7038 s]
/proc/loadavg: 1.38 1.24 1.10 2/65 21170
/proc/meminfo: memFree=1104572/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=750864 CPUtime=12.68
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 185643 0 0 0 1188 80 0 0 25 0 1 0 194496751 768884736 185273 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 187716 185273 460 1256 0 186455 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 750864

[startup+25.5051 s]
/proc/loadavg: 1.52 1.28 1.12 2/65 21170
/proc/meminfo: memFree=610684/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1236720 CPUtime=25.47
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 307108 0 0 0 2407 140 0 0 25 0 1 0 194496751 1266401280 306738 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 309180 306738 461 1256 0 307919 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1236720

[startup+51.1018 s]
/proc/loadavg: 1.80 1.36 1.15 2/65 21170
/proc/meminfo: memFree=473276/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1363704 CPUtime=51.13
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 338875 0 0 0 4459 654 0 0 25 0 1 0 194496751 1396432896 338505 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 340926 338505 474 1256 0 339665 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 1363704

[startup+102.302 s]
/proc/loadavg: 1.50 1.36 1.16 2/65 21171
/proc/meminfo: memFree=448380/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1402616 CPUtime=102.21
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 356129 0 0 0 7997 2224 0 0 25 0 1 0 194496751 1436278784 347435 1992294400 4194304 9342243 548682068736 18446744073709551615 5855104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21169/statm: 350654 347435 540 1256 0 349393 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 1402616

[startup+162.305 s]
/proc/loadavg: 1.18 1.29 1.15 2/65 21171
/proc/meminfo: memFree=243132/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1675940 CPUtime=162.18
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 432652 0 0 0 13960 2258 0 0 25 0 1 0 194496751 1716162560 396282 1992294400 4194304 9342243 548682068736 18446744073709551615 7008387 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 418985 396282 612 1256 0 417724 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 1675940

[startup+222.301 s]
/proc/loadavg: 1.07 1.24 1.14 2/65 21171
/proc/meminfo: memFree=234940/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1682148 CPUtime=222.16
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 471170 0 0 0 19938 2278 0 0 25 0 1 0 194496751 1722519552 398321 1992294400 4194304 9342243 548682068736 18446744073709551615 6040740 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 420537 398321 612 1256 0 419276 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 1682148

[startup+282.302 s]
/proc/loadavg: 1.02 1.19 1.13 2/65 21171
/proc/meminfo: memFree=230140/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1686780 CPUtime=282.14
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 500521 0 0 0 25920 2294 0 0 25 0 1 0 194496751 1727262720 399524 1992294400 4194304 9342243 548682068736 18446744073709551615 6960843 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 421695 399524 612 1256 0 420434 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 1686780

[startup+342.302 s]
/proc/loadavg: 1.01 1.15 1.12 2/65 21171
/proc/meminfo: memFree=227964/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1688872 CPUtime=342.11
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 531412 0 0 0 31902 2309 0 0 25 0 1 0 194496751 1729404928 400075 1992294400 4194304 9342243 548682068736 18446744073709551615 6356758 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 422218 400075 612 1256 0 420957 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 1688872

[startup+402.302 s]
/proc/loadavg: 1.00 1.12 1.10 2/65 21171
/proc/meminfo: memFree=235836/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1691624 CPUtime=402.1
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 561322 0 0 0 37886 2324 0 0 25 0 1 0 194496751 1732222976 398103 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 422906 398103 612 1256 0 421645 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 1691624

[startup+462.301 s]
/proc/loadavg: 1.00 1.10 1.09 2/65 21171
/proc/meminfo: memFree=230012/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1694188 CPUtime=462.07
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 568385 0 0 0 43880 2327 0 0 25 0 1 0 194496751 1734848512 399558 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 423547 399558 629 1256 0 422286 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 1694188

[startup+522.301 s]
/proc/loadavg: 1.00 1.08 1.09 2/65 21171
/proc/meminfo: memFree=229948/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1694188 CPUtime=522.05
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 568385 0 0 0 49877 2328 0 0 25 0 1 0 194496751 1734848512 399558 1992294400 4194304 9342243 548682068736 18446744073709551615 6939247 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 423547 399558 629 1256 0 422286 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 1694188

[startup+582.302 s]
/proc/loadavg: 1.00 1.06 1.08 2/65 21171
/proc/meminfo: memFree=229884/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1694188 CPUtime=582.03
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 568387 0 0 0 55874 2329 0 0 25 0 1 0 194496751 1734848512 399560 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 423547 399560 630 1256 0 422286 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 1694188

[startup+642.302 s]
/proc/loadavg: 1.00 1.05 1.07 2/65 21172
/proc/meminfo: memFree=229692/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1694188 CPUtime=642
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 568387 0 0 0 61871 2329 0 0 25 0 1 0 194496751 1734848512 399560 1992294400 4194304 9342243 548682068736 18446744073709551615 6939156 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 423547 399560 630 1256 0 422286 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 1694188

[startup+702.302 s]

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

/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 589907 0 0 0 97615 2570 0 0 25 0 1 0 194496751 1785552896 421078 1992294400 4194304 9342243 548682068736 18446744073709551615 6962268 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 435926 421078 643 1256 0 434665 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 1743704

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/65 21172
/proc/meminfo: memFree=143420/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1743704 CPUtime=1061.83
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 589974 0 0 0 103611 2572 0 0 25 0 1 0 194496751 1785552896 421145 1992294400 4194304 9342243 548682068736 18446744073709551615 6496551 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 435926 421145 643 1256 0 434665 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 1743704

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/65 21172
/proc/meminfo: memFree=143292/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1743884 CPUtime=1121.8
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 590005 0 0 0 109608 2572 0 0 25 0 1 0 194496751 1785737216 421175 1992294400 4194304 9342243 548682068736 18446744073709551615 5874776 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 435971 421175 643 1256 0 434710 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 1743884

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 21172
/proc/meminfo: memFree=142972/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1743884 CPUtime=1181.76
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 590069 0 0 0 115602 2574 0 0 25 0 1 0 194496751 1785737216 421239 1992294400 4194304 9342243 548682068736 18446744073709551615 6959521 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 435971 421239 643 1256 0 434710 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 1743884

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 21172
/proc/meminfo: memFree=142012/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1744044 CPUtime=1241.74
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 590257 0 0 0 121599 2575 0 0 25 0 1 0 194496751 1785901056 421427 1992294400 4194304 9342243 548682068736 18446744073709551615 6968386 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436011 421427 643 1256 0 434750 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 1744044

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 21172
/proc/meminfo: memFree=138428/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1746856 CPUtime=1301.72
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 591141 0 0 0 127595 2577 0 0 25 0 1 0 194496751 1788780544 422311 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436714 422311 643 1256 0 435453 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 1746856

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21172
/proc/meminfo: memFree=138364/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1746856 CPUtime=1361.69
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 591141 0 0 0 133591 2578 0 0 25 0 1 0 194496751 1788780544 422311 1992294400 4194304 9342243 548682068736 18446744073709551615 6952845 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436714 422311 643 1256 0 435453 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 1746856

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21172
/proc/meminfo: memFree=138364/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1746856 CPUtime=1421.67
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 591141 0 0 0 139588 2579 0 0 25 0 1 0 194496751 1788780544 422311 1992294400 4194304 9342243 548682068736 18446744073709551615 6939240 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436714 422311 643 1256 0 435453 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 1746856

[startup+1482.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21172
/proc/meminfo: memFree=138300/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1746856 CPUtime=1481.65
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 591141 0 0 0 145584 2581 0 0 25 0 1 0 194496751 1788780544 422311 1992294400 4194304 9342243 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436714 422311 643 1256 0 435453 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 1746856

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21172
/proc/meminfo: memFree=138236/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1746856 CPUtime=1541.61
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 591141 0 0 0 151579 2582 0 0 25 0 1 0 194496751 1788780544 422311 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436714 422311 643 1256 0 435453 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 1746856

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21172
/proc/meminfo: memFree=138172/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1746856 CPUtime=1601.6
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 591141 0 0 0 157577 2583 0 0 25 0 1 0 194496751 1788780544 422311 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436714 422311 643 1256 0 435453 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 1746856

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21172
/proc/meminfo: memFree=138108/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1746856 CPUtime=1661.59
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 591141 0 0 0 163573 2586 0 0 25 0 1 0 194496751 1788780544 422311 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436714 422311 643 1256 0 435453 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 1746856

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21172
/proc/meminfo: memFree=138108/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1746856 CPUtime=1721.57
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 591141 0 0 0 169570 2587 0 0 25 0 1 0 194496751 1788780544 422311 1992294400 4194304 9342243 548682068736 18446744073709551615 5990669 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436714 422311 643 1256 0 435453 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 1746856

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21172
/proc/meminfo: memFree=137980/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1746856 CPUtime=1781.56
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 591141 0 0 0 175566 2590 0 0 25 0 1 0 194496751 1788780544 422311 1992294400 4194304 9342243 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436714 422311 643 1256 0 435453 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1746856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21172
/proc/meminfo: memFree=137980/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1746856 CPUtime=1800.05
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 591141 0 0 0 177415 2590 0 0 25 0 1 0 194496751 1788780544 422311 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436714 422311 643 1256 0 435453 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1746856

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21169

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

[startup+1802 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21173
/proc/meminfo: memFree=138036/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1746856 CPUtime=1801.25
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 591141 0 0 0 177535 2590 0 0 25 0 1 0 194496751 1788780544 422311 1992294400 4194304 9342243 548682068736 18446744073709551615 5727288 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436714 422311 643 1256 0 435453 0
Current children cumulated CPU time (s) 1801.25
Current children cumulated vsize (KiB) 1746856

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21173
/proc/meminfo: memFree=138036/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=1746856 CPUtime=1802.05
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4194304 591141 0 0 0 177615 2590 0 0 25 0 1 0 194496751 1788780544 422311 1992294400 4194304 9342243 548682068736 18446744073709551615 5727367 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 436714 422311 643 1256 0 435453 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1746856

[startup+1803 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 21173
/proc/meminfo: memFree=138036/2055920 swapFree=4178700/4192956
[pid=21169] ppid=21167 vsize=0 CPUtime=1802.25
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 21030 0 -1 4195332 591141 0 0 0 177615 2610 0 0 25 0 1 0 194496751 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21169/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1803.05
CPU time (s): 1802.31
CPU user time (s): 1776.16
CPU system time (s): 26.148
CPU usage (%): 99.9588
Max. virtual memory (cumulated for all children) (KiB): 1746856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.16
system time used= 26.148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591141
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 5976

runsolver used 1.9637 second user time and 4.88626 second system time

The end

Launcher Data 

Begin job on node90 at 2009-06-17 22:03:08
IDJOB=1885708
IDBENCH=72084
IDSOLVER=684
FILE ID=node90/1885708-1245268987
PBS_JOBID= 9372471
Free space on /tmp= 66512 MiB

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

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

MD5SUM BENCH= 0bdf5517bf810d5e7d1b86559a1b67f6
RANDOM SEED=1163260492

node90.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.231
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.231
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1829476 kB
Buffers:         23216 kB
Cached:         138844 kB
SwapCached:       8008 kB
Active:          87104 kB
Inactive:        84964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1829476 kB
SwapTotal:     4192956 kB
SwapFree:      4178700 kB
Dirty:           27060 kB
Writeback:           0 kB
Mapped:          15832 kB
Slab:            40380 kB
Committed_AS:   140028 kB
PageTables:       1436 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= 66504 MiB
End job on node90 at 2009-06-17 22:33:12