Trace number 1885687

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)? (MO) 1696.07 1696.87

General information on the benchmark

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

Solver Data 

7.39/7.48	c SCIP version 1.1.0.7
7.39/7.48	c LP-Solver SoPlex 1.4.1
7.39/7.48	c user parameter file <scip.set> not found - using default parameters
7.39/7.48	c read problem <HOME/instance-1885687-1245268737.opb>
7.39/7.48	c original problem has 123925 variables (123925 bin, 0 int, 0 impl, 0 cont) and 539763 constraints
9.49/9.51	c No objective function, only one solution is needed.
9.49/9.51	c start presolving problem
9.49/9.51	c presolving:
31.67/31.78	c (round 1) 6194 del vars, 5838 del conss, 5498 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17719772 impls, 0 clqs
34.27/34.39	c (round 2) 17607 del vars, 85114 del conss, 16730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17744416 impls, 0 clqs
36.08/36.18	c (round 3) 18894 del vars, 109280 del conss, 17879 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18216118 impls, 0 clqs
37.87/37.96	c (round 4) 23167 del vars, 132646 del conss, 21999 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18232312 impls, 0 clqs
38.38/38.42	c (round 5) 23377 del vars, 133266 del conss, 22149 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18247060 impls, 0 clqs
38.77/38.90	c (round 6) 23699 del vars, 134217 del conss, 22315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18264722 impls, 0 clqs
39.27/39.37	c (round 7) 23925 del vars, 134959 del conss, 22480 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18279898 impls, 0 clqs
39.78/39.85	c (round 8) 24253 del vars, 135885 del conss, 22659 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18304790 impls, 0 clqs
40.27/40.34	c (round 9) 24468 del vars, 136691 del conss, 22817 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18324293 impls, 0 clqs
40.78/40.83	c (round 10) 24845 del vars, 137936 del conss, 22970 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18343773 impls, 0 clqs
41.27/41.30	c (round 11) 25043 del vars, 138618 del conss, 23115 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18361239 impls, 0 clqs
41.67/41.78	c (round 12) 25308 del vars, 139411 del conss, 23274 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18384499 impls, 0 clqs
42.18/42.26	c (round 13) 25500 del vars, 140078 del conss, 23414 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18403667 impls, 0 clqs
42.68/42.74	c (round 14) 25822 del vars, 141004 del conss, 23546 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18425291 impls, 0 clqs
43.17/43.21	c (round 15) 26001 del vars, 141721 del conss, 23673 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18445105 impls, 0 clqs
43.57/43.70	c (round 16) 26312 del vars, 142479 del conss, 23793 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18471721 impls, 0 clqs
44.07/44.18	c (round 17) 26522 del vars, 143256 del conss, 23905 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18489969 impls, 0 clqs
44.58/44.65	c (round 18) 26794 del vars, 144367 del conss, 24005 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18513403 impls, 0 clqs
45.07/45.10	c (round 19) 26940 del vars, 144827 del conss, 24105 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18527527 impls, 0 clqs
45.47/45.56	c (round 20) 27145 del vars, 145425 del conss, 24225 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18547431 impls, 0 clqs
45.97/46.03	c (round 21) 27299 del vars, 145921 del conss, 24338 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18564725 impls, 0 clqs
46.37/46.49	c (round 22) 27551 del vars, 146714 del conss, 24463 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18584411 impls, 0 clqs
46.87/46.95	c (round 23) 27711 del vars, 147282 del conss, 24581 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18600923 impls, 0 clqs
47.37/47.43	c (round 24) 27937 del vars, 147959 del conss, 24699 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18627837 impls, 0 clqs
47.78/47.89	c (round 25) 28077 del vars, 148495 del conss, 24807 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18645191 impls, 0 clqs
48.28/48.35	c (round 26) 28343 del vars, 149383 del conss, 24915 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18667508 impls, 0 clqs
48.77/48.81	c (round 27) 28476 del vars, 149888 del conss, 25009 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18683726 impls, 0 clqs
49.17/49.26	c (round 28) 28664 del vars, 150447 del conss, 25120 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18703626 impls, 0 clqs
49.67/49.72	c (round 29) 28789 del vars, 150904 del conss, 25213 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18720242 impls, 0 clqs
50.07/50.18	c (round 30) 29041 del vars, 151606 del conss, 25306 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18740476 impls, 0 clqs
50.58/50.63	c (round 31) 29174 del vars, 152155 del conss, 25399 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18755198 impls, 0 clqs
51.07/51.10	c (round 32) 29427 del vars, 152766 del conss, 25494 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18783074 impls, 0 clqs
51.47/51.58	c (round 33) 29604 del vars, 153413 del conss, 25587 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18802640 impls, 0 clqs
51.97/52.03	c (round 34) 29828 del vars, 154398 del conss, 25667 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18821444 impls, 0 clqs
52.37/52.48	c (round 35) 29946 del vars, 154752 del conss, 25747 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18836906 impls, 0 clqs
52.87/52.94	c (round 36) 30119 del vars, 155257 del conss, 25846 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18858222 impls, 0 clqs
53.27/53.39	c (round 37) 30244 del vars, 155666 del conss, 25939 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18873870 impls, 0 clqs
53.77/53.85	c (round 38) 30469 del vars, 156364 del conss, 26048 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18893482 impls, 0 clqs
54.27/54.31	c (round 39) 30613 del vars, 156878 del conss, 26155 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18909664 impls, 0 clqs
54.67/54.77	c (round 40) 30827 del vars, 157507 del conss, 26267 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18934592 impls, 0 clqs
55.17/55.23	c (round 41) 30965 del vars, 158028 del conss, 26373 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18952848 impls, 0 clqs
55.57/55.69	c (round 42) 31229 del vars, 158908 del conss, 26479 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18973671 impls, 0 clqs
56.08/56.14	c (round 43) 31361 del vars, 159406 del conss, 26572 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18988759 impls, 0 clqs
56.57/56.60	c (round 44) 31548 del vars, 159961 del conss, 26682 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19009321 impls, 0 clqs
56.97/57.05	c (round 45) 31673 del vars, 160415 del conss, 26775 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19026443 impls, 0 clqs
57.46/57.51	c (round 46) 31925 del vars, 161117 del conss, 26868 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19045639 impls, 0 clqs
57.86/57.96	c (round 47) 32058 del vars, 161666 del conss, 26961 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19061311 impls, 0 clqs
58.37/58.44	c (round 48) 32312 del vars, 162277 del conss, 27056 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19089843 impls, 0 clqs
58.87/58.91	c (round 49) 32490 del vars, 162926 del conss, 27149 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19108227 impls, 0 clqs
59.27/59.37	c (round 50) 32726 del vars, 163913 del conss, 27229 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19130353 impls, 0 clqs
59.77/59.82	c (round 51) 32844 del vars, 164291 del conss, 27309 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19146447 impls, 0 clqs
60.17/60.27	c (round 52) 33016 del vars, 164790 del conss, 27407 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19166339 impls, 0 clqs
60.67/60.73	c (round 53) 33142 del vars, 165201 del conss, 27500 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19184591 impls, 0 clqs
61.07/61.19	c (round 54) 33356 del vars, 165879 del conss, 27601 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19206765 impls, 0 clqs
61.57/61.64	c (round 55) 33490 del vars, 166359 del conss, 27701 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19223443 impls, 0 clqs
62.07/62.10	c (round 56) 33682 del vars, 166953 del conss, 27793 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19249907 impls, 0 clqs
62.47/62.56	c (round 57) 33791 del vars, 167388 del conss, 27877 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19272526 impls, 0 clqs
62.96/63.01	c (round 58) 33990 del vars, 168072 del conss, 27956 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19295059 impls, 0 clqs
63.37/63.44	c (round 59) 34080 del vars, 168436 del conss, 28019 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19314625 impls, 0 clqs
63.77/63.88	c (round 60) 34207 del vars, 168825 del conss, 28096 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19336097 impls, 0 clqs
64.26/64.32	c (round 61) 34292 del vars, 169131 del conss, 28155 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19356007 impls, 0 clqs
64.67/64.77	c (round 62) 34462 del vars, 169611 del conss, 28213 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19377439 impls, 0 clqs
65.16/65.21	c (round 63) 34548 del vars, 169974 del conss, 28271 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19395551 impls, 0 clqs
65.56/65.66	c (round 64) 34715 del vars, 170375 del conss, 28332 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19423987 impls, 0 clqs
66.07/66.12	c (round 65) 34830 del vars, 170809 del conss, 28391 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19448321 impls, 0 clqs
66.46/66.55	c (round 66) 34980 del vars, 171475 del conss, 28441 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19469851 impls, 0 clqs
66.86/66.99	c (round 67) 35056 del vars, 171706 del conss, 28491 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19489619 impls, 0 clqs
67.36/67.42	c (round 68) 35171 del vars, 172045 del conss, 28556 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19512203 impls, 0 clqs
67.76/67.86	c (round 69) 35250 del vars, 172306 del conss, 28615 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19531981 impls, 0 clqs
68.16/68.29	c (round 70) 35402 del vars, 172784 del conss, 28687 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19552437 impls, 0 clqs
68.66/68.73	c (round 71) 35498 del vars, 173132 del conss, 28758 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19571723 impls, 0 clqs
69.06/69.18	c (round 72) 35645 del vars, 173571 del conss, 28835 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19598139 impls, 0 clqs
69.56/69.61	c (round 73) 35731 del vars, 173906 del conss, 28901 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19620185 impls, 0 clqs
69.96/70.05	c (round 74) 35907 del vars, 174495 del conss, 28967 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19642212 impls, 0 clqs
70.36/70.49	c (round 75) 35992 del vars, 174819 del conss, 29025 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19661642 impls, 0 clqs
70.86/70.92	c (round 76) 36117 del vars, 175192 del conss, 29097 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19683154 impls, 0 clqs
71.26/71.35	c (round 77) 36200 del vars, 175492 del conss, 29157 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19703438 impls, 0 clqs
71.66/71.79	c (round 78) 36370 del vars, 175966 del conss, 29215 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19723772 impls, 0 clqs
72.15/72.22	c (round 79) 36456 del vars, 176329 del conss, 29273 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19741768 impls, 0 clqs
72.56/72.67	c (round 80) 36629 del vars, 176744 del conss, 29335 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19771064 impls, 0 clqs
73.06/73.13	c (round 81) 36741 del vars, 177174 del conss, 29392 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19795640 impls, 0 clqs
73.46/73.57	c (round 82) 36889 del vars, 177822 del conss, 29436 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19819960 impls, 0 clqs
73.96/74.00	c (round 83) 36945 del vars, 178001 del conss, 29476 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19840648 impls, 0 clqs
74.36/74.43	c (round 84) 37043 del vars, 178297 del conss, 29534 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19862546 impls, 0 clqs
74.76/74.87	c (round 85) 37105 del vars, 178505 del conss, 29580 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19882962 impls, 0 clqs
75.26/75.30	c (round 86) 37226 del vars, 178884 del conss, 29637 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19904246 impls, 0 clqs
75.65/75.74	c (round 87) 37295 del vars, 179135 del conss, 29689 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19924572 impls, 0 clqs
76.06/76.17	c (round 88) 37402 del vars, 179463 del conss, 29743 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19942808 impls, 0 clqs
76.46/76.59	c (round 89) 37457 del vars, 179688 del conss, 29786 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19957184 impls, 0 clqs
76.96/77.00	c (round 90) 37566 del vars, 180058 del conss, 29829 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19971849 impls, 0 clqs
77.36/77.42	c (round 91) 37621 del vars, 180270 del conss, 29865 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19985125 impls, 0 clqs
77.76/77.84	c (round 92) 37702 del vars, 180517 del conss, 29913 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19999457 impls, 0 clqs
78.15/78.25	c (round 93) 37751 del vars, 180698 del conss, 29947 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20011711 impls, 0 clqs
78.56/78.67	c (round 94) 37853 del vars, 180981 del conss, 29981 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20025121 impls, 0 clqs
78.95/79.08	c (round 95) 37907 del vars, 181202 del conss, 30015 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20037353 impls, 0 clqs
79.46/79.50	c (round 96) 38006 del vars, 181448 del conss, 30052 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20055231 impls, 0 clqs
79.85/79.92	c (round 97) 38073 del vars, 181703 del conss, 30087 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20069763 impls, 0 clqs
80.26/80.34	c (round 98) 38163 del vars, 182097 del conss, 30117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20084869 impls, 0 clqs
80.66/80.76	c (round 99) 38211 del vars, 182245 del conss, 30146 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20098964 impls, 0 clqs
81.05/81.17	c (round 100) 38278 del vars, 182460 del conss, 30183 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20113856 impls, 0 clqs
81.45/81.58	c (round 101) 38311 del vars, 182580 del conss, 30208 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20127228 impls, 0 clqs
81.85/81.99	c (round 102) 38370 del vars, 182772 del conss, 30241 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20140250 impls, 0 clqs
82.26/82.39	c (round 103) 38403 del vars, 182892 del conss, 30266 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20152570 impls, 0 clqs
82.75/82.80	c (round 104) 38457 del vars, 183050 del conss, 30297 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20168924 impls, 0 clqs
83.15/83.21	c (round 105) 38493 del vars, 183186 del conss, 30325 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20183911 impls, 0 clqs
83.56/83.61	c (round 106) 38551 del vars, 183387 del conss, 30348 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20198165 impls, 0 clqs
83.95/84.01	c (round 107) 38580 del vars, 183488 del conss, 30369 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20212349 impls, 0 clqs
84.35/84.42	c (round 108) 38630 del vars, 183637 del conss, 30399 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20225965 impls, 0 clqs
84.75/84.82	c (round 109) 38662 del vars, 183744 del conss, 30420 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20238785 impls, 0 clqs
85.16/85.22	c (round 110) 38720 del vars, 183905 del conss, 30441 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20251357 impls, 0 clqs
85.55/85.63	c (round 111) 38749 del vars, 184026 del conss, 30462 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20263639 impls, 0 clqs
85.96/86.03	c (round 112) 38804 del vars, 184162 del conss, 30486 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20280707 impls, 0 clqs
86.36/86.44	c (round 113) 38844 del vars, 184307 del conss, 30508 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20296925 impls, 0 clqs
86.76/86.85	c (round 114) 38897 del vars, 184520 del conss, 30528 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20311759 impls, 0 clqs
87.15/87.25	c (round 115) 38925 del vars, 184604 del conss, 30548 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20326143 impls, 0 clqs
87.55/87.66	c (round 116) 38971 del vars, 184745 del conss, 30577 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20340181 impls, 0 clqs
87.96/88.06	c (round 117) 39003 del vars, 184853 del conss, 30601 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20353655 impls, 0 clqs
88.35/88.47	c (round 118) 39056 del vars, 185020 del conss, 30628 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20366527 impls, 0 clqs
88.75/88.87	c (round 119) 39088 del vars, 185134 del conss, 30652 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20379351 impls, 0 clqs
89.15/89.28	c (round 120) 39136 del vars, 185266 del conss, 30677 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20395659 impls, 0 clqs
89.56/89.68	c (round 121) 39173 del vars, 185408 del conss, 30706 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20410222 impls, 0 clqs
89.96/90.09	c (round 122) 39230 del vars, 185596 del conss, 30728 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20424752 impls, 0 clqs
90.35/90.49	c (round 123) 39259 del vars, 185697 del conss, 30749 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20438752 impls, 0 clqs
90.75/90.89	c (round 124) 39306 del vars, 185842 del conss, 30779 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20452038 impls, 0 clqs
91.16/91.30	c (round 125) 39341 del vars, 185947 del conss, 30800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20464938 impls, 0 clqs
91.65/91.70	c (round 126) 39399 del vars, 186114 del conss, 30821 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20477594 impls, 0 clqs
92.05/92.10	c (round 127) 39428 del vars, 186235 del conss, 30842 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20489590 impls, 0 clqs
92.45/92.51	c (round 128) 39481 del vars, 186365 del conss, 30865 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20506728 impls, 0 clqs
92.85/92.92	c (round 129) 39521 del vars, 186513 del conss, 30888 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20522256 impls, 0 clqs
93.25/93.33	c (round 130) 39573 del vars, 186725 del conss, 30908 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20536816 impls, 0 clqs
93.65/93.74	c (round 131) 39601 del vars, 186807 del conss, 30928 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20551542 impls, 0 clqs
94.05/94.14	c (round 132) 39644 del vars, 186936 del conss, 30954 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20565682 impls, 0 clqs
94.46/94.55	c (round 133) 39676 del vars, 187042 del conss, 30978 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20579018 impls, 0 clqs
94.85/94.96	c (round 134) 39734 del vars, 187232 del conss, 31010 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20591994 impls, 0 clqs
95.25/95.36	c (round 135) 39764 del vars, 187337 del conss, 31032 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20604912 impls, 0 clqs
95.65/95.77	c (round 136) 39815 del vars, 187484 del conss, 31060 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20621034 impls, 0 clqs
96.05/96.18	c (round 137) 39849 del vars, 187611 del conss, 31086 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20635935 impls, 0 clqs
96.45/96.59	c (round 138) 39906 del vars, 187799 del conss, 31108 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20650375 impls, 0 clqs
96.85/96.99	c (round 139) 39935 del vars, 187900 del conss, 31129 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20664257 impls, 0 clqs
97.25/97.39	c (round 140) 39982 del vars, 188036 del conss, 31156 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20677681 impls, 0 clqs
97.75/97.80	c (round 141) 40016 del vars, 188154 del conss, 31180 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20690865 impls, 0 clqs
98.15/98.21	c (round 142) 40075 del vars, 188315 del conss, 31201 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20703509 impls, 0 clqs
98.55/98.61	c (round 143) 40104 del vars, 188438 del conss, 31222 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20715879 impls, 0 clqs
98.95/99.02	c (round 144) 40160 del vars, 188577 del conss, 31246 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20733187 impls, 0 clqs
99.35/99.43	c (round 145) 40199 del vars, 188721 del conss, 31268 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20748461 impls, 0 clqs
99.75/99.84	c (round 146) 40252 del vars, 188932 del conss, 31288 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20763143 impls, 0 clqs
100.15/100.24	c (round 147) 40280 del vars, 189016 del conss, 31308 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20777657 impls, 0 clqs
100.55/100.65	c (round 148) 40328 del vars, 189167 del conss, 31339 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20791599 impls, 0 clqs
100.95/101.05	c (round 149) 40359 del vars, 189271 del conss, 31362 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20804999 impls, 0 clqs
101.35/101.46	c (round 150) 40413 del vars, 189443 del conss, 31390 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20818069 impls, 0 clqs
101.75/101.86	c (round 151) 40443 del vars, 189546 del conss, 31412 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20830431 impls, 0 clqs
102.16/102.25	c (round 152) 40494 del vars, 189692 del conss, 31440 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20841001 impls, 0 clqs
102.55/102.62	c (round 153) 40500 del vars, 189770 del conss, 31446 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20841083 impls, 0 clqs
106.04/106.14	c (round 154) 40504 del vars, 206225 del conss, 31450 chg bounds, 0 chg sides, 0 chg coeffs, 333538 upgd conss, 20841141 impls, 0 clqs
107.14/107.22	c presolving (155 rounds):
107.14/107.22	c  40504 deleted vars, 206225 deleted constraints, 31450 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
107.14/107.22	c  20841141 implications, 0 cliques
107.14/107.22	c presolved problem has 83421 variables (83421 bin, 0 int, 0 impl, 0 cont) and 333538 constraints
107.14/107.22	c  333538 constraints of type <logicor>
107.14/107.22	c transformed objective value is always integral (scale: 1)
107.14/107.22	c Presolving Time: 75.42
107.14/107.22	c PURESAT
107.14/107.22	c -----------------------------------------------------------------------------------------------
107.14/107.22	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
107.14/107.22	c # [type: int, range: [-1,2147483647], default: 0]
107.14/107.22	c separating/flowcover/freq = c -1
107.14/107.22	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
107.14/107.22	c # [type: int, range: [-1,2147483647], default: 0]
107.14/107.22	c separating/cmir/freq = c -1
107.14/107.22	c # additional number of allowed LP iterations
107.14/107.22	c # [type: int, range: [0,2147483647], default: 1000]
107.14/107.22	c heuristics/veclendiving/maxlpiterofs = c 1500
107.14/107.22	c # maximal fraction of diving LP iterations compared to node LP iterations
107.14/107.22	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
107.14/107.22	c heuristics/veclendiving/maxlpiterquot = c 0.075
107.14/107.22	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
107.14/107.22	c # [type: int, range: [-1,2147483647], default: 10]
107.14/107.22	c heuristics/veclendiving/freq = c -1
107.14/107.22	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
107.14/107.22	c # [type: int, range: [-1,2147483647], default: 1]
107.14/107.22	c heuristics/simplerounding/freq = c -1
107.14/107.22	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
107.14/107.22	c # [type: int, range: [-1,2147483647], default: 10]
107.14/107.22	c heuristics/shifting/freq = c -1
107.14/107.22	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
107.14/107.22	c # [type: int, range: [-1,2147483647], default: 1]
107.14/107.22	c heuristics/rounding/freq = c -1
107.14/107.22	c # additional number of allowed LP iterations
107.14/107.22	c # [type: int, range: [0,2147483647], default: 1000]
107.14/107.22	c heuristics/rootsoldiving/maxlpiterofs = c 1500
107.14/107.22	c # maximal fraction of diving LP iterations compared to node LP iterations
107.14/107.22	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
107.14/107.22	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
107.14/107.22	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
107.14/107.22	c # [type: int, range: [-1,2147483647], default: 20]
107.14/107.22	c heuristics/rootsoldiving/freq = c -1
107.14/107.22	c # number of nodes added to the contingent of the total nodes
107.14/107.22	c # [type: longint, range: [0,9223372036854775807], default: 500]
107.14/107.22	c heuristics/rens/nodesofs = c 2000
107.14/107.22	c # minimum percentage of integer variables that have to be fixable 
107.14/107.22	c # [type: real, range: [0,1], default: 0.5]
107.14/107.22	c heuristics/rens/minfixingrate = c 0.3
107.14/107.22	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
107.14/107.22	c # [type: int, range: [-1,2147483647], default: 0]
107.14/107.22	c heuristics/rens/freq = c -1
107.14/107.22	c # additional number of allowed LP iterations
107.14/107.22	c # [type: int, range: [0,2147483647], default: 1000]
107.14/107.22	c heuristics/pscostdiving/maxlpiterofs = c 1500
107.14/107.22	c # maximal fraction of diving LP iterations compared to node LP iterations
107.14/107.22	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
107.14/107.22	c heuristics/pscostdiving/maxlpiterquot = c 0.075
107.14/107.22	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
107.14/107.22	c # [type: int, range: [-1,2147483647], default: 10]
107.14/107.22	c heuristics/pscostdiving/freq = c -1
107.14/107.22	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
107.14/107.23	c # [type: int, range: [-1,2147483647], default: 1]
107.14/107.23	c heuristics/oneopt/freq = c -1
107.14/107.23	c # additional number of allowed LP iterations
107.14/107.23	c # [type: int, range: [0,2147483647], default: 1000]
107.14/107.23	c heuristics/objpscostdiving/maxlpiterofs = c 1500
107.14/107.23	c # maximal fraction of diving LP iterations compared to total iteration number
107.14/107.23	c # [type: real, range: [0,1], default: 0.01]
107.14/107.23	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
107.14/107.23	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
107.14/107.23	c # [type: int, range: [-1,2147483647], default: 20]
107.14/107.23	c heuristics/objpscostdiving/freq = c -1
107.14/107.23	c # additional number of allowed LP iterations
107.14/107.23	c # [type: int, range: [0,2147483647], default: 1000]
107.14/107.23	c heuristics/linesearchdiving/maxlpiterofs = c 1500
107.14/107.23	c # maximal fraction of diving LP iterations compared to node LP iterations
107.14/107.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
107.14/107.23	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
107.14/107.23	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
107.14/107.23	c # [type: int, range: [-1,2147483647], default: 10]
107.14/107.23	c heuristics/linesearchdiving/freq = c -1
107.14/107.23	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
107.14/107.23	c # [type: int, range: [-1,2147483647], default: 10]
107.14/107.23	c heuristics/intshifting/freq = c -1
107.14/107.23	c # maximal fraction of diving LP iterations compared to node LP iterations
107.14/107.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
107.14/107.23	c heuristics/intdiving/maxlpiterquot = c 0.075
107.14/107.23	c # additional number of allowed LP iterations
107.14/107.23	c # [type: int, range: [0,2147483647], default: 1000]
107.14/107.23	c heuristics/guideddiving/maxlpiterofs = c 1500
107.14/107.23	c # maximal fraction of diving LP iterations compared to node LP iterations
107.14/107.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
107.14/107.23	c heuristics/guideddiving/maxlpiterquot = c 0.075
107.14/107.23	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
107.14/107.23	c # [type: int, range: [-1,2147483647], default: 10]
107.14/107.23	c heuristics/guideddiving/freq = c -1
107.14/107.23	c # additional number of allowed LP iterations
107.14/107.23	c # [type: int, range: [0,2147483647], default: 1000]
107.14/107.23	c heuristics/fracdiving/maxlpiterofs = c 1500
107.14/107.23	c # maximal fraction of diving LP iterations compared to node LP iterations
107.14/107.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
107.14/107.23	c heuristics/fracdiving/maxlpiterquot = c 0.075
107.14/107.23	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
107.14/107.23	c # [type: int, range: [-1,2147483647], default: 10]
107.14/107.23	c heuristics/fracdiving/freq = c -1
107.14/107.23	c # additional number of allowed LP iterations
107.14/107.23	c # [type: int, range: [0,2147483647], default: 1000]
107.14/107.23	c heuristics/feaspump/maxlpiterofs = c 2000
107.14/107.23	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
107.14/107.23	c # [type: int, range: [-1,2147483647], default: 20]
107.14/107.23	c heuristics/feaspump/freq = c -1
107.14/107.23	c # minimum percentage of integer variables that have to be fixed 
107.14/107.23	c # [type: real, range: [0,1], default: 0.666]
107.14/107.23	c heuristics/crossover/minfixingrate = c 0.5
107.14/107.23	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
107.14/107.23	c # [type: real, range: [0,1], default: 0.1]
107.14/107.23	c heuristics/crossover/nodesquot = c 0.15
107.14/107.23	c # number of nodes without incumbent change that heuristic should wait
107.14/107.23	c # [type: longint, range: [0,9223372036854775807], default: 200]
107.14/107.23	c heuristics/crossover/nwaitingnodes = c 100
107.14/107.23	c # number of nodes added to the contingent of the total nodes
107.14/107.23	c # [type: longint, range: [0,9223372036854775807], default: 500]
107.14/107.23	c heuristics/crossover/nodesofs = c 750
107.14/107.23	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
107.14/107.23	c # [type: int, range: [-1,2147483647], default: 30]
107.14/107.23	c heuristics/crossover/freq = c -1
107.14/107.23	c # additional number of allowed LP iterations
107.14/107.23	c # [type: int, range: [0,2147483647], default: 1000]
107.14/107.23	c heuristics/coefdiving/maxlpiterofs = c 1500
107.14/107.23	c # maximal fraction of diving LP iterations compared to node LP iterations
107.14/107.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
107.14/107.23	c heuristics/coefdiving/maxlpiterquot = c 0.075
107.14/107.23	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
107.14/107.23	c # [type: int, range: [-1,2147483647], default: 10]
107.14/107.23	c heuristics/coefdiving/freq = c -1
107.14/107.23	c # priority of node selection rule <dfs> in standard mode
107.14/107.23	c # [type: int, range: [-536870912,536870911], default: 0]
107.14/107.23	c nodeselection/dfs/stdpriority = c 1000000
107.14/107.23	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
107.14/107.23	c # [type: int, range: [-1,2147483647], default: -1]
107.14/107.23	c presolving/probing/maxrounds = c 0
107.14/107.23	c # should presolving try to simplify knapsacks
107.14/107.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
107.14/107.23	c constraints/knapsack/simplifyinequalities = c TRUE
107.14/107.23	c # should disaggregation of knapsack constraints be allowed in preprocessing?
107.14/107.23	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
107.14/107.23	c constraints/knapsack/disaggregation = c FALSE
107.14/107.23	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
107.24/107.32	c # [type: int, range: [-1,2147483647], default: -1]
107.24/107.32	c constraints/knapsack/maxnumcardlift = c 0
107.24/107.32	c # should presolving try to simplify inequalities
107.24/107.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
107.24/107.32	c constraints/linear/simplifyinequalities = c TRUE
107.24/107.32	c # maximal number of separation rounds in the root node (-1: unlimited)
107.24/107.32	c # [type: int, range: [-1,2147483647], default: -1]
107.24/107.32	c separating/maxroundsroot = c 5
107.24/107.32	c # maximal number of separation rounds per node (-1: unlimited)
107.24/107.32	c # [type: int, range: [-1,2147483647], default: 5]
107.24/107.32	c separating/maxrounds = c 1
107.24/107.32	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)
107.24/107.32	c # [type: char, range: {lafpsqd}, default: l]
107.24/107.32	c lp/pricing = c a
107.24/107.32	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
107.24/107.32	c # [type: int, range: [-1,2147483647], default: 1]
107.24/107.32	c lp/solvefreq = c 0
107.24/107.32	c # solving stops, if the given number of solutions were found (-1: no limit)
107.24/107.32	c # [type: int, range: [-1,2147483647], default: -1]
107.24/107.32	c limits/solutions = c 1
107.24/107.32	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
107.24/107.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
107.24/107.32	c limits/memory = c 1620
107.24/107.32	c # maximal time in seconds to run
107.24/107.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
107.24/107.32	c limits/time = c 1791
107.24/107.32	c # frequency for displaying node information lines
107.24/107.32	c # [type: int, range: [-1,2147483647], default: 100]
107.24/107.32	c display/freq = c 10000
107.24/107.32	c # should enforcement of pseudo solution be disabled?
107.24/107.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
107.24/107.32	c constraints/disableenfops = c TRUE
107.24/107.32	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
107.24/107.32	c # [type: int, range: [-1,2147483647], default: 0]
107.24/107.32	c constraints/agelimit = c 1
107.24/107.32	c # should binary conflicts be preferred?
107.24/107.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
107.24/107.32	c conflict/preferbinary = c TRUE
107.24/107.32	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
107.24/107.32	c # [type: int, range: [-1,2147483647], default: -1]
107.24/107.32	c conflict/interconss = c 0
107.24/107.32	c -----------------------------------------------------------------------------------------------
107.24/107.32	c start solving problem
107.24/107.32	c 
982.24/982.74	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
982.24/982.74	c   951s|     1 |     0 | 38262 |1052M|   0 |  11k|  83k| 333k| 333k|  83k| 333k|   0 |   0 |   0 | 3.434672e+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-1885687-1245268737/watcher-1885687-1245268737 -o /tmp/evaluation-result-1885687-1245268737/solver-1885687-1245268737 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885687-1245268737.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.85 0.97 0.99 3/65 779
/proc/meminfo: memFree=1748224/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=6100 CPUtime=0
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 554 0 0 0 0 0 0 0 19 0 1 0 106295648 6246400 536 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/779/statm: 1525 547 325 886 0 635 0

