Trace number 1885728

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? (MO) 124.982 202.29

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.81	c SCIP version 1.1.0.7
8.79/8.81	c LP-Solver Clp 1.8.2
8.79/8.81	c user parameter file <scip.set> not found - using default parameters
8.79/8.81	c read problem <HOME/instance-1885728-1245269144.opb>
8.79/8.81	c original problem has 130859 variables (130859 bin, 0 int, 0 impl, 0 cont) and 627223 constraints
11.08/11.14	c No objective function, only one solution is needed.
11.08/11.14	c start presolving problem
11.08/11.14	c presolving:
37.78/37.81	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.97/41.07	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.07/43.17	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.77/44.89	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.37/45.40	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.88/45.91	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.37/46.42	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.87/46.93	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.37/47.44	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.87/47.95	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.38/48.46	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.87/48.97	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.38/49.48	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.87/49.98	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.37/50.49	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.97/51.00	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.47/51.51	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.97/52.01	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.47/52.52	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.97/53.02	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.47/53.52	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.97/54.03	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.47/54.53	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.98/55.04	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.47/55.54	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.97/56.05	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.47/56.56	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.97/57.06	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.47/57.57	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
57.97/58.08	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.47/58.59	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
58.96/59.09	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.47/59.60	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.06/60.10	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.57/60.60	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.06/61.10	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.57/61.61	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.06/62.11	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.56/62.61	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.06/63.11	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.57/63.60	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.06/64.10	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.56/64.60	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
64.97/65.10	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.46/65.59	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
65.97/66.09	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.47/66.58	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.97/67.07	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.46/67.57	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.96/68.06	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.47/68.55	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.97/69.03	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.46/69.51	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.87/70.00	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.37/70.48	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.86/70.96	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.37/71.45	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.86/71.93	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.37/72.40	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.76/72.87	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.27/73.34	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.76/73.82	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.16/74.29	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.67/74.76	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.16/75.23	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.66/75.71	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.06/76.19	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.56/76.67	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.06/77.15	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.55/77.62	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
77.96/78.10	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.46/78.57	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.96/79.05	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.46/79.52	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.86/79.98	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.36/80.45	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.85/80.91	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.26/81.38	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.76/81.84	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.26/82.30	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.65/82.77	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.15/83.23	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.56/83.69	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.06/84.16	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.57/84.62	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.96/85.08	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.45/85.54	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.96/86.00	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.35/86.46	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.86/86.92	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.26/87.38	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.75/87.83	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.16/88.29	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.65/88.75	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.15/89.21	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.56/89.66	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.06/90.12	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.46/90.58	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.95/91.04	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.35/91.49	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.86/91.95	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.36/92.41	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.76/92.87	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.25/93.32	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.65/93.78	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.15/94.24	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.65/94.70	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.06/95.16	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.56/95.61	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.95/96.06	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.45/96.51	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.86/96.96	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.35/97.41	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.76/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.25/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.66/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.15/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.56/99.65	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.06/100.10	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.46/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.96/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.35/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.75/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.26/102.34	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.66/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.15/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.56/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.05/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.45/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.96/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.35/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.85/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.25/106.37	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.75/106.81	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.15/107.26	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.75/110.90	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.15/112.21	c presolving (137 rounds):
112.15/112.21	c  38037 deleted vars, 211391 deleted constraints, 33246 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
112.15/112.21	c  22799208 implications, 0 cliques
112.15/112.21	c presolved problem has 92822 variables (92822 bin, 0 int, 0 impl, 0 cont) and 415832 constraints
112.15/112.21	c  415832 constraints of type <logicor>
112.15/112.21	c transformed objective value is always integral (scale: 1)
112.15/112.21	c Presolving Time: 77.14
112.15/112.21	c PURESAT
112.15/112.21	c -----------------------------------------------------------------------------------------------
112.15/112.21	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 0]
112.15/112.21	c separating/flowcover/freq = c -1
112.15/112.21	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 0]
112.15/112.21	c separating/cmir/freq = c -1
112.15/112.21	c # additional number of allowed LP iterations
112.15/112.21	c # [type: int, range: [0,2147483647], default: 1000]
112.15/112.21	c heuristics/veclendiving/maxlpiterofs = c 1500
112.15/112.21	c # maximal fraction of diving LP iterations compared to node LP iterations
112.15/112.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.15/112.21	c heuristics/veclendiving/maxlpiterquot = c 0.075
112.15/112.21	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 10]
112.15/112.21	c heuristics/veclendiving/freq = c -1
112.15/112.21	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 1]
112.15/112.21	c heuristics/simplerounding/freq = c -1
112.15/112.21	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 10]
112.15/112.21	c heuristics/shifting/freq = c -1
112.15/112.21	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 1]
112.15/112.21	c heuristics/rounding/freq = c -1
112.15/112.21	c # additional number of allowed LP iterations
112.15/112.21	c # [type: int, range: [0,2147483647], default: 1000]
112.15/112.21	c heuristics/rootsoldiving/maxlpiterofs = c 1500
112.15/112.21	c # maximal fraction of diving LP iterations compared to node LP iterations
112.15/112.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
112.15/112.21	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
112.15/112.21	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 20]
112.15/112.21	c heuristics/rootsoldiving/freq = c -1
112.15/112.21	c # number of nodes added to the contingent of the total nodes
112.15/112.21	c # [type: longint, range: [0,9223372036854775807], default: 500]
112.15/112.21	c heuristics/rens/nodesofs = c 2000
112.15/112.21	c # minimum percentage of integer variables that have to be fixable 
112.15/112.21	c # [type: real, range: [0,1], default: 0.5]
112.15/112.21	c heuristics/rens/minfixingrate = c 0.3
112.15/112.21	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 0]
112.15/112.21	c heuristics/rens/freq = c -1
112.15/112.21	c # additional number of allowed LP iterations
112.15/112.21	c # [type: int, range: [0,2147483647], default: 1000]
112.15/112.21	c heuristics/pscostdiving/maxlpiterofs = c 1500
112.15/112.21	c # maximal fraction of diving LP iterations compared to node LP iterations
112.15/112.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.15/112.21	c heuristics/pscostdiving/maxlpiterquot = c 0.075
112.15/112.21	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 10]
112.15/112.21	c heuristics/pscostdiving/freq = c -1
112.15/112.21	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 1]
112.15/112.21	c heuristics/oneopt/freq = c -1
112.15/112.21	c # additional number of allowed LP iterations
112.15/112.21	c # [type: int, range: [0,2147483647], default: 1000]
112.15/112.21	c heuristics/objpscostdiving/maxlpiterofs = c 1500
112.15/112.21	c # maximal fraction of diving LP iterations compared to total iteration number
112.15/112.21	c # [type: real, range: [0,1], default: 0.01]
112.15/112.21	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
112.15/112.21	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 20]
112.15/112.21	c heuristics/objpscostdiving/freq = c -1
112.15/112.21	c # additional number of allowed LP iterations
112.15/112.21	c # [type: int, range: [0,2147483647], default: 1000]
112.15/112.21	c heuristics/linesearchdiving/maxlpiterofs = c 1500
112.15/112.21	c # maximal fraction of diving LP iterations compared to node LP iterations
112.15/112.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.15/112.21	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
112.15/112.21	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 10]
112.15/112.21	c heuristics/linesearchdiving/freq = c -1
112.15/112.21	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 10]
112.15/112.21	c heuristics/intshifting/freq = c -1
112.15/112.21	c # maximal fraction of diving LP iterations compared to node LP iterations
112.15/112.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.15/112.21	c heuristics/intdiving/maxlpiterquot = c 0.075
112.15/112.21	c # additional number of allowed LP iterations
112.15/112.21	c # [type: int, range: [0,2147483647], default: 1000]
112.15/112.21	c heuristics/guideddiving/maxlpiterofs = c 1500
112.15/112.21	c # maximal fraction of diving LP iterations compared to node LP iterations
112.15/112.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.15/112.21	c heuristics/guideddiving/maxlpiterquot = c 0.075
112.15/112.21	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 10]
112.15/112.21	c heuristics/guideddiving/freq = c -1
112.15/112.21	c # additional number of allowed LP iterations
112.15/112.21	c # [type: int, range: [0,2147483647], default: 1000]
112.15/112.21	c heuristics/fracdiving/maxlpiterofs = c 1500
112.15/112.21	c # maximal fraction of diving LP iterations compared to node LP iterations
112.15/112.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.15/112.21	c heuristics/fracdiving/maxlpiterquot = c 0.075
112.15/112.21	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 10]
112.15/112.21	c heuristics/fracdiving/freq = c -1
112.15/112.21	c # additional number of allowed LP iterations
112.15/112.21	c # [type: int, range: [0,2147483647], default: 1000]
112.15/112.21	c heuristics/feaspump/maxlpiterofs = c 2000
112.15/112.21	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 20]
112.15/112.21	c heuristics/feaspump/freq = c -1
112.15/112.21	c # minimum percentage of integer variables that have to be fixed 
112.15/112.21	c # [type: real, range: [0,1], default: 0.666]
112.15/112.21	c heuristics/crossover/minfixingrate = c 0.5
112.15/112.21	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
112.15/112.21	c # [type: real, range: [0,1], default: 0.1]
112.15/112.21	c heuristics/crossover/nodesquot = c 0.15
112.15/112.21	c # number of nodes without incumbent change that heuristic should wait
112.15/112.21	c # [type: longint, range: [0,9223372036854775807], default: 200]
112.15/112.21	c heuristics/crossover/nwaitingnodes = c 100
112.15/112.21	c # number of nodes added to the contingent of the total nodes
112.15/112.21	c # [type: longint, range: [0,9223372036854775807], default: 500]
112.15/112.21	c heuristics/crossover/nodesofs = c 750
112.15/112.21	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 30]
112.15/112.21	c heuristics/crossover/freq = c -1
112.15/112.21	c # additional number of allowed LP iterations
112.15/112.21	c # [type: int, range: [0,2147483647], default: 1000]
112.15/112.21	c heuristics/coefdiving/maxlpiterofs = c 1500
112.15/112.21	c # maximal fraction of diving LP iterations compared to node LP iterations
112.15/112.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
112.15/112.21	c heuristics/coefdiving/maxlpiterquot = c 0.075
112.15/112.21	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: 10]
112.15/112.21	c heuristics/coefdiving/freq = c -1
112.15/112.21	c # priority of node selection rule <dfs> in standard mode
112.15/112.21	c # [type: int, range: [-536870912,536870911], default: 0]
112.15/112.21	c nodeselection/dfs/stdpriority = c 1000000
112.15/112.21	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
112.15/112.21	c # [type: int, range: [-1,2147483647], default: -1]
112.15/112.21	c presolving/probing/maxrounds = c 0
112.15/112.21	c # should presolving try to simplify knapsacks
112.15/112.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.15/112.21	c constraints/knapsack/simplifyinequalities = c TRUE
112.15/112.21	c # should disaggregation of knapsack constraints be allowed in preprocessing?
112.15/112.21	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
112.15/112.21	c constraints/knapsack/disaggregation = c FALSE
112.15/112.21	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
112.25/112.32	c # [type: int, range: [-1,2147483647], default: -1]
112.25/112.32	c constraints/knapsack/maxnumcardlift = c 0
112.25/112.32	c # should presolving try to simplify inequalities
112.25/112.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.25/112.32	c constraints/linear/simplifyinequalities = c TRUE
112.25/112.32	c # maximal number of separation rounds in the root node (-1: unlimited)
112.25/112.32	c # [type: int, range: [-1,2147483647], default: -1]
112.25/112.32	c separating/maxroundsroot = c 5
112.25/112.32	c # maximal number of separation rounds per node (-1: unlimited)
112.25/112.32	c # [type: int, range: [-1,2147483647], default: 5]
112.25/112.32	c separating/maxrounds = c 1
112.25/112.32	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
112.25/112.32	c # [type: char, range: {lafpsqd}, default: l]
112.25/112.32	c lp/pricing = c a
112.25/112.32	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
112.25/112.32	c # [type: int, range: [-1,2147483647], default: 1]
112.25/112.32	c lp/solvefreq = c 0
112.25/112.32	c # solving stops, if the given number of solutions were found (-1: no limit)
112.25/112.32	c # [type: int, range: [-1,2147483647], default: -1]
112.25/112.32	c limits/solutions = c 1
112.25/112.32	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
112.25/112.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
112.25/112.32	c limits/memory = c 1620
112.25/112.32	c # maximal time in seconds to run
112.25/112.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
112.25/112.32	c limits/time = c 1791
112.25/112.32	c # frequency for displaying node information lines
112.25/112.32	c # [type: int, range: [-1,2147483647], default: 100]
112.25/112.32	c display/freq = c 10000
112.25/112.32	c # should enforcement of pseudo solution be disabled?
112.25/112.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.25/112.32	c constraints/disableenfops = c TRUE
112.25/112.32	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
112.25/112.32	c # [type: int, range: [-1,2147483647], default: 0]
112.25/112.32	c constraints/agelimit = c 1
112.25/112.32	c # should binary conflicts be preferred?
112.25/112.32	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
112.25/112.32	c conflict/preferbinary = c TRUE
112.25/112.32	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
112.25/112.32	c # [type: int, range: [-1,2147483647], default: -1]
112.25/112.32	c conflict/interconss = c 0
112.25/112.32	c -----------------------------------------------------------------------------------------------
112.25/112.32	c start solving problem
112.25/112.32	c 
114.85/115.08	terminate called after throwing an instance of 'std::bad_alloc'
114.85/115.08	  what():  std::bad_alloc

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25061
/proc/meminfo: memFree=1765184/2055920 swapFree=4192044/4192956
[pid=25061] ppid=25059 vsize=7616 CPUtime=0
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4194304 642 0 0 0 0 0 0 0 18 0 1 0 79623359 7798784 626 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/25061/statm: 1904 634 353 1256 0 643 0

