Trace number 1885727

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (MO) 115.022 115.089

General information on the benchmark

Name/PURE-SAT/SAT09/APPLICATIONS/
diagnosis/UTI-10-10p0.opb
MD5SUMba075f9422326ca854456ebb9de9f831
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables130859
Total number of constraints627223
Number of constraints which are clauses627223
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 

8.79/8.83	c SCIP version 1.1.0.7
8.79/8.83	c LP-Solver SoPlex 1.4.1
8.79/8.83	c user parameter file <scip.set> not found - using default parameters
8.79/8.83	c read problem <HOME/instance-1885727-1245269139.opb>
8.79/8.83	c original problem has 130859 variables (130859 bin, 0 int, 0 impl, 0 cont) and 627223 constraints
11.09/11.16	c No objective function, only one solution is needed.
11.09/11.16	c start presolving problem
11.09/11.16	c presolving:
37.76/37.83	c (round 1) 7771 del vars, 7291 del conss, 6856 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20275948 impls, 0 clqs
40.96/41.09	c (round 2) 21889 del vars, 105606 del conss, 20766 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20335623 impls, 0 clqs
43.05/43.20	c (round 3) 23045 del vars, 134872 del conss, 21816 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20919736 impls, 0 clqs
44.86/44.92	c (round 4) 27062 del vars, 156845 del conss, 25757 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20931770 impls, 0 clqs
45.36/45.43	c (round 5) 27279 del vars, 157514 del conss, 25908 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20946082 impls, 0 clqs
45.86/45.94	c (round 6) 27496 del vars, 158178 del conss, 26059 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20960560 impls, 0 clqs
46.36/46.45	c (round 7) 27713 del vars, 158842 del conss, 26210 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20977014 impls, 0 clqs
46.86/46.96	c (round 8) 27930 del vars, 159506 del conss, 26361 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20990560 impls, 0 clqs
47.35/47.47	c (round 9) 28147 del vars, 160169 del conss, 26511 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21006688 impls, 0 clqs
47.86/47.98	c (round 10) 28355 del vars, 160820 del conss, 26656 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21022480 impls, 0 clqs
48.36/48.49	c (round 11) 28558 del vars, 161443 del conss, 26796 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21038102 impls, 0 clqs
48.96/49.00	c (round 12) 28752 del vars, 162057 del conss, 26931 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21053648 impls, 0 clqs
49.46/49.51	c (round 13) 28941 del vars, 162639 del conss, 27062 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21070546 impls, 0 clqs
49.95/50.01	c (round 14) 29130 del vars, 163221 del conss, 27193 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21085304 impls, 0 clqs
50.46/50.52	c (round 15) 29319 del vars, 163802 del conss, 27323 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21102734 impls, 0 clqs
50.95/51.03	c (round 16) 29499 del vars, 164371 del conss, 27448 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21119516 impls, 0 clqs
51.46/51.54	c (round 17) 29674 del vars, 164912 del conss, 27568 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21136236 impls, 0 clqs
51.96/52.04	c (round 18) 29840 del vars, 165440 del conss, 27683 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21152382 impls, 0 clqs
52.45/52.55	c (round 19) 30001 del vars, 165941 del conss, 27794 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21169662 impls, 0 clqs
52.96/53.05	c (round 20) 30162 del vars, 166441 del conss, 27905 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21185010 impls, 0 clqs
53.46/53.56	c (round 21) 30323 del vars, 166941 del conss, 28016 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21203186 impls, 0 clqs
53.95/54.06	c (round 22) 30484 del vars, 167441 del conss, 28127 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21221004 impls, 0 clqs
54.45/54.56	c (round 23) 30645 del vars, 167941 del conss, 28238 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21238464 impls, 0 clqs
54.96/55.07	c (round 24) 30806 del vars, 168441 del conss, 28349 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21255237 impls, 0 clqs
55.45/55.57	c (round 25) 30968 del vars, 168951 del conss, 28460 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21272937 impls, 0 clqs
55.96/56.07	c (round 26) 31129 del vars, 169451 del conss, 28571 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21288409 impls, 0 clqs
56.45/56.58	c (round 27) 31290 del vars, 169951 del conss, 28682 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21305377 impls, 0 clqs
56.95/57.09	c (round 28) 31451 del vars, 170451 del conss, 28793 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21322711 impls, 0 clqs
57.46/57.59	c (round 29) 31612 del vars, 170950 del conss, 28903 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21339885 impls, 0 clqs
58.05/58.10	c (round 30) 31764 del vars, 171437 del conss, 29008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21356841 impls, 0 clqs
58.55/58.61	c (round 31) 31911 del vars, 171896 del conss, 29108 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21375057 impls, 0 clqs
59.05/59.11	c (round 32) 32049 del vars, 172342 del conss, 29203 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21392269 impls, 0 clqs
59.55/59.61	c (round 33) 32182 del vars, 172761 del conss, 29294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21410179 impls, 0 clqs
60.05/60.12	c (round 34) 32315 del vars, 173179 del conss, 29385 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21427883 impls, 0 clqs
60.55/60.62	c (round 35) 32448 del vars, 173597 del conss, 29476 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21444999 impls, 0 clqs
61.05/61.12	c (round 36) 32581 del vars, 174015 del conss, 29567 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21462219 impls, 0 clqs
61.56/61.62	c (round 37) 32714 del vars, 174432 del conss, 29657 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21481637 impls, 0 clqs
62.05/62.12	c (round 38) 32838 del vars, 174837 del conss, 29742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21498797 impls, 0 clqs
62.55/62.62	c (round 39) 32957 del vars, 175215 del conss, 29823 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21516405 impls, 0 clqs
63.05/63.12	c (round 40) 33076 del vars, 175592 del conss, 29904 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21534345 impls, 0 clqs
63.55/63.62	c (round 41) 33195 del vars, 175969 del conss, 29985 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21551571 impls, 0 clqs
64.05/64.11	c (round 42) 33314 del vars, 176345 del conss, 30066 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21569075 impls, 0 clqs
64.55/64.61	c (round 43) 33433 del vars, 176720 del conss, 30147 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21587415 impls, 0 clqs
65.05/65.11	c (round 44) 33552 del vars, 177097 del conss, 30228 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21604327 impls, 0 clqs
65.55/65.61	c (round 45) 33671 del vars, 177477 del conss, 30309 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21622201 impls, 0 clqs
66.05/66.11	c (round 46) 33790 del vars, 177854 del conss, 30390 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21640313 impls, 0 clqs
66.55/66.60	c (round 47) 33909 del vars, 178231 del conss, 30471 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21657539 impls, 0 clqs
66.95/67.09	c (round 48) 34028 del vars, 178608 del conss, 30552 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21675053 impls, 0 clqs
67.45/67.59	c (round 49) 34147 del vars, 178984 del conss, 30632 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21694231 impls, 0 clqs
67.95/68.08	c (round 50) 34257 del vars, 179348 del conss, 30707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21710683 impls, 0 clqs
68.45/68.57	c (round 51) 34362 del vars, 179680 del conss, 30777 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21728047 impls, 0 clqs
68.94/69.05	c (round 52) 34458 del vars, 180003 del conss, 30842 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21744585 impls, 0 clqs
69.45/69.53	c (round 53) 34549 del vars, 180303 del conss, 30903 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21760457 impls, 0 clqs
69.95/70.02	c (round 54) 34640 del vars, 180594 del conss, 30964 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21776841 impls, 0 clqs
70.45/70.50	c (round 55) 34731 del vars, 180889 del conss, 31025 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21793651 impls, 0 clqs
70.85/70.98	c (round 56) 34822 del vars, 181184 del conss, 31086 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21809555 impls, 0 clqs
71.35/71.47	c (round 57) 34913 del vars, 181478 del conss, 31146 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21827285 impls, 0 clqs
71.85/71.95	c (round 58) 34995 del vars, 181760 del conss, 31201 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21841705 impls, 0 clqs
72.35/72.42	c (round 59) 35069 del vars, 182000 del conss, 31251 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21854599 impls, 0 clqs
72.75/72.89	c (round 60) 35143 del vars, 182233 del conss, 31301 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21868475 impls, 0 clqs
73.24/73.36	c (round 61) 35217 del vars, 182466 del conss, 31351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21881967 impls, 0 clqs
73.75/73.83	c (round 62) 35291 del vars, 182699 del conss, 31401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21895423 impls, 0 clqs
74.24/74.30	c (round 63) 35365 del vars, 182932 del conss, 31451 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21908649 impls, 0 clqs
74.65/74.77	c (round 64) 35439 del vars, 183165 del conss, 31501 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21922161 impls, 0 clqs
75.15/75.25	c (round 65) 35513 del vars, 183398 del conss, 31551 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21937895 impls, 0 clqs
75.65/75.72	c (round 66) 35587 del vars, 183631 del conss, 31601 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21953179 impls, 0 clqs
76.05/76.20	c (round 67) 35661 del vars, 183864 del conss, 31651 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21968805 impls, 0 clqs
76.55/76.68	c (round 68) 35735 del vars, 184097 del conss, 31701 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21983571 impls, 0 clqs
77.04/77.16	c (round 69) 35809 del vars, 184329 del conss, 31750 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21999865 impls, 0 clqs
77.54/77.63	c (round 70) 35874 del vars, 184549 del conss, 31794 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22015386 impls, 0 clqs
78.05/78.11	c (round 71) 35933 del vars, 184734 del conss, 31834 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22033785 impls, 0 clqs
78.43/78.58	c (round 72) 35992 del vars, 184918 del conss, 31874 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22051820 impls, 0 clqs
78.94/79.06	c (round 73) 36051 del vars, 185101 del conss, 31913 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22071139 impls, 0 clqs
79.44/79.53	c (round 74) 36101 del vars, 185272 del conss, 31947 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22084389 impls, 0 clqs
79.83/79.99	c (round 75) 36145 del vars, 185410 del conss, 31977 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22097059 impls, 0 clqs
80.34/80.46	c (round 76) 36189 del vars, 185547 del conss, 32007 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22108911 impls, 0 clqs
80.84/80.92	c (round 77) 36233 del vars, 185684 del conss, 32037 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22121363 impls, 0 clqs
81.24/81.39	c (round 78) 36277 del vars, 185821 del conss, 32067 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22134327 impls, 0 clqs
81.73/81.85	c (round 79) 36321 del vars, 185958 del conss, 32097 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22145923 impls, 0 clqs
82.24/82.31	c (round 80) 36365 del vars, 186095 del conss, 32127 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22158187 impls, 0 clqs
82.64/82.78	c (round 81) 36409 del vars, 186232 del conss, 32157 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22171065 impls, 0 clqs
83.13/83.24	c (round 82) 36453 del vars, 186369 del conss, 32187 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22182359 impls, 0 clqs
83.63/83.70	c (round 83) 36497 del vars, 186506 del conss, 32217 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22194859 impls, 0 clqs
84.04/84.17	c (round 84) 36541 del vars, 186643 del conss, 32247 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22207823 impls, 0 clqs
84.54/84.63	c (round 85) 36585 del vars, 186780 del conss, 32277 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22219467 impls, 0 clqs
84.93/85.09	c (round 86) 36629 del vars, 186917 del conss, 32307 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22231731 impls, 0 clqs
85.43/85.56	c (round 87) 36673 del vars, 187054 del conss, 32337 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22244657 impls, 0 clqs
85.93/86.02	c (round 88) 36717 del vars, 187191 del conss, 32367 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22255951 impls, 0 clqs
86.34/86.48	c (round 89) 36761 del vars, 187328 del conss, 32397 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22268491 impls, 0 clqs
86.83/86.94	c (round 90) 36805 del vars, 187465 del conss, 32427 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22281472 impls, 0 clqs
87.23/87.39	c (round 91) 36848 del vars, 187594 del conss, 32457 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22293141 impls, 0 clqs
87.73/87.85	c (round 92) 36891 del vars, 187723 del conss, 32487 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22305384 impls, 0 clqs
88.23/88.31	c (round 93) 36934 del vars, 187852 del conss, 32517 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22318291 impls, 0 clqs
88.63/88.77	c (round 94) 36977 del vars, 187981 del conss, 32547 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22329664 impls, 0 clqs
89.13/89.22	c (round 95) 37020 del vars, 188110 del conss, 32577 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22342107 impls, 0 clqs
89.53/89.68	c (round 96) 37063 del vars, 188239 del conss, 32607 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22355063 impls, 0 clqs
90.04/90.14	c (round 97) 37107 del vars, 188376 del conss, 32637 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22366791 impls, 0 clqs
90.43/90.60	c (round 98) 37151 del vars, 188513 del conss, 32667 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22379055 impls, 0 clqs
90.93/91.05	c (round 99) 37195 del vars, 188650 del conss, 32697 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22392021 impls, 0 clqs
91.43/91.51	c (round 100) 37239 del vars, 188787 del conss, 32727 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22403315 impls, 0 clqs
91.83/91.97	c (round 101) 37283 del vars, 188924 del conss, 32757 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22415755 impls, 0 clqs
92.33/92.43	c (round 102) 37327 del vars, 189061 del conss, 32787 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22428719 impls, 0 clqs
92.73/92.88	c (round 103) 37371 del vars, 189198 del conss, 32817 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22440339 impls, 0 clqs
93.23/93.34	c (round 104) 37415 del vars, 189335 del conss, 32847 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22452603 impls, 0 clqs
93.73/93.80	c (round 105) 37459 del vars, 189472 del conss, 32877 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22465457 impls, 0 clqs
94.13/94.25	c (round 106) 37503 del vars, 189609 del conss, 32907 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22476759 impls, 0 clqs
94.63/94.71	c (round 107) 37547 del vars, 189745 del conss, 32936 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22490693 impls, 0 clqs
95.03/95.17	c (round 108) 37582 del vars, 189869 del conss, 32960 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22503319 impls, 0 clqs
95.54/95.62	c (round 109) 37612 del vars, 189965 del conss, 32979 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22516199 impls, 0 clqs
95.93/96.07	c (round 110) 37633 del vars, 190048 del conss, 32993 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22527359 impls, 0 clqs
96.43/96.52	c (round 111) 37649 del vars, 190104 del conss, 33003 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22538465 impls, 0 clqs
96.83/96.97	c (round 112) 37665 del vars, 190159 del conss, 33013 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22548987 impls, 0 clqs
97.33/97.42	c (round 113) 37681 del vars, 190214 del conss, 33023 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22560173 impls, 0 clqs
97.73/97.86	c (round 114) 37697 del vars, 190269 del conss, 33033 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22570695 impls, 0 clqs
98.23/98.31	c (round 115) 37713 del vars, 190324 del conss, 33043 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22582049 impls, 0 clqs
98.63/98.76	c (round 116) 37729 del vars, 190379 del conss, 33053 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22592571 impls, 0 clqs
99.13/99.21	c (round 117) 37745 del vars, 190434 del conss, 33063 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22603925 impls, 0 clqs
99.53/99.66	c (round 118) 37761 del vars, 190489 del conss, 33073 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22614447 impls, 0 clqs
100.03/100.11	c (round 119) 37777 del vars, 190544 del conss, 33083 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22624272 impls, 0 clqs
100.43/100.55	c (round 120) 37792 del vars, 190591 del conss, 33093 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22634778 impls, 0 clqs
100.93/101.00	c (round 121) 37808 del vars, 190646 del conss, 33103 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22646168 impls, 0 clqs
101.32/101.45	c (round 122) 37824 del vars, 190701 del conss, 33113 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22656690 impls, 0 clqs
101.82/101.90	c (round 123) 37840 del vars, 190756 del conss, 33123 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22668080 impls, 0 clqs
102.24/102.35	c (round 124) 37856 del vars, 190811 del conss, 33133 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22678602 impls, 0 clqs
102.63/102.79	c (round 125) 37872 del vars, 190866 del conss, 33143 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22689908 impls, 0 clqs
103.13/103.24	c (round 126) 37888 del vars, 190921 del conss, 33153 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22700430 impls, 0 clqs
103.53/103.69	c (round 127) 37904 del vars, 190976 del conss, 33163 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22711656 impls, 0 clqs
104.02/104.14	c (round 128) 37920 del vars, 191031 del conss, 33173 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22722178 impls, 0 clqs
104.43/104.59	c (round 129) 37936 del vars, 191086 del conss, 33183 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22733404 impls, 0 clqs
104.92/105.03	c (round 130) 37952 del vars, 191141 del conss, 33193 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22743926 impls, 0 clqs
105.33/105.48	c (round 131) 37968 del vars, 191196 del conss, 33203 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22755068 impls, 0 clqs
105.83/105.93	c (round 132) 37984 del vars, 191251 del conss, 33213 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22765590 impls, 0 clqs
106.23/106.38	c (round 133) 38000 del vars, 191306 del conss, 33223 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22776824 impls, 0 clqs
106.73/106.82	c (round 134) 38016 del vars, 191361 del conss, 33233 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22786337 impls, 0 clqs
107.13/107.27	c (round 135) 38031 del vars, 191407 del conss, 33242 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22797676 impls, 0 clqs
110.82/110.96	c (round 136) 38037 del vars, 211391 del conss, 33246 chg bounds, 0 chg sides, 0 chg coeffs, 415832 upgd conss, 22799208 impls, 0 clqs
112.12/112.27	c presolving (137 rounds):
112.12/112.27	c  38037 deleted vars, 211391 deleted constraints, 33246 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
112.12/112.27	c  22799208 implications, 0 cliques
112.12/112.27	c presolved problem has 92822 variables (92822 bin, 0 int, 0 impl, 0 cont) and 415832 constraints
112.12/112.27	c  415832 constraints of type <logicor>
112.12/112.27	c transformed objective value is always integral (scale: 1)
112.12/112.27	c Presolving Time: 77.25
112.12/112.27	c PURESAT
112.12/112.27	c -----------------------------------------------------------------------------------------------
112.12/112.27	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 0]
112.12/112.27	c separating/flowcover/freq = c -1
112.12/112.27	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 0]
112.12/112.27	c separating/cmir/freq = c -1
112.12/112.27	c # additional number of allowed LP iterations
112.12/112.27	c # [type: int, range: [0,2147483647], default: 1000]
112.12/112.27	c heuristics/veclendiving/maxlpiterofs = c 1500
112.12/112.27	c # maximal fraction of diving LP iterations compared to node LP iterations
112.12/112.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.12/112.27	c heuristics/veclendiving/maxlpiterquot = c 0.075
112.12/112.27	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 10]
112.12/112.27	c heuristics/veclendiving/freq = c -1
112.12/112.27	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 1]
112.12/112.27	c heuristics/simplerounding/freq = c -1
112.12/112.27	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 10]
112.12/112.27	c heuristics/shifting/freq = c -1
112.12/112.27	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 1]
112.12/112.27	c heuristics/rounding/freq = c -1
112.12/112.27	c # additional number of allowed LP iterations
112.12/112.27	c # [type: int, range: [0,2147483647], default: 1000]
112.12/112.27	c heuristics/rootsoldiving/maxlpiterofs = c 1500
112.12/112.27	c # maximal fraction of diving LP iterations compared to node LP iterations
112.12/112.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
112.12/112.27	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
112.12/112.27	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 20]
112.12/112.27	c heuristics/rootsoldiving/freq = c -1
112.12/112.27	c # number of nodes added to the contingent of the total nodes
112.12/112.27	c # [type: longint, range: [0,9223372036854775807], default: 500]
112.12/112.27	c heuristics/rens/nodesofs = c 2000
112.12/112.27	c # minimum percentage of integer variables that have to be fixable 
112.12/112.27	c # [type: real, range: [0,1], default: 0.5]
112.12/112.27	c heuristics/rens/minfixingrate = c 0.3
112.12/112.27	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 0]
112.12/112.27	c heuristics/rens/freq = c -1
112.12/112.27	c # additional number of allowed LP iterations
112.12/112.27	c # [type: int, range: [0,2147483647], default: 1000]
112.12/112.27	c heuristics/pscostdiving/maxlpiterofs = c 1500
112.12/112.27	c # maximal fraction of diving LP iterations compared to node LP iterations
112.12/112.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.12/112.27	c heuristics/pscostdiving/maxlpiterquot = c 0.075
112.12/112.27	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 10]
112.12/112.27	c heuristics/pscostdiving/freq = c -1
112.12/112.27	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 1]
112.12/112.27	c heuristics/oneopt/freq = c -1
112.12/112.27	c # additional number of allowed LP iterations
112.12/112.27	c # [type: int, range: [0,2147483647], default: 1000]
112.12/112.27	c heuristics/objpscostdiving/maxlpiterofs = c 1500
112.12/112.27	c # maximal fraction of diving LP iterations compared to total iteration number
112.12/112.27	c # [type: real, range: [0,1], default: 0.01]
112.12/112.27	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
112.12/112.27	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 20]
112.12/112.27	c heuristics/objpscostdiving/freq = c -1
112.12/112.27	c # additional number of allowed LP iterations
112.12/112.27	c # [type: int, range: [0,2147483647], default: 1000]
112.12/112.27	c heuristics/linesearchdiving/maxlpiterofs = c 1500
112.12/112.27	c # maximal fraction of diving LP iterations compared to node LP iterations
112.12/112.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.12/112.27	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
112.12/112.27	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 10]
112.12/112.27	c heuristics/linesearchdiving/freq = c -1
112.12/112.27	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 10]
112.12/112.27	c heuristics/intshifting/freq = c -1
112.12/112.27	c # maximal fraction of diving LP iterations compared to node LP iterations
112.12/112.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.12/112.27	c heuristics/intdiving/maxlpiterquot = c 0.075
112.12/112.27	c # additional number of allowed LP iterations
112.12/112.27	c # [type: int, range: [0,2147483647], default: 1000]
112.12/112.27	c heuristics/guideddiving/maxlpiterofs = c 1500
112.12/112.27	c # maximal fraction of diving LP iterations compared to node LP iterations
112.12/112.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.12/112.27	c heuristics/guideddiving/maxlpiterquot = c 0.075
112.12/112.27	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 10]
112.12/112.27	c heuristics/guideddiving/freq = c -1
112.12/112.27	c # additional number of allowed LP iterations
112.12/112.27	c # [type: int, range: [0,2147483647], default: 1000]
112.12/112.27	c heuristics/fracdiving/maxlpiterofs = c 1500
112.12/112.27	c # maximal fraction of diving LP iterations compared to node LP iterations
112.12/112.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.12/112.27	c heuristics/fracdiving/maxlpiterquot = c 0.075
112.12/112.27	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 10]
112.12/112.27	c heuristics/fracdiving/freq = c -1
112.12/112.27	c # additional number of allowed LP iterations
112.12/112.27	c # [type: int, range: [0,2147483647], default: 1000]
112.12/112.27	c heuristics/feaspump/maxlpiterofs = c 2000
112.12/112.27	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 20]
112.12/112.27	c heuristics/feaspump/freq = c -1
112.12/112.27	c # minimum percentage of integer variables that have to be fixed 
112.12/112.27	c # [type: real, range: [0,1], default: 0.666]
112.12/112.27	c heuristics/crossover/minfixingrate = c 0.5
112.12/112.27	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
112.12/112.27	c # [type: real, range: [0,1], default: 0.1]
112.12/112.27	c heuristics/crossover/nodesquot = c 0.15
112.12/112.27	c # number of nodes without incumbent change that heuristic should wait
112.12/112.27	c # [type: longint, range: [0,9223372036854775807], default: 200]
112.12/112.27	c heuristics/crossover/nwaitingnodes = c 100
112.12/112.27	c # number of nodes added to the contingent of the total nodes
112.12/112.27	c # [type: longint, range: [0,9223372036854775807], default: 500]
112.12/112.27	c heuristics/crossover/nodesofs = c 750
112.12/112.27	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 30]
112.12/112.27	c heuristics/crossover/freq = c -1
112.12/112.27	c # additional number of allowed LP iterations
112.12/112.27	c # [type: int, range: [0,2147483647], default: 1000]
112.12/112.27	c heuristics/coefdiving/maxlpiterofs = c 1500
112.12/112.27	c # maximal fraction of diving LP iterations compared to node LP iterations
112.12/112.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.12/112.27	c heuristics/coefdiving/maxlpiterquot = c 0.075
112.12/112.27	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: 10]
112.12/112.27	c heuristics/coefdiving/freq = c -1
112.12/112.27	c # priority of node selection rule <dfs> in standard mode
112.12/112.27	c # [type: int, range: [-536870912,536870911], default: 0]
112.12/112.27	c nodeselection/dfs/stdpriority = c 1000000
112.12/112.27	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
112.12/112.27	c # [type: int, range: [-1,2147483647], default: -1]
112.12/112.27	c presolving/probing/maxrounds = c 0
112.12/112.27	c # should presolving try to simplify knapsacks
112.12/112.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.12/112.27	c constraints/knapsack/simplifyinequalities = c TRUE
112.12/112.27	c # should disaggregation of knapsack constraints be allowed in preprocessing?
112.12/112.27	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
112.12/112.27	c constraints/knapsack/disaggregation = c FALSE
112.12/112.27	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
112.22/112.38	c # [type: int, range: [-1,2147483647], default: -1]
112.22/112.38	c constraints/knapsack/maxnumcardlift = c 0
112.22/112.38	c # should presolving try to simplify inequalities
112.22/112.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.22/112.38	c constraints/linear/simplifyinequalities = c TRUE
112.22/112.38	c # maximal number of separation rounds in the root node (-1: unlimited)
112.22/112.38	c # [type: int, range: [-1,2147483647], default: -1]
112.22/112.38	c separating/maxroundsroot = c 5
112.22/112.38	c # maximal number of separation rounds per node (-1: unlimited)
112.22/112.38	c # [type: int, range: [-1,2147483647], default: 5]
112.22/112.38	c separating/maxrounds = c 1
112.22/112.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)
112.22/112.38	c # [type: char, range: {lafpsqd}, default: l]
112.22/112.38	c lp/pricing = c a
112.22/112.38	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
112.22/112.38	c # [type: int, range: [-1,2147483647], default: 1]
112.22/112.38	c lp/solvefreq = c 0
112.22/112.38	c # solving stops, if the given number of solutions were found (-1: no limit)
112.22/112.38	c # [type: int, range: [-1,2147483647], default: -1]
112.22/112.38	c limits/solutions = c 1
112.22/112.38	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
112.22/112.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
112.22/112.38	c limits/memory = c 1620
112.22/112.38	c # maximal time in seconds to run
112.22/112.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
112.22/112.38	c limits/time = c 1791
112.22/112.38	c # frequency for displaying node information lines
112.22/112.38	c # [type: int, range: [-1,2147483647], default: 100]
112.22/112.38	c display/freq = c 10000
112.22/112.38	c # should enforcement of pseudo solution be disabled?
112.22/112.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.22/112.38	c constraints/disableenfops = c TRUE
112.22/112.38	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
112.22/112.38	c # [type: int, range: [-1,2147483647], default: 0]
112.22/112.38	c constraints/agelimit = c 1
112.22/112.38	c # should binary conflicts be preferred?
112.22/112.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.22/112.38	c conflict/preferbinary = c TRUE
112.22/112.38	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
112.22/112.38	c # [type: int, range: [-1,2147483647], default: -1]
112.22/112.38	c conflict/interconss = c 0
112.22/112.38	c -----------------------------------------------------------------------------------------------
112.22/112.38	c start solving problem
112.22/112.38	c 
114.73/114.81	EMALLC02 realloc: Out of memory - cannot allocate 19067744 bytes
114.73/114.82	c [src/scip/lpi_spx.cpp:918] Warning: SoPlex threw an exception: XMALLC02 realloc: Could not allocate enough memory
114.73/114.82	c [src/scip/lp.c:5513] ERROR: Error <-6> in function call
114.73/114.82	c [src/scip/lp.c:5789] ERROR: Error <-6> in function call
114.73/114.82	c [src/scip/lp.c:10503] ERROR: Error <-6> in function call
114.73/114.82	c [src/scip/solve.c:670] ERROR: Error <-6> in function call
114.73/114.82	c [src/scip/solve.c:1842] ERROR: Error <-6> in function call
114.73/114.82	c [src/scip/solve.c:2513] ERROR: Error <-6> in function call
114.73/114.82	c [src/scip/solve.c:3110] ERROR: Error <-6> in function call
114.73/114.82	c [src/scip/scip.c:5251] ERROR: Error <-6> in function call
114.73/114.82	c [src/cmain.c:772] ERROR: Error <-6> in function call
114.73/114.82	c [src/cmain.c:1137] ERROR: Error <-6> in function call
114.73/114.82	c [src/cmain.c:1217] ERROR: Error <-6> in function call
114.73/114.82	c SCIP Error (-6): c error in LP solverc 
114.73/114.83	c Time complete: 114.75.

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-1885727-1245269139/watcher-1885727-1245269139 -o /tmp/evaluation-result-1885727-1245269139/solver-1885727-1245269139 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885727-1245269139.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.13 1.12 1.04 3/65 25088
/proc/meminfo: memFree=1813176/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=6100 CPUtime=0
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 551 0 0 0 0 0 0 0 20 0 1 0 194512794 6246400 533 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/25088/statm: 1525 542 325 886 0 635 0

