Trace number 2705302

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.2.1.3 with Clp 1.11.1 (Release Version) as LP solver? 1790.58 1790.53

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6033_2-unsat--soft-66-100-0.wbo
MD5SUM88bd8107cec9b448bb9d4a61d3b4c661
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark51
Best CPU time to get the best result obtained on this benchmark0.132979
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables12200
Total number of constraints42056
Number of soft constraints14390
Number of constraints which are clauses41660
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints396
Minimum length of a constraint1
Maximum length of a constraint18
Top cost 725721
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 725720
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 116
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2705302-1278576545.wbo>
0.29/0.33	c original problem has 40980 variables (26590 bin, 0 int, 14390 impl, 0 cont) and 56447 constraints
0.29/0.33	c problem read
0.29/0.33	c presolving settings loaded
0.89/0.94	c presolving:
1.19/1.27	c (round 1) 1255 del vars, 3916 del conss, 829 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 684548 impls, 0 clqs
1.49/1.51	c (round 2) 3706 del vars, 11710 del conss, 1952 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 704396 impls, 0 clqs
1.69/1.79	c (round 3) 8227 del vars, 19704 del conss, 2843 chg bounds, 8 chg sides, 8 chg coeffs, 0 upgd conss, 711208 impls, 0 clqs
1.89/1.98	c (round 4) 13032 del vars, 24708 del conss, 3288 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 715339 impls, 0 clqs
1.99/2.10	c (round 5) 16465 del vars, 27632 del conss, 3564 chg bounds, 39 chg sides, 47 chg coeffs, 0 upgd conss, 719448 impls, 0 clqs
2.10/2.19	c (round 6) 18830 del vars, 30282 del conss, 3900 chg bounds, 50 chg sides, 57 chg coeffs, 0 upgd conss, 727251 impls, 0 clqs
2.20/2.27	c (round 7) 20517 del vars, 32492 del conss, 4123 chg bounds, 54 chg sides, 62 chg coeffs, 0 upgd conss, 729152 impls, 0 clqs
2.29/2.31	c (round 8) 21876 del vars, 33911 del conss, 4251 chg bounds, 56 chg sides, 65 chg coeffs, 0 upgd conss, 729805 impls, 0 clqs
2.29/2.34	c (round 9) 22853 del vars, 34784 del conss, 4330 chg bounds, 56 chg sides, 65 chg coeffs, 0 upgd conss, 730730 impls, 0 clqs
2.29/2.36	c (round 10) 23439 del vars, 35214 del conss, 4360 chg bounds, 61 chg sides, 70 chg coeffs, 0 upgd conss, 730983 impls, 0 clqs
2.29/2.38	c (round 11) 23805 del vars, 35595 del conss, 4408 chg bounds, 64 chg sides, 72 chg coeffs, 0 upgd conss, 731448 impls, 0 clqs
2.29/2.40	c (round 12) 24057 del vars, 36011 del conss, 4440 chg bounds, 66 chg sides, 74 chg coeffs, 0 upgd conss, 731582 impls, 0 clqs
2.39/2.41	c (round 13) 24319 del vars, 36290 del conss, 4471 chg bounds, 66 chg sides, 74 chg coeffs, 0 upgd conss, 731702 impls, 0 clqs
2.39/2.42	c (round 14) 24548 del vars, 36531 del conss, 4501 chg bounds, 69 chg sides, 77 chg coeffs, 0 upgd conss, 731926 impls, 0 clqs
2.39/2.43	c (round 15) 24700 del vars, 36745 del conss, 4514 chg bounds, 70 chg sides, 78 chg coeffs, 0 upgd conss, 732046 impls, 0 clqs
2.39/2.44	c (round 16) 24838 del vars, 36878 del conss, 4520 chg bounds, 70 chg sides, 78 chg coeffs, 0 upgd conss, 732060 impls, 0 clqs
2.39/2.45	c (round 17) 24943 del vars, 36943 del conss, 4524 chg bounds, 73 chg sides, 81 chg coeffs, 0 upgd conss, 732060 impls, 0 clqs
2.39/2.46	c (round 18) 24991 del vars, 36959 del conss, 4524 chg bounds, 73 chg sides, 81 chg coeffs, 0 upgd conss, 732060 impls, 0 clqs
2.39/2.48	c (round 19) 25004 del vars, 36959 del conss, 9982 chg bounds, 73 chg sides, 81 chg coeffs, 0 upgd conss, 732060 impls, 0 clqs
2.39/2.49	c (round 20) 25038 del vars, 36993 del conss, 9982 chg bounds, 73 chg sides, 81 chg coeffs, 0 upgd conss, 732138 impls, 0 clqs
2.49/2.59	c (round 21) 25038 del vars, 36993 del conss, 9982 chg bounds, 73 chg sides, 81 chg coeffs, 9159 upgd conss, 742983 impls, 0 clqs
2.59/2.63	c (round 22) 25038 del vars, 36993 del conss, 9982 chg bounds, 77 chg sides, 236 chg coeffs, 9159 upgd conss, 750283 impls, 317 clqs
2.59/2.66	c (round 23) 25038 del vars, 37008 del conss, 9982 chg bounds, 138 chg sides, 497 chg coeffs, 9159 upgd conss, 750283 impls, 321 clqs
2.59/2.69	c (round 24) 25038 del vars, 37009 del conss, 9982 chg bounds, 154 chg sides, 552 chg coeffs, 9159 upgd conss, 750285 impls, 327 clqs
7.39/7.40	c    (7.1s) probing: 1000/10484 (9.5%) - 12 fixings, 4 aggregations, 58654 implications, 2 bound changes
10.49/10.53	c    (10.2s) probing: 2000/10484 (19.1%) - 14 fixings, 10 aggregations, 67117 implications, 2 bound changes
12.99/13.04	c    (12.7s) probing: 3000/10484 (28.6%) - 14 fixings, 12 aggregations, 69547 implications, 2 bound changes
15.19/15.21	c    (14.9s) probing: 4000/10484 (38.2%) - 14 fixings, 13 aggregations, 70592 implications, 2 bound changes
17.09/17.17	c    (16.8s) probing: 5000/10484 (47.7%) - 14 fixings, 13 aggregations, 70866 implications, 2 bound changes
17.29/17.35	c    (17.0s) probing: 5104/10484 (48.7%) - 14 fixings, 13 aggregations, 70867 implications, 2 bound changes
17.29/17.35	c    (17.0s) probing aborted: 100/100 successive totally useless probings
17.29/17.35	c (round 25) 25065 del vars, 37009 del conss, 9984 chg bounds, 154 chg sides, 554 chg coeffs, 9159 upgd conss, 1042867 impls, 327 clqs
17.29/17.38	c (round 26) 25065 del vars, 37087 del conss, 9984 chg bounds, 159 chg sides, 660 chg coeffs, 9159 upgd conss, 1042875 impls, 328 clqs
17.39/17.41	c (round 27) 25092 del vars, 37122 del conss, 9984 chg bounds, 179 chg sides, 788 chg coeffs, 9159 upgd conss, 1042879 impls, 334 clqs
17.39/17.44	c (round 28) 25126 del vars, 37139 del conss, 9984 chg bounds, 183 chg sides, 814 chg coeffs, 9159 upgd conss, 1042885 impls, 339 clqs
17.39/17.46	c (round 29) 25140 del vars, 37141 del conss, 9988 chg bounds, 183 chg sides, 818 chg coeffs, 9159 upgd conss, 1042885 impls, 339 clqs
17.39/17.50	c (round 30) 25142 del vars, 37141 del conss, 9988 chg bounds, 183 chg sides, 819 chg coeffs, 9162 upgd conss, 1042885 impls, 339 clqs
17.69/17.73	c    (17.4s) probing: 5210/10484 (49.7%) - 14 fixings, 13 aggregations, 70868 implications, 2 bound changes
17.69/17.73	c    (17.4s) probing aborted: 100/100 successive totally useless probings
17.69/17.73	c presolving (31 rounds):
17.69/17.73	c  25142 deleted vars, 37141 deleted constraints, 9988 tightened bounds, 0 added holes, 183 changed sides, 820 changed coefficients
17.69/17.73	c  1042887 implications, 339 cliques
17.69/17.73	c presolved problem has 15838 variables (10415 bin, 0 int, 5423 impl, 0 cont) and 19381 constraints
17.69/17.73	c     610 constraints of type <varbound>
17.69/17.73	c     215 constraints of type <knapsack>
17.69/17.73	c    7032 constraints of type <setppc>
17.69/17.73	c    4809 constraints of type <linear>
17.69/17.73	c    5423 constraints of type <indicator>
17.69/17.73	c    1292 constraints of type <logicor>
17.69/17.73	c transformed objective value is always integral (scale: 1)
17.69/17.73	c Presolving Time: 17.27
17.69/17.73	c - non default parameters ----------------------------------------------------------------------
17.69/17.73	c # SCIP version 1.2.1.3
17.69/17.73	c 
17.69/17.73	c # frequency for displaying node information lines
17.69/17.73	c # [type: int, range: [-1,2147483647], default: 100]
17.69/17.73	c display/freq = 10000
17.69/17.73	c 
17.69/17.73	c # maximal time in seconds to run
17.69/17.73	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
17.69/17.73	c limits/time = 1789.68
17.69/17.73	c 
17.69/17.73	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
17.69/17.73	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
17.69/17.73	c limits/memory = 3420
17.69/17.73	c 
17.69/17.73	c # default clock type (1: CPU user seconds, 2: wall clock time)
17.69/17.73	c # [type: int, range: [1,2], default: 1]
17.69/17.73	c timing/clocktype = 2
17.69/17.73	c 
17.69/17.73	c # should presolving try to simplify inequalities
17.69/17.73	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
17.69/17.73	c constraints/linear/simplifyinequalities = TRUE
17.69/17.73	c 
17.69/17.73	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
17.69/17.73	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
17.69/17.73	c constraints/indicator/addCouplingCons = TRUE
17.69/17.73	c 
17.69/17.73	c # should presolving try to simplify knapsacks
17.69/17.73	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
17.69/17.73	c constraints/knapsack/simplifyinequalities = TRUE
17.69/17.73	c 
17.69/17.73	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
17.69/17.73	c # [type: int, range: [-1,2147483647], default: -1]
17.69/17.73	c separating/rapidlearning/freq = 0
17.69/17.73	c 
17.69/17.73	c -----------------------------------------------------------------------------------------------
17.69/17.73	c start solving
17.69/17.74	c 
17.79/17.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
17.79/17.81	c  17.5s|     1 |     0 |   340 |     - | 141M|   0 |  59 |  15k|  19k|  15k|8549 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.99/19.07	c  18.7s|     1 |     0 |  1161 |     - | 142M|   0 | 169 |  15k|  19k|  15k|9394 | 845 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
19.69/19.76	c  19.4s|     1 |     0 |  1513 |     - | 143M|   0 | 271 |  15k|  19k|  15k|9727 |1178 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.19/20.27	c  19.9s|     1 |     0 |  1755 |     - | 143M|   0 | 268 |  15k|  19k|  15k|9891 |1342 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.69/20.76	c  20.4s|     1 |     0 |  1841 |     - | 143M|   0 |  92 |  15k|  19k|  15k|9974 |1425 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
21.69/21.71	c  21.4s|     1 |     0 |  2350 |     - | 143M|   0 | 173 |  15k|  19k|  15k|  10k|1472 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
22.49/22.58	c  22.3s|     1 |     0 |  3322 |     - | 143M|   0 |1218 |  15k|  19k|  15k|  10k|1602 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
24.20/24.23	c  23.9s|     1 |     0 |  4699 |     - | 143M|   0 |1343 |  15k|  19k|  15k|  10k|1919 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
25.79/25.82	c  25.5s|     1 |     0 |  5851 |     - | 145M|   0 | 262 |  15k|  19k|  15k|  10k|2321 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
27.29/27.38	c  27.1s|     1 |     0 |  7141 |     - | 145M|   0 | 393 |  15k|  19k|  15k|  11k|2558 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
48.39/48.47	c  48.1s|     1 |     2 |  7141 |     - | 145M|   0 | 393 |  15k|  19k|  15k|  11k|2558 |   0 |  46 | 0.000000e+00 |      --      |    Inf 
442.30/442.34	c   442s| 10000 |  9997 |313047 |  30.6 | 225M| 111 |  22 |  15k|  19k|  15k|  10k|  11k|  82 |4286 | 0.000000e+00 |      --      |    Inf 
648.11/648.11	c   648s| 20000 | 19995 |474507 |  23.4 | 303M| 119 |  54 |  15k|  19k|  15k|  10k|  23k|  88 |5477 | 0.000000e+00 |      --      |    Inf 
867.01/867.01	c   867s| 30000 | 29995 |624962 |  20.6 | 381M| 127 |   6 |  15k|  19k|  15k|  10k|  36k|  96 |7778 | 0.000000e+00 |      --      |    Inf 
1064.82/1064.83	c  1065s| 40000 | 40011 |749525 |  18.6 | 458M| 169 |   0 |  15k|  19k|  15k|  10k|  47k| 118 |8907 | 0.000000e+00 |      --      |    Inf 
1256.52/1256.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1256.52/1256.52	c  1256s| 50000 | 50011 |833301 |  16.5 | 534M| 173 | 101 |  15k|  19k|  15k|  10k|  58k| 118 |9808 | 0.000000e+00 |      --      |    Inf 
1443.13/1443.19	c  1443s| 60000 | 60011 |906223 |  15.0 | 610M| 173 |   0 |  15k|  19k|  15k|  10k|  69k| 118 |  10k| 0.000000e+00 |      --      |    Inf 
1628.53/1628.55	c  1628s| 70000 | 70011 |983973 |  14.0 | 686M| 173 |  16 |  15k|  19k|  15k|  10k|  81k| 118 |  11k| 0.000000e+00 |      --      |    Inf 
1790.03/1790.01	c 
1790.03/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.01	c Solving Time (sec) : 1789.68
1790.03/1790.01	c Solving Nodes      : 78383
1790.03/1790.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.03/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.03/1790.01	c Gap                : infinite
1790.03/1790.01	s UNKNOWN
1790.03/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.01	c Solving Time       :    1789.68
1790.03/1790.01	c Original Problem   :
1790.03/1790.01	c   Problem name     : HOME/instance-2705302-1278576545.wbo
1790.03/1790.01	c   Variables        : 40980 (26590 binary, 0 integer, 14390 implicit integer, 0 continuous)
1790.03/1790.01	c   Constraints      : 56447 initial, 56447 maximal
1790.03/1790.01	c Presolved Problem  :
1790.03/1790.01	c   Problem name     : t_HOME/instance-2705302-1278576545.wbo
1790.03/1790.01	c   Variables        : 15838 (10415 binary, 0 integer, 5423 implicit integer, 0 continuous)
1790.03/1790.01	c   Constraints      : 19381 initial, 19463 maximal
1790.03/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.03/1790.01	c   trivial          :       0.04        188          0          0          0          0          0          0          0
1790.03/1790.01	c   dualfix          :       0.07      18992          0          0          0          0          0          0          0
1790.03/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.01	c   implics          :       0.05          0         17          0          0          0          0          0          0
1790.03/1790.01	c   probing          :      14.84         14         13          0          2          0          0          0          0
1790.03/1790.01	c   varbound         :       0.00          0          0          0          0          0         10          0          0
1790.03/1790.01	c   knapsack         :       0.04          0          0          0          0          0         17        110        739
1790.03/1790.01	c   setppc           :       0.06          0          0          0          0          0         60          0          0
1790.03/1790.01	c   linear           :       1.15       4377       1541          0       9986          0      28086         73         81
1790.03/1790.01	c   indicator        :       0.44          0          0          0          0          0       8967          0          0
1790.03/1790.01	c   logicor          :       0.05          0          0          0          0          0          1          0          0
1790.03/1790.01	c   root node        :          -          0          -          -          0          -          -          -          -
1790.03/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.03/1790.01	c   integral         :          0          0          0      82369          0          0         12          0          0     103990
1790.03/1790.01	c   varbound         :        610          9     328757      30367          0          0       8153        972          0          0
1790.03/1790.01	c   knapsack         :        215          9     328757      29714          0          2      83421        108          0          0
1790.03/1790.01	c   setppc           :       7032          9     328755      29714          0          0     737012          0          0          0
1790.03/1790.01	c   linear           :       4809          9     328755      29714          0          0      51583      88537          0          0
1790.03/1790.01	c   indicator        :       5423          0     328755      30367          0          0      55933          0          0          0
1790.03/1790.01	c   logicor          :       1292+         9     152460      26383          0          3      59519          0          0          0
1790.03/1790.01	c   countsols        :          0          0          0      26383          0          0          0          0          0          0
1790.03/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.03/1790.01	c   integral         :     242.91       0.00       0.00     242.91       0.00
1790.03/1790.01	c   varbound         :       9.45       0.00       6.59       2.86       0.00
1790.03/1790.01	c   knapsack         :       4.51       0.00       3.78       0.72       0.00
1790.03/1790.01	c   setppc           :      50.31       0.01      42.20       8.10       0.00
1790.03/1790.01	c   linear           :      64.10       0.03      26.81      37.26       0.00
1790.03/1790.01	c   indicator        :     168.62       0.01     109.84      58.78       0.00
1790.03/1790.01	c   logicor          :       3.13       0.00       0.76       2.37       0.00
1790.03/1790.01	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1790.03/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.03/1790.01	c   vbounds          :       1.51      19982          0          8
1790.03/1790.01	c   rootredcost      :       0.09          0          0          0
1790.03/1790.01	c   pseudoobj        :      54.45     311799          0          0
1790.03/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.03/1790.01	c   propagation      :       0.00          5          5          5        4.8          0        0.0          -
1790.03/1790.01	c   infeasible LP    :       0.31        102        102        115        3.8          0        0.0          0
1790.03/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.03/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.03/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.03/1790.01	c   applied globally :          -          -          -        118        3.8          -          -          -
1790.03/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.03/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.03/1790.01	c   cut pool         :       0.00          8          -          -        101          -    (maximal pool size: 2041)
1790.03/1790.01	c   redcost          :      58.54      82365          0          0          0          0
1790.03/1790.01	c   impliedbounds    :       0.02          9          0          0       1143          0
1790.03/1790.01	c   intobj           :       0.00          0          0          0          0          0
1790.03/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1790.03/1790.01	c   gomory           :       1.18          9          0          0       3455          0
1790.03/1790.01	c   strongcg         :       0.89          9          0          0       3486          0
1790.03/1790.01	c   cmir             :       1.08          9          0          0         22          0
1790.03/1790.01	c   flowcover        :       2.87          9          0          0        267          0
1790.03/1790.01	c   clique           :       0.58          9          0          0         49          0
1790.03/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1790.03/1790.01	c   mcf              :       0.04          1          0          0          0          0
1790.03/1790.01	c   rapidlearning    :       0.00          0          0          0          0          0
1790.03/1790.01	c Pricers            :       Time      Calls       Vars
1790.03/1790.01	c   problem variables:       0.00          0          0
1790.03/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.03/1790.01	c   relpscost        :     242.79      52002          0         12          0          0     103990
1790.03/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1790.03/1790.01	c   inference        :     126.26      26383          0          0          0          0      52786
1790.03/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1790.03/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1790.03/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.03/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.03/1790.01	c   random           :       0.00          0          0          0          0          0          0
1790.03/1790.01	c Primal Heuristics  :       Time      Calls      Found
1790.03/1790.01	c   LP solutions     :       0.00          -          0
1790.03/1790.01	c   pseudo solutions :       0.00          -          0
1790.03/1790.01	c   oneopt           :       0.10          0          0
1790.03/1790.01	c   crossover        :       0.04          0          0
1790.03/1790.01	c   intshifting      :       0.00          0          0
1790.03/1790.01	c   guideddiving     :       0.00          0          0
1790.03/1790.01	c   rootsoldiving    :       5.73         16          0
1790.03/1790.01	c   objpscostdiving  :       3.53         35          0
1790.03/1790.01	c   feaspump         :      16.20        124          0
1790.03/1790.01	c   fracdiving       :      32.12        728          0
1790.03/1790.01	c   veclendiving     :      38.24        728          0
1790.03/1790.01	c   linesearchdiving :      24.27        728          0
1790.03/1790.01	c   coefdiving       :      46.75        729          0
1790.03/1790.01	c   pscostdiving     :      31.84        729          0
1790.03/1790.01	c   trivial          :       0.44          2          0
1790.03/1790.01	c   simplerounding   :       0.20      49077          0
1790.03/1790.01	c   zirounding       :       0.43       1000          0
1790.03/1790.01	c   rounding         :       2.15       3076          0
1790.03/1790.01	c   shifting         :       3.38        944          0
1790.03/1790.01	c   twoopt           :       0.00          0          0
1790.03/1790.01	c   fixandinfer      :       0.00          0          0
1790.03/1790.01	c   intdiving        :       0.00          0          0
1790.03/1790.01	c   actconsdiving    :       0.00          0          0
1790.03/1790.01	c   octane           :       0.00          0          0
1790.03/1790.01	c   rens             :       0.17          1          0
1790.03/1790.01	c   rins             :       0.00          0          0
1790.03/1790.01	c   localbranching   :       0.00          0          0
1790.03/1790.01	c   mutation         :       0.00          0          0
1790.03/1790.01	c   dins             :       0.00          0          0
1790.03/1790.01	c   undercover       :       0.00          0          0
1790.03/1790.01	c   nlp              :       0.03          0          0
1790.03/1790.01	c   trysol           :       9.85        673          0
1790.03/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.03/1790.01	c   primal LP        :       0.01          0          0       0.00          -
1790.03/1790.01	c   dual LP          :     578.99      53366     936356      17.55    1617.22
1790.03/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1790.03/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1790.03/1790.01	c   diving/probing LP:      92.10      10708     110654      10.33    1201.45
1790.03/1790.01	c   strong branching :     241.34      12135     415060      34.20    1719.85
1790.03/1790.01	c     (at root node) :          -         46      39746     864.04          -
1790.03/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1790.03/1790.01	c B&B Tree           :
1790.03/1790.01	c   number of runs   :          1
1790.03/1790.01	c   nodes            :      78383
1790.03/1790.01	c   nodes (total)    :      78383
1790.03/1790.01	c   nodes left       :      78394
1790.03/1790.01	c   max depth        :        173
1790.03/1790.01	c   max depth (total):        173
1790.03/1790.01	c   backtracks       :       1107 (1.4%)
1790.03/1790.01	c   delayed cutoffs  :          0
1790.03/1790.01	c   repropagations   :         34 (19 domain reductions, 0 cutoffs)
1790.03/1790.01	c   avg switch length:       2.16
1790.03/1790.01	c   switching time   :      20.41
1790.03/1790.01	c Solution           :
1790.03/1790.01	c   Solutions found  :          0 (0 improvements)
1790.03/1790.01	c   Primal Bound     :          -
1790.03/1790.01	c   Dual Bound       : +0.00000000000000e+00
1790.03/1790.01	c   Gap              :   infinite
1790.03/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1790.03/1790.01	c   Root Iterations  :       7141
1790.53/1790.53	c Time complete: 1790.56.

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

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.91 2/173 21104
/proc/meminfo: memFree=30342524/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=12340 CPUtime=0
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 1924 0 0 0 0 0 0 0 21 0 1 0 25867096 12636160 1843 4089446400 4194304 10345943 140734979507104 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21104/statm: 3085 1843 429 1502 0 1578 0

