Trace number 3741512

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 NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1796.27 1796.71

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-datt256.opb
MD5SUMeff0b252efd7ad849119636cdcc0cdec
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables262144
Total number of constraints11077
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)516
Number of constraints which are nor clauses,nor cardinality constraints10561
Minimum length of a constraint1
Maximum length of a constraint57840
Number of terms in the objective function 262144
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 262144
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 262144
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

1.88/1.94	c SCIP version 1.1.0.7
1.88/1.94	c LP-Solver SoPlex 1.4.1
1.88/1.94	c user parameter file <scip.set> not found - using default parameters
1.88/1.94	c read problem <HOME/instance-3741512-1338772882.opb>
1.88/1.94	c original problem has 262144 variables (262144 bin, 0 int, 0 impl, 0 cont) and 11077 constraints
2.89/2.97	c start presolving problem
2.89/2.97	c presolving:
3.69/3.74	c (round 1) 57844 del vars, 5 del conss, 57844 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 512 clqs
3.99/4.02	c (round 2) 61468 del vars, 1107 del conss, 61468 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 710 clqs
4.19/4.26	c (round 3) 65510 del vars, 1200 del conss, 65510 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 726 clqs
4.29/4.39	c (round 4) 65997 del vars, 1212 del conss, 65997 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 750 clqs
4.59/4.69	c (round 5) 65997 del vars, 1212 del conss, 65997 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 750 clqs
4.99/5.05	c (round 6) 67112 del vars, 1252 del conss, 66856 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 774 clqs
5.09/5.10	c (round 7) 67304 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 774 clqs
5.29/5.33	c (round 8) 67304 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 0 impls, 774 clqs
13.09/13.18	c (round 9) 67354 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 587860 impls, 774 clqs
24.98/25.03	c (round 10) 67404 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1542868 impls, 774 clqs
31.68/31.78	c (round 11) 67454 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1736550 impls, 774 clqs
39.39/39.49	c (round 12) 67508 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2304064 impls, 774 clqs
50.98/51.04	c (round 13) 67558 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2974870 impls, 774 clqs
53.58/53.67	c (round 14) 67608 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2974872 impls, 773 clqs
53.68/53.80	c (round 15) 67610 del vars, 1261 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2974994 impls, 773 clqs
57.78/57.80	c (round 16) 67662 del vars, 1261 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 3192634 impls, 770 clqs
57.88/57.94	c (round 17) 67662 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 3192634 impls, 770 clqs
66.57/66.60	c (round 18) 67712 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 3746918 impls, 770 clqs
89.58/89.69	c (round 19) 67762 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
93.68/93.75	c (round 20) 67812 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
97.57/97.64	c (round 21) 67862 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
101.57/101.61	c (round 22) 67912 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
105.38/105.47	c (round 23) 67962 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
108.58/108.66	c    (106.4s) probing: 1000/194840 (0.5%) - 666 fixings, 0 aggregations, 2589768 implications, 0 bound changes
135.37/135.42	c (round 24) 68012 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 7507264 impls, 770 clqs
169.34/169.43	c (round 25) 68062 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 10095660 impls, 770 clqs
243.17/243.34	c    (240.8s) probing: 2000/194840 (1.0%) - 805 fixings, 0 aggregations, 8378192 implications, 0 bound changes
252.06/252.29	c (round 26) 68112 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 17859842 impls, 770 clqs
290.55/290.75	c (round 27) 68162 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 20974300 impls, 770 clqs
290.76/290.97	c (round 28) 68162 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 785 upgd conss, 20974300 impls, 773 clqs
294.56/294.76	c (round 29) 68212 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 785 upgd conss, 21135578 impls, 773 clqs
294.75/294.94	c (round 30) 68212 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 21135578 impls, 774 clqs
297.95/298.14	c (round 31) 68262 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 21135578 impls, 774 clqs
301.45/301.63	c (round 32) 68312 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 21160612 impls, 774 clqs
369.22/369.42	c    (366.7s) probing: 3000/194840 (1.5%) - 1016 fixings, 0 aggregations, 13186786 implications, 0 bound changes
528.39/528.65	c    (525.7s) probing: 4000/194840 (2.1%) - 1017 fixings, 0 aggregations, 18672581 implications, 0 bound changes
675.17/675.48	c (round 33) 68362 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 46300348 impls, 774 clqs
679.65/679.92	c    (676.7s) probing: 5000/194840 (2.6%) - 1057 fixings, 0 aggregations, 23199023 implications, 0 bound changes
771.13/771.40	c (round 34) 68412 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 53369804 impls, 774 clqs
779.93/780.22	c (round 35) 68462 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 53594900 impls, 774 clqs
794.13/794.44	c (round 36) 68512 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 54615546 impls, 774 clqs
800.13/800.46	c (round 37) 68562 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 54926076 impls, 774 clqs
811.82/812.11	c    (808.7s) probing: 6000/194840 (3.1%) - 1279 fixings, 0 aggregations, 27814277 implications, 0 bound changes
819.83/820.16	c (round 38) 68612 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 56459032 impls, 774 clqs
832.43/832.79	c (round 39) 68662 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 57269372 impls, 774 clqs
839.72/840.08	c (round 40) 68712 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 57704638 impls, 774 clqs
845.52/845.84	c (round 41) 68762 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 57995762 impls, 774 clqs
863.61/863.91	c (round 42) 68812 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 59162962 impls, 774 clqs
890.92/891.20	c (round 43) 68862 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 61131320 impls, 774 clqs
891.21/891.51	c (round 44) 68862 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 793 upgd conss, 61131320 impls, 781 clqs
907.30/907.62	c (round 45) 68912 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 793 upgd conss, 62386598 impls, 781 clqs
907.61/907.91	c (round 46) 68912 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 62386598 impls, 786 clqs
908.41/908.72	c    (905.2s) probing: 7000/194840 (3.6%) - 1621 fixings, 0 aggregations, 30939741 implications, 0 bound changes
910.41/910.80	c (round 47) 68963 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 62552496 impls, 786 clqs
915.41/915.73	c (round 48) 69013 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 62870186 impls, 786 clqs
921.01/921.32	c (round 49) 69063 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 63255660 impls, 786 clqs
923.31/923.63	c (round 50) 69113 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 63295750 impls, 786 clqs
1002.39/1002.71	c (round 51) 69163 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 71911048 impls, 786 clqs
1013.90/1014.21	c    (1010.5s) probing: 8000/194840 (4.1%) - 1893 fixings, 0 aggregations, 36060433 implications, 0 bound changes
1069.08/1069.44	c (round 52) 69213 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 76916586 impls, 786 clqs
1156.06/1156.40	c (round 53) 69263 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 82912460 impls, 786 clqs
1163.16/1163.53	c    (1159.7s) probing: 9000/194840 (4.6%) - 1957 fixings, 0 aggregations, 41412722 implications, 0 bound changes
1332.24/1332.62	c    (1328.5s) probing: 10000/194840 (5.1%) - 1957 fixings, 0 aggregations, 46584762 implications, 0 bound changes
1409.02/1409.40	c (round 54) 69313 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 97894340 impls, 786 clqs
1492.01/1492.40	c    (1488.1s) probing: 11000/194840 (5.6%) - 2011 fixings, 0 aggregations, 51710964 implications, 0 bound changes
1508.10/1508.59	c (round 55) 69363 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 105067310 impls, 786 clqs
1519.00/1519.47	c (round 56) 69413 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 105931924 impls, 786 clqs
1524.50/1524.96	c (round 57) 69463 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 106202544 impls, 786 clqs
1524.70/1525.14	c (round 58) 69463 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 106202544 impls, 790 clqs
1530.00/1530.41	c (round 59) 69513 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 106499706 impls, 790 clqs
1544.70/1545.12	c (round 60) 69563 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 107404556 impls, 790 clqs
1564.10/1564.56	c (round 61) 69613 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 108778048 impls, 790 clqs
1581.79/1582.23	c    (1577.8s) probing: 12000/194840 (6.2%) - 2337 fixings, 0 aggregations, 54685579 implications, 0 bound changes
1589.79/1590.23	c (round 62) 69663 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 110504616 impls, 790 clqs
1604.89/1605.38	c (round 63) 69713 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 111475196 impls, 790 clqs
1670.68/1671.13	c    (1666.6s) probing: 13000/194840 (6.7%) - 2448 fixings, 0 aggregations, 57584399 implications, 0 bound changes
1683.97/1684.48	c (round 64) 69763 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 116609262 impls, 790 clqs
1684.17/1684.66	c (round 65) 69763 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 803 upgd conss, 116609262 impls, 791 clqs
1752.36/1752.82	c    (1748.1s) probing: 14000/194840 (7.2%) - 2478 fixings, 0 aggregations, 59725652 implications, 0 bound changes
1795.26/1795.77	c    (1791.0s) probing: 14494/194840 (7.4%) - 2487 fixings, 0 aggregations, 60836224 implications, 0 bound changes
1795.26/1795.77	c    (1791.0s) probing aborted: solving stopped
1795.26/1795.78	c (round 66) 69793 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 803 upgd conss, 122341440 impls, 791 clqs
1795.26/1795.78	c presolving (66 rounds):
1795.26/1795.78	c  69793 deleted vars, 1264 deleted constraints, 66952 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1795.26/1795.78	c  122341440 implications, 791 cliques
1795.26/1795.78	c presolving was interrupted.
1795.26/1795.78	c Presolving Time: 1790.34
1795.26/1795.78	c OPT-LIN
1795.26/1795.78	c -----------------------------------------------------------------------------------------------
1795.26/1795.78	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1795.26/1795.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.26/1795.78	c limits/memory = c 13950
1795.26/1795.78	c # maximal time in seconds to run
1795.26/1795.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.26/1795.78	c limits/time = c 1791
1795.26/1795.78	c # frequency for displaying node information lines
1795.26/1795.78	c # [type: int, range: [-1,2147483647], default: 100]
1795.26/1795.78	c display/freq = c 10000
1795.26/1795.78	c -----------------------------------------------------------------------------------------------
1795.26/1795.78	c start solving problem
1795.26/1795.78	c presolving:
1795.26/1795.78	c presolving (66 rounds):
1795.26/1795.78	c  69793 deleted vars, 1264 deleted constraints, 66952 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1795.26/1795.78	c  122341440 implications, 791 cliques
1795.26/1795.78	c presolving was interrupted.
1795.26/1795.78	c Presolving Time: 1790.34
1795.26/1795.78	c 
1795.26/1795.78	c SCIP Status        : solving was interrupted [time limit reached]
1795.26/1795.78	c Solving Time (sec) : 1791.03
1795.26/1795.78	c Solving Nodes      : 0
1795.26/1795.78	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1795.26/1795.78	c NODE         0
1795.26/1795.78	c DUAL BOUND   -1e+20
1795.26/1795.78	c PRIMAL BOUND 1e+20
1795.26/1795.78	c GAP          1e+20
1795.26/1795.78	s UNKNOWN
1795.26/1795.78	c SCIP Status        : solving was interrupted [time limit reached]
1795.26/1795.78	c Solving Time       :    1791.03
1795.26/1795.78	c Original Problem   :
1795.26/1795.78	c   Problem name     : HOME/instance-3741512-1338772882.opb
1795.26/1795.78	c   Variables        : 262144 (262144 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.26/1795.78	c   Constraints      : 11077 initial, 11077 maximal
1795.26/1795.78	c Presolved Problem  :
1795.26/1795.78	c   Problem name     : t_HOME/instance-3741512-1338772882.opb
1795.26/1795.78	c   Variables        : 192351 (192351 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.26/1795.78	c   Constraints      : 9813 initial, 9813 maximal
1795.26/1795.78	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.26/1795.78	c   trivial          :       0.61          0          0          0          0          0          0          0          0
1795.26/1795.78	c   dualfix          :       0.38          0          0          0          0          0          0          0          0
1795.26/1795.78	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.26/1795.78	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.26/1795.78	c   implics          :       0.66          0          0          0          0          0          0          0          0
1795.26/1795.78	c   probing          :    1776.23       2487          0          0          0          0          0          0          0
1795.26/1795.78	c   setppc           :       5.44        352          1          0          0          0         12          0          0
1795.26/1795.78	c   linear           :       6.35      66953          0          0      66952          0       1252          0          0
1795.26/1795.78	c   root node        :          -          0          -          -          0          -          -          -          -
1795.26/1795.78	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.26/1795.78	c   integral         :          0          0          0          0          0          0          0          0          0          0
1795.26/1795.78	c   setppc           :          0+         0      66577          0          0       1428          0          0          0          0
1795.26/1795.78	c   linear           :          0+         0      65149          0          0        741          0          0          0          0
1795.26/1795.78	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1795.26/1795.78	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.26/1795.78	c   integral         :       0.00       0.00       0.00       0.00       0.00
1795.26/1795.78	c   setppc           :      21.38       0.00      21.38       0.00       0.00
1795.26/1795.78	c   linear           :     832.52       0.00     832.52       0.00       0.00
1795.26/1795.78	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.26/1795.78	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.26/1795.78	c   rootredcost      :       0.06          0          0          0
1795.26/1795.78	c   pseudoobj        :       0.02          0          0          0
1795.26/1795.78	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.26/1795.78	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1795.26/1795.78	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1795.26/1795.78	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.26/1795.78	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.26/1795.78	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.26/1795.78	c   applied globally :          -          -          -          0        0.0          -          -          -
1795.26/1795.78	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.25/1796.71	c Time complete: 1796.26.

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741512-1338772882/watcher-3741512-1338772882 -o /tmp/evaluation-result-3741512-1338772882/solver-3741512-1338772882 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741512-1338772882.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 4348
/proc/meminfo: memFree=31274580/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=6124 CPUtime=0 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 920 0 0 0 0 0 0 0 20 0 1 0 343416825 6270976 873 33554432000 4194304 7823515 140734195632992 140737174147816 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1531 873 330 887 0 641 0

[startup+0.06012 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 4348
/proc/meminfo: memFree=31274580/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=34900 CPUtime=0.04 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 7954 0 0 0 4 0 0 0 20 0 1 0 343416825 35737600 7903 33554432000 4194304 7823515 140734195632992 140737174147816 5544052 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 8725 7903 349 887 0 7835 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34900

[startup+0.100318 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 4348
/proc/meminfo: memFree=31274580/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=54096 CPUtime=0.09 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 12804 0 0 0 8 1 0 0 20 0 1 0 343416825 55394304 12755 33554432000 4194304 7823515 140734195632992 140737174147816 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 13524 12786 349 887 0 12634 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54096

[startup+0.300264 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 4348
/proc/meminfo: memFree=31274580/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=144048 CPUtime=0.29 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 34716 0 0 0 25 4 0 0 20 0 1 0 343416825 147505152 34666 33554432000 4194304 7823515 140734195632992 140737174147816 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 36012 34698 349 887 0 35122 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 144048

[startup+0.700261 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 4348
/proc/meminfo: memFree=31274580/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=193456 CPUtime=0.69 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 47510 0 0 0 63 6 0 0 20 0 1 0 343416825 198098944 47459 33554432000 4194304 7823515 140734195632992 140734195499096 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 48364 47459 354 887 0 47474 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 193456

[startup+1.50026 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 4349
/proc/meminfo: memFree=31079892/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=211320 CPUtime=1.49 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 51855 0 0 0 142 7 0 0 20 0 1 0 343416825 216391680 51804 33554432000 4194304 7823515 140734195632992 140734195498696 6911387 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 52830 51804 354 887 0 51940 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 211320

[startup+3.10027 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 4349
/proc/meminfo: memFree=30901944/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=542652 CPUtime=3.09 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 134352 0 0 0 291 18 0 0 20 0 1 0 343416825 555675648 133947 33554432000 4194304 7823515 140734195632992 140734195630200 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 135663 133947 413 887 0 134773 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 542652

[startup+6.30028 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 4349
/proc/meminfo: memFree=30702552/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=596188 CPUtime=6.29 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 147623 0 0 0 606 23 0 0 20 0 1 0 343416825 610496512 147145 33554432000 4194304 7823515 140734195632992 140734195628392 5061266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 149047 147145 447 887 0 148157 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 596188

[startup+12.7003 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 4349
/proc/meminfo: memFree=30662012/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=625076 CPUtime=12.68 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 154241 0 0 0 1245 23 0 0 20 0 1 0 343416825 640077824 153763 33554432000 4194304 7823515 140734195632992 140734195629672 5422857 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 156269 153763 447 887 0 155379 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 625076

[startup+25.5003 s]
/proc/loadavg: 2.18 2.05 2.01 3/177 4349
/proc/meminfo: memFree=30619364/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=665944 CPUtime=25.48 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 164256 0 0 0 2522 26 0 0 20 0 1 0 343416825 681926656 163778 33554432000 4194304 7823515 140734195632992 140734195629672 5065346 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 166486 163778 448 887 0 165596 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 665944

[startup+51.1003 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 4349
/proc/meminfo: memFree=30534300/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=754772 CPUtime=51.08 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 185698 0 0 0 5077 31 0 0 20 0 1 0 343416825 772886528 185220 33554432000 4194304 7823515 140734195632992 140734195629688 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 188693 185220 448 887 0 187803 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 754772

[startup+102.306 s]
/proc/loadavg: 2.13 2.07 2.02 3/177 4349
/proc/meminfo: memFree=30448616/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=840788 CPUtime=102.28 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 206698 0 0 0 10189 39 0 0 20 0 1 0 343416825 860966912 206220 33554432000 4194304 7823515 140734195632992 140734195629672 5061462 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 210197 206220 451 887 0 209307 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 840788

[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/177 4349
/proc/meminfo: memFree=30287792/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=1005576 CPUtime=162.24 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 247361 0 0 0 16178 46 0 0 20 0 1 0 343416825 1029709824 246938 33554432000 4194304 7823515 140734195632992 140734195629688 5061266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 251394 246938 456 887 0 250504 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1005576

[startup+222.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/177 4349
/proc/meminfo: memFree=30115832/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=1177732 CPUtime=222.19 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 290037 0 0 0 22165 54 0 0 20 0 1 0 343416825 1205997568 289576 33554432000 4194304 7823515 140734195632992 140734195629048 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 294433 289576 456 887 0 293543 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1177732

[startup+282.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/177 4350
/proc/meminfo: memFree=29910144/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=1385208 CPUtime=282.15 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 341540 0 0 0 28154 61 0 0 20 0 1 0 343416825 1418452992 341068 33554432000 4194304 7823515 140734195632992 140734195629672 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 346302 341068 456 887 0 345412 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 1385208

[startup+342.3 s]
/proc/loadavg: 2.12 2.09 2.03 3/177 4388
/proc/meminfo: memFree=29918100/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=1548200 CPUtime=342.13 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 381103 0 0 0 34143 70 0 0 20 0 1 0 343416825 1585356800 380965 33554432000 4194304 7823515 140734195632992 140734195630232 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 387050 380965 456 887 0 386160 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1548200

[startup+402.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/177 4388
/proc/meminfo: memFree=29757052/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=1705728 CPUtime=402.11 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 420319 0 0 0 40135 76 0 0 20 0 1 0 343416825 1746665472 420278 33554432000 4194304 7823515 140734195632992 140734195629672 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 426432 420278 456 887 0 425542 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 1705728

[startup+462.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/177 4388
/proc/meminfo: memFree=29582116/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=1874340 CPUtime=462.1 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 462427 0 0 0 46127 83 0 0 20 0 1 0 343416825 1919324160 463113 33554432000 4194304 7823515 140734195632992 140734195629672 4800366 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 468585 463113 456 887 0 467695 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 1874340

[startup+522.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/178 4391
/proc/meminfo: memFree=29409372/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=2046556 CPUtime=522.1 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 505238 0 0 0 52118 92 0 0 20 0 1 0 343416825 2095673344 506249 33554432000 4194304 7823515 140734195632992 140734195629672 5803635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 511639 506249 456 887 0 510749 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 2046556

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 4392
/proc/meminfo: memFree=29213644/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=2242300 CPUtime=582.08 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 553960 0 0 0 58109 99 0 0 20 0 1 0 343416825 2296115200 555146 33554432000 4194304 7823515 140734195632992 140734195629672 5061266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 560575 555146 456 887 0 559685 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 2242300

[startup+642.3 s]

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

/proc/meminfo: memFree=27993912/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=3461404 CPUtime=1061.98 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 855012 0 0 0 106041 157 0 0 20 0 1 0 343416825 3544477696 858501 33554432000 4194304 7823515 140734195632992 140734195629672 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 865351 858501 456 887 0 864461 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 3461404

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4396
/proc/meminfo: memFree=27850448/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=3603988 CPUtime=1121.97 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 890411 0 0 0 112033 164 0 0 20 0 1 0 343416825 3690483712 893997 33554432000 4194304 7823515 140734195632992 140734195629688 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 900997 893997 456 887 0 900107 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 3603988

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4396
/proc/meminfo: memFree=27729972/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=3725568 CPUtime=1181.96 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 920736 0 0 0 118026 170 0 0 20 0 1 0 343416825 3814981632 924466 33554432000 4194304 7823515 140734195632992 140734195629688 5061266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 931392 924466 456 887 0 930502 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 3725568

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=27563948/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=3889236 CPUtime=1241.95 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 961630 0 0 0 124018 177 0 0 20 0 1 0 343416825 3982577664 965455 33554432000 4194304 7823515 140734195632992 140734195629688 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 972309 965455 456 887 0 971419 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 3889236

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=27436380/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4015892 CPUtime=1301.94 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 993087 0 0 0 130012 182 0 0 20 0 1 0 343416825 4112273408 996983 33554432000 4194304 7823515 140734195632992 140734195629688 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1003973 996983 456 887 0 1003083 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 4015892

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=27284260/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4170904 CPUtime=1361.93 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1031634 0 0 0 136003 190 0 0 20 0 1 0 343416825 4271005696 1035644 33554432000 4194304 7823515 140734195632992 140734195629208 5422857 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1042726 1035644 456 887 0 1041836 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 4170904

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=27104364/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4348328 CPUtime=1421.93 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1076247 0 0 0 141996 197 0 0 20 0 1 0 343416825 4452687872 1080308 33554432000 4194304 7823515 140734195632992 140734195629688 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1087082 1080308 456 887 0 1086192 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 4348328

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4398
/proc/meminfo: memFree=26954236/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4500316 CPUtime=1481.91 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1113219 0 0 0 147988 203 0 0 20 0 1 0 343416825 4608323584 1117467 33554432000 4194304 7823515 140734195632992 140734195629688 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1125079 1117467 456 887 0 1124189 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 4500316

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4399
/proc/meminfo: memFree=26837076/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4617476 CPUtime=1541.9 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1141693 0 0 0 153980 210 0 0 20 0 1 0 343416825 4728295424 1146349 33554432000 4194304 7823515 140734195632992 140734195629688 5803643 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1154369 1146349 456 887 0 1153479 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 4617476

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4399
/proc/meminfo: memFree=26644176/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4811396 CPUtime=1601.88 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1189794 0 0 0 159968 220 0 0 20 0 1 0 343416825 4926869504 1194915 33554432000 4194304 7823515 140734195632992 140734195629688 6911387 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1202849 1194915 456 887 0 1201959 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 4811396

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4399
/proc/meminfo: memFree=26502952/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4951148 CPUtime=1661.88 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1223951 0 0 0 165960 228 0 0 20 0 1 0 343416825 5069975552 1229669 33554432000 4194304 7823515 140734195632992 140734195629688 5062453 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1237787 1229669 456 887 0 1236897 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 4951148

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4402
/proc/meminfo: memFree=26380444/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5070816 CPUtime=1721.87 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1254731 0 0 0 171950 237 0 0 20 0 1 0 343416825 5192515584 1260571 33554432000 4194304 7823515 140734195632992 140734195629688 5029065 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1267704 1260571 456 887 0 1266814 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 5070816

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 4402
/proc/meminfo: memFree=26268044/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5183984 CPUtime=1781.86 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1282352 0 0 0 177943 243 0 0 20 0 1 0 343416825 5308399616 1288304 33554432000 4194304 7823515 140734195632992 140734195629048 5426237 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1295996 1288304 456 887 0 1295106 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 5183984

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

[startup+1785.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4402
/proc/meminfo: memFree=26263068/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5188996 CPUtime=1785.05 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1283498 0 0 0 178262 243 0 0 20 0 1 0 343416825 5313531904 1289450 33554432000 4194304 7823515 140734195632992 140734195629688 5020805 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1297249 1289450 456 887 0 1296359 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 5188996

[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4402
/proc/meminfo: memFree=26246328/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5207248 CPUtime=1791.46 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1287852 0 0 0 178902 244 0 0 20 0 1 0 343416825 5332221952 1293804 33554432000 4194304 7823515 140734195632992 140734195629688 5803627 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1301812 1293804 456 887 0 1300922 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 5207248

[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 4402
/proc/meminfo: memFree=26231308/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5221384 CPUtime=1794.65 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1291326 0 0 0 179221 244 0 0 20 0 1 0 343416825 5346697216 1297332 33554432000 4194304 7823515 140734195632992 140734195629688 5422857 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1305346 1297332 456 887 0 1304456 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 5221384

[startup+1795.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 4402
/proc/meminfo: memFree=26231308/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5226472 CPUtime=1795.46 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1292407 0 0 0 179301 245 0 0 20 0 1 0 343416825 5351907328 1298413 33554432000 4194304 7823515 140734195632992 140734195629688 5021394 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1306618 1298413 464 887 0 1305728 0
Current children cumulated CPU time (s) 1795.46
Current children cumulated vsize (KiB) 5226472

[startup+1796.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 4402
/proc/meminfo: memFree=26227340/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5226472 CPUtime=1795.86 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1292409 0 0 0 179341 245 0 0 20 0 1 0 343416825 5351907328 1298415 33554432000 4194304 7823515 140734195632992 140734195629688 4515546 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1306618 1298415 466 887 0 1305728 0
Current children cumulated CPU time (s) 1795.86
Current children cumulated vsize (KiB) 5226472

[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 4402
/proc/meminfo: memFree=26227340/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=447724 CPUtime=1796.25 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1292411 0 0 0 179365 260 0 0 20 0 1 0 343416825 458469376 110945 33554432000 4194304 7823515 140734195632992 140734195632424 5875900 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 111931 110945 468 887 0 111041 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (KiB) 447724

Child status: 0
Real time (s): 1796.71
CPU time (s): 1796.27
CPU user time (s): 1793.67
CPU system time (s): 2.6086
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 5226472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.67
system time used= 2.6086
maximum resident set size= 5193660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1292425
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= 188
involuntary context switches= 1856

runsolver used 2.87656 second user time and 6.94194 second system time

The end

Launcher Data

Begin job on node103 at 2012-06-04 03:21:22
IDJOB=3741512
IDBENCH=89871
IDSOLVER=2321
FILE ID=node103/3741512-1338772882
RUNJOBID= node103-1338749472-2600
PBS_JOBID= 14636802
Free space on /tmp= 71100 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-datt256.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-3741512-1338772882/watcher-3741512-1338772882 -o /tmp/evaluation-result-3741512-1338772882/solver-3741512-1338772882 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741512-1338772882.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= eff0b252efd7ad849119636cdcc0cdec
RANDOM SEED=1003445270

node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5411.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31274588 kB
Buffers:          198136 kB
Cached:           405440 kB
SwapCached:         5648 kB
Active:           420968 kB
Inactive:         405304 kB
Active(anon):     220344 kB
Inactive(anon):     4740 kB
Active(file):     200624 kB
Inactive(file):   400564 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:             27860 kB
Writeback:            16 kB
AnonPages:        227688 kB
Mapped:            11200 kB
Shmem:                 0 kB
Slab:             634068 kB
SReclaimable:      74580 kB
SUnreclaim:       559488 kB
KernelStack:        1464 kB
PageTables:         4392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     340620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71092 MiB
End job on node103 at 2012-06-04 03:51:19