Trace number 1885718

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? (TO) 1802.33 1802.85

General information on the benchmark

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

Solver Data 

6.89/6.93	c SCIP version 1.1.0.7
6.89/6.93	c LP-Solver Clp 1.8.2
6.89/6.93	c user parameter file <scip.set> not found - using default parameters
6.89/6.93	c read problem <HOME/instance-1885718-1245269076.opb>
6.89/6.93	c original problem has 104479 variables (104479 bin, 0 int, 0 impl, 0 cont) and 500869 constraints
8.79/8.81	c No objective function, only one solution is needed.
8.79/8.81	c start presolving problem
8.79/8.81	c presolving:
30.08/30.13	c (round 1) 6194 del vars, 5838 del conss, 5498 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16132782 impls, 0 clqs
32.78/32.82	c (round 2) 17615 del vars, 85141 del conss, 16730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16198855 impls, 0 clqs
34.48/34.54	c (round 3) 18802 del vars, 109013 del conss, 17818 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16667908 impls, 0 clqs
36.19/36.23	c (round 4) 23018 del vars, 132122 del conss, 21938 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16681566 impls, 0 clqs
36.58/36.65	c (round 5) 23240 del vars, 132832 del conss, 22088 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16698608 impls, 0 clqs
36.98/37.07	c (round 6) 23466 del vars, 133560 del conss, 22238 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16715308 impls, 0 clqs
37.39/37.50	c (round 7) 23697 del vars, 134320 del conss, 22388 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16734934 impls, 0 clqs
37.88/37.91	c (round 8) 23912 del vars, 135030 del conss, 22532 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16751216 impls, 0 clqs
38.28/38.34	c (round 9) 24130 del vars, 135762 del conss, 22671 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16769773 impls, 0 clqs
38.67/38.76	c (round 10) 24332 del vars, 136430 del conss, 22805 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16788714 impls, 0 clqs
39.08/39.18	c (round 11) 24536 del vars, 137118 del conss, 22935 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16808184 impls, 0 clqs
39.48/39.60	c (round 12) 24725 del vars, 137758 del conss, 23059 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16826618 impls, 0 clqs
39.98/40.02	c (round 13) 24909 del vars, 138366 del conss, 23178 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16847036 impls, 0 clqs
40.38/40.44	c (round 14) 25084 del vars, 138961 del conss, 23292 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16867230 impls, 0 clqs
40.78/40.86	c (round 15) 25252 del vars, 139513 del conss, 23401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16889186 impls, 0 clqs
41.18/41.27	c (round 16) 25413 del vars, 140067 del conss, 23505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16908808 impls, 0 clqs
41.58/41.68	c (round 17) 25567 del vars, 140580 del conss, 23605 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16925964 impls, 0 clqs
41.97/42.09	c (round 18) 25721 del vars, 141092 del conss, 23705 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16943989 impls, 0 clqs
42.37/42.50	c (round 19) 25876 del vars, 141609 del conss, 23805 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16963075 impls, 0 clqs
42.88/42.90	c (round 20) 26030 del vars, 142120 del conss, 23905 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16980399 impls, 0 clqs
43.28/43.31	c (round 21) 26184 del vars, 142631 del conss, 24004 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16999789 impls, 0 clqs
43.68/43.72	c (round 22) 26329 del vars, 143130 del conss, 24098 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17018626 impls, 0 clqs
44.08/44.13	c (round 23) 26470 del vars, 143606 del conss, 24187 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17036268 impls, 0 clqs
44.48/44.53	c (round 24) 26601 del vars, 144063 del conss, 24271 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17054014 impls, 0 clqs
44.88/44.94	c (round 25) 26727 del vars, 144494 del conss, 24351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17072094 impls, 0 clqs
45.28/45.34	c (round 26) 26853 del vars, 144924 del conss, 24431 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17089172 impls, 0 clqs
45.68/45.74	c (round 27) 26979 del vars, 145353 del conss, 24511 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17106878 impls, 0 clqs
46.08/46.15	c (round 28) 27105 del vars, 145782 del conss, 24591 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17124726 impls, 0 clqs
46.48/46.55	c (round 29) 27231 del vars, 146212 del conss, 24671 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17141564 impls, 0 clqs
46.88/46.95	c (round 30) 27357 del vars, 146642 del conss, 24751 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17159108 impls, 0 clqs
47.28/47.36	c (round 31) 27483 del vars, 147071 del conss, 24831 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17178708 impls, 0 clqs
47.67/47.76	c (round 32) 27609 del vars, 147500 del conss, 24911 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17196024 impls, 0 clqs
48.08/48.17	c (round 33) 27735 del vars, 147930 del conss, 24991 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17213602 impls, 0 clqs
48.47/48.57	c (round 34) 27861 del vars, 148360 del conss, 25071 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17231464 impls, 0 clqs
48.88/48.98	c (round 35) 27995 del vars, 148837 del conss, 25151 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17247886 impls, 0 clqs
49.27/49.38	c (round 36) 28119 del vars, 149244 del conss, 25231 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17263920 impls, 0 clqs
49.68/49.78	c (round 37) 28255 del vars, 149723 del conss, 25315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17282799 impls, 0 clqs
50.08/50.18	c (round 38) 28385 del vars, 150186 del conss, 25398 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17298359 impls, 0 clqs
50.48/50.59	c (round 39) 28521 del vars, 150681 del conss, 25482 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17315086 impls, 0 clqs
50.87/50.99	c (round 40) 28651 del vars, 151145 del conss, 25565 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17332972 impls, 0 clqs
51.28/51.39	c (round 41) 28787 del vars, 151648 del conss, 25649 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17349533 impls, 0 clqs
51.68/51.79	c (round 42) 28917 del vars, 152107 del conss, 25732 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17364859 impls, 0 clqs
52.07/52.19	c (round 43) 29053 del vars, 152608 del conss, 25816 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17383340 impls, 0 clqs
52.47/52.59	c (round 44) 29183 del vars, 153073 del conss, 25899 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17399012 impls, 0 clqs
52.88/52.99	c (round 45) 29319 del vars, 153570 del conss, 25983 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17415499 impls, 0 clqs
53.28/53.40	c (round 46) 29449 del vars, 154042 del conss, 26066 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17432113 impls, 0 clqs
53.67/53.80	c (round 47) 29585 del vars, 154538 del conss, 26150 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17449758 impls, 0 clqs
54.08/54.19	c (round 48) 29715 del vars, 154999 del conss, 26233 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17465674 impls, 0 clqs
54.57/54.60	c (round 49) 29852 del vars, 155509 del conss, 26318 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17483345 impls, 0 clqs
54.88/54.99	c (round 50) 29982 del vars, 155975 del conss, 26401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17499501 impls, 0 clqs
55.27/55.40	c (round 51) 30119 del vars, 156480 del conss, 26486 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17517936 impls, 0 clqs
55.77/55.80	c (round 52) 30250 del vars, 156956 del conss, 26570 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17535856 impls, 0 clqs
56.17/56.20	c (round 53) 30387 del vars, 157472 del conss, 26654 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17554501 impls, 0 clqs
56.47/56.59	c (round 54) 30510 del vars, 157938 del conss, 26733 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17570269 impls, 0 clqs
56.87/56.99	c (round 55) 30632 del vars, 158405 del conss, 26806 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17588728 impls, 0 clqs
57.27/57.38	c (round 56) 30740 del vars, 158818 del conss, 26874 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17604756 impls, 0 clqs
57.67/57.77	c (round 57) 30843 del vars, 159215 del conss, 26936 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17623627 impls, 0 clqs
58.08/58.15	c (round 58) 30936 del vars, 159574 del conss, 26993 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17636999 impls, 0 clqs
58.47/58.53	c (round 59) 31025 del vars, 159917 del conss, 27048 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17650942 impls, 0 clqs
58.87/58.91	c (round 60) 31114 del vars, 160275 del conss, 27102 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17663934 impls, 0 clqs
59.18/59.29	c (round 61) 31203 del vars, 160623 del conss, 27155 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17677619 impls, 0 clqs
59.58/59.66	c (round 62) 31291 del vars, 160966 del conss, 27208 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17689819 impls, 0 clqs
59.97/60.04	c (round 63) 31380 del vars, 161300 del conss, 27263 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17704174 impls, 0 clqs
60.38/60.41	c (round 64) 31468 del vars, 161645 del conss, 27316 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17716090 impls, 0 clqs
60.68/60.79	c (round 65) 31557 del vars, 161995 del conss, 27369 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17729347 impls, 0 clqs
61.07/61.17	c (round 66) 31645 del vars, 162326 del conss, 27422 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17742981 impls, 0 clqs
61.47/61.54	c (round 67) 31734 del vars, 162673 del conss, 27477 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17756976 impls, 0 clqs
61.88/61.92	c (round 68) 31824 del vars, 163031 del conss, 27532 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17769946 impls, 0 clqs
62.28/62.30	c (round 69) 31912 del vars, 163380 del conss, 27584 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17784633 impls, 0 clqs
62.58/62.67	c (round 70) 32002 del vars, 163724 del conss, 27639 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17797477 impls, 0 clqs
62.98/63.05	c (round 71) 32090 del vars, 164069 del conss, 27693 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17813710 impls, 0 clqs
63.37/63.43	c (round 72) 32176 del vars, 164397 del conss, 27746 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17829238 impls, 0 clqs
63.78/63.81	c (round 73) 32264 del vars, 164739 del conss, 27798 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17845086 impls, 0 clqs
64.07/64.18	c (round 74) 32349 del vars, 165049 del conss, 27851 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17861932 impls, 0 clqs
64.47/64.57	c (round 75) 32439 del vars, 165397 del conss, 27907 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17882308 impls, 0 clqs
64.88/64.95	c (round 76) 32521 del vars, 165715 del conss, 27959 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17899424 impls, 0 clqs
65.27/65.33	c (round 77) 32610 del vars, 166050 del conss, 28012 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17917070 impls, 0 clqs
65.67/65.70	c (round 78) 32692 del vars, 166354 del conss, 28064 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17934960 impls, 0 clqs
65.98/66.09	c (round 79) 32781 del vars, 166687 del conss, 28119 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17954804 impls, 0 clqs
66.38/66.46	c (round 80) 32863 del vars, 166986 del conss, 28171 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17970640 impls, 0 clqs
66.78/66.85	c (round 81) 32952 del vars, 167332 del conss, 28223 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17991700 impls, 0 clqs
67.17/67.23	c (round 82) 33026 del vars, 167623 del conss, 28270 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18010885 impls, 0 clqs
67.57/67.61	c (round 83) 33094 del vars, 167878 del conss, 28313 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18031449 impls, 0 clqs
67.87/67.99	c (round 84) 33163 del vars, 168136 del conss, 28356 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18051021 impls, 0 clqs
68.27/68.37	c (round 85) 33229 del vars, 168380 del conss, 28398 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18069773 impls, 0 clqs
68.67/68.74	c (round 86) 33301 del vars, 168666 del conss, 28442 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18088333 impls, 0 clqs
69.07/69.12	c (round 87) 33367 del vars, 168907 del conss, 28483 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18108987 impls, 0 clqs
69.37/69.49	c (round 88) 33427 del vars, 169158 del conss, 28520 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18126534 impls, 0 clqs
69.77/69.86	c (round 89) 33475 del vars, 169333 del conss, 28551 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18145511 impls, 0 clqs
70.17/70.23	c (round 90) 33523 del vars, 169501 del conss, 28582 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18162524 impls, 0 clqs
70.57/70.60	c (round 91) 33571 del vars, 169665 del conss, 28613 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18181725 impls, 0 clqs
70.87/70.97	c (round 92) 33619 del vars, 169831 del conss, 28644 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18199626 impls, 0 clqs
71.27/71.34	c (round 93) 33667 del vars, 169997 del conss, 28675 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18218443 impls, 0 clqs
71.67/71.71	c (round 94) 33715 del vars, 170169 del conss, 28706 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18237490 impls, 0 clqs
71.97/72.08	c (round 95) 33763 del vars, 170333 del conss, 28737 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18256103 impls, 0 clqs
72.37/72.45	c (round 96) 33812 del vars, 170508 del conss, 28769 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18275054 impls, 0 clqs
72.77/72.82	c (round 97) 33860 del vars, 170680 del conss, 28800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18291831 impls, 0 clqs
73.07/73.18	c (round 98) 33909 del vars, 170853 del conss, 28832 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18310508 impls, 0 clqs
73.46/73.56	c (round 99) 33957 del vars, 171022 del conss, 28862 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18331391 impls, 0 clqs
73.87/73.92	c (round 100) 33997 del vars, 171184 del conss, 28888 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18343978 impls, 0 clqs
74.17/74.27	c (round 101) 34031 del vars, 171312 del conss, 28909 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18354891 impls, 0 clqs
74.57/74.62	c (round 102) 34066 del vars, 171448 del conss, 28931 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18366450 impls, 0 clqs
74.87/74.98	c (round 103) 34100 del vars, 171577 del conss, 28952 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18377093 impls, 0 clqs
75.27/75.33	c (round 104) 34134 del vars, 171706 del conss, 28973 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18388476 impls, 0 clqs
75.57/75.68	c (round 105) 34168 del vars, 171831 del conss, 28994 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18399721 impls, 0 clqs
75.97/76.04	c (round 106) 34202 del vars, 171958 del conss, 29015 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18411456 impls, 0 clqs
76.26/76.39	c (round 107) 34236 del vars, 172081 del conss, 29036 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18422353 impls, 0 clqs
76.67/76.74	c (round 108) 34270 del vars, 172210 del conss, 29057 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18433928 impls, 0 clqs
76.97/77.09	c (round 109) 34304 del vars, 172331 del conss, 29078 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18444501 impls, 0 clqs
77.37/77.44	c (round 110) 34338 del vars, 172463 del conss, 29099 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18454718 impls, 0 clqs
77.67/77.79	c (round 111) 34372 del vars, 172585 del conss, 29120 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18465257 impls, 0 clqs
78.07/78.14	c (round 112) 34407 del vars, 172719 del conss, 29142 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18476106 impls, 0 clqs
78.37/78.49	c (round 113) 34441 del vars, 172850 del conss, 29163 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18486257 impls, 0 clqs
78.76/78.83	c (round 114) 34476 del vars, 172985 del conss, 29185 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18496662 impls, 0 clqs
79.07/79.18	c (round 115) 34510 del vars, 173111 del conss, 29206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18507215 impls, 0 clqs
79.47/79.53	c (round 116) 34545 del vars, 173245 del conss, 29228 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18517632 impls, 0 clqs
79.77/79.88	c (round 117) 34579 del vars, 173372 del conss, 29249 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18528237 impls, 0 clqs
80.18/80.23	c (round 118) 34614 del vars, 173504 del conss, 29271 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18538862 impls, 0 clqs
80.47/80.58	c (round 119) 34648 del vars, 173638 del conss, 29292 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18549115 impls, 0 clqs
80.87/80.92	c (round 120) 34682 del vars, 173767 del conss, 29313 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18559696 impls, 0 clqs
81.16/81.27	c (round 121) 34716 del vars, 173891 del conss, 29334 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18569751 impls, 0 clqs
81.57/81.62	c (round 122) 34750 del vars, 174015 del conss, 29355 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18579239 impls, 0 clqs
81.87/81.96	c (round 123) 34778 del vars, 174106 del conss, 29375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18589453 impls, 0 clqs
82.27/82.31	c (round 124) 34806 del vars, 174188 del conss, 29395 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18598309 impls, 0 clqs
82.57/82.65	c (round 125) 34834 del vars, 174270 del conss, 29415 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18607693 impls, 0 clqs
82.97/83.00	c (round 126) 34862 del vars, 174352 del conss, 29435 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18616895 impls, 0 clqs
83.27/83.34	c (round 127) 34890 del vars, 174434 del conss, 29455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18626805 impls, 0 clqs
83.57/83.69	c (round 128) 34918 del vars, 174516 del conss, 29475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18636721 impls, 0 clqs
83.96/84.04	c (round 129) 34946 del vars, 174598 del conss, 29495 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18647453 impls, 0 clqs
84.27/84.38	c (round 130) 34974 del vars, 174680 del conss, 29515 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18657081 impls, 0 clqs
84.67/84.73	c (round 131) 35002 del vars, 174762 del conss, 29535 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18667585 impls, 0 clqs
84.97/85.07	c (round 132) 35030 del vars, 174844 del conss, 29555 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18677647 impls, 0 clqs
85.36/85.42	c (round 133) 35058 del vars, 174926 del conss, 29575 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18687635 impls, 0 clqs
85.67/85.76	c (round 134) 35088 del vars, 175023 del conss, 29595 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18696661 impls, 0 clqs
86.07/86.11	c (round 135) 35116 del vars, 175105 del conss, 29615 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18707533 impls, 0 clqs
86.37/86.46	c (round 136) 35146 del vars, 175201 del conss, 29635 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18717226 impls, 0 clqs
86.77/86.80	c (round 137) 35175 del vars, 175291 del conss, 29655 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18726866 impls, 0 clqs
87.06/87.15	c (round 138) 35205 del vars, 175388 del conss, 29675 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18737024 impls, 0 clqs
87.47/87.51	c (round 139) 35235 del vars, 175485 del conss, 29695 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18747058 impls, 0 clqs
87.76/87.85	c (round 140) 35265 del vars, 175581 del conss, 29715 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18757013 impls, 0 clqs
88.17/88.20	c (round 141) 35294 del vars, 175671 del conss, 29735 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18767925 impls, 0 clqs
88.47/88.55	c (round 142) 35324 del vars, 175768 del conss, 29755 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18777597 impls, 0 clqs
88.87/88.90	c (round 143) 35354 del vars, 175865 del conss, 29775 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18788065 impls, 0 clqs
89.17/89.25	c (round 144) 35384 del vars, 175961 del conss, 29795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18798217 impls, 0 clqs
89.57/89.60	c (round 145) 35414 del vars, 176057 del conss, 29815 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18808939 impls, 0 clqs
89.86/89.95	c (round 146) 35444 del vars, 176154 del conss, 29835 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18818865 impls, 0 clqs
90.26/90.30	c (round 147) 35474 del vars, 176251 del conss, 29855 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18828519 impls, 0 clqs
90.57/90.64	c (round 148) 35504 del vars, 176347 del conss, 29875 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18837383 impls, 0 clqs
90.86/90.99	c (round 149) 35534 del vars, 176443 del conss, 29895 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18846759 impls, 0 clqs
91.27/91.34	c (round 150) 35564 del vars, 176540 del conss, 29915 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18856083 impls, 0 clqs
91.57/91.69	c (round 151) 35594 del vars, 176637 del conss, 29935 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18866655 impls, 0 clqs
91.96/92.03	c (round 152) 35624 del vars, 176733 del conss, 29955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18876695 impls, 0 clqs
92.26/92.35	c (round 153) 35626 del vars, 176777 del conss, 29955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18876727 impls, 0 clqs
95.47/95.59	c (round 154) 35626 del vars, 192525 del conss, 29955 chg bounds, 0 chg sides, 0 chg coeffs, 308344 upgd conss, 18876727 impls, 0 clqs
96.16/96.29	c presolving (155 rounds):
96.16/96.29	c  35626 deleted vars, 192525 deleted constraints, 29955 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
96.16/96.29	c  18876727 implications, 0 cliques
96.16/96.29	c presolved problem has 68853 variables (68853 bin, 0 int, 0 impl, 0 cont) and 308344 constraints
96.16/96.29	c  308344 constraints of type <logicor>
96.16/96.29	c transformed objective value is always integral (scale: 1)
96.16/96.29	c Presolving Time: 67.03
96.16/96.29	c PURESAT
96.16/96.29	c -----------------------------------------------------------------------------------------------
96.16/96.29	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
96.16/96.29	c # [type: int, range: [-1,2147483647], default: 0]
96.16/96.29	c separating/flowcover/freq = c -1
96.16/96.29	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
96.16/96.29	c # [type: int, range: [-1,2147483647], default: 0]
96.16/96.29	c separating/cmir/freq = c -1
96.16/96.29	c # additional number of allowed LP iterations
96.16/96.29	c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.29	c heuristics/veclendiving/maxlpiterofs = c 1500
96.16/96.29	c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.29	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.29	c heuristics/veclendiving/maxlpiterquot = c 0.075
96.16/96.29	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
96.16/96.29	c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.29	c heuristics/veclendiving/freq = c -1
96.16/96.29	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
96.16/96.29	c # [type: int, range: [-1,2147483647], default: 1]
96.16/96.29	c heuristics/simplerounding/freq = c -1
96.16/96.29	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
96.16/96.29	c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.29	c heuristics/shifting/freq = c -1
96.16/96.29	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
96.16/96.29	c # [type: int, range: [-1,2147483647], default: 1]
96.16/96.29	c heuristics/rounding/freq = c -1
96.16/96.29	c # additional number of allowed LP iterations
96.16/96.29	c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.29	c heuristics/rootsoldiving/maxlpiterofs = c 1500
96.16/96.29	c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.29	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
96.16/96.29	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
96.16/96.29	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
96.16/96.29	c # [type: int, range: [-1,2147483647], default: 20]
96.16/96.29	c heuristics/rootsoldiving/freq = c -1
96.16/96.29	c # number of nodes added to the contingent of the total nodes
96.16/96.29	c # [type: longint, range: [0,9223372036854775807], default: 500]
96.16/96.29	c heuristics/rens/nodesofs = c 2000
96.16/96.29	c # minimum percentage of integer variables that have to be fixable 
96.16/96.29	c # [type: real, range: [0,1], default: 0.5]
96.16/96.29	c heuristics/rens/minfixingrate = c 0.3
96.16/96.29	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
96.16/96.29	c # [type: int, range: [-1,2147483647], default: 0]
96.16/96.29	c heuristics/rens/freq = c -1
96.16/96.29	c # additional number of allowed LP iterations
96.16/96.29	c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.29	c heuristics/pscostdiving/maxlpiterofs = c 1500
96.16/96.29	c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.29	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.29	c heuristics/pscostdiving/maxlpiterquot = c 0.075
96.16/96.29	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
96.16/96.29	c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.29	c heuristics/pscostdiving/freq = c -1
96.16/96.29	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
96.16/96.29	c # [type: int, range: [-1,2147483647], default: 1]
96.16/96.29	c heuristics/oneopt/freq = c -1
96.16/96.29	c # additional number of allowed LP iterations
96.16/96.29	c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.29	c heuristics/objpscostdiving/maxlpiterofs = c 1500
96.16/96.29	c # maximal fraction of diving LP iterations compared to total iteration number
96.16/96.29	c # [type: real, range: [0,1], default: 0.01]
96.16/96.29	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
96.16/96.29	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
96.16/96.29	c # [type: int, range: [-1,2147483647], default: 20]
96.16/96.29	c heuristics/objpscostdiving/freq = c -1
96.16/96.29	c # additional number of allowed LP iterations
96.16/96.29	c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.29	c heuristics/linesearchdiving/maxlpiterofs = c 1500
96.16/96.29	c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.29	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.29	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
96.16/96.30	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
96.16/96.30	c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.30	c heuristics/linesearchdiving/freq = c -1
96.16/96.30	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
96.16/96.30	c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.30	c heuristics/intshifting/freq = c -1
96.16/96.30	c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.30	c heuristics/intdiving/maxlpiterquot = c 0.075
96.16/96.30	c # additional number of allowed LP iterations
96.16/96.30	c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.30	c heuristics/guideddiving/maxlpiterofs = c 1500
96.16/96.30	c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.30	c heuristics/guideddiving/maxlpiterquot = c 0.075
96.16/96.30	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
96.16/96.30	c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.30	c heuristics/guideddiving/freq = c -1
96.16/96.30	c # additional number of allowed LP iterations
96.16/96.30	c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.30	c heuristics/fracdiving/maxlpiterofs = c 1500
96.16/96.30	c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.30	c heuristics/fracdiving/maxlpiterquot = c 0.075
96.16/96.30	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
96.16/96.30	c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.30	c heuristics/fracdiving/freq = c -1
96.16/96.30	c # additional number of allowed LP iterations
96.16/96.30	c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.30	c heuristics/feaspump/maxlpiterofs = c 2000
96.16/96.30	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
96.16/96.30	c # [type: int, range: [-1,2147483647], default: 20]
96.16/96.30	c heuristics/feaspump/freq = c -1
96.16/96.30	c # minimum percentage of integer variables that have to be fixed 
96.16/96.30	c # [type: real, range: [0,1], default: 0.666]
96.16/96.30	c heuristics/crossover/minfixingrate = c 0.5
96.16/96.30	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
96.16/96.30	c # [type: real, range: [0,1], default: 0.1]
96.16/96.30	c heuristics/crossover/nodesquot = c 0.15
96.16/96.30	c # number of nodes without incumbent change that heuristic should wait
96.16/96.30	c # [type: longint, range: [0,9223372036854775807], default: 200]
96.16/96.30	c heuristics/crossover/nwaitingnodes = c 100
96.16/96.30	c # number of nodes added to the contingent of the total nodes
96.16/96.30	c # [type: longint, range: [0,9223372036854775807], default: 500]
96.16/96.30	c heuristics/crossover/nodesofs = c 750
96.16/96.30	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
96.16/96.30	c # [type: int, range: [-1,2147483647], default: 30]
96.16/96.30	c heuristics/crossover/freq = c -1
96.16/96.30	c # additional number of allowed LP iterations
96.16/96.30	c # [type: int, range: [0,2147483647], default: 1000]
96.16/96.30	c heuristics/coefdiving/maxlpiterofs = c 1500
96.16/96.30	c # maximal fraction of diving LP iterations compared to node LP iterations
96.16/96.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
96.16/96.30	c heuristics/coefdiving/maxlpiterquot = c 0.075
96.16/96.30	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
96.16/96.30	c # [type: int, range: [-1,2147483647], default: 10]
96.16/96.30	c heuristics/coefdiving/freq = c -1
96.16/96.30	c # priority of node selection rule <dfs> in standard mode
96.16/96.30	c # [type: int, range: [-536870912,536870911], default: 0]
96.16/96.30	c nodeselection/dfs/stdpriority = c 1000000
96.16/96.30	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
96.16/96.30	c # [type: int, range: [-1,2147483647], default: -1]
96.16/96.30	c presolving/probing/maxrounds = c 0
96.16/96.30	c # should presolving try to simplify knapsacks
96.16/96.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
96.16/96.30	c constraints/knapsack/simplifyinequalities = c TRUE
96.16/96.30	c # should disaggregation of knapsack constraints be allowed in preprocessing?
96.16/96.30	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
96.16/96.30	c constraints/knapsack/disaggregation = c FALSE
96.16/96.30	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
96.26/96.38	c # [type: int, range: [-1,2147483647], default: -1]
96.26/96.38	c constraints/knapsack/maxnumcardlift = c 0
96.26/96.38	c # should presolving try to simplify inequalities
96.26/96.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
96.26/96.38	c constraints/linear/simplifyinequalities = c TRUE
96.26/96.38	c # maximal number of separation rounds in the root node (-1: unlimited)
96.26/96.38	c # [type: int, range: [-1,2147483647], default: -1]
96.26/96.38	c separating/maxroundsroot = c 5
96.26/96.38	c # maximal number of separation rounds per node (-1: unlimited)
96.26/96.38	c # [type: int, range: [-1,2147483647], default: 5]
96.26/96.38	c separating/maxrounds = c 1
96.26/96.38	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)
96.26/96.38	c # [type: char, range: {lafpsqd}, default: l]
96.26/96.38	c lp/pricing = c a
96.26/96.38	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
96.26/96.38	c # [type: int, range: [-1,2147483647], default: 1]
96.26/96.38	c lp/solvefreq = c 0
96.26/96.38	c # solving stops, if the given number of solutions were found (-1: no limit)
96.26/96.38	c # [type: int, range: [-1,2147483647], default: -1]
96.26/96.38	c limits/solutions = c 1
96.26/96.38	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
96.26/96.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
96.26/96.38	c limits/memory = c 1620
96.26/96.38	c # maximal time in seconds to run
96.26/96.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
96.26/96.38	c limits/time = c 1791
96.26/96.38	c # frequency for displaying node information lines
96.26/96.38	c # [type: int, range: [-1,2147483647], default: 100]
96.26/96.38	c display/freq = c 10000
96.26/96.38	c # should enforcement of pseudo solution be disabled?
96.26/96.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
96.26/96.38	c constraints/disableenfops = c TRUE
96.26/96.38	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
96.26/96.38	c # [type: int, range: [-1,2147483647], default: 0]
96.26/96.38	c constraints/agelimit = c 1
96.26/96.38	c # should binary conflicts be preferred?
96.26/96.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
96.26/96.38	c conflict/preferbinary = c TRUE
96.26/96.38	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
96.26/96.38	c # [type: int, range: [-1,2147483647], default: -1]
96.26/96.38	c conflict/interconss = c 0
96.26/96.38	c -----------------------------------------------------------------------------------------------
96.26/96.38	c start solving problem
96.26/96.38	c 
429.66/429.83	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
429.66/429.83	c   401s|     1 |     0 | 37938 | 942M|   0 |  10k|  68k| 308k| 308k|  68k| 308k|   0 |   0 |   0 | 3.437640e+03 |      --      |    Inf 
1366.40/1366.80	c  1335s|     1 |     0 | 60648 | 942M|   0 |  11k|  68k| 308k| 308k|  68k| 308k|  12 |   0 |   0 | 3.441204e+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-1885718-1245269076/watcher-1885718-1245269076 -o /tmp/evaluation-result-1885718-1245269076/solver-1885718-1245269076 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885718-1245269076.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 16146
/proc/meminfo: memFree=1769832/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=7616 CPUtime=0
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 604 0 0 0 0 0 0 0 20 0 1 0 194505725 7798784 588 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/16146/statm: 1904 599 353 1256 0 643 0

