Trace number 1885688

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? (MO) 1134.47 1134.8

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.99/8.04	c SCIP version 1.1.0.7
7.99/8.04	c LP-Solver Clp 1.8.2
7.99/8.04	c user parameter file <scip.set> not found - using default parameters
7.99/8.04	c read problem <HOME/instance-1885688-1245268745.opb>
7.99/8.04	c original problem has 123925 variables (123925 bin, 0 int, 0 impl, 0 cont) and 539763 constraints
10.08/10.16	c No objective function, only one solution is needed.
10.08/10.16	c start presolving problem
10.08/10.16	c presolving:
33.38/33.47	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
36.07/36.15	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
37.97/38.01	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
39.77/39.85	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
40.27/40.34	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
40.76/40.83	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
41.27/41.33	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
41.77/41.84	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
42.26/42.35	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
42.77/42.86	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
43.27/43.36	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
43.77/43.86	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
44.27/44.36	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
44.76/44.86	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
45.27/45.36	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
45.77/45.86	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
46.27/46.37	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
46.77/46.86	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
47.27/47.34	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
47.77/47.82	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
48.27/48.30	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
48.66/48.79	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
49.17/49.27	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
49.66/49.77	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
50.17/50.25	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
50.67/50.74	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
51.16/51.21	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
51.57/51.69	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
52.06/52.17	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
52.56/52.65	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
53.07/53.12	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
53.57/53.61	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
54.06/54.11	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
54.47/54.59	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
54.96/55.06	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
55.46/55.54	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
55.96/56.01	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
56.36/56.49	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
56.86/56.97	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
57.36/57.45	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
57.87/57.94	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
58.36/58.42	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
58.76/58.89	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
59.26/59.37	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
59.76/59.84	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
60.26/60.32	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
60.66/60.80	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
61.16/61.29	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
61.66/61.79	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
62.17/62.27	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
62.66/62.74	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
63.16/63.21	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
63.56/63.69	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
64.07/64.17	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
64.56/64.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
65.06/65.12	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
65.46/65.59	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
65.96/66.06	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
66.46/66.52	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
66.86/66.98	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
67.36/67.44	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
67.86/67.90	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
68.26/68.36	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
68.76/68.83	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
69.26/69.30	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
69.66/69.76	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
70.16/70.21	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
70.56/70.67	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
71.06/71.11	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
71.46/71.56	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
71.95/72.02	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
72.35/72.48	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
72.86/72.94	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
73.35/73.40	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
73.75/73.85	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
74.25/74.30	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
74.66/74.76	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
75.15/75.22	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
75.56/75.68	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
76.05/76.15	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
76.55/76.63	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
76.96/77.09	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
77.45/77.54	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
77.85/77.99	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
78.35/78.44	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
78.85/78.90	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
79.25/79.36	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
79.75/79.80	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
80.16/80.24	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
80.55/80.68	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
81.05/81.11	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
81.45/81.55	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
81.85/81.98	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
82.35/82.42	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
82.75/82.85	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
83.15/83.29	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
83.65/83.73	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
84.05/84.17	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
84.45/84.60	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
84.95/85.03	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
85.35/85.45	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
85.76/85.87	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
86.14/86.30	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
86.64/86.72	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
87.05/87.15	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
87.44/87.57	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
87.85/87.99	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
88.35/88.41	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
88.75/88.83	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
89.15/89.26	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
89.55/89.68	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
90.05/90.10	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
90.45/90.53	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
90.85/90.96	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
91.25/91.38	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
91.74/91.80	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
92.15/92.23	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
92.54/92.65	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
92.95/93.07	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
93.35/93.50	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
93.84/93.92	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
94.25/94.35	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
94.64/94.77	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
95.04/95.19	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
95.55/95.62	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
95.95/96.05	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
96.34/96.47	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
96.84/96.90	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
97.24/97.33	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
97.64/97.76	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
98.04/98.18	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
98.55/98.60	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
98.95/99.03	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
99.34/99.46	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
99.74/99.88	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
100.24/100.31	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
100.64/100.73	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
101.05/101.16	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
101.44/101.58	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
101.94/102.01	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
102.33/102.43	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
102.74/102.85	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
103.14/103.28	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
103.64/103.70	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
104.03/104.13	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
104.44/104.56	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
104.83/104.98	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
105.24/105.40	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
105.74/105.82	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
106.13/106.24	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
106.54/106.66	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
106.94/107.06	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
107.34/107.45	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
111.04/111.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
112.14/112.26	c presolving (155 rounds):
112.14/112.26	c  40504 deleted vars, 206225 deleted constraints, 31450 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
112.14/112.26	c  20841141 implications, 0 cliques
112.14/112.26	c presolved problem has 83421 variables (83421 bin, 0 int, 0 impl, 0 cont) and 333538 constraints
112.14/112.26	c  333538 constraints of type <logicor>
112.14/112.26	c transformed objective value is always integral (scale: 1)
112.14/112.26	c Presolving Time: 78.08
112.14/112.26	c PURESAT
112.14/112.26	c -----------------------------------------------------------------------------------------------
112.14/112.26	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 0]
112.14/112.26	c separating/flowcover/freq = c -1
112.14/112.26	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 0]
112.14/112.26	c separating/cmir/freq = c -1
112.14/112.26	c # additional number of allowed LP iterations
112.14/112.26	c # [type: int, range: [0,2147483647], default: 1000]
112.14/112.26	c heuristics/veclendiving/maxlpiterofs = c 1500
112.14/112.26	c # maximal fraction of diving LP iterations compared to node LP iterations
112.14/112.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.14/112.26	c heuristics/veclendiving/maxlpiterquot = c 0.075
112.14/112.26	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 10]
112.14/112.26	c heuristics/veclendiving/freq = c -1
112.14/112.26	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 1]
112.14/112.26	c heuristics/simplerounding/freq = c -1
112.14/112.26	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 10]
112.14/112.26	c heuristics/shifting/freq = c -1
112.14/112.26	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 1]
112.14/112.26	c heuristics/rounding/freq = c -1
112.14/112.26	c # additional number of allowed LP iterations
112.14/112.26	c # [type: int, range: [0,2147483647], default: 1000]
112.14/112.26	c heuristics/rootsoldiving/maxlpiterofs = c 1500
112.14/112.26	c # maximal fraction of diving LP iterations compared to node LP iterations
112.14/112.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
112.14/112.26	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
112.14/112.26	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 20]
112.14/112.26	c heuristics/rootsoldiving/freq = c -1
112.14/112.26	c # number of nodes added to the contingent of the total nodes
112.14/112.26	c # [type: longint, range: [0,9223372036854775807], default: 500]
112.14/112.26	c heuristics/rens/nodesofs = c 2000
112.14/112.26	c # minimum percentage of integer variables that have to be fixable 
112.14/112.26	c # [type: real, range: [0,1], default: 0.5]
112.14/112.26	c heuristics/rens/minfixingrate = c 0.3
112.14/112.26	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 0]
112.14/112.26	c heuristics/rens/freq = c -1
112.14/112.26	c # additional number of allowed LP iterations
112.14/112.26	c # [type: int, range: [0,2147483647], default: 1000]
112.14/112.26	c heuristics/pscostdiving/maxlpiterofs = c 1500
112.14/112.26	c # maximal fraction of diving LP iterations compared to node LP iterations
112.14/112.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.14/112.26	c heuristics/pscostdiving/maxlpiterquot = c 0.075
112.14/112.26	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 10]
112.14/112.26	c heuristics/pscostdiving/freq = c -1
112.14/112.26	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 1]
112.14/112.26	c heuristics/oneopt/freq = c -1
112.14/112.26	c # additional number of allowed LP iterations
112.14/112.26	c # [type: int, range: [0,2147483647], default: 1000]
112.14/112.26	c heuristics/objpscostdiving/maxlpiterofs = c 1500
112.14/112.26	c # maximal fraction of diving LP iterations compared to total iteration number
112.14/112.26	c # [type: real, range: [0,1], default: 0.01]
112.14/112.26	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
112.14/112.26	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 20]
112.14/112.26	c heuristics/objpscostdiving/freq = c -1
112.14/112.26	c # additional number of allowed LP iterations
112.14/112.26	c # [type: int, range: [0,2147483647], default: 1000]
112.14/112.26	c heuristics/linesearchdiving/maxlpiterofs = c 1500
112.14/112.26	c # maximal fraction of diving LP iterations compared to node LP iterations
112.14/112.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.14/112.26	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
112.14/112.26	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 10]
112.14/112.26	c heuristics/linesearchdiving/freq = c -1
112.14/112.26	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 10]
112.14/112.26	c heuristics/intshifting/freq = c -1
112.14/112.26	c # maximal fraction of diving LP iterations compared to node LP iterations
112.14/112.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.14/112.26	c heuristics/intdiving/maxlpiterquot = c 0.075
112.14/112.26	c # additional number of allowed LP iterations
112.14/112.26	c # [type: int, range: [0,2147483647], default: 1000]
112.14/112.26	c heuristics/guideddiving/maxlpiterofs = c 1500
112.14/112.26	c # maximal fraction of diving LP iterations compared to node LP iterations
112.14/112.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.14/112.26	c heuristics/guideddiving/maxlpiterquot = c 0.075
112.14/112.26	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
112.14/112.26	c # [type: int, range: [-1,2147483647], default: 10]
112.14/112.27	c heuristics/guideddiving/freq = c -1
112.14/112.27	c # additional number of allowed LP iterations
112.14/112.27	c # [type: int, range: [0,2147483647], default: 1000]
112.14/112.27	c heuristics/fracdiving/maxlpiterofs = c 1500
112.14/112.27	c # maximal fraction of diving LP iterations compared to node LP iterations
112.14/112.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.14/112.27	c heuristics/fracdiving/maxlpiterquot = c 0.075
112.14/112.27	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
112.14/112.27	c # [type: int, range: [-1,2147483647], default: 10]
112.14/112.27	c heuristics/fracdiving/freq = c -1
112.14/112.27	c # additional number of allowed LP iterations
112.14/112.27	c # [type: int, range: [0,2147483647], default: 1000]
112.14/112.27	c heuristics/feaspump/maxlpiterofs = c 2000
112.14/112.27	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
112.14/112.27	c # [type: int, range: [-1,2147483647], default: 20]
112.14/112.27	c heuristics/feaspump/freq = c -1
112.14/112.27	c # minimum percentage of integer variables that have to be fixed 
112.14/112.27	c # [type: real, range: [0,1], default: 0.666]
112.14/112.27	c heuristics/crossover/minfixingrate = c 0.5
112.14/112.27	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
112.14/112.27	c # [type: real, range: [0,1], default: 0.1]
112.14/112.27	c heuristics/crossover/nodesquot = c 0.15
112.14/112.27	c # number of nodes without incumbent change that heuristic should wait
112.14/112.27	c # [type: longint, range: [0,9223372036854775807], default: 200]
112.14/112.27	c heuristics/crossover/nwaitingnodes = c 100
112.14/112.27	c # number of nodes added to the contingent of the total nodes
112.14/112.27	c # [type: longint, range: [0,9223372036854775807], default: 500]
112.14/112.27	c heuristics/crossover/nodesofs = c 750
112.14/112.27	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
112.14/112.27	c # [type: int, range: [-1,2147483647], default: 30]
112.14/112.27	c heuristics/crossover/freq = c -1
112.14/112.27	c # additional number of allowed LP iterations
112.14/112.27	c # [type: int, range: [0,2147483647], default: 1000]
112.14/112.27	c heuristics/coefdiving/maxlpiterofs = c 1500
112.14/112.27	c # maximal fraction of diving LP iterations compared to node LP iterations
112.14/112.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.14/112.27	c heuristics/coefdiving/maxlpiterquot = c 0.075
112.14/112.27	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
112.14/112.27	c # [type: int, range: [-1,2147483647], default: 10]
112.14/112.27	c heuristics/coefdiving/freq = c -1
112.14/112.27	c # priority of node selection rule <dfs> in standard mode
112.14/112.27	c # [type: int, range: [-536870912,536870911], default: 0]
112.14/112.27	c nodeselection/dfs/stdpriority = c 1000000
112.14/112.27	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
112.14/112.27	c # [type: int, range: [-1,2147483647], default: -1]
112.14/112.27	c presolving/probing/maxrounds = c 0
112.14/112.27	c # should presolving try to simplify knapsacks
112.14/112.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.14/112.27	c constraints/knapsack/simplifyinequalities = c TRUE
112.14/112.27	c # should disaggregation of knapsack constraints be allowed in preprocessing?
112.14/112.27	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
112.14/112.27	c constraints/knapsack/disaggregation = c FALSE
112.14/112.27	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
112.23/112.36	c # [type: int, range: [-1,2147483647], default: -1]
112.23/112.36	c constraints/knapsack/maxnumcardlift = c 0
112.23/112.36	c # should presolving try to simplify inequalities
112.23/112.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.23/112.36	c constraints/linear/simplifyinequalities = c TRUE
112.23/112.36	c # maximal number of separation rounds in the root node (-1: unlimited)
112.23/112.36	c # [type: int, range: [-1,2147483647], default: -1]
112.23/112.36	c separating/maxroundsroot = c 5
112.23/112.36	c # maximal number of separation rounds per node (-1: unlimited)
112.23/112.36	c # [type: int, range: [-1,2147483647], default: 5]
112.23/112.36	c separating/maxrounds = c 1
112.23/112.36	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)
112.23/112.36	c # [type: char, range: {lafpsqd}, default: l]
112.23/112.36	c lp/pricing = c a
112.23/112.36	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
112.23/112.36	c # [type: int, range: [-1,2147483647], default: 1]
112.23/112.36	c lp/solvefreq = c 0
112.23/112.36	c # solving stops, if the given number of solutions were found (-1: no limit)
112.23/112.36	c # [type: int, range: [-1,2147483647], default: -1]
112.23/112.36	c limits/solutions = c 1
112.23/112.36	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
112.23/112.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
112.23/112.36	c limits/memory = c 1620
112.23/112.36	c # maximal time in seconds to run
112.23/112.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
112.23/112.36	c limits/time = c 1791
112.23/112.36	c # frequency for displaying node information lines
112.23/112.36	c # [type: int, range: [-1,2147483647], default: 100]
112.23/112.36	c display/freq = c 10000
112.23/112.36	c # should enforcement of pseudo solution be disabled?
112.23/112.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.23/112.36	c constraints/disableenfops = c TRUE
112.23/112.36	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
112.23/112.36	c # [type: int, range: [-1,2147483647], default: 0]
112.23/112.36	c constraints/agelimit = c 1
112.23/112.36	c # should binary conflicts be preferred?
112.23/112.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.23/112.36	c conflict/preferbinary = c TRUE
112.23/112.36	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
112.23/112.36	c # [type: int, range: [-1,2147483647], default: -1]
112.23/112.36	c conflict/interconss = c 0
112.23/112.36	c -----------------------------------------------------------------------------------------------
112.23/112.36	c start solving problem
112.23/112.36	c 
442.44/442.62	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
442.44/442.62	c   409s|     1 |     0 | 36752 |1052M|   0 |  11k|  83k| 333k| 333k|  83k| 333k|   0 |   0 |   0 | 3.434672e+03 |      --      |    Inf 
1134.16/1134.52	c [src/scip/sepa_clique.c:176] ERROR: Insufficient memory for reallocation of 51567044 bytes
1134.16/1134.52	c [src/scip/sepa_clique.c:176] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/scip/sepa_clique.c:647] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/scip/sepa_clique.c:818] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/scip/sepa_clique.c:1172] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/scip/sepa_clique.c:1287] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/scip/sepa.c:321] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/scip/solve.c:951] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/scip/solve.c:1653] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/scip/solve.c:1858] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/scip/solve.c:2513] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/scip/solve.c:3110] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/scip/scip.c:5251] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/cmain.c:772] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/cmain.c:1137] ERROR: Error <-1> in function call
1134.16/1134.52	c [src/cmain.c:1217] ERROR: Error <-1> in function call
1134.16/1134.52	c SCIP Error (-1): c insufficient memory errorc 
1134.16/1134.52	c Time complete: 1134.18.

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-1885688-1245268745/watcher-1885688-1245268745 -o /tmp/evaluation-result-1885688-1245268745/solver-1885688-1245268745 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885688-1245268745.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 1.00 0.97 3/64 9754
/proc/meminfo: memFree=1734008/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=5812 CPUtime=0
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 194473914 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/9754/statm: 1453 502 332 1256 0 192 0