[startup+0.0364119 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 779
/proc/meminfo: memFree=1748224/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=9956 CPUtime=0.02
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 1820 0 0 0 2 0 0 0 19 0 1 0 106295648 10194944 1802 1992294400 4194304 7823515 548682068736 18446744073709551615 6830472 0 0 4096 0 0 0 0 17 0 0 0
/proc/779/statm: 2489 1802 351 886 0 1599 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9956

[startup+0.101421 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 779
/proc/meminfo: memFree=1748224/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=14436 CPUtime=0.09
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 2913 0 0 0 8 1 0 0 19 0 1 0 106295648 14782464 2895 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 0 0 0
/proc/779/statm: 3609 2895 351 886 0 2719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14436

[startup+0.301444 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 779
/proc/meminfo: memFree=1748224/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=24300 CPUtime=0.29
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 5382 0 0 0 27 2 0 0 20 0 1 0 106295648 24883200 5364 1992294400 4194304 7823515 548682068736 18446744073709551615 4363787 0 0 4096 0 0 0 0 17 0 0 0
/proc/779/statm: 6075 5364 351 886 0 5185 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24300

[startup+0.701495 s]
/proc/loadavg: 0.85 0.97 0.99 3/65 779
/proc/meminfo: memFree=1748224/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=42164 CPUtime=0.69
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 9852 0 0 0 65 4 0 0 24 0 1 0 106295648 43175936 9834 1992294400 4194304 7823515 548682068736 18446744073709551615 4363781 0 0 4096 0 0 0 0 17 0 0 0
/proc/779/statm: 10541 9834 351 886 0 9651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42164

[startup+1.50159 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 780
/proc/meminfo: memFree=1689464/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=95348 CPUtime=1.49
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 23152 0 0 0 140 9 0 0 25 0 1 0 106295648 97636352 23134 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 0 0 0
/proc/779/statm: 23837 23134 351 886 0 22947 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95348

[startup+3.1018 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 780
/proc/meminfo: memFree=1633848/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=142108 CPUtime=3.09
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 34786 0 0 0 295 14 0 0 25 0 1 0 106295648 145518592 34768 1992294400 4194304 7823515 548682068736 18446744073709551615 6896771 0 0 4096 0 0 0 0 17 0 0 0
/proc/779/statm: 35527 34768 351 886 0 34637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142108

[startup+6.3012 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 780
/proc/meminfo: memFree=1546752/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=235636 CPUtime=6.29
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 58141 0 0 0 605 24 0 0 25 0 1 0 106295648 241291264 58123 1992294400 4194304 7823515 548682068736 18446744073709551615 5538352 0 0 4096 0 0 0 0 17 0 0 0
/proc/779/statm: 58909 58123 351 886 0 58019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 235636

[startup+12.702 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 780
/proc/meminfo: memFree=995272/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=785288 CPUtime=12.69
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 195016 0 0 0 1184 85 0 0 25 0 1 0 106295648 804134912 194644 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 196322 194644 418 886 0 195432 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 785288

[startup+25.5016 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 780
/proc/meminfo: memFree=473352/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=1303392 CPUtime=25.48
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 324482 0 0 0 2404 144 0 0 25 0 1 0 106295648 1334673408 324110 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 325848 324120 419 886 0 324958 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1303392

[startup+51.1018 s]
/proc/loadavg: 0.97 0.98 0.99 2/66 780
/proc/meminfo: memFree=341896/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=1411944 CPUtime=51.07
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 351703 0 0 0 4476 631 0 0 25 0 1 0 106295648 1445830656 351331 1992294400 4194304 7823515 548682068736 18446744073709551615 5808243 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 352986 351331 432 886 0 352096 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1411944

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 780
/proc/meminfo: memFree=341640/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=1411944 CPUtime=102.25
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 351703 0 0 0 8003 2222 0 0 25 0 1 0 106295648 1445830656 351331 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 352986 351331 432 886 0 352096 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1411944

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 786
/proc/meminfo: memFree=74504/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=1754092 CPUtime=162.21
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 432967 0 0 0 13865 2356 0 0 25 0 1 0 106295648 1796190208 418066 1992294400 4194304 7823515 548682068736 18446744073709551615 6908153 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 438523 418066 515 886 0 437633 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 1754092

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 786
/proc/meminfo: memFree=34376/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=1771704 CPUtime=222.19
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 443461 0 0 0 19855 2364 0 0 25 0 1 0 106295648 1814224896 428087 1992294400 4194304 7823515 548682068736 18446744073709551615 6212035 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 442926 428087 515 886 0 442036 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1771704

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 786
/proc/meminfo: memFree=24904/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=1777064 CPUtime=282.16
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 445919 0 0 0 25850 2366 0 0 25 0 1 0 106295648 1819713536 430436 1992294400 4194304 7823515 548682068736 18446744073709551615 6908158 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 444266 430436 515 886 0 443376 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 1777064

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 786
/proc/meminfo: memFree=15944/2055920 swapFree=4192812/4192956
[pid=779] ppid=777 vsize=1785748 CPUtime=342.13
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 448175 0 0 0 31845 2368 0 0 25 0 1 0 106295648 1828605952 432692 1992294400 4194304 7823515 548682068736 18446744073709551615 6179751 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 446437 432692 515 886 0 445547 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1785748

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 786
/proc/meminfo: memFree=14984/2055920 swapFree=4191900/4192956
[pid=779] ppid=777 vsize=1786320 CPUtime=402.1
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 449548 0 0 0 37839 2371 0 0 25 0 1 0 106295648 1829191680 434065 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 446580 434065 515 886 0 445690 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 1786320

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 786
/proc/meminfo: memFree=16264/2055920 swapFree=4188112/4192956
[pid=779] ppid=777 vsize=1786688 CPUtime=462.07
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 449984 0 0 0 43835 2372 0 0 25 0 1 0 106295648 1829568512 434501 1992294400 4194304 7823515 548682068736 18446744073709551615 6020392 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 446672 434501 515 886 0 445782 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 1786688

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 786
/proc/meminfo: memFree=15496/2055920 swapFree=4188112/4192956
[pid=779] ppid=777 vsize=1787152 CPUtime=522.06
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 450206 0 0 0 49832 2374 0 0 25 0 1 0 106295648 1830043648 434723 1992294400 4194304 7823515 548682068736 18446744073709551615 6212306 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 446788 434723 515 886 0 445898 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 1787152

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 786
/proc/meminfo: memFree=14984/2055920 swapFree=4188112/4192956
[pid=779] ppid=777 vsize=1787456 CPUtime=582.02
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 450332 0 0 0 55827 2375 0 0 25 0 1 0 106295648 1830354944 434849 1992294400 4194304 7823515 548682068736 18446744073709551615 6212665 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 446864 434849 515 886 0 445974 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 1787456

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 786
/proc/meminfo: memFree=16264/2055920 swapFree=4186520/4192956
[pid=779] ppid=777 vsize=1787740 CPUtime=642
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 450423 0 0 0 61823 2377 0 0 25 0 1 0 106295648 1830645760 434940 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 446935 434940 515 886 0 446045 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 1787740

[startup+702.301 s]

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

/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451011 0 0 0 85807 2381 0 0 25 0 1 0 106295648 1833070592 435522 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447527 435522 515 886 0 446637 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 1790108

[startup+942.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 786
/proc/meminfo: memFree=15048/2055920 swapFree=4185016/4192956
[pid=779] ppid=777 vsize=1790256 CPUtime=941.86
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451186 0 0 0 91803 2383 0 0 25 0 1 0 106295648 1833222144 435697 1992294400 4194304 7823515 548682068736 18446744073709551615 6212045 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447564 435697 515 886 0 446674 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 1790256

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 786
/proc/meminfo: memFree=16264/2055920 swapFree=4185016/4192956
[pid=779] ppid=777 vsize=1790256 CPUtime=1001.83
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451316 0 0 0 97799 2384 0 0 25 0 1 0 106295648 1833222144 435801 1992294400 4194304 7823515 548682068736 18446744073709551615 4344658 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447564 435801 530 886 0 446674 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 1790256

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 786
/proc/meminfo: memFree=16264/2055920 swapFree=4185016/4192956
[pid=779] ppid=777 vsize=1790256 CPUtime=1061.81
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451317 0 0 0 103796 2385 0 0 25 0 1 0 106295648 1833222144 435802 1992294400 4194304 7823515 548682068736 18446744073709551615 4386010 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447564 435802 531 886 0 446674 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 1790256

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 786
/proc/meminfo: memFree=16200/2055920 swapFree=4185016/4192956
[pid=779] ppid=777 vsize=1790256 CPUtime=1121.79
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451318 0 0 0 109793 2386 0 0 25 0 1 0 106295648 1833222144 435803 1992294400 4194304 7823515 548682068736 18446744073709551615 4339117 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447564 435803 532 886 0 446674 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 1790256

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 786
/proc/meminfo: memFree=16136/2055920 swapFree=4185016/4192956
[pid=779] ppid=777 vsize=1790256 CPUtime=1181.76
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451318 0 0 0 115790 2386 0 0 25 0 1 0 106295648 1833222144 435803 1992294400 4194304 7823515 548682068736 18446744073709551615 6722595 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447564 435803 532 886 0 446674 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 1790256

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 786
/proc/meminfo: memFree=16008/2055920 swapFree=4185016/4192956
[pid=779] ppid=777 vsize=1790256 CPUtime=1241.72
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451318 0 0 0 121785 2387 0 0 25 0 1 0 106295648 1833222144 435803 1992294400 4194304 7823515 548682068736 18446744073709551615 6908139 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447564 435803 532 886 0 446674 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 1790256

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 786
/proc/meminfo: memFree=15944/2055920 swapFree=4185016/4192956
[pid=779] ppid=777 vsize=1790256 CPUtime=1301.7
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451318 0 0 0 127782 2388 0 0 25 0 1 0 106295648 1833222144 435803 1992294400 4194304 7823515 548682068736 18446744073709551615 4271256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447564 435803 532 886 0 446674 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 1790256

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 786
/proc/meminfo: memFree=15944/2055920 swapFree=4185016/4192956
[pid=779] ppid=777 vsize=1790256 CPUtime=1361.67
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451320 0 0 0 133778 2389 0 0 25 0 1 0 106295648 1833222144 435805 1992294400 4194304 7823515 548682068736 18446744073709551615 5965385 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447564 435805 533 886 0 446674 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 1790256

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 786
/proc/meminfo: memFree=15944/2055920 swapFree=4185016/4192956
[pid=779] ppid=777 vsize=1790256 CPUtime=1421.65
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451320 0 0 0 139775 2390 0 0 25 0 1 0 106295648 1833222144 435805 1992294400 4194304 7823515 548682068736 18446744073709551615 4273488 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447564 435805 533 886 0 446674 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 1790256

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 786
/proc/meminfo: memFree=15880/2055920 swapFree=4185016/4192956
[pid=779] ppid=777 vsize=1790256 CPUtime=1481.62
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451321 0 0 0 145771 2391 0 0 25 0 1 0 106295648 1833222144 435806 1992294400 4194304 7823515 548682068736 18446744073709551615 4386013 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447564 435806 533 886 0 446674 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 1790256

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 786
/proc/meminfo: memFree=15816/2055920 swapFree=4185016/4192956
[pid=779] ppid=777 vsize=1790256 CPUtime=1541.6
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451321 0 0 0 151768 2392 0 0 25 0 1 0 106295648 1833222144 435806 1992294400 4194304 7823515 548682068736 18446744073709551615 4273429 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447564 435806 533 886 0 446674 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 1790256

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 786
/proc/meminfo: memFree=15816/2055920 swapFree=4185016/4192956
[pid=779] ppid=777 vsize=1790256 CPUtime=1601.57
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 451323 0 0 0 157764 2393 0 0 25 0 1 0 106295648 1833222144 435808 1992294400 4194304 7823515 548682068736 18446744073709551615 4273488 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 447564 435808 533 886 0 446674 0
Current children cumulated CPU time (s) 1601.57
Current children cumulated vsize (KiB) 1790256

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 786
/proc/meminfo: memFree=16520/2055920 swapFree=4182060/4192956
[pid=779] ppid=777 vsize=1811872 CPUtime=1661.54
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 459239 0 0 0 163758 2396 0 0 25 0 1 0 106295648 1855356928 443724 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 452968 443724 533 886 0 452078 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 1811872



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1694.6 s]
/proc/loadavg: 1.00 1.00 1.00 4/66 786
/proc/meminfo: memFree=13704/2055920 swapFree=4182060/4192956
[pid=779] ppid=777 vsize=1865480 CPUtime=1693.81
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 468836 0 0 0 166703 2678 0 0 25 0 1 0 106295648 1910251520 453321 1992294400 4194304 7823515 548682068736 18446744073709551615 6912034 0 0 4096 16384 0 0 0 17 1 0 0
/proc/779/statm: 466370 453322 534 886 0 465480 0
Current children cumulated CPU time (s) 1693.81
Current children cumulated vsize (KiB) 1865480

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -779

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

[startup+1695.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 787
/proc/meminfo: memFree=15616/2055920 swapFree=4182060/4192956
[pid=779] ppid=777 vsize=1836336 CPUtime=1695
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 475716 0 0 0 166817 2683 0 0 25 0 1 0 106295648 1880408064 449543 1992294400 4194304 7823515 548682068736 18446744073709551615 5651154 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 459084 449543 540 886 0 458194 0
Current children cumulated CPU time (s) 1695
Current children cumulated vsize (KiB) 1836336

[startup+1696.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 787
/proc/meminfo: memFree=57216/2055920 swapFree=4182060/4192956
[pid=779] ppid=777 vsize=1836336 CPUtime=1695.8
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4194304 475720 0 0 0 166897 2683 0 0 25 0 1 0 106295648 1880408064 449547 1992294400 4194304 7823515 548682068736 18446744073709551615 5651300 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 459084 449547 540 886 0 458194 0
Current children cumulated CPU time (s) 1695.8
Current children cumulated vsize (KiB) 1836336

[startup+1696.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 787
/proc/meminfo: memFree=57216/2055920 swapFree=4182060/4192956
[pid=779] ppid=777 vsize=0 CPUtime=1696
/proc/779/stat : 779 (pbscip.linux.x8) R 777 779 742 0 -1 4195332 475720 0 0 0 166898 2702 0 0 25 0 1 0 106295648 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/779/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1696
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1696.87
CPU time (s): 1696.07
CPU user time (s): 1668.98
CPU system time (s): 27.0909
CPU usage (%): 99.9533
Max. virtual memory (cumulated for all children) (KiB): 1886696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1668.98
system time used= 27.0909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3679

runsolver used 1.83272 second user time and 4.32634 second system time

The end

Launcher Data 

Begin job on node92 at 2009-06-17 21:58:58
IDJOB=1885687
IDBENCH=72082
IDSOLVER=683
FILE ID=node92/1885687-1245268737
PBS_JOBID= 9372478
Free space on /tmp= 66448 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/ACG-10-5p0.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885687-1245268737/watcher-1885687-1245268737 -o /tmp/evaluation-result-1885687-1245268737/solver-1885687-1245268737 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885687-1245268737.opb

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

MD5SUM BENCH= c0b46ecc3255f9cd86a2192748dc4f54
RANDOM SEED=1640198898

node92.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.233
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.233
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:       1748640 kB
Buffers:         53452 kB
Cached:         179920 kB
SwapCached:        140 kB
Active:          90472 kB
Inactive:       156840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1748640 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           26160 kB
Writeback:           0 kB
Mapped:          23492 kB
Slab:            45816 kB
Committed_AS:   121384 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66440 MiB
End job on node92 at 2009-06-17 22:27:15