[startup+0.072482 s]
/proc/loadavg: 1.13 1.12 1.04 3/65 25088
/proc/meminfo: memFree=1813176/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=12084 CPUtime=0.06
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 2306 0 0 0 6 0 0 0 20 0 1 0 194512794 12374016 2288 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/25088/statm: 3021 2297 351 886 0 2131 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12084

[startup+0.101486 s]
/proc/loadavg: 1.13 1.12 1.04 3/65 25088
/proc/meminfo: memFree=1813176/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=14436 CPUtime=0.09
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 2913 0 0 0 9 0 0 0 20 0 1 0 194512794 14782464 2895 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/25088/statm: 3609 2895 351 886 0 2719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14436

[startup+0.301526 s]
/proc/loadavg: 1.13 1.12 1.04 3/65 25088
/proc/meminfo: memFree=1813176/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=24300 CPUtime=0.29
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 5331 0 0 0 28 1 0 0 22 0 1 0 194512794 24883200 5313 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/25088/statm: 6075 5322 351 886 0 5185 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24300

[startup+0.701603 s]
/proc/loadavg: 1.13 1.12 1.04 3/65 25088
/proc/meminfo: memFree=1813176/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=41140 CPUtime=0.69
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 9594 0 0 0 66 3 0 0 25 0 1 0 194512794 42127360 9576 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 0 0 0 0 17 1 0 0
/proc/25088/statm: 10285 9576 351 886 0 9395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41140