[startup+0.0747021 s]
/proc/loadavg: 0.92 1.00 0.97 3/64 9754
/proc/meminfo: memFree=1734008/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=13100 CPUtime=0.06
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 2243 0 0 0 6 0 0 0 18 0 1 0 194473914 13414400 2227 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/9754/statm: 3275 2227 376 1256 0 2014 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13100

[startup+0.101704 s]
/proc/loadavg: 0.92 1.00 0.97 3/64 9754
/proc/meminfo: memFree=1734008/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=15896 CPUtime=0.09
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 2945 0 0 0 8 1 0 0 18 0 1 0 194473914 16277504 2929 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/9754/statm: 3974 2929 376 1256 0 2713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15896

[startup+0.301726 s]
/proc/loadavg: 0.92 1.00 0.97 3/64 9754
/proc/meminfo: memFree=1734008/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=24628 CPUtime=0.29
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 5143 0 0 0 27 2 0 0 19 0 1 0 194473914 25219072 5127 1992294400 4194304 9342243 548682068736 18446744073709551615 8142427 0 0 4096 0 0 0 0 17 1 0 0
/proc/9754/statm: 6157 5127 376 1256 0 4896 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24628

[startup+0.70177 s]
/proc/loadavg: 0.92 1.00 0.97 3/64 9754
/proc/meminfo: memFree=1734008/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=39400 CPUtime=0.69
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 8827 0 0 0 65 4 0 0 22 0 1 0 194473914 40345600 8811 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/9754/statm: 9850 8811 376 1256 0 8589 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39400