[startup+0.0395559 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25061
/proc/meminfo: memFree=1765184/2055920 swapFree=4192044/4192956
[pid=25061] ppid=25059 vsize=11484 CPUtime=0.03
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4194304 1856 0 0 0 3 0 0 0 18 0 1 0 79623359 11759616 1840 1992294400 4194304 9342243 548682068736 18446744073709551615 8193810 0 0 4096 0 0 0 0 17 0 0 0
/proc/25061/statm: 2871 1840 376 1256 0 1610 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11484

[startup+0.10156 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25061
/proc/meminfo: memFree=1765184/2055920 swapFree=4192044/4192956
[pid=25061] ppid=25059 vsize=15896 CPUtime=0.09
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4194304 2945 0 0 0 8 1 0 0 18 0 1 0 79623359 16277504 2929 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 0 0 0
/proc/25061/statm: 3974 2929 376 1256 0 2713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15896

[startup+0.301578 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25061
/proc/meminfo: memFree=1765184/2055920 swapFree=4192044/4192956
[pid=25061] ppid=25059 vsize=25656 CPUtime=0.29
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4194304 5309 0 0 0 28 1 0 0 19 0 1 0 79623359 26271744 5293 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 0 0 0
/proc/25061/statm: 6414 5302 376 1256 0 5153 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25656

[startup+0.701613 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25061
/proc/meminfo: memFree=1765184/2055920 swapFree=4192044/4192956
[pid=25061] ppid=25059 vsize=42508 CPUtime=0.69
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4194304 9573 0 0 0 65 4 0 0 24 0 1 0 79623359 43528192 9557 1992294400 4194304 9342243 548682068736 18446744073709551615 8247732 0 0 4096 0 0 0 0 17 0 0 0
/proc/25061/statm: 10627 9557 376 1256 0 9366 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42508

[startup+1.50168 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 25062
/proc/meminfo: memFree=1711864/2055920 swapFree=4192044/4192956
[pid=25061] ppid=25059 vsize=91500 CPUtime=1.49
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4194304 21829 0 0 0 140 9 0 0 25 0 1 0 79623359 93696000 21813 1992294400 4194304 9342243 548682068736 18446744073709551615 5538352 0 0 4096 0 0 0 0 17 0 0 0
/proc/25061/statm: 22875 21813 376 1256 0 21614 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91500

[startup+3.10182 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 25062
/proc/meminfo: memFree=1638840/2055920 swapFree=4192044/4192956
[pid=25061] ppid=25059 vsize=157104 CPUtime=3.09
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4194304 38227 0 0 0 293 16 0 0 25 0 1 0 79623359 160874496 38211 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 0 0 0
/proc/25061/statm: 39276 38211 376 1256 0 38015 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 157104

[startup+6.30111 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 25062
/proc/meminfo: memFree=1554192/2055920 swapFree=4192044/4192956
[pid=25061] ppid=25059 vsize=240000 CPUtime=6.28
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4194304 58868 0 0 0 604 24 0 0 25 0 1 0 79623359 245760000 58852 1992294400 4194304 9342243 548682068736 18446744073709551615 5010116 0 0 4096 0 0 0 0 17 0 0 0
/proc/25061/statm: 60000 58852 376 1256 0 58739 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 240000

[startup+12.7027 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 25062
/proc/meminfo: memFree=985360/2055920 swapFree=4192044/4192956
[pid=25061] ppid=25059 vsize=814856 CPUtime=12.69
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4194304 201711 0 0 0 1185 84 0 0 25 0 1 0 79623359 834412544 201341 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25061/statm: 203714 201341 459 1256 0 202453 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 814856

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 25062
/proc/meminfo: memFree=427920/2055920 swapFree=4192044/4192956
[pid=25061] ppid=25059 vsize=1359116 CPUtime=25.47
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4194304 337778 0 0 0 2400 147 0 0 25 0 1 0 79623359 1391734784 337408 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25061/statm: 339779 337408 461 1256 0 338518 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1359116

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 25062
/proc/meminfo: memFree=100944/2055920 swapFree=4192044/4192956
[pid=25061] ppid=25059 vsize=1672464 CPUtime=51.07
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4194304 416138 0 0 0 4631 476 0 0 25 0 1 0 79623359 1712603136 415768 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25061/statm: 418116 415768 474 1256 0 416855 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1672464

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 25062
/proc/meminfo: memFree=100944/2055920 swapFree=4192044/4192956
[pid=25061] ppid=25059 vsize=1672464 CPUtime=102.26
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4194304 416138 0 0 0 7990 2236 0 0 25 0 1 0 79623359 1712603136 415768 1992294400 4194304 9342243 548682068736 18446744073709551615 5417183 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25061/statm: 418116 415768 474 1256 0 416855 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1672464



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+115.103 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 25062
/proc/meminfo: memFree=15696/2055920 swapFree=4183032/4192956
[pid=25061] ppid=25059 vsize=1879452 CPUtime=114.94
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4195840 475537 0 0 0 8966 2528 0 0 25 0 1 0 79623359 1924558848 450976 1992294400 4194304 9342243 548682068736 18446744073709551615 8364469 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25061/statm: 469863 450976 668 1256 0 468602 0
Current children cumulated CPU time (s) 114.94
Current children cumulated vsize (KiB) 1879452

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -25061

[startup+162.302 s]
/proc/loadavg: 2.65 1.42 1.14 1/70 25070
/proc/meminfo: memFree=16096/2055920 swapFree=3863464/4192956
[pid=25061] ppid=25059 vsize=1879452 CPUtime=122.5
/proc/25061/stat : 25061 (pbscip.linux.x8) D 25059 25061 25024 0 -1 4195840 477944 0 11 0 8966 3284 0 0 20 0 1 0 79623359 1924558848 371326 1992294400 4194304 9342243 548682068736 18446744073709551615 8364469 0 0 4096 16384 18446744071563479169 0 0 17 1 0 0
/proc/25061/statm: 469863 371326 169 1256 0 468602 0
Current children cumulated CPU time (s) 122.5
Current children cumulated vsize (KiB) 1879452
heavy processes:
  %CPU=75 pid=25061 uid=0 cmd=HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/i

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

[startup+179.701 s]
/proc/loadavg: 2.77 1.52 1.18 1/66 25071
/proc/meminfo: memFree=15616/2055920 swapFree=3863464/4192956
[pid=25061] ppid=25059 vsize=1879452 CPUtime=123.24
/proc/25061/stat : 25061 (pbscip.linux.x8) D 25059 25061 25024 0 -1 4195840 502778 0 3624 0 8966 3358 0 0 18 0 1 0 79623359 1924558848 399773 1992294400 4194304 9342243 548682068736 18446744073709551615 8364469 0 0 4096 16384 18446744071563479169 0 0 17 1 0 0
/proc/25061/statm: 469863 399773 169 1256 0 468602 0
Current children cumulated CPU time (s) 123.24
Current children cumulated vsize (KiB) 1879452

[startup+192.503 s]
/proc/loadavg: 2.88 1.59 1.20 1/65 25072
/proc/meminfo: memFree=15632/2055920 swapFree=3863464/4192956
[pid=25061] ppid=25059 vsize=1879452 CPUtime=123.88
/proc/25061/stat : 25061 (pbscip.linux.x8) D 25059 25061 25024 0 -1 4195840 525800 0 6999 0 8966 3422 0 0 18 0 1 0 79623359 1924558848 426162 1992294400 4194304 9342243 548682068736 18446744073709551615 8364469 0 0 4096 16384 18446744071563479169 0 0 17 0 0 0
/proc/25061/statm: 469863 426164 169 1256 0 468602 0
Current children cumulated CPU time (s) 123.88
Current children cumulated vsize (KiB) 1879452

[startup+198.902 s]
/proc/loadavg: 2.98 1.65 1.23 1/65 25073
/proc/meminfo: memFree=15184/2055920 swapFree=3863464/4192956
[pid=25061] ppid=25059 vsize=1879452 CPUtime=124.26
/proc/25061/stat : 25061 (pbscip.linux.x8) D 25059 25061 25024 0 -1 4195840 538717 0 8691 0 8966 3460 0 0 18 0 1 0 79623359 1924558848 440635 1992294400 4194304 9342243 548682068736 18446744073709551615 8364469 0 0 4096 16384 18446744071563479169 0 0 17 1 0 0
/proc/25061/statm: 469863 440635 169 1256 0 468602 0
Current children cumulated CPU time (s) 124.26
Current children cumulated vsize (KiB) 1879452

[startup+200.501 s]
/proc/loadavg: 2.98 1.65 1.23 1/65 25073
/proc/meminfo: memFree=16336/2055920 swapFree=3863464/4192956
[pid=25061] ppid=25059 vsize=1879452 CPUtime=124.34
/proc/25061/stat : 25061 (pbscip.linux.x8) D 25059 25061 25024 0 -1 4195840 541232 0 9094 0 8966 3468 0 0 18 0 1 0 79623359 1924558848 443551 1992294400 4194304 9342243 548682068736 18446744073709551615 8364469 0 0 4096 16384 18446744071563479169 0 0 17 0 0 0
/proc/25061/statm: 469863 443551 169 1256 0 468602 0
Current children cumulated CPU time (s) 124.34
Current children cumulated vsize (KiB) 1879452

[startup+201.301 s]
/proc/loadavg: 2.98 1.65 1.23 1/66 25074
/proc/meminfo: memFree=15176/2055920 swapFree=3863464/4192956
[pid=25061] ppid=25059 vsize=1879452 CPUtime=124.42
/proc/25061/stat : 25061 (pbscip.linux.x8) D 25059 25061 25024 0 -1 4195840 542886 0 9718 0 8966 3476 0 0 18 0 1 0 79623359 1924558848 445557 1992294400 4194304 9342243 548682068736 18446744073709551615 8364469 0 0 4096 16384 18446744071563479169 0 0 17 1 0 0
/proc/25061/statm: 469863 445557 169 1256 0 468602 0
Current children cumulated CPU time (s) 124.42
Current children cumulated vsize (KiB) 1879452

[startup+201.701 s]
/proc/loadavg: 2.98 1.65 1.23 1/66 25074
/proc/meminfo: memFree=15176/2055920 swapFree=3863464/4192956
[pid=25061] ppid=25059 vsize=1879452 CPUtime=124.47
/proc/25061/stat : 25061 (pbscip.linux.x8) D 25059 25061 25024 0 -1 4195840 545554 0 9818 0 8966 3481 0 0 18 0 1 0 79623359 1924558848 448053 1992294400 4194304 9342243 548682068736 18446744073709551615 8364469 0 0 4096 16384 18446744071563479169 0 0 17 1 0 0
/proc/25061/statm: 469863 448053 169 1256 0 468602 0
Current children cumulated CPU time (s) 124.47
Current children cumulated vsize (KiB) 1879452

[startup+202.102 s]
/proc/loadavg: 2.98 1.65 1.23 2/65 25074
/proc/meminfo: memFree=15440/2055920 swapFree=3863464/4192956
[pid=25061] ppid=25059 vsize=0 CPUtime=124.78
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4195844 554026 0 9910 0 8966 3512 0 0 18 0 1 0 79623359 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25061/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 124.78
Current children cumulated vsize (KiB) 0

[startup+202.201 s]
/proc/loadavg: 2.98 1.65 1.23 2/65 25074
/proc/meminfo: memFree=15440/2055920 swapFree=3863464/4192956
[pid=25061] ppid=25059 vsize=0 CPUtime=124.88
/proc/25061/stat : 25061 (pbscip.linux.x8) R 25059 25061 25024 0 -1 4195844 554026 0 9910 0 8966 3522 0 0 19 0 1 0 79623359 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25061/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 124.88
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 202.29
CPU time (s): 124.982
CPU user time (s): 89.6664
CPU system time (s): 35.3156
CPU usage (%): 61.7834
Max. virtual memory (cumulated for all children) (KiB): 1879452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.6664
system time used= 35.3156
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 554026
page faults= 9910
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11486
involuntary context switches= 1005

runsolver used 0.180972 second user time and 0.58591 second system time

The end

Launcher Data 

Begin job on node41 at 2009-06-17 22:05:46
IDJOB=1885728
IDBENCH=72086
IDSOLVER=684
FILE ID=node41/1885728-1245269144
PBS_JOBID= 9372501
Free space on /tmp= 65944 MiB

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

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

MD5SUM BENCH= ba075f9422326ca854456ebb9de9f831
RANDOM SEED=1332787181

node41.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.216
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.216
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:       1765600 kB
Buffers:         47308 kB
Cached:         160424 kB
SwapCached:        416 kB
Active:         104884 kB
Inactive:       115676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1765600 kB
SwapTotal:     4192956 kB
SwapFree:      4192044 kB
Dirty:           31192 kB
Writeback:           0 kB
Mapped:          21904 kB
Slab:            55796 kB
Committed_AS:    89040 kB
PageTables:       1360 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= 64172 MiB
End job on node41 at 2009-06-17 22:09:08