[startup+1.50176 s]
/proc/loadavg: 1.13 1.12 1.04 2/66 25089
/proc/meminfo: memFree=1759856/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=91060 CPUtime=1.49
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 22058 0 0 0 141 8 0 0 25 0 1 0 194512794 93245440 22040 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/25088/statm: 22765 22048 351 886 0 21875 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91060

[startup+3.10108 s]
/proc/loadavg: 1.13 1.12 1.04 2/66 25089
/proc/meminfo: memFree=1686832/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=155716 CPUtime=3.09
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 38196 0 0 0 294 15 0 0 25 0 1 0 194512794 159453184 38178 1992294400 4194304 7823515 548682068736 18446744073709551615 4363797 0 0 4096 0 0 0 0 17 1 0 0
/proc/25088/statm: 38929 38178 351 886 0 38039 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 155716

[startup+6.3017 s]
/proc/loadavg: 1.20 1.13 1.04 2/66 25089
/proc/meminfo: memFree=1601072/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=237420 CPUtime=6.29
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 58537 0 0 0 606 23 0 0 25 0 1 0 194512794 243118080 58519 1992294400 4194304 7823515 548682068736 18446744073709551615 6896380 0 0 4096 0 0 0 0 17 1 0 0
/proc/25088/statm: 59355 58519 351 886 0 58465 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 237420