[startup+1.50186 s]
/proc/loadavg: 0.92 1.00 0.97 2/65 9755
/proc/meminfo: memFree=1681648/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=90660 CPUtime=1.49
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 21575 0 0 0 140 9 0 0 25 0 1 0 194473914 92835840 21559 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/9754/statm: 22665 21559 376 1256 0 21404 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90660

[startup+3.10103 s]
/proc/loadavg: 0.93 1.00 0.97 2/65 9755
/proc/meminfo: memFree=1623792/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=138080 CPUtime=3.09
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 33430 0 0 0 295 14 0 0 25 0 1 0 194473914 141393920 33414 1992294400 4194304 9342243 548682068736 18446744073709551615 8247768 0 0 4096 0 0 0 0 17 1 0 0
/proc/9754/statm: 34520 33414 376 1256 0 33259 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 138080

[startup+6.30139 s]
/proc/loadavg: 0.93 1.00 0.97 2/65 9755
/proc/meminfo: memFree=1544176/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=220988 CPUtime=6.29
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 54087 0 0 0 606 23 0 0 25 0 1 0 194473914 226291712 54071 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/9754/statm: 55247 54071 376 1256 0 53986 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 220988

[startup+12.7011 s]
/proc/loadavg: 0.94 1.00 0.97 2/65 9755
/proc/meminfo: memFree=1008688/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=755888 CPUtime=12.69
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 187413 0 0 0 1183 86 0 0 25 0 1 0 194473914 774029312 187043 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 188972 187043 460 1256 0 187711 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 755888