[startup+0.071075 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 16146
/proc/meminfo: memFree=1769832/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=13572 CPUtime=0.06
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 2262 0 0 0 6 0 0 0 20 0 1 0 194505725 13897728 2246 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/16146/statm: 3393 2255 376 1256 0 2132 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13572

[startup+0.101075 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 16146
/proc/meminfo: memFree=1769832/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=15896 CPUtime=0.09
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 2946 0 0 0 8 1 0 0 20 0 1 0 194505725 16277504 2930 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/16146/statm: 3974 2930 376 1256 0 2713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15896

[startup+0.301097 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 16146
/proc/meminfo: memFree=1769832/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=25848 CPUtime=0.29
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 5421 0 0 0 27 2 0 0 22 0 1 0 194505725 26468352 5405 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/16146/statm: 6462 5405 376 1256 0 5201 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25848

[startup+0.701143 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 16146
/proc/meminfo: memFree=1769832/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=43532 CPUtime=0.69
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 9866 0 0 0 65 4 0 0 25 0 1 0 194505725 44576768 9850 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/16146/statm: 10883 9850 376 1256 0 9622 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43532

[startup+1.50123 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 16147
/proc/meminfo: memFree=1711136/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=96944 CPUtime=1.49
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 23207 0 0 0 140 9 0 0 25 0 1 0 194505725 99270656 23191 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 0 0 0 0 17 1 0 0
/proc/16146/statm: 24236 23191 376 1256 0 22975 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96944

[startup+3.10241 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 16147
/proc/meminfo: memFree=1655328/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=144704 CPUtime=3.09
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 35090 0 0 0 295 14 0 0 25 0 1 0 194505725 148176896 35074 1992294400 4194304 9342243 548682068736 18446744073709551615 8236019 0 0 4096 0 0 0 0 17 1 0 0
/proc/16146/statm: 36176 35074 376 1256 0 34915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144704

[startup+6.30176 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 16147
/proc/meminfo: memFree=1568032/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=235388 CPUtime=6.29
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 57745 0 0 0 606 23 0 0 25 0 1 0 194505725 241037312 57729 1992294400 4194304 9342243 548682068736 18446744073709551615 8236879 0 0 4096 0 0 0 0 17 1 0 0
/proc/16146/statm: 58847 57729 376 1256 0 57586 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 235388

[startup+12.7015 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 16147
/proc/meminfo: memFree=1053288/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=750428 CPUtime=12.68
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 185460 0 0 0 1189 79 0 0 25 0 1 0 194505725 768438272 185090 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 187607 185090 460 1256 0 186346 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 750428

[startup+25.5019 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 16147
/proc/meminfo: memFree=509864/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1284812 CPUtime=25.48
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 319057 0 0 0 2407 141 0 0 25 0 1 0 194505725 1315647488 318687 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 321203 318687 461 1256 0 319942 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1284812

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=434984/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1344208 CPUtime=51.08
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 333927 0 0 0 4414 694 0 0 25 0 1 0 194505725 1376468992 333557 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 336052 333557 474 1256 0 334791 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1344208

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=215208/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1640076 CPUtime=102.27
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 397766 0 0 0 8076 2151 0 0 25 0 1 0 194505725 1679437824 388464 1992294400 4194304 9342243 548682068736 18446744073709551615 5869928 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 410019 388464 612 1256 0 408758 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1640076

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=201448/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1655960 CPUtime=162.24
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 432338 0 0 0 14055 2169 0 0 25 0 1 0 194505725 1695703040 391882 1992294400 4194304 9342243 548682068736 18446744073709551615 5869956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 413990 391882 612 1256 0 412729 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1655960

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=196392/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1660184 CPUtime=222.22
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 469425 0 0 0 20036 2186 0 0 25 0 1 0 194505725 1700028416 393219 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 415046 393219 612 1256 0 413785 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1660184

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=190824/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1664884 CPUtime=282.21
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 498322 0 0 0 26020 2201 0 0 25 0 1 0 194505725 1704841216 394521 1992294400 4194304 9342243 548682068736 18446744073709551615 6964480 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 416221 394521 612 1256 0 414960 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1664884

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=188328/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1666768 CPUtime=342.19
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 521434 0 0 0 32007 2212 0 0 25 0 1 0 194505725 1706770432 395126 1992294400 4194304 9342243 548682068736 18446744073709551615 6363926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 416692 395126 612 1256 0 415431 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1666768

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=186600/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1668632 CPUtime=402.18
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 552829 0 0 0 37990 2228 0 0 25 0 1 0 194505725 1708679168 395563 1992294400 4194304 9342243 548682068736 18446744073709551615 6962191 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 417158 395563 612 1256 0 415897 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1668632

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=190184/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1672116 CPUtime=462.16
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 565429 0 0 0 43982 2234 0 0 25 0 1 0 194505725 1712246784 394666 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 418029 394666 629 1256 0 416768 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1672116

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=190120/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1672116 CPUtime=522.14
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 565429 0 0 0 49980 2234 0 0 25 0 1 0 194505725 1712246784 394666 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 418029 394666 629 1256 0 416768 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1672116

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=190120/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1672116 CPUtime=582.12
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 565435 0 0 0 55977 2235 0 0 25 0 1 0 194505725 1712246784 394672 1992294400 4194304 9342243 548682068736 18446744073709551615 5990694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 418029 394672 629 1256 0 416768 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1672116

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=190056/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1672116 CPUtime=642.11
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 565435 0 0 0 61975 2236 0 0 25 0 1 0 194505725 1712246784 394672 1992294400 4194304 9342243 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 418029 394672 629 1256 0 416768 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1672116

[startup+702.301 s]

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

/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587284 0 0 0 103698 2500 0 0 25 0 1 0 194505725 1760985088 416520 1992294400 4194304 9342243 548682068736 18446744073709551615 5868780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 429928 416520 642 1256 0 428667 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1719712

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=102248/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1719844 CPUtime=1121.97
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587338 0 0 0 109695 2502 0 0 25 0 1 0 194505725 1761120256 416573 1992294400 4194304 9342243 548682068736 18446744073709551615 6364056 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 429961 416573 642 1256 0 428700 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1719844

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=101992/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1719844 CPUtime=1181.95
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587396 0 0 0 115692 2503 0 0 25 0 1 0 194505725 1761120256 416631 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 429961 416631 642 1256 0 428700 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1719844

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=101544/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1719996 CPUtime=1241.93
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587490 0 0 0 121689 2504 0 0 25 0 1 0 194505725 1761275904 416725 1992294400 4194304 9342243 548682068736 18446744073709551615 5868521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 429999 416725 642 1256 0 428738 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1719996

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=100968/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1720332 CPUtime=1301.92
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587616 0 0 0 127687 2505 0 0 25 0 1 0 194505725 1761619968 416851 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 430083 416851 642 1256 0 428822 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1720332

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=100520/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1720468 CPUtime=1361.9
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587729 0 0 0 133684 2506 0 0 25 0 1 0 194505725 1761759232 416964 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 430117 416964 642 1256 0 428856 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1720468

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=100456/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1726528 CPUtime=1421.89
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587743 0 0 0 139682 2507 0 0 25 0 1 0 194505725 1767964672 416977 1992294400 4194304 9342243 548682068736 18446744073709551615 6952845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 431632 416977 642 1256 0 430371 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1726528

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=100392/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1726528 CPUtime=1481.86
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587743 0 0 0 145678 2508 0 0 25 0 1 0 194505725 1767964672 416977 1992294400 4194304 9342243 548682068736 18446744073709551615 6939148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 431632 416977 642 1256 0 430371 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1726528

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=100392/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1726528 CPUtime=1541.84
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587743 0 0 0 151675 2509 0 0 25 0 1 0 194505725 1767964672 416977 1992294400 4194304 9342243 548682068736 18446744073709551615 6939179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 431632 416977 642 1256 0 430371 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1726528

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=100328/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1726528 CPUtime=1601.83
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587743 0 0 0 157672 2511 0 0 25 0 1 0 194505725 1767964672 416977 1992294400 4194304 9342243 548682068736 18446744073709551615 6952845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 431632 416977 642 1256 0 430371 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1726528

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=100392/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1726528 CPUtime=1661.81
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587744 0 0 0 163668 2513 0 0 25 0 1 0 194505725 1767964672 416978 1992294400 4194304 9342243 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 431632 416978 643 1256 0 430371 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1726528

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=100328/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1726528 CPUtime=1721.79
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587744 0 0 0 169665 2514 0 0 25 0 1 0 194505725 1767964672 416978 1992294400 4194304 9342243 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 431632 416978 643 1256 0 430371 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1726528

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=100328/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1726528 CPUtime=1781.78
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587744 0 0 0 175662 2516 0 0 25 0 1 0 194505725 1767964672 416978 1992294400 4194304 9342243 548682068736 18446744073709551615 6952974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 431632 416978 643 1256 0 430371 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1726528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=100328/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1726528 CPUtime=1800.08
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587744 0 0 0 177492 2516 0 0 25 0 1 0 194505725 1767964672 416978 1992294400 4194304 9342243 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 431632 416978 643 1256 0 430371 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1726528

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -16146

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16147
/proc/meminfo: memFree=100328/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1726528 CPUtime=1800.87
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587744 0 0 0 177571 2516 0 0 25 0 1 0 194505725 1767964672 416978 1992294400 4194304 9342243 548682068736 18446744073709551615 5728342 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 431632 416978 643 1256 0 430371 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (KiB) 1726528

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16148
/proc/meminfo: memFree=100320/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1726528 CPUtime=1801.67
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587744 0 0 0 177651 2516 0 0 25 0 1 0 194505725 1767964672 416978 1992294400 4194304 9342243 548682068736 18446744073709551615 5566428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 431632 416978 643 1256 0 430371 0
Current children cumulated CPU time (s) 1801.67
Current children cumulated vsize (KiB) 1726528

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 16148
/proc/meminfo: memFree=100320/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=1726528 CPUtime=1802.07
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4194304 587744 0 0 0 177691 2516 0 0 25 0 1 0 194505725 1767964672 416978 1992294400 4194304 9342243 548682068736 18446744073709551615 5566411 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 431632 416978 643 1256 0 430371 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 1726528

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16148
/proc/meminfo: memFree=1456488/2055920 swapFree=4180860/4192956
[pid=16146] ppid=16144 vsize=0 CPUtime=1802.27
/proc/16146/stat : 16146 (pbscip.linux.x8) R 16144 16146 16109 0 -1 4195332 587744 0 0 0 177692 2535 0 0 25 0 1 0 194505725 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16146/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.85
CPU time (s): 1802.33
CPU user time (s): 1776.92
CPU system time (s): 25.4021
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1726528

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

runsolver used 2.01869 second user time and 4.53931 second system time

The end

Launcher Data 

Begin job on node87 at 2009-06-17 22:04:37
IDJOB=1885718
IDBENCH=72085
IDSOLVER=684
FILE ID=node87/1885718-1245269076
PBS_JOBID= 9372493
Free space on /tmp= 66456 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/diagnosis/UR-10-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-1885718-1245269076/watcher-1885718-1245269076 -o /tmp/evaluation-result-1885718-1245269076/solver-1885718-1245269076 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885718-1245269076.opb

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

MD5SUM BENCH= 333666727ba8497b0bdb276d670bc01c
RANDOM SEED=1604102701

node87.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.235
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.235
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:       1770248 kB
Buffers:         22056 kB
Cached:         202424 kB
SwapCached:       5904 kB
Active:          77312 kB
Inactive:       155380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1770248 kB
SwapTotal:     4192956 kB
SwapFree:      4180860 kB
Dirty:           27036 kB
Writeback:           0 kB
Mapped:          13788 kB
Slab:            38844 kB
Committed_AS:   117688 kB
PageTables:       1460 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= 66444 MiB
End job on node87 at 2009-06-17 22:34:40