[startup+12.702 s]
/proc/loadavg: 1.34 1.16 1.05 2/66 25089
/proc/meminfo: memFree=1033520/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=811896 CPUtime=12.69
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 201225 0 0 0 1186 83 0 0 25 0 1 0 194512794 831381504 200853 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25088/statm: 202974 200853 417 886 0 202084 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 811896

[startup+25.5015 s]
/proc/loadavg: 1.49 1.20 1.07 2/66 25089
/proc/meminfo: memFree=474096/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=1357108 CPUtime=25.49
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 337530 0 0 0 2406 143 0 0 25 0 1 0 194512794 1389678592 337158 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25088/statm: 339277 337158 419 886 0 338387 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1357108

[startup+51.1015 s]
/proc/loadavg: 1.66 1.27 1.09 2/66 25089
/proc/meminfo: memFree=147760/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=1671484 CPUtime=51.05
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 416149 0 0 0 4636 469 0 0 25 0 1 0 194512794 1711599616 415777 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25088/statm: 417871 415777 432 886 0 416981 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 1671484

[startup+102.306 s]
/proc/loadavg: 1.33 1.24 1.09 2/66 25089
/proc/meminfo: memFree=148464/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=1671484 CPUtime=102.24
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 416149 0 0 0 7993 2231 0 0 25 0 1 0 194512794 1711599616 415777 1992294400 4194304 7823515 548682068736 18446744073709551615 5417170 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25088/statm: 417871 415777 432 886 0 416981 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1671484



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+114.702 s]
/proc/loadavg: 1.26 1.23 1.09 2/66 25089
/proc/meminfo: memFree=15536/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=1864984 CPUtime=114.63
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194304 474361 0 0 0 8959 2504 0 0 25 0 1 0 194512794 1909743616 449452 1992294400 4194304 7823515 548682068736 18446744073709551615 6191479 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25088/statm: 466246 449456 487 886 0 465356 0
Current children cumulated CPU time (s) 114.63
Current children cumulated vsize (KiB) 1864984

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

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