[startup+25.5015 s]
/proc/loadavg: 0.95 1.00 0.97 2/65 9755
/proc/meminfo: memFree=520432/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1232000 CPUtime=25.48
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 306442 0 0 0 2400 148 0 0 25 0 1 0 194473914 1261568000 306072 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 308000 306072 461 1256 0 306739 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1232000

[startup+51.1013 s]
/proc/loadavg: 0.96 1.00 0.97 2/65 9755
/proc/meminfo: memFree=327472/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1413260 CPUtime=51.06
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 351778 0 0 0 4507 599 0 0 25 0 1 0 194473914 1447178240 351408 1992294400 4194304 9342243 548682068736 18446744073709551615 5417170 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 353315 351408 474 1256 0 352054 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1413260

[startup+102.306 s]
/proc/loadavg: 0.98 1.00 0.97 2/65 9755
/proc/meminfo: memFree=327280/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1413260 CPUtime=102.24
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 351778 0 0 0 7989 2235 0 0 25 0 1 0 194473914 1447178240 351408 1992294400 4194304 9342243 548682068736 18446744073709551615 5417618 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 353315 351408 474 1256 0 352054 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1413260

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=51248/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1780472 CPUtime=162.22
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 447524 0 0 0 13682 2540 0 0 25 0 1 0 194473914 1823203328 420388 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 445118 420388 612 1256 0 443857 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1780472

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=45424/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1786128 CPUtime=222.19
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 478356 0 0 0 19664 2555 0 0 25 0 1 0 194473914 1828995072 421829 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 446532 421829 612 1256 0 445271 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1786128

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=62384/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1791632 CPUtime=282.19
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 500331 0 0 0 25651 2568 0 0 25 0 1 0 194473914 1834631168 417614 1992294400 4194304 9342243 548682068736 18446744073709551615 6959521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 447908 417614 612 1256 0 446647 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1791632

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=58608/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1792872 CPUtime=342.17
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 509817 0 0 0 31643 2574 0 0 25 0 1 0 194473914 1835900928 418523 1992294400 4194304 9342243 548682068736 18446744073709551615 6965691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 448218 418523 612 1256 0 446957 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1792872

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=57008/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1793628 CPUtime=402.15
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 518087 0 0 0 37635 2580 0 0 25 0 1 0 194473914 1836675072 418926 1992294400 4194304 9342243 548682068736 18446744073709551615 6962268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 448407 418926 612 1256 0 447146 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1793628

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=47792/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1799668 CPUtime=462.13
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 527877 0 0 0 43627 2586 0 0 25 0 1 0 194473914 1842860032 421231 1992294400 4194304 9342243 548682068736 18446744073709551615 6952845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 449917 421231 628 1256 0 448656 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1799668

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=47728/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1799668 CPUtime=522.12
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 527879 0 0 0 49625 2587 0 0 25 0 1 0 194473914 1842860032 421233 1992294400 4194304 9342243 548682068736 18446744073709551615 4343102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 449917 421233 629 1256 0 448656 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1799668

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=47728/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1799668 CPUtime=582.1
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 527880 0 0 0 55623 2587 0 0 25 0 1 0 194473914 1842860032 421234 1992294400 4194304 9342243 548682068736 18446744073709551615 6939148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 449917 421234 630 1256 0 448656 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1799668

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=47728/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1799668 CPUtime=642.09
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 527883 0 0 0 61620 2589 0 0 25 0 1 0 194473914 1842860032 421237 1992294400 4194304 9342243 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 449917 421237 630 1256 0 448656 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 1799668

