Trace number 1884488

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) 1801.26 1801.68

General information on the benchmark

Name/PURE-SAT/SAT_RACE06/
een-tip-uns-nusmv-t5.B.opb
MD5SUMf4794db9cd72141640a05570376e6542
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 benchmark6.89895
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables59265
Total number of constraints170983
Number of constraints which are clauses170983
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 constraint23
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 24
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

2.49/2.56	c SCIP version 1.1.0.7
2.49/2.56	c LP-Solver Clp 1.8.2
2.49/2.56	c user parameter file <scip.set> not found - using default parameters
2.49/2.56	c read problem <HOME/instance-1884488-1245258808.opb>
2.49/2.56	c original problem has 59265 variables (59265 bin, 0 int, 0 impl, 0 cont) and 170983 constraints
3.29/3.34	c No objective function, only one solution is needed.
3.29/3.34	c start presolving problem
3.29/3.34	c presolving:
4.99/5.06	c (round 1) 2443 del vars, 3777 del conss, 1064 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1945937 impls, 0 clqs
5.19/5.25	c (round 2) 2617 del vars, 7291 del conss, 1185 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1946953 impls, 0 clqs
5.39/5.41	c (round 3) 2814 del vars, 7740 del conss, 1329 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1949945 impls, 0 clqs
5.49/5.58	c (round 4) 3009 del vars, 8211 del conss, 1471 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1952875 impls, 0 clqs
5.69/5.75	c (round 5) 3205 del vars, 8682 del conss, 1614 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1955623 impls, 0 clqs
5.88/5.91	c (round 6) 3396 del vars, 9139 del conss, 1751 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1958271 impls, 0 clqs
5.99/6.07	c (round 7) 3594 del vars, 9610 del conss, 1889 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1961565 impls, 0 clqs
6.19/6.24	c (round 8) 3776 del vars, 10069 del conss, 2025 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1965846 impls, 0 clqs
6.38/6.42	c (round 9) 4023 del vars, 10629 del conss, 2201 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1971864 impls, 0 clqs
6.49/6.59	c (round 10) 4235 del vars, 11174 del conss, 2356 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1976100 impls, 0 clqs
6.69/6.77	c (round 11) 4587 del vars, 11940 del conss, 2579 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1981563 impls, 0 clqs
6.89/6.94	c (round 12) 4777 del vars, 12617 del conss, 2718 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1986067 impls, 0 clqs
7.09/7.11	c (round 13) 5061 del vars, 13224 del conss, 2919 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 1990225 impls, 0 clqs
7.19/7.29	c (round 14) 5326 del vars, 13932 del conss, 3086 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2004567 impls, 0 clqs
7.39/7.47	c (round 15) 5833 del vars, 15046 del conss, 3428 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2011043 impls, 0 clqs
7.59/7.65	c (round 16) 6184 del vars, 16156 del conss, 3670 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2013185 impls, 0 clqs
7.78/7.81	c (round 17) 6464 del vars, 16975 del conss, 3866 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2015313 impls, 0 clqs
7.89/7.97	c (round 18) 6751 del vars, 17710 del conss, 4068 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2017909 impls, 0 clqs
8.09/8.13	c (round 19) 6931 del vars, 18275 del conss, 4203 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2019999 impls, 0 clqs
8.29/8.30	c (round 20) 7271 del vars, 18984 del conss, 4431 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2032645 impls, 0 clqs
8.39/8.47	c (round 21) 7568 del vars, 19800 del conss, 4642 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2037032 impls, 0 clqs
8.59/8.62	c (round 22) 7756 del vars, 20405 del conss, 4784 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2040068 impls, 0 clqs
8.69/8.78	c (round 23) 7943 del vars, 20849 del conss, 4922 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2043628 impls, 0 clqs
8.89/8.94	c (round 24) 8123 del vars, 21268 del conss, 5057 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2046966 impls, 0 clqs
8.99/9.09	c (round 25) 8259 del vars, 21675 del conss, 5147 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2049656 impls, 0 clqs
9.19/9.26	c (round 26) 8412 del vars, 22022 del conss, 5240 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2056748 impls, 0 clqs
9.39/9.42	c (round 27) 8589 del vars, 22422 del conss, 5333 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2064190 impls, 0 clqs
9.59/9.64	c (round 28) 9616 del vars, 24322 del conss, 5907 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2092157 impls, 0 clqs
9.79/9.86	c (round 29) 10778 del vars, 27795 del conss, 6567 chg bounds, 0 chg sides, 402 chg coeffs, 0 upgd conss, 2114289 impls, 0 clqs
9.99/10.04	c (round 30) 11211 del vars, 29809 del conss, 6812 chg bounds, 6 chg sides, 409 chg coeffs, 0 upgd conss, 2122317 impls, 0 clqs
10.09/10.19	c (round 31) 11380 del vars, 30528 del conss, 6910 chg bounds, 12 chg sides, 421 chg coeffs, 0 upgd conss, 2125801 impls, 0 clqs
10.29/10.34	c (round 32) 11547 del vars, 30917 del conss, 7008 chg bounds, 17 chg sides, 432 chg coeffs, 0 upgd conss, 2128538 impls, 0 clqs
10.39/10.48	c (round 33) 11704 del vars, 31314 del conss, 7103 chg bounds, 17 chg sides, 437 chg coeffs, 0 upgd conss, 2130861 impls, 0 clqs
10.59/10.63	c (round 34) 11858 del vars, 31717 del conss, 7201 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2133487 impls, 0 clqs
10.69/10.78	c (round 35) 12003 del vars, 32085 del conss, 7299 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2136587 impls, 0 clqs
10.90/10.93	c (round 36) 12184 del vars, 32488 del conss, 7409 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2140859 impls, 0 clqs
10.99/11.07	c (round 37) 12323 del vars, 32875 del conss, 7505 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2144033 impls, 0 clqs
11.18/11.22	c (round 38) 12475 del vars, 33203 del conss, 7594 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2149451 impls, 0 clqs
11.29/11.37	c (round 39) 12636 del vars, 33605 del conss, 7691 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2152849 impls, 0 clqs
11.49/11.51	c (round 40) 12757 del vars, 33990 del conss, 7769 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2154201 impls, 0 clqs
11.59/11.65	c (round 41) 12833 del vars, 34226 del conss, 7815 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2154929 impls, 0 clqs
11.69/11.79	c (round 42) 12902 del vars, 34390 del conss, 7860 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2155759 impls, 0 clqs
11.89/11.93	c (round 43) 12967 del vars, 34547 del conss, 7904 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2156527 impls, 0 clqs
11.99/12.06	c (round 44) 13033 del vars, 34699 del conss, 7948 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2157333 impls, 0 clqs
12.18/12.20	c (round 45) 13099 del vars, 34852 del conss, 7992 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2158139 impls, 0 clqs
12.28/12.34	c (round 46) 13165 del vars, 35007 del conss, 8036 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2158945 impls, 0 clqs
12.38/12.47	c (round 47) 13231 del vars, 35161 del conss, 8080 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2159751 impls, 0 clqs
12.59/12.61	c (round 48) 13295 del vars, 35311 del conss, 8124 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2160505 impls, 0 clqs
12.69/12.75	c (round 49) 13361 del vars, 35461 del conss, 8168 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2161287 impls, 0 clqs
12.79/12.88	c (round 50) 13427 del vars, 35615 del conss, 8212 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2162065 impls, 0 clqs
12.99/13.02	c (round 51) 13493 del vars, 35769 del conss, 8256 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2162493 impls, 0 clqs
13.09/13.15	c (round 52) 13559 del vars, 35924 del conss, 8300 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2162817 impls, 0 clqs
13.19/13.29	c (round 53) 13626 del vars, 36078 del conss, 8344 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2163179 impls, 0 clqs
13.39/13.42	c (round 54) 13692 del vars, 36235 del conss, 8388 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2163469 impls, 0 clqs
13.48/13.56	c (round 55) 13758 del vars, 36389 del conss, 8432 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2163791 impls, 0 clqs
13.59/13.69	c (round 56) 13824 del vars, 36543 del conss, 8476 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2164141 impls, 0 clqs
13.78/13.83	c (round 57) 13890 del vars, 36698 del conss, 8520 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2165211 impls, 0 clqs
13.89/13.97	c (round 58) 13956 del vars, 36851 del conss, 8564 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2166257 impls, 0 clqs
14.09/14.10	c (round 59) 14024 del vars, 37009 del conss, 8608 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2166655 impls, 0 clqs
14.19/14.24	c (round 60) 14089 del vars, 37165 del conss, 8652 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2166969 impls, 0 clqs
14.29/14.37	c (round 61) 14139 del vars, 37285 del conss, 8696 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2167085 impls, 0 clqs
14.49/14.50	c (round 62) 14183 del vars, 37407 del conss, 8740 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2167129 impls, 0 clqs
14.59/14.64	c (round 63) 14227 del vars, 37516 del conss, 8784 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2167171 impls, 0 clqs
14.69/14.77	c (round 64) 14271 del vars, 37626 del conss, 8828 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2167213 impls, 0 clqs
14.89/14.91	c (round 65) 14315 del vars, 37736 del conss, 8872 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2167257 impls, 0 clqs
14.99/15.04	c (round 66) 14359 del vars, 37846 del conss, 8916 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2167301 impls, 0 clqs
15.08/15.17	c (round 67) 14452 del vars, 38046 del conss, 9011 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2168392 impls, 0 clqs
15.29/15.31	c (round 68) 14645 del vars, 38514 del conss, 9140 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2169026 impls, 0 clqs
15.39/15.45	c (round 69) 14710 del vars, 38781 del conss, 9194 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2169412 impls, 0 clqs
15.48/15.58	c (round 70) 14759 del vars, 38903 del conss, 9241 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2169628 impls, 0 clqs
15.69/15.72	c (round 71) 14803 del vars, 39019 del conss, 9285 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2169754 impls, 0 clqs
15.79/15.85	c (round 72) 14847 del vars, 39130 del conss, 9329 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2169840 impls, 0 clqs
15.89/15.98	c (round 73) 14891 del vars, 39240 del conss, 9373 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2169930 impls, 0 clqs
16.09/16.11	c (round 74) 14935 del vars, 39350 del conss, 9417 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170146 impls, 0 clqs
16.19/16.25	c (round 75) 14979 del vars, 39460 del conss, 9461 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170336 impls, 0 clqs
16.29/16.39	c (round 76) 15023 del vars, 39570 del conss, 9505 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170514 impls, 0 clqs
16.49/16.52	c (round 77) 15067 del vars, 39680 del conss, 9549 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170588 impls, 0 clqs
16.59/16.65	c (round 78) 15111 del vars, 39790 del conss, 9593 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170638 impls, 0 clqs
16.69/16.78	c (round 79) 15155 del vars, 39900 del conss, 9637 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170708 impls, 0 clqs
16.89/16.91	c (round 80) 15199 del vars, 40009 del conss, 9681 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170786 impls, 0 clqs
16.98/17.05	c (round 81) 15243 del vars, 40120 del conss, 9725 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170896 impls, 0 clqs
17.09/17.18	c (round 82) 15287 del vars, 40229 del conss, 9769 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2170958 impls, 0 clqs
17.29/17.31	c (round 83) 15331 del vars, 40340 del conss, 9813 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171004 impls, 0 clqs
17.39/17.44	c (round 84) 15375 del vars, 40450 del conss, 9857 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171050 impls, 0 clqs
17.49/17.57	c (round 85) 15419 del vars, 40559 del conss, 9901 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171094 impls, 0 clqs
17.69/17.70	c (round 86) 15463 del vars, 40670 del conss, 9945 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171136 impls, 0 clqs
17.79/17.83	c (round 87) 15507 del vars, 40779 del conss, 9989 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171178 impls, 0 clqs
17.88/17.96	c (round 88) 15551 del vars, 40889 del conss, 10033 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171222 impls, 0 clqs
17.99/18.09	c (round 89) 15595 del vars, 41000 del conss, 10077 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171266 impls, 0 clqs
18.19/18.22	c (round 90) 15639 del vars, 41110 del conss, 10121 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171312 impls, 0 clqs
18.29/18.36	c (round 91) 15683 del vars, 41219 del conss, 10165 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171356 impls, 0 clqs
18.39/18.49	c (round 92) 15727 del vars, 41329 del conss, 10209 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171398 impls, 0 clqs
18.59/18.62	c (round 93) 15771 del vars, 41439 del conss, 10253 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171440 impls, 0 clqs
18.69/18.75	c (round 94) 15815 del vars, 41548 del conss, 10297 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171484 impls, 0 clqs
18.79/18.88	c (round 95) 15859 del vars, 41659 del conss, 10341 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171530 impls, 0 clqs
18.99/19.01	c (round 96) 15903 del vars, 41769 del conss, 10385 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171574 impls, 0 clqs
19.09/19.14	c (round 97) 15947 del vars, 41880 del conss, 10429 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171618 impls, 0 clqs
19.18/19.27	c (round 98) 15991 del vars, 41989 del conss, 10473 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171662 impls, 0 clqs
19.28/19.40	c (round 99) 16035 del vars, 42100 del conss, 10517 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171706 impls, 0 clqs
19.49/19.53	c (round 100) 16079 del vars, 42209 del conss, 10561 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171752 impls, 0 clqs
19.58/19.66	c (round 101) 16123 del vars, 42318 del conss, 10605 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171796 impls, 0 clqs
19.69/19.79	c (round 102) 16167 del vars, 42429 del conss, 10649 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171840 impls, 0 clqs
19.88/19.91	c (round 103) 16211 del vars, 42524 del conss, 10693 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171912 impls, 0 clqs
19.98/20.04	c (round 104) 16211 del vars, 42612 del conss, 10693 chg bounds, 22 chg sides, 442 chg coeffs, 0 upgd conss, 2171940 impls, 0 clqs
21.29/21.39	c (round 105) 16211 del vars, 42660 del conss, 10693 chg bounds, 22 chg sides, 442 chg coeffs, 128132 upgd conss, 2171940 impls, 0 clqs
21.58/21.69	c (round 106) 16211 del vars, 42660 del conss, 10693 chg bounds, 22 chg sides, 442 chg coeffs, 128323 upgd conss, 2171940 impls, 0 clqs
21.89/21.99	c presolving (107 rounds):
21.89/21.99	c  16211 deleted vars, 42660 deleted constraints, 10693 tightened bounds, 0 added holes, 22 changed sides, 442 changed coefficients
21.89/21.99	c  2171940 implications, 0 cliques
21.89/21.99	c presolved problem has 43054 variables (43054 bin, 0 int, 0 impl, 0 cont) and 128323 constraints
21.89/21.99	c  128323 constraints of type <logicor>
21.89/21.99	c transformed objective value is always integral (scale: 1)
21.89/21.99	c Presolving Time: 12.55
21.89/21.99	c PURESAT
21.89/21.99	c -----------------------------------------------------------------------------------------------
21.89/21.99	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 0]
21.89/21.99	c separating/flowcover/freq = c -1
21.89/21.99	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 0]
21.89/21.99	c separating/cmir/freq = c -1
21.89/21.99	c # additional number of allowed LP iterations
21.89/21.99	c # [type: int, range: [0,2147483647], default: 1000]
21.89/21.99	c heuristics/veclendiving/maxlpiterofs = c 1500
21.89/21.99	c # maximal fraction of diving LP iterations compared to node LP iterations
21.89/21.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.89/21.99	c heuristics/veclendiving/maxlpiterquot = c 0.075
21.89/21.99	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 10]
21.89/21.99	c heuristics/veclendiving/freq = c -1
21.89/21.99	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 1]
21.89/21.99	c heuristics/simplerounding/freq = c -1
21.89/21.99	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 10]
21.89/21.99	c heuristics/shifting/freq = c -1
21.89/21.99	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 1]
21.89/21.99	c heuristics/rounding/freq = c -1
21.89/21.99	c # additional number of allowed LP iterations
21.89/21.99	c # [type: int, range: [0,2147483647], default: 1000]
21.89/21.99	c heuristics/rootsoldiving/maxlpiterofs = c 1500
21.89/21.99	c # maximal fraction of diving LP iterations compared to node LP iterations
21.89/21.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
21.89/21.99	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
21.89/21.99	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 20]
21.89/21.99	c heuristics/rootsoldiving/freq = c -1
21.89/21.99	c # number of nodes added to the contingent of the total nodes
21.89/21.99	c # [type: longint, range: [0,9223372036854775807], default: 500]
21.89/21.99	c heuristics/rens/nodesofs = c 2000
21.89/21.99	c # minimum percentage of integer variables that have to be fixable 
21.89/21.99	c # [type: real, range: [0,1], default: 0.5]
21.89/21.99	c heuristics/rens/minfixingrate = c 0.3
21.89/21.99	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 0]
21.89/21.99	c heuristics/rens/freq = c -1
21.89/21.99	c # additional number of allowed LP iterations
21.89/21.99	c # [type: int, range: [0,2147483647], default: 1000]
21.89/21.99	c heuristics/pscostdiving/maxlpiterofs = c 1500
21.89/21.99	c # maximal fraction of diving LP iterations compared to node LP iterations
21.89/21.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.89/21.99	c heuristics/pscostdiving/maxlpiterquot = c 0.075
21.89/21.99	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 10]
21.89/21.99	c heuristics/pscostdiving/freq = c -1
21.89/21.99	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 1]
21.89/21.99	c heuristics/oneopt/freq = c -1
21.89/21.99	c # additional number of allowed LP iterations
21.89/21.99	c # [type: int, range: [0,2147483647], default: 1000]
21.89/21.99	c heuristics/objpscostdiving/maxlpiterofs = c 1500
21.89/21.99	c # maximal fraction of diving LP iterations compared to total iteration number
21.89/21.99	c # [type: real, range: [0,1], default: 0.01]
21.89/21.99	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
21.89/21.99	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 20]
21.89/21.99	c heuristics/objpscostdiving/freq = c -1
21.89/21.99	c # additional number of allowed LP iterations
21.89/21.99	c # [type: int, range: [0,2147483647], default: 1000]
21.89/21.99	c heuristics/linesearchdiving/maxlpiterofs = c 1500
21.89/21.99	c # maximal fraction of diving LP iterations compared to node LP iterations
21.89/21.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.89/21.99	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
21.89/21.99	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 10]
21.89/21.99	c heuristics/linesearchdiving/freq = c -1
21.89/21.99	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 10]
21.89/21.99	c heuristics/intshifting/freq = c -1
21.89/21.99	c # maximal fraction of diving LP iterations compared to node LP iterations
21.89/21.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.89/21.99	c heuristics/intdiving/maxlpiterquot = c 0.075
21.89/21.99	c # additional number of allowed LP iterations
21.89/21.99	c # [type: int, range: [0,2147483647], default: 1000]
21.89/21.99	c heuristics/guideddiving/maxlpiterofs = c 1500
21.89/21.99	c # maximal fraction of diving LP iterations compared to node LP iterations
21.89/21.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.89/21.99	c heuristics/guideddiving/maxlpiterquot = c 0.075
21.89/21.99	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 10]
21.89/21.99	c heuristics/guideddiving/freq = c -1
21.89/21.99	c # additional number of allowed LP iterations
21.89/21.99	c # [type: int, range: [0,2147483647], default: 1000]
21.89/21.99	c heuristics/fracdiving/maxlpiterofs = c 1500
21.89/21.99	c # maximal fraction of diving LP iterations compared to node LP iterations
21.89/21.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.89/21.99	c heuristics/fracdiving/maxlpiterquot = c 0.075
21.89/21.99	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 10]
21.89/21.99	c heuristics/fracdiving/freq = c -1
21.89/21.99	c # additional number of allowed LP iterations
21.89/21.99	c # [type: int, range: [0,2147483647], default: 1000]
21.89/21.99	c heuristics/feaspump/maxlpiterofs = c 2000
21.89/21.99	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 20]
21.89/21.99	c heuristics/feaspump/freq = c -1
21.89/21.99	c # minimum percentage of integer variables that have to be fixed 
21.89/21.99	c # [type: real, range: [0,1], default: 0.666]
21.89/21.99	c heuristics/crossover/minfixingrate = c 0.5
21.89/21.99	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
21.89/21.99	c # [type: real, range: [0,1], default: 0.1]
21.89/21.99	c heuristics/crossover/nodesquot = c 0.15
21.89/21.99	c # number of nodes without incumbent change that heuristic should wait
21.89/21.99	c # [type: longint, range: [0,9223372036854775807], default: 200]
21.89/21.99	c heuristics/crossover/nwaitingnodes = c 100
21.89/21.99	c # number of nodes added to the contingent of the total nodes
21.89/21.99	c # [type: longint, range: [0,9223372036854775807], default: 500]
21.89/21.99	c heuristics/crossover/nodesofs = c 750
21.89/21.99	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 30]
21.89/21.99	c heuristics/crossover/freq = c -1
21.89/21.99	c # additional number of allowed LP iterations
21.89/21.99	c # [type: int, range: [0,2147483647], default: 1000]
21.89/21.99	c heuristics/coefdiving/maxlpiterofs = c 1500
21.89/21.99	c # maximal fraction of diving LP iterations compared to node LP iterations
21.89/21.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
21.89/21.99	c heuristics/coefdiving/maxlpiterquot = c 0.075
21.89/21.99	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: 10]
21.89/21.99	c heuristics/coefdiving/freq = c -1
21.89/21.99	c # priority of node selection rule <dfs> in standard mode
21.89/21.99	c # [type: int, range: [-536870912,536870911], default: 0]
21.89/21.99	c nodeselection/dfs/stdpriority = c 1000000
21.89/21.99	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
21.89/21.99	c # [type: int, range: [-1,2147483647], default: -1]
21.89/21.99	c presolving/probing/maxrounds = c 0
21.89/21.99	c # should presolving try to simplify knapsacks
21.89/21.99	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.89/21.99	c constraints/knapsack/simplifyinequalities = c TRUE
21.89/21.99	c # should disaggregation of knapsack constraints be allowed in preprocessing?
21.89/21.99	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
21.89/21.99	c constraints/knapsack/disaggregation = c FALSE
21.89/21.99	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
21.99/22.04	c # [type: int, range: [-1,2147483647], default: -1]
21.99/22.04	c constraints/knapsack/maxnumcardlift = c 0
21.99/22.04	c # should presolving try to simplify inequalities
21.99/22.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.99/22.04	c constraints/linear/simplifyinequalities = c TRUE
21.99/22.04	c # maximal number of separation rounds in the root node (-1: unlimited)
21.99/22.04	c # [type: int, range: [-1,2147483647], default: -1]
21.99/22.04	c separating/maxroundsroot = c 5
21.99/22.04	c # maximal number of separation rounds per node (-1: unlimited)
21.99/22.04	c # [type: int, range: [-1,2147483647], default: 5]
21.99/22.04	c separating/maxrounds = c 1
21.99/22.04	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)
21.99/22.04	c # [type: char, range: {lafpsqd}, default: l]
21.99/22.04	c lp/pricing = c a
21.99/22.04	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
21.99/22.04	c # [type: int, range: [-1,2147483647], default: 1]
21.99/22.04	c lp/solvefreq = c 0
21.99/22.04	c # solving stops, if the given number of solutions were found (-1: no limit)
21.99/22.04	c # [type: int, range: [-1,2147483647], default: -1]
21.99/22.04	c limits/solutions = c 1
21.99/22.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
21.99/22.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
21.99/22.04	c limits/memory = c 1620
21.99/22.04	c # maximal time in seconds to run
21.99/22.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
21.99/22.04	c limits/time = c 1791
21.99/22.04	c # frequency for displaying node information lines
21.99/22.04	c # [type: int, range: [-1,2147483647], default: 100]
21.99/22.04	c display/freq = c 10000
21.99/22.04	c # should enforcement of pseudo solution be disabled?
21.99/22.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.99/22.04	c constraints/disableenfops = c TRUE
21.99/22.04	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
21.99/22.04	c # [type: int, range: [-1,2147483647], default: 0]
21.99/22.04	c constraints/agelimit = c 1
21.99/22.04	c # should binary conflicts be preferred?
21.99/22.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.99/22.04	c conflict/preferbinary = c TRUE
21.99/22.04	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
21.99/22.04	c # [type: int, range: [-1,2147483647], default: -1]
21.99/22.04	c conflict/interconss = c 0
21.99/22.04	c -----------------------------------------------------------------------------------------------
21.99/22.04	c start solving problem
21.99/22.04	c 
87.07/87.10	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
87.07/87.10	c  77.5s|     1 |     0 | 39926 | 323M|   0 |  21k|  43k| 128k| 128k|  43k| 128k|   0 |   0 |   0 | 1.839390e+04 |      --      |    Inf 
119.27/119.36	c   109s|     1 |     0 | 42924 | 324M|   0 |  21k|  43k| 128k| 128k|  43k| 128k|  67 |   0 |   0 | 1.842685e+04 |      --      |    Inf 
162.95/163.06	c   153s|     1 |     0 | 47237 | 326M|   0 |  21k|  43k| 128k| 128k|  43k| 128k| 137 |   0 |   0 | 1.845242e+04 |      --      |    Inf 
209.44/209.59	c   200s|     1 |     0 | 51397 | 326M|   0 |  21k|  43k| 128k| 128k|  43k| 128k| 204 |   0 |   0 | 1.847255e+04 |      --      |    Inf 
268.52/268.67	c   259s|     1 |     0 | 56653 | 328M|   0 |  22k|  43k| 128k| 128k|  43k| 128k| 264 |   0 |   0 | 1.849319e+04 |      --      |    Inf 
317.52/317.68	c   308s|     1 |     0 | 60655 | 330M|   0 |  22k|  43k| 128k| 128k|  43k| 128k| 313 |   0 |   0 | 1.850403e+04 |      --      |    Inf 
553.86/554.03	c   544s|     1 |     2 | 60655 | 330M|   0 |  22k|  43k| 128k| 128k|  43k| 128k| 313 |   0 |  29 | 1.850403e+04 |      --      |    Inf 
1800.08/1800.53	c 
1800.08/1800.53	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.53	c Solving Time (sec) : 1789.11
1800.08/1800.53	c Solving Nodes      : 7592
1800.08/1800.53	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.08/1800.53	c Dual Bound         : +1.85129338232074e+04
1800.08/1800.53	c Gap                : infinite
1800.08/1800.53	c NODE         7592
1800.08/1800.53	c DUAL BOUND   18512.9
1800.08/1800.53	c PRIMAL BOUND 1e+20
1800.08/1800.53	c GAP          1e+20
1800.08/1800.53	s UNKNOWN
1800.08/1800.53	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.53	c Solving Time       :    1789.11
1800.08/1800.53	c Original Problem   :
1800.08/1800.53	c   Problem name     : HOME/instance-1884488-1245258808.opb
1800.08/1800.53	c   Variables        : 59265 (59265 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.53	c   Constraints      : 170983 initial, 170983 maximal
1800.08/1800.53	c Presolved Problem  :
1800.08/1800.53	c   Problem name     : t_HOME/instance-1884488-1245258808.opb
1800.08/1800.53	c   Variables        : 43054 (43054 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.53	c   Constraints      : 128323 initial, 128347 maximal
1800.08/1800.53	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.53	c   trivial          :       1.05         35          0          0          0          0          0          0          0
1800.08/1800.53	c   dualfix          :       0.86         71          0          0          0          0          0          0          0
1800.08/1800.53	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.53	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.53	c   implics          :       2.37          0       5233          0          0          0          0          0          0
1800.08/1800.53	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.53	c   linear           :       7.09      10664        208          0      10693          0      42660         22        442
1800.08/1800.53	c   logicor          :       0.69          0          0          0          0          0          0          0          0
1800.08/1800.53	c   root node        :          -         66          -          -         66          -          -          -          -
1800.08/1800.53	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.53	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.08/1800.53	c   logicor          :     128323+         5     122603          0          0        973     553815          0          0          0
1800.08/1800.53	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.53	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.53	c   integral         :     235.99       0.00       0.00     235.99       0.00
1800.08/1800.53	c   logicor          :      16.01       0.08      15.93       0.00       0.00
1800.08/1800.53	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.53	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.53	c   rootredcost      :       0.12          0          0          0
1800.08/1800.53	c   pseudoobj        :    1104.10     144018          0          0
1800.08/1800.53	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.53	c   propagation      :       0.16        973        973        973        5.6        816        7.8          -
1800.08/1800.53	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.53	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.53	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.53	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.53	c   applied globally :          -          -          -       1789        6.6          -          -          -
1800.08/1800.53	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.53	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.53	c   cut pool         :       0.00          4          -          -         92          -    (maximal pool size: 1658)
1800.08/1800.53	c   redcost          :       0.03          5          0          0          0          0
1800.08/1800.53	c   impliedbounds    :       0.33          5          0          0          0          0
1800.08/1800.53	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.53	c   gomory           :      14.87          5          0          0       2500          0
1800.08/1800.53	c   strongcg         :      11.22          5          0          0       2500          0
1800.08/1800.53	c   cmir             :       0.00          0          0          0          0          0
1800.08/1800.53	c   flowcover        :       0.00          0          0          0          0          0
1800.08/1800.53	c   clique           :      32.58          5          0          0         37          0
1800.08/1800.53	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.53	c   mcf              :       2.31          1          0          0          0          0
1800.08/1800.53	c Pricers            :       Time      Calls       Vars
1800.08/1800.53	c   problem variables:       0.00          0          0
1800.08/1800.53	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.53	c   relpscost        :     235.99          1          0          0          0          0          2
1800.08/1800.53	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.53	c   inference        :      98.58       6903          0          0          0          0      13806
1800.08/1800.53	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.53	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.53	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.53	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.53	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.53	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.53	c   LP solutions     :       0.00          -          0
1800.08/1800.53	c   pseudo solutions :       0.00          -          0
1800.08/1800.53	c   simplerounding   :       0.00          0          0
1800.08/1800.53	c   rounding         :       0.00          0          0
1800.08/1800.53	c   shifting         :       0.00          0          0
1800.08/1800.53	c   intshifting      :       0.00          0          0
1800.08/1800.53	c   oneopt           :       0.00          0          0
1800.08/1800.53	c   fixandinfer      :       0.00          0          0
1800.08/1800.53	c   feaspump         :       0.00          0          0
1800.08/1800.53	c   coefdiving       :       0.00          0          0
1800.08/1800.53	c   pscostdiving     :       0.00          0          0
1800.08/1800.53	c   fracdiving       :       0.00          0          0
1800.08/1800.53	c   veclendiving     :       0.00          0          0
1800.08/1800.53	c   intdiving        :       0.00          0          0
1800.08/1800.53	c   actconsdiving    :       0.00          0          0
1800.08/1800.53	c   objpscostdiving  :       0.00          0          0
1800.08/1800.53	c   rootsoldiving    :       0.00          0          0
1800.08/1800.53	c   linesearchdiving :       0.00          0          0
1800.08/1800.53	c   guideddiving     :       0.00          0          0
1800.08/1800.53	c   octane           :       0.00          0          0
1800.08/1800.53	c   rens             :       0.00          0          0
1800.08/1800.53	c   rins             :       0.00          0          0
1800.08/1800.53	c   localbranching   :       0.00          0          0
1800.08/1800.53	c   mutation         :       0.00          0          0
1800.08/1800.53	c   crossover        :       0.00          0          0
1800.08/1800.53	c   dins             :       0.00          0          0
1800.08/1800.53	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.53	c   primal LP        :       0.37          0          0       0.00       0.00
1800.08/1800.53	c   dual LP          :     231.88          6      60655   10109.17     261.58
1800.08/1800.53	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.53	c   diving/probing LP:       0.00          0          0       0.00          -
1800.08/1800.53	c   strong branching :     235.97         29      27874     961.17     118.13
1800.08/1800.53	c     (at root node) :          -         29      27874     961.17          -
1800.08/1800.53	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.53	c B&B Tree           :
1800.08/1800.53	c   number of runs   :          1
1800.08/1800.53	c   nodes            :       7592
1800.08/1800.53	c   nodes (total)    :       7592
1800.08/1800.53	c   nodes left       :        160
1800.08/1800.53	c   max depth        :        728
1800.08/1800.53	c   max depth (total):        728
1800.08/1800.53	c   backtracks       :        348 (4.6%)
1800.08/1800.53	c   delayed cutoffs  :       6057
1800.08/1800.53	c   repropagations   :      43373 (115532 domain reductions, 285 cutoffs)
1800.08/1800.53	c   avg switch length:      13.15
1800.08/1800.53	c   switching time   :      21.22
1800.08/1800.53	c Solution           :
1800.08/1800.53	c   Solutions found  :          0 (0 improvements)
1800.08/1800.53	c   Primal Bound     :          -
1800.08/1800.53	c   Dual Bound       : +1.85129338232074e+04
1800.08/1800.53	c   Gap              :   infinite
1800.08/1800.53	c   Root Dual Bound  : +1.85040282762117e+04
1801.17/1801.68	c Time complete: 1801.25.

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

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


[startup+0 s]
/proc/loadavg: 1.07 0.99 0.91 3/64 5431
/proc/meminfo: memFree=1790384/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=5812 CPUtime=0
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 193481834 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/5431/statm: 1453 501 332 1256 0 192 0

[startup+0.0500851 s]
/proc/loadavg: 1.07 0.99 0.91 3/64 5431
/proc/meminfo: memFree=1790384/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=12936 CPUtime=0.04
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 2199 0 0 0 4 0 0 0 18 0 1 0 193481834 13246464 2183 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/5431/statm: 3234 2183 376 1256 0 1973 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12936

[startup+0.101088 s]
/proc/loadavg: 1.07 0.99 0.91 3/64 5431
/proc/meminfo: memFree=1790384/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=16892 CPUtime=0.09
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 3193 0 0 0 9 0 0 0 18 0 1 0 193481834 17297408 3177 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 0 0 0 0 17 1 0 0
/proc/5431/statm: 4223 3177 376 1256 0 2962 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16892

[startup+0.301105 s]
/proc/loadavg: 1.07 0.99 0.91 3/64 5431
/proc/meminfo: memFree=1790384/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=26680 CPUtime=0.29
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 5657 0 0 0 28 1 0 0 19 0 1 0 193481834 27320320 5641 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/5431/statm: 6670 5641 376 1256 0 5409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26680

[startup+0.701137 s]
/proc/loadavg: 1.07 0.99 0.91 3/64 5431
/proc/meminfo: memFree=1790384/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=45532 CPUtime=0.69
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 10321 0 0 0 65 4 0 0 23 0 1 0 193481834 46624768 10305 1992294400 4194304 9342243 548682068736 18446744073709551615 4363789 0 0 4096 0 0 0 0 17 1 0 0
/proc/5431/statm: 11383 10305 376 1256 0 10122 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45532

[startup+1.5012 s]
/proc/loadavg: 1.07 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1734376/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=85764 CPUtime=1.49
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 20366 0 0 0 141 8 0 0 25 0 1 0 193481834 87822336 20350 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/5431/statm: 21441 20350 376 1256 0 20180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85764

[startup+3.10233 s]
/proc/loadavg: 1.07 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1696296/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=245044 CPUtime=3.09
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 60396 0 0 0 286 23 0 0 25 0 1 0 193481834 250925056 60026 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 61261 60026 416 1256 0 60000 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 245044

[startup+6.30159 s]
/proc/loadavg: 1.06 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1477608/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=319548 CPUtime=6.29
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 78861 0 0 0 539 90 0 0 25 0 1 0 193481834 327217152 78491 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 79887 78491 474 1256 0 78626 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 319548

[startup+12.7011 s]
/proc/loadavg: 1.06 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1475240/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=321900 CPUtime=12.69
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 79471 0 0 0 946 323 0 0 25 0 1 0 193481834 329625600 79101 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 80475 79101 474 1256 0 79214 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 321900

[startup+25.5012 s]
/proc/loadavg: 1.04 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1277992/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=560940 CPUtime=25.48
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 133536 0 0 0 1883 665 0 0 25 0 1 0 193481834 574402560 128803 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 140235 128803 611 1256 0 138974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 560940

[startup+51.1012 s]
/proc/loadavg: 1.03 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1258344/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=574540 CPUtime=51.08
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 177529 0 0 0 4418 690 0 0 25 0 1 0 193481834 588328960 133312 1992294400 4194304 9342243 548682068736 18446744073709551615 6935852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 143635 133312 612 1256 0 142374 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 574540

[startup+102.305 s]
/proc/loadavg: 1.01 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1242088/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=586988 CPUtime=102.27
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 208893 0 0 0 9488 739 0 0 25 0 1 0 193481834 601075712 137502 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 146747 137502 644 1256 0 145486 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 586988

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1238184/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=589324 CPUtime=162.25
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 209855 0 0 0 15484 741 0 0 25 0 1 0 193481834 603467776 138464 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 147331 138464 644 1256 0 146070 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 589324

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1230760/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=594032 CPUtime=222.23
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 211698 0 0 0 21479 744 0 0 25 0 1 0 193481834 608288768 140307 1992294400 4194304 9342243 548682068736 18446744073709551615 5566565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 148508 140307 644 1256 0 147247 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 594032

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1224808/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=603396 CPUtime=282.22
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 213889 0 0 0 27475 747 0 0 25 0 1 0 193481834 617877504 142498 1992294400 4194304 9342243 548682068736 18446744073709551615 6960563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 150849 142498 644 1256 0 149588 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 603396

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1220392/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=687380 CPUtime=342.21
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 221694 0 0 0 33467 754 0 0 25 0 1 0 193481834 703877120 142849 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 171845 142849 649 1256 0 170584 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 687380

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1220328/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=687380 CPUtime=402.2
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 233423 0 0 0 39458 762 0 0 25 0 1 0 193481834 703877120 142850 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 171845 142850 649 1256 0 170584 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 687380

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1220392/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=687380 CPUtime=462.18
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 243721 0 0 0 45450 768 0 0 25 0 1 0 193481834 703877120 142848 1992294400 4194304 9342243 548682068736 18446744073709551615 6960335 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 171845 142848 649 1256 0 170584 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 687380

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1220328/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=687380 CPUtime=522.17
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 254017 0 0 0 51443 774 0 0 25 0 1 0 193481834 703877120 142845 1992294400 4194304 9342243 548682068736 18446744073709551615 6966123 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 171845 142845 649 1256 0 170584 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 687380

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1223080/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=606396 CPUtime=582.16
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 259211 0 0 0 57437 779 0 0 25 0 1 0 193481834 620949504 142160 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 151599 142160 668 1256 0 150338 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 606396

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1221096/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=606396 CPUtime=642.15
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 259706 0 0 0 63432 783 0 0 25 0 1 0 193481834 620949504 142655 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 151599 142655 668 1256 0 150338 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 606396

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1202984/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=615452 CPUtime=1002.06
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 264208 0 0 0 99402 804 0 0 25 0 1 0 193481834 630222848 147157 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 153863 147157 668 1256 0 152602 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 615452

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1199208/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=619144 CPUtime=1062.04
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 265137 0 0 0 105397 807 0 0 25 0 1 0 193481834 634003456 148086 1992294400 4194304 9342243 548682068736 18446744073709551615 5434263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 154786 148086 668 1256 0 153525 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 619144

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1196584/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=621824 CPUtime=1122.03
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 265792 0 0 0 111393 810 0 0 25 0 1 0 193481834 636747776 148741 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 155456 148741 668 1256 0 154195 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 621824

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1196136/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=622388 CPUtime=1182.01
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 265912 0 0 0 117387 814 0 0 25 0 1 0 193481834 637325312 148861 1992294400 4194304 9342243 548682068736 18446744073709551615 4770417 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 155597 148861 668 1256 0 154336 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 622388

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1194920/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=623424 CPUtime=1242
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 266159 0 0 0 123381 819 0 0 25 0 1 0 193481834 638386176 149108 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 155856 149108 668 1256 0 154595 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 623424

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1193576/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=624752 CPUtime=1301.99
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 266493 0 0 0 129377 822 0 0 25 0 1 0 193481834 639746048 149442 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 156188 149442 668 1256 0 154927 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 624752

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1190632/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=627552 CPUtime=1361.97
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 267217 0 0 0 135372 825 0 0 25 0 1 0 193481834 642613248 150166 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 156888 150166 668 1256 0 155627 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 627552

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1188904/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=629352 CPUtime=1421.97
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 267638 0 0 0 141368 829 0 0 25 0 1 0 193481834 644456448 150587 1992294400 4194304 9342243 548682068736 18446744073709551615 5433049 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 157338 150587 668 1256 0 156077 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 629352

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1187752/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=630588 CPUtime=1481.95
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 267938 0 0 0 147362 833 0 0 25 0 1 0 193481834 645722112 150887 1992294400 4194304 9342243 548682068736 18446744073709551615 4769447 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 157647 150887 668 1256 0 156386 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 630588

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1184488/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=634024 CPUtime=1541.93
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 268788 0 0 0 153356 837 0 0 25 0 1 0 193481834 649240576 151737 1992294400 4194304 9342243 548682068736 18446744073709551615 5432883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 158506 151737 668 1256 0 157245 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 634024

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1182120/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=636488 CPUtime=1601.92
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 269403 0 0 0 159352 840 0 0 25 0 1 0 193481834 651763712 152352 1992294400 4194304 9342243 548682068736 18446744073709551615 5432938 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 159122 152352 668 1256 0 157861 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 636488

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1180520/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=637792 CPUtime=1661.9
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 269730 0 0 0 165346 844 0 0 25 0 1 0 193481834 653099008 152679 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 159448 152679 668 1256 0 158187 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 637792

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1177256/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=641496 CPUtime=1721.89
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 270633 0 0 0 171342 847 0 0 25 0 1 0 193481834 656891904 153582 1992294400 4194304 9342243 548682068736 18446744073709551615 5433182 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 160374 153582 668 1256 0 159113 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 641496

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1172712/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=645540 CPUtime=1781.88
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 271645 0 0 0 177337 851 0 0 25 0 1 0 193481834 661032960 154594 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 161385 154594 668 1256 0 160124 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 645540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 5432
/proc/meminfo: memFree=1169192/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=649016 CPUtime=1800.08
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 272513 0 0 0 179156 852 0 0 25 0 1 0 193481834 664592384 155462 1992294400 4194304 9342243 548682068736 18446744073709551615 5433049 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5431/statm: 162254 155462 668 1256 0 160993 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 649016

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 5433
/proc/meminfo: memFree=1169184/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=649016 CPUtime=1800.18
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 272522 0 0 0 179166 852 0 0 25 0 1 0 193481834 664592384 155471 1992294400 4194304 9342243 548682068736 18446744073709551615 4303034 0 0 4096 0 0 0 0 17 1 0 0
/proc/5431/statm: 162254 155471 671 1256 0 160993 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 649016

[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 5433
/proc/meminfo: memFree=1169184/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=647492 CPUtime=1800.97
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 272525 0 0 0 179245 852 0 0 25 0 1 0 193481834 663031808 155140 1992294400 4194304 9342243 548682068736 18446744073709551615 5854355 0 0 4096 0 0 0 0 17 1 0 0
/proc/5431/statm: 161873 155140 674 1256 0 160612 0
Current children cumulated CPU time (s) 1800.97
Current children cumulated vsize (KiB) 647492

[startup+1801.6 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 5433
/proc/meminfo: memFree=1169184/2055920 swapFree=4181964/4192956
[pid=5431] ppid=5429 vsize=478820 CPUtime=1801.17
/proc/5431/stat : 5431 (pbscip.linux.x8) R 5429 5431 5148 0 -1 4194304 272526 0 0 0 179263 854 0 0 25 0 1 0 193481834 490311680 116001 1992294400 4194304 9342243 548682068736 18446744073709551615 4798507 0 0 4096 0 0 0 0 17 1 0 0
/proc/5431/statm: 119705 116001 675 1256 0 118444 0
Current children cumulated CPU time (s) 1801.17
Current children cumulated vsize (KiB) 478820

Child status: 0
Real time (s): 1801.68
CPU time (s): 1801.26
CPU user time (s): 1792.64
CPU system time (s): 8.62269
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 689224

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

runsolver used 1.44478 second user time and 3.66044 second system time

The end

Launcher Data 

Begin job on node3 at 2009-06-17 19:13:28
IDJOB=1884488
IDBENCH=71962
IDSOLVER=684
FILE ID=node3/1884488-1245258808
PBS_JOBID= 9372450
Free space on /tmp= 66284 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT_RACE06/een-tip-uns-nusmv-t5.B.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-1884488-1245258808/watcher-1884488-1245258808 -o /tmp/evaluation-result-1884488-1245258808/solver-1884488-1245258808 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884488-1245258808.opb

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

MD5SUM BENCH= f4794db9cd72141640a05570376e6542
RANDOM SEED=1520152562

node3.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.236
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.236
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:       1790928 kB
Buffers:         15828 kB
Cached:         176728 kB
SwapCached:       4984 kB
Active:          47132 kB
Inactive:       153488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1790928 kB
SwapTotal:     4192956 kB
SwapFree:      4181964 kB
Dirty:           17176 kB
Writeback:           0 kB
Mapped:          14264 kB
Slab:            50496 kB
Committed_AS:   184900 kB
PageTables:       1376 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= 66272 MiB
End job on node3 at 2009-06-17 19:43:31