[startup+115.002 s]
/proc/loadavg: 1.26 1.23 1.09 2/66 25089
/proc/meminfo: memFree=15536/2055920 swapFree=4182536/4192956
[pid=25088] ppid=25086 vsize=0 CPUtime=114.93
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24957 0 -1 4194308 480542 0 0 0 8966 2527 0 0 25 0 1 0 194512794 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25088/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 114.93
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 115.089
CPU time (s): 115.022
CPU user time (s): 89.6634
CPU system time (s): 25.3581
CPU usage (%): 99.941
Max. virtual memory (cumulated for all children) (KiB): 1885820

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

runsolver used 0.140978 second user time and 0.296954 second system time

The end

Launcher Data 

Begin job on node77 at 2009-06-17 22:05:41
IDJOB=1885727
IDBENCH=72086
IDSOLVER=683
FILE ID=node77/1885727-1245269139
PBS_JOBID= 9372477
Free space on /tmp= 66300 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/diagnosis/UTI-10-10p0.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885727-1245269139/watcher-1885727-1245269139 -o /tmp/evaluation-result-1885727-1245269139/solver-1885727-1245269139 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885727-1245269139.opb

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

MD5SUM BENCH= ba075f9422326ca854456ebb9de9f831
RANDOM SEED=1343464658

node77.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.263
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.263
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:       1813656 kB
Buffers:         24656 kB
Cached:         152620 kB
SwapCached:       4692 kB
Active:          85596 kB
Inactive:        99464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1813656 kB
SwapTotal:     4192956 kB
SwapFree:      4182536 kB
Dirty:           29112 kB
Writeback:           0 kB
Mapped:          13808 kB
Slab:            43164 kB
Committed_AS:   138980 kB
PageTables:       1380 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= 66288 MiB
End job on node77 at 2009-06-17 22:07:38