[startup+702.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=47600/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1799668 CPUtime=702.07
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 527884 0 0 0 67618 2589 0 0 25 0 1 0 194473914 1842860032 421238 1992294400 4194304 9342243 548682068736 18446744073709551615 4345406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 449917 421238 630 1256 0 448656 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 1799668

[startup+762.306 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=47600/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1799668 CPUtime=762.06
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 527884 0 0 0 73616 2590 0 0 25 0 1 0 194473914 1842860032 421238 1992294400 4194304 9342243 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 449917 421238 630 1256 0 448656 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 1799668

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=45168/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1799668 CPUtime=822.04
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 528572 0 0 0 79614 2590 0 0 25 0 1 0 194473914 1842860032 421926 1992294400 4194304 9342243 548682068736 18446744073709551615 4274204 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 449917 421926 631 1256 0 448656 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 1799668

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=44528/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1799668 CPUtime=882.03
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 528656 0 0 0 85612 2591 0 0 25 0 1 0 194473914 1842860032 422010 1992294400 4194304 9342243 548682068736 18446744073709551615 4386321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 449917 422010 631 1256 0 448656 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 1799668

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=41968/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1799668 CPUtime=942.01
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 529382 0 0 0 91609 2592 0 0 25 0 1 0 194473914 1842860032 422736 1992294400 4194304 9342243 548682068736 18446744073709551615 4273522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 449917 422736 631 1256 0 448656 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1799668

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=40688/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1799668 CPUtime=1001.99
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 529620 0 0 0 97607 2592 0 0 25 0 1 0 194473914 1842860032 422974 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 449917 422974 631 1256 0 448656 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1799668

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=30000/2055920 swapFree=4181932/4192956
[pid=9754] ppid=9752 vsize=1799668 CPUtime=1061.98
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 532279 0 0 0 103604 2594 0 0 25 0 1 0 194473914 1842860032 425633 1992294400 4194304 9342243 548682068736 18446744073709551615 4277129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 449917 425633 631 1256 0 448656 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1799668

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=16112/2055920 swapFree=4181860/4192956
[pid=9754] ppid=9752 vsize=1841520 CPUtime=1121.96
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 544481 0 0 0 109413 2783 0 0 25 0 1 0 194473914 1885716480 437835 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 460380 437835 632 1256 0 459119 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1841520



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1132.6 s]
/proc/loadavg: 0.99 1.00 0.97 2/65 9761
/proc/meminfo: memFree=16112/2055920 swapFree=4181860/4192956
[pid=9754] ppid=9752 vsize=1843928 CPUtime=1132.27
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 544916 0 0 0 110317 2910 0 0 25 0 1 0 194473914 1888182272 438270 1992294400 4194304 9342243 548682068736 18446744073709551615 5562322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 460982 438271 632 1256 0 459721 0
Current children cumulated CPU time (s) 1132.27
Current children cumulated vsize (KiB) 1843928

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9754

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

[startup+1133.4 s]
/proc/loadavg: 0.99 1.00 0.97 2/66 9762
/proc/meminfo: memFree=15720/2055920 swapFree=4181860/4192956
[pid=9754] ppid=9752 vsize=1862992 CPUtime=1133.06
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 548969 0 0 0 110395 2911 0 0 25 0 1 0 194473914 1907703808 442323 1992294400 4194304 9342243 548682068736 18446744073709551615 5562322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 465748 442323 632 1256 0 464487 0
Current children cumulated CPU time (s) 1133.06
Current children cumulated vsize (KiB) 1862992

[startup+1134.2 s]
/proc/loadavg: 0.99 1.00 0.97 2/66 9762
/proc/meminfo: memFree=15144/2055920 swapFree=4181860/4192956
[pid=9754] ppid=9752 vsize=1886044 CPUtime=1133.86
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194304 553137 0 0 0 110474 2912 0 0 25 0 1 0 194473914 1931309056 446491 1992294400 4194304 9342243 548682068736 18446744073709551615 5562322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 471511 446491 632 1256 0 470250 0
Current children cumulated CPU time (s) 1133.86
Current children cumulated vsize (KiB) 1886044

[startup+1134.6 s]
/proc/loadavg: 0.99 1.00 0.97 2/66 9762
/proc/meminfo: memFree=15144/2055920 swapFree=4181860/4192956
[pid=9754] ppid=9752 vsize=0 CPUtime=1134.25
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194308 554995 0 0 0 110505 2920 0 0 25 0 1 0 194473914 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1134.25
Current children cumulated vsize (KiB) 0

[startup+1134.7 s]
/proc/loadavg: 0.99 1.00 0.97 2/66 9762
/proc/meminfo: memFree=15144/2055920 swapFree=4181860/4192956
[pid=9754] ppid=9752 vsize=0 CPUtime=1134.35
/proc/9754/stat : 9754 (pbscip.linux.x8) R 9752 9754 9717 0 -1 4194308 554995 0 0 0 110505 2930 0 0 25 0 1 0 194473914 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9754/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1134.35
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 1134.8
CPU time (s): 1134.47
CPU user time (s): 1105.06
CPU system time (s): 29.4085
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1886044

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

runsolver used 0.900863 second user time and 2.53062 second system time

The end

Launcher Data 

Begin job on node35 at 2009-06-17 21:59:06
IDJOB=1885688
IDBENCH=72082
IDSOLVER=684
FILE ID=node35/1885688-1245268745
PBS_JOBID= 9372479
Free space on /tmp= 66120 MiB

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

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

MD5SUM BENCH= c0b46ecc3255f9cd86a2192748dc4f54
RANDOM SEED=1353875617

node35.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1734424 kB
Buffers:         29020 kB
Cached:         229644 kB
SwapCached:       4972 kB
Active:          98504 kB
Inactive:       168108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1734424 kB
SwapTotal:     4192956 kB
SwapFree:      4181932 kB
Dirty:           28172 kB
Writeback:           0 kB
Mapped:          13880 kB
Slab:            40880 kB
Committed_AS:   223316 kB
PageTables:       1400 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= 66108 MiB
End job on node35 at 2009-06-17 22:18:01