[startup+0.049094 s]
/proc/loadavg: 1.92 1.98 1.91 2/173 21104
/proc/meminfo: memFree=30342524/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=24940 CPUtime=0.03
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 5089 0 0 0 3 0 0 0 21 0 1 0 25867096 25538560 5008 4089446400 4194304 10345943 140734979507104 18446744073709551615 9134643 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21104/statm: 6235 5008 430 1502 0 4728 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24940

[startup+0.101068 s]
/proc/loadavg: 1.92 1.98 1.91 2/173 21104
/proc/meminfo: memFree=30342524/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=33356 CPUtime=0.09
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 7200 0 0 0 8 1 0 0 21 0 1 0 25867096 34156544 7119 4089446400 4194304 10345943 140734979507104 18446744073709551615 9134623 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21104/statm: 8339 7119 430 1502 0 6832 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33356

[startup+0.301045 s]
/proc/loadavg: 1.92 1.98 1.91 2/173 21104
/proc/meminfo: memFree=30342524/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=67688 CPUtime=0.29
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 15797 0 0 0 28 1 0 0 21 0 1 0 25867096 69312512 15689 4089446400 4194304 10345943 140734979507104 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21104/statm: 16922 15689 430 1502 0 15415 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67688

[startup+0.700932 s]
/proc/loadavg: 1.92 1.98 1.91 2/173 21104
/proc/meminfo: memFree=30342524/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=165372 CPUtime=0.69
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 39330 0 0 0 65 4 0 0 22 0 1 0 25867096 169340928 38832 4089446400 4194304 10345943 140734979507104 18446744073709551615 9138519 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21104/statm: 41343 38832 510 1502 0 39836 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 165372

[startup+1.50082 s]
/proc/loadavg: 1.92 1.98 1.91 2/174 21105
/proc/meminfo: memFree=30184396/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=191068 CPUtime=1.49
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 45953 0 0 0 144 5 0 0 25 0 1 0 25867096 195653632 45455 4089446400 4194304 10345943 140734979507104 18446744073709551615 4287408 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21104/statm: 47767 45455 542 1502 0 46260 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 191068

[startup+3.10046 s]
/proc/loadavg: 1.92 1.98 1.91 2/174 21105
/proc/meminfo: memFree=30162200/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=196992 CPUtime=3.09
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 47610 0 0 0 304 5 0 0 25 0 1 0 25867096 201719808 47066 4089446400 4194304 10345943 140734979507104 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21104/statm: 49248 47066 587 1502 0 47741 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 196992

[startup+6.30095 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 21115
/proc/meminfo: memFree=29306572/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=199728 CPUtime=6.29
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 48286 0 0 0 624 5 0 0 25 0 1 0 25867096 204521472 47742 4089446400 4194304 10345943 140734979507104 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21104/statm: 49932 47742 587 1502 0 48425 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 199728

[startup+12.7008 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 21115
/proc/meminfo: memFree=28510704/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=201456 CPUtime=12.69
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 48719 0 0 0 1264 5 0 0 25 0 1 0 25867096 206290944 48175 4089446400 4194304 10345943 140734979507104 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21104/statm: 50364 48175 592 1502 0 48857 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 201456

[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 1.91 3/179 21115
/proc/meminfo: memFree=28475656/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=246340 CPUtime=25.49
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 59178 0 0 0 2542 7 0 0 25 0 1 0 25867096 252252160 57709 4089446400 4194304 10345943 140734979507104 18446744073709551615 7568915 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21104/statm: 61585 57709 759 1502 0 60078 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 246340

[startup+51.1009 s]
/proc/loadavg: 2.03 2.00 1.91 3/179 21116
/proc/meminfo: memFree=28464160/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=260264 CPUtime=51.09
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 87866 0 0 0 5095 14 0 0 25 0 1 0 25867096 266510336 60065 4089446400 4194304 10345943 140734979507104 18446744073709551615 7588258 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 65066 60065 786 1502 0 63559 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 260264

[startup+102.307 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21117
/proc/meminfo: memFree=28463640/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=252932 CPUtime=102.3
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 107758 0 0 0 10206 24 0 0 25 0 1 0 25867096 259002368 59967 4089446400 4194304 10345943 140734979507104 18446744073709551615 7569554 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 63233 59967 787 1502 0 61726 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 252932

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21119
/proc/meminfo: memFree=28460124/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=256008 CPUtime=162.29
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 116301 0 0 0 16195 34 0 0 25 0 1 0 25867096 262152192 60806 4089446400 4194304 10345943 140734979507104 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 64002 60806 790 1502 0 62495 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 256008

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21120
/proc/meminfo: memFree=28453604/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=262528 CPUtime=222.29
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 139271 0 0 0 22186 43 0 0 25 0 1 0 25867096 268828672 62471 4089446400 4194304 10345943 140734979507104 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 65632 62471 790 1502 0 64125 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 262528

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21122
/proc/meminfo: memFree=28432668/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=284892 CPUtime=282.29
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 189089 0 0 0 28173 56 0 0 25 0 1 0 25867096 291729408 67726 4089446400 4194304 10345943 140734979507104 18446744073709551615 6803432 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 71223 67726 791 1502 0 69716 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 284892

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21124
/proc/meminfo: memFree=28411276/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=307256 CPUtime=342.3
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 231626 0 0 0 34160 70 0 0 25 0 1 0 25867096 314630144 72956 4089446400 4194304 10345943 140734979507104 18446744073709551615 6847601 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 76814 72956 791 1502 0 75307 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 307256

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21125
/proc/meminfo: memFree=28392048/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=327432 CPUtime=402.3
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 271398 0 0 0 40150 80 0 0 25 0 1 0 25867096 335290368 77903 4089446400 4194304 10345943 140734979507104 18446744073709551615 6361515 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 81858 77903 791 1502 0 80351 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 327432

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21127
/proc/meminfo: memFree=28370764/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=347996 CPUtime=462.3
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 310442 0 0 0 46138 92 0 0 25 0 1 0 25867096 356347904 83120 4089446400 4194304 10345943 140734979507104 18446744073709551615 6803415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 86999 83120 791 1502 0 85492 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 347996

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21128
/proc/meminfo: memFree=28352368/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=377784 CPUtime=522.3
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 375885 0 0 0 52123 107 0 0 25 0 1 0 25867096 386850816 87931 4089446400 4194304 10345943 140734979507104 18446744073709551615 6566400 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 94446 87931 791 1502 0 92939 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 377784

[startup+582.301 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 21132
/proc/meminfo: memFree=28325936/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=393612 CPUtime=582.3
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 410722 0 0 0 58113 117 0 0 25 0 1 0 25867096 403058688 94329 4089446400 4194304 10345943 140734979507104 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 98403 94329 791 1502 0 96896 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 393612

[startup+642.3 s]
/proc/loadavg: 2.05 2.02 1.93 3/179 21135
/proc/meminfo: memFree=28300512/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=420736 CPUtime=642.31
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 438937 0 0 0 64103 128 0 0 25 0 1 0 25867096 430833664 100676 4089446400 4194304 10345943 140734979507104 18446744073709551615 5926502 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 105184 100676 791 1502 0 103677 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 420736

[startup+702.3 s]

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

/proc/meminfo: memFree=26920048/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=543696 CPUtime=1002.31
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 596971 0 0 0 100046 185 0 0 25 0 1 0 25867096 556744704 131972 4089446400 4194304 10345943 140734979507104 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 135924 131972 791 1502 0 134417 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 543696

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21146
/proc/meminfo: memFree=26894316/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=568040 CPUtime=1062.31
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 604809 0 0 0 106042 189 0 0 25 0 1 0 25867096 581672960 138378 4089446400 4194304 10345943 140734979507104 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 142010 138378 791 1502 0 140503 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 568040

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/179 21147
/proc/meminfo: memFree=26868084/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=594552 CPUtime=1122.32
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 644567 0 0 0 112032 200 0 0 25 0 1 0 25867096 608821248 145016 4089446400 4194304 10345943 140734979507104 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 148638 145016 791 1502 0 147131 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 594552

[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 1.94 3/179 21149
/proc/meminfo: memFree=26843712/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=622696 CPUtime=1182.32
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 659302 0 0 0 118027 205 0 0 25 0 1 0 25867096 637640704 151115 4089446400 4194304 10345943 140734979507104 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 155674 151115 791 1502 0 154167 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 622696

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/179 21151
/proc/meminfo: memFree=26821324/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=645276 CPUtime=1242.32
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 687813 0 0 0 124019 213 0 0 25 0 1 0 25867096 660762624 156413 4089446400 4194304 10345943 140734979507104 18446744073709551615 9138288 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 161319 156413 791 1502 0 159812 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 645276

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 21152
/proc/meminfo: memFree=26800068/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=667916 CPUtime=1302.32
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 711378 0 0 0 130010 222 0 0 25 0 1 0 25867096 683945984 161774 4089446400 4194304 10345943 140734979507104 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 166979 161774 791 1502 0 165472 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 667916

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 21154
/proc/meminfo: memFree=26777564/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=691388 CPUtime=1362.32
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 722005 0 0 0 136006 226 0 0 25 0 1 0 25867096 707981312 167387 4089446400 4194304 10345943 140734979507104 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 172847 167387 791 1502 0 171340 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 691388

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21156
/proc/meminfo: memFree=26749484/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=721068 CPUtime=1422.33
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 740339 0 0 0 142001 232 0 0 25 0 1 0 25867096 738373632 174439 4089446400 4194304 10345943 140734979507104 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 180267 174439 791 1502 0 178760 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 721068

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21157
/proc/meminfo: memFree=26723272/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=747656 CPUtime=1482.33
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 751007 0 0 0 147996 237 0 0 25 0 1 0 25867096 765599744 180834 4089446400 4194304 10345943 140734979507104 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 186914 180834 791 1502 0 185407 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 747656

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21159
/proc/meminfo: memFree=26696556/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=767900 CPUtime=1542.33
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 764767 0 0 0 153991 242 0 0 25 0 1 0 25867096 786329600 187365 4089446400 4194304 10345943 140734979507104 18446744073709551615 5214255 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 191975 187365 791 1502 0 190468 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 767900

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21160
/proc/meminfo: memFree=26669216/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=799672 CPUtime=1602.33
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 781026 0 0 0 159986 247 0 0 25 0 1 0 25867096 818864128 194216 4089446400 4194304 10345943 140734979507104 18446744073709551615 5214255 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 199918 194216 791 1502 0 198411 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 799672

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21162
/proc/meminfo: memFree=26647340/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=818148 CPUtime=1662.33
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 807091 0 0 0 165979 254 0 0 25 0 1 0 25867096 837783552 199650 4089446400 4194304 10345943 140734979507104 18446744073709551615 4701101 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 204537 199650 791 1502 0 203030 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 818148

[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 1.95 3/179 21163
/proc/meminfo: memFree=26624336/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=844724 CPUtime=1722.33
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 818249 0 0 0 171975 258 0 0 25 0 1 0 25867096 864997376 205588 4089446400 4194304 10345943 140734979507104 18446744073709551615 5210667 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 211181 205588 791 1502 0 209674 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 844724

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/179 21165
/proc/meminfo: memFree=26600228/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=867104 CPUtime=1782.33
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 830341 0 0 0 177970 263 0 0 25 0 1 0 25867096 887914496 211551 4089446400 4194304 10345943 140734979507104 18446744073709551615 5214108 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 216776 211551 791 1502 0 215269 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 867104

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

[startup+1785.5 s]
/proc/loadavg: 2.03 2.02 1.95 3/179 21165
/proc/meminfo: memFree=26599856/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=867104 CPUtime=1785.53
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 830363 0 0 0 178290 263 0 0 25 0 1 0 25867096 887914496 211573 4089446400 4194304 10345943 140734979507104 18446744073709551615 4881881 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 216776 211573 791 1502 0 215269 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 867104

[startup+1788.7 s]
/proc/loadavg: 2.03 2.02 1.95 3/179 21165
/proc/meminfo: memFree=26597848/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=869156 CPUtime=1788.73
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 830857 0 0 0 178610 263 0 0 25 0 1 0 25867096 890015744 212067 4089446400 4194304 10345943 140734979507104 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 217289 212067 791 1502 0 215782 0
Current children cumulated CPU time (s) 1788.73
Current children cumulated vsize (KiB) 869156

[startup+1789.5 s]
/proc/loadavg: 2.03 2.02 1.95 3/179 21165
/proc/meminfo: memFree=26597848/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=869156 CPUtime=1789.53
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 830857 0 0 0 178690 263 0 0 25 0 1 0 25867096 890015744 212067 4089446400 4194304 10345943 140734979507104 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21104/statm: 217289 212067 791 1502 0 215782 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (KiB) 869156

[startup+1790.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/179 21165
/proc/meminfo: memFree=26597600/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=869156 CPUtime=1790.33
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 830921 0 0 0 178770 263 0 0 18 0 1 0 25867096 890015744 212131 4089446400 4194304 10345943 140734979507104 18446744073709551615 4287416 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21104/statm: 217289 212131 792 1502 0 215782 0
Current children cumulated CPU time (s) 1790.33
Current children cumulated vsize (KiB) 869156

[startup+1790.5 s]
/proc/loadavg: 2.03 2.02 1.95 3/179 21165
/proc/meminfo: memFree=26597600/32951124 swapFree=67111528/67111528
[pid=21104] ppid=21102 vsize=233068 CPUtime=1790.53
/proc/21104/stat : 21104 (pbscip.linux.x8) R 21102 21104 20723 0 -1 4202496 830921 0 0 0 178788 265 0 0 18 0 1 0 25867096 238661632 56475 4089446400 4194304 10345943 140734979507104 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21104/statm: 58267 56475 792 1502 0 56760 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (KiB) 233068

Child status: 0
Real time (s): 1790.53
CPU time (s): 1790.58
CPU user time (s): 1787.91
CPU system time (s): 2.66659
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 869156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.91
system time used= 2.66659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 830924
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= 7
involuntary context switches= 1534

runsolver used 2.86056 second user time and 6.80696 second system time

The end

Launcher Data 

Begin job on node137 at 2010-07-08 10:09:06
IDJOB=2705302
IDBENCH=79099
IDSOLVER=1214
FILE ID=node137/2705302-1278576545
PBS_JOBID= 11240181
Free space on /tmp= 73608 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j6033_2-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705302-1278576545/watcher-2705302-1278576545 -o /tmp/evaluation-result-2705302-1278576545/solver-2705302-1278576545 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705302-1278576545.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 88bd8107cec9b448bb9d4a61d3b4c661
RANDOM SEED=2027628700

node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5246.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30343052 kB
Buffers:        161660 kB
Cached:        2229984 kB
SwapCached:          0 kB
Active:        1174568 kB
Inactive:      1280040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30343052 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14056 kB
Writeback:           0 kB
AnonPages:       63384 kB
Mapped:          14636 kB
Slab:            87520 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187428 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73576 MiB
End job on node137 at 2010-07-08 10:38:56