Trace number 2693187

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.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.6 1800.59

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-66-100-0.wbo
MD5SUM542acc6a88f2f74cb83091764e7f930f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.06199
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6466
Total number of constraints19939
Number of soft constraints6819
Number of constraints which are clauses19731
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints208
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 347791
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 347790
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 112
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2693187-1277917472.wbo>
0.09/0.18	c original problem has 20104 variables (13285 bin, 0 int, 0 impl, 6819 cont) and 26759 constraints
0.09/0.18	c problem read
0.09/0.18	c presolving settings loaded
0.39/0.41	c presolving:
0.49/0.55	c (round 1) 738 del vars, 2147 del conss, 413 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 223949 impls, 0 clqs
0.59/0.64	c (round 2) 2157 del vars, 6647 del conss, 1074 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 233625 impls, 0 clqs
0.69/0.73	c (round 3) 4571 del vars, 10733 del conss, 1529 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 236118 impls, 0 clqs
0.79/0.80	c (round 4) 7198 del vars, 13217 del conss, 1798 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 238589 impls, 0 clqs
0.79/0.84	c (round 5) 8993 del vars, 14765 del conss, 1968 chg bounds, 35 chg sides, 42 chg coeffs, 0 upgd conss, 239332 impls, 0 clqs
0.79/0.86	c (round 6) 10028 del vars, 15551 del conss, 2029 chg bounds, 44 chg sides, 50 chg coeffs, 0 upgd conss, 239774 impls, 0 clqs
0.79/0.88	c (round 7) 10616 del vars, 15908 del conss, 2061 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239916 impls, 0 clqs
0.79/0.89	c (round 8) 10910 del vars, 16124 del conss, 2076 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239944 impls, 0 clqs
0.79/0.89	c (round 9) 11042 del vars, 16186 del conss, 2080 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.89/0.90	c (round 10) 11100 del vars, 16204 del conss, 2082 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.89/0.91	c (round 11) 11114 del vars, 16215 del conss, 2083 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.89/0.91	c (round 12) 11121 del vars, 16218 del conss, 2084 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.89/0.92	c (round 13) 11125 del vars, 16225 del conss, 2085 chg bounds, 51 chg sides, 56 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.89/0.94	c (round 14) 11128 del vars, 16226 del conss, 5049 chg bounds, 51 chg sides, 56 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.89/1.00	c (round 15) 11129 del vars, 16226 del conss, 5049 chg bounds, 51 chg sides, 56 chg coeffs, 4967 upgd conss, 239946 impls, 0 clqs
1.00/1.03	c (round 16) 11129 del vars, 16226 del conss, 5049 chg bounds, 57 chg sides, 87 chg coeffs, 4973 upgd conss, 240412 impls, 1 clqs
1.00/1.05	c (round 17) 11129 del vars, 16226 del conss, 5049 chg bounds, 60 chg sides, 95 chg coeffs, 4973 upgd conss, 240414 impls, 1 clqs
1.99/2.07	c    (1.8s) probing: 1000/6011 (16.6%) - 0 fixings, 0 aggregations, 8872 implications, 0 bound changes
2.69/2.78	c    (2.5s) probing: 2000/6011 (33.3%) - 0 fixings, 0 aggregations, 10021 implications, 0 bound changes
2.69/2.78	c    (2.5s) probing: 2001/6011 (33.3%) - 0 fixings, 0 aggregations, 10022 implications, 0 bound changes
2.69/2.78	c    (2.5s) probing aborted: 2000/2000 successive useless probings
2.69/2.78	c presolving (18 rounds):
2.69/2.78	c  11129 deleted vars, 16226 deleted constraints, 5049 tightened bounds, 0 added holes, 60 changed sides, 95 changed coefficients
2.69/2.78	c  278917 implications, 1 cliques
2.69/2.78	c presolved problem has 8975 variables (6011 bin, 0 int, 0 impl, 2964 cont) and 10535 constraints
2.69/2.78	c    2964 constraints of type <indicator>
2.69/2.78	c     368 constraints of type <varbound>
2.69/2.78	c     129 constraints of type <knapsack>
2.69/2.78	c       2 constraints of type <setppc>
2.69/2.78	c    2596 constraints of type <linear>
2.69/2.78	c    4476 constraints of type <logicor>
2.69/2.78	c transformed objective value is always integral (scale: 1)
2.69/2.78	c Presolving Time: 2.44
2.69/2.78	c - non default parameters ----------------------------------------------------------------------
2.69/2.78	c # SCIP version 1.2.1.2
2.69/2.78	c 
2.69/2.78	c # frequency for displaying node information lines
2.69/2.78	c # [type: int, range: [-1,2147483647], default: 100]
2.69/2.78	c display/freq = 10000
2.69/2.78	c 
2.69/2.78	c # maximal time in seconds to run
2.69/2.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.69/2.78	c limits/time = 1799.83
2.69/2.78	c 
2.69/2.78	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.69/2.78	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.69/2.78	c limits/memory = 3420
2.69/2.78	c 
2.69/2.78	c # should presolving try to simplify inequalities
2.69/2.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.78	c constraints/linear/simplifyinequalities = TRUE
2.69/2.78	c 
2.69/2.78	c # should presolving try to simplify knapsacks
2.69/2.78	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.78	c constraints/knapsack/simplifyinequalities = TRUE
2.69/2.78	c 
2.69/2.78	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.69/2.78	c # [type: int, range: [-1,2147483647], default: -1]
2.69/2.78	c separating/rapidlearning/freq = 0
2.69/2.78	c 
2.69/2.78	c -----------------------------------------------------------------------------------------------
2.69/2.78	c start solving
2.69/2.78	c 
2.79/2.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.79/2.82	c   2.5s|     1 |     0 |   137 |     - |  66M|   0 |  43 |8975 |  10k|8975 |4607 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.19/3.21	c   2.9s|     1 |     0 |   681 |     - |  66M|   0 |  52 |8975 |  10k|8975 |5082 | 475 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.40/3.50	c   3.2s|     1 |     0 |   821 |     - |  67M|   0 |   8 |8975 |  10k|8975 |5271 | 664 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.69/3.78	c   3.5s|     1 |     0 |   875 |     - |  67M|   0 |  23 |8975 |  10k|8975 |5303 | 696 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.99/4.06	c   3.8s|     1 |     0 |   908 |     - |  67M|   0 |  11 |8975 |  10k|8975 |5317 | 710 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.30/4.34	c   4.0s|     1 |     0 |   921 |     - |  67M|   0 |   0 |8975 |  10k|8975 |5331 | 724 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.30/4.35	c   4.0s|     1 |     2 |   921 |     - |  67M|   0 |   0 |8975 |  10k|8975 |5331 | 724 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
96.90/96.91	c  95.0s| 10000 | 10001 | 13824 |   1.3 | 111M| 187 |   0 |8975 |  10k|8975 |5229 |4253 |   0 |2544 | 0.000000e+00 |      --      |    Inf 
173.70/173.75	c   171s| 20000 | 20001 | 25672 |   1.2 | 154M| 187 |   2 |8975 |  10k|8975 |5340 |7648 |   0 |3356 | 0.000000e+00 |      --      |    Inf 
244.70/244.77	c   241s| 30000 | 30001 | 34745 |   1.1 | 196M| 191 |   0 |8975 |  10k|8975 |5219 |  10k|   0 |3699 | 0.000000e+00 |      --      |    Inf 
314.10/314.11	c   310s| 40000 | 40001 | 42506 |   1.0 | 239M| 191 |   0 |8975 |  10k|8975 |5208 |  12k|   0 |3857 | 0.000000e+00 |      --      |    Inf 
384.60/384.60	c   380s| 50000 | 50001 | 52027 |   1.0 | 282M| 195 |   0 |8975 |  10k|8975 |5243 |  15k|   0 |3956 | 0.000000e+00 |      --      |    Inf 
453.80/453.83	c   448s| 60000 | 60001 | 61067 |   1.0 | 324M| 195 |   0 |8975 |  10k|8975 |5223 |  17k|   0 |4058 | 0.000000e+00 |      --      |    Inf 
523.71/523.76	c   518s| 70000 | 70001 | 70910 |   1.0 | 367M| 195 |   0 |8975 |  10k|8975 |5236 |  20k|   0 |4173 | 0.000000e+00 |      --      |    Inf 
593.70/593.72	c   587s| 80000 | 80001 | 80663 |   1.0 | 410M| 195 |   0 |8975 |  10k|8975 |5237 |  23k|   0 |4333 | 0.000000e+00 |      --      |    Inf 
662.11/662.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
662.11/662.20	c   655s| 90000 | 90001 | 88529 |   1.0 | 452M| 195 |   0 |8975 |  10k|8975 |5216 |  25k|   0 |4358 | 0.000000e+00 |      --      |    Inf 
731.01/731.01	c   723s|100000 |100001 | 95869 |   0.9 | 495M| 195 |   0 |8975 |  10k|8975 |5235 |  27k|   0 |4434 | 0.000000e+00 |      --      |    Inf 
798.80/798.81	c   790s|110000 |110001 |101471 |   0.9 | 537M| 195 |   0 |8975 |  10k|8975 |5235 |  28k|   0 |4456 | 0.000000e+00 |      --      |    Inf 
864.81/864.86	c   855s|120000 |120001 |106476 |   0.9 | 579M| 195 |   0 |8975 |  10k|8975 |5243 |  30k|   0 |4473 | 0.000000e+00 |      --      |    Inf 
932.01/932.10	c   921s|130000 |130001 |112106 |   0.9 | 622M| 195 |   0 |8975 |  10k|8975 |5264 |  32k|   0 |4489 | 0.000000e+00 |      --      |    Inf 
1001.02/1001.01	c   989s|140000 |140001 |118317 |   0.8 | 664M| 195 |   0 |8975 |  10k|8975 |5243 |  34k|   0 |4639 | 0.000000e+00 |      --      |    Inf 
1068.52/1068.51	c  1056s|150000 |150001 |123216 |   0.8 | 706M| 195 |   0 |8975 |  10k|8975 |5272 |  35k|   0 |4739 | 0.000000e+00 |      --      |    Inf 
1136.11/1136.11	c  1123s|160000 |160001 |128898 |   0.8 | 748M| 195 |   0 |8975 |  10k|8975 |5276 |  37k|   0 |4804 | 0.000000e+00 |      --      |    Inf 
1203.81/1203.83	c  1190s|170000 |170001 |134393 |   0.8 | 791M| 195 |   0 |8975 |  10k|8975 |5275 |  39k|   0 |4875 | 0.000000e+00 |      --      |    Inf 
1271.92/1271.97	c  1257s|180000 |180001 |141693 |   0.8 | 833M| 195 |   0 |8975 |  10k|8975 |5258 |  41k|   0 |5107 | 0.000000e+00 |      --      |    Inf 
1339.72/1339.76	c  1324s|190000 |190001 |148955 |   0.8 | 875M| 195 |   0 |8975 |  10k|8975 |5275 |  44k|   0 |5194 | 0.000000e+00 |      --      |    Inf 
1409.60/1409.67	c  1393s|200000 |200001 |155639 |   0.8 | 917M| 195 |   0 |8975 |  10k|8975 |5204 |  46k|   0 |5456 | 0.000000e+00 |      --      |    Inf 
1479.90/1479.96	c  1463s|210000 |210001 |161303 |   0.8 | 959M| 195 |   0 |8975 |  10k|8975 |5269 |  47k|   0 |5504 | 0.000000e+00 |      --      |    Inf 
1560.60/1560.68	c  1542s|220000 |220001 |167615 |   0.8 |1001M| 195 |   0 |8975 |  10k|8975 |5206 |  49k|   0 |5551 | 0.000000e+00 |      --      |    Inf 
1641.00/1641.08	c  1621s|230000 |230001 |173797 |   0.8 |1043M| 195 |   0 |8975 |  10k|8975 |5275 |  51k|   0 |5774 | 0.000000e+00 |      --      |    Inf 
1720.20/1720.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1720.20/1720.28	c  1698s|240000 |240001 |178225 |   0.7 |1085M| 195 |   0 |8975 |  10k|8975 |5225 |  52k|   0 |5800 | 0.000000e+00 |      --      |    Inf 
1800.01/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00	c 
1800.01/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.00	c Solving Time (sec) : 1776.46
1800.01/1800.00	c Solving Nodes      : 249944
1800.01/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.01/1800.00	c Gap                : infinite
1800.01/1800.00	s UNKNOWN
1800.01/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.00	c Solving Time       :    1776.46
1800.01/1800.00	c Original Problem   :
1800.01/1800.00	c   Problem name     : HOME/instance-2693187-1277917472.wbo
1800.01/1800.00	c   Variables        : 20104 (13285 binary, 0 integer, 0 implicit integer, 6819 continuous)
1800.01/1800.00	c   Constraints      : 26759 initial, 26759 maximal
1800.01/1800.00	c Presolved Problem  :
1800.01/1800.00	c   Problem name     : t_HOME/instance-2693187-1277917472.wbo
1800.01/1800.00	c   Variables        : 8975 (6011 binary, 0 integer, 0 implicit integer, 2964 continuous)
1800.01/1800.00	c   Constraints      : 10535 initial, 10535 maximal
1800.01/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.00	c   trivial          :       0.00         96          0          0          0          0          0          0          0
1800.01/1800.00	c   dualfix          :       0.01       8198          0          0          0          0          0          0          0
1800.01/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.00	c   implics          :       0.02          0          0          0          0          0          0          0          0
1800.01/1800.00	c   probing          :       1.68          0          0          0          0          0          0          0          0
1800.01/1800.00	c   indicator        :       0.12          0          0          0          0          0       3855          0          0
1800.01/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.00	c   knapsack         :       0.01          0          0          0          0          0          0          9         39
1800.01/1800.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.00	c   linear           :       0.38       1990        845          0       5049          0      12371         51         56
1800.01/1800.00	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1800.01/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.00	c   integral         :          0          0          0     270005          0          0          0          0          0      21622
1800.01/1800.00	c   indicator        :       2964          0     953719     259194          0          0     116332          0          0          0
1800.01/1800.00	c   varbound         :        368          6     953719     259194          0          0      75584       3120          0          0
1800.01/1800.00	c   knapsack         :        129          6     953719     256275          0          0      23062         23          0          0
1800.01/1800.00	c   setppc           :          2          6      15813       1096          0          0          0          0          0          0
1800.01/1800.00	c   linear           :       2596          6     953719     256275          0          0      31179      51174          0          0
1800.01/1800.00	c   logicor          :       4476          6     771743     239133          0          0    1275847          0          0          0
1800.01/1800.00	c   countsols        :          0          0          0     239133          0          0          0          0          0          0
1800.01/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.00	c   integral         :      31.29       0.00       0.00      31.29       0.00
1800.01/1800.00	c   indicator        :     192.32       0.00      44.05     148.27       0.00
1800.01/1800.00	c   varbound         :      10.73       0.00       3.98       6.75       0.00
1800.01/1800.00	c   knapsack         :       5.73       0.00       3.55       2.18       0.00
1800.01/1800.00	c   setppc           :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.00	c   linear           :     164.51       0.00      23.54     140.97       0.00
1800.01/1800.00	c   logicor          :      51.48       0.00       5.25      46.23       0.00
1800.01/1800.00	c   countsols        :       0.12       0.00       0.00       0.12       0.00
1800.01/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.00	c   vbounds          :      29.79     294342          0       8895
1800.01/1800.00	c   rootredcost      :       0.18          0          0          0
1800.01/1800.00	c   pseudoobj        :      77.43     947270          0          0
1800.01/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.00	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.00	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.01/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.00	c   cut pool         :       0.00          5          -          -         10          -    (maximal pool size: 304)
1800.01/1800.00	c   redcost          :      56.12     269981          0          0          0          0
1800.01/1800.00	c   impliedbounds    :       0.00          5          0          0        172          0
1800.01/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.00	c   gomory           :       0.02          5          0          0        400          0
1800.01/1800.00	c   strongcg         :       0.03          5          0          0        153          0
1800.01/1800.00	c   cmir             :       0.18          5          0          0         25          0
1800.01/1800.00	c   flowcover        :       1.01          5          0          0         49          0
1800.01/1800.00	c   clique           :       0.07          5          0          0         15          0
1800.01/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.00	c   mcf              :       0.00          1          0          0          0          0
1800.01/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.00	c Pricers            :       Time      Calls       Vars
1800.01/1800.00	c   problem variables:       0.00          0          0
1800.01/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.00	c   relpscost        :      31.13      10811          0          0          0          0      21622
1800.01/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.00	c   inference        :     260.68     239133          0          0          0          0     478266
1800.01/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.00	c   LP solutions     :       0.00          -          0
1800.01/1800.00	c   pseudo solutions :       0.00          -          0
1800.01/1800.00	c   oneopt           :       0.37          0          0
1800.01/1800.00	c   crossover        :       0.09          0          0
1800.01/1800.00	c   guideddiving     :       0.00          0          0
1800.01/1800.00	c   intshifting      :       0.00          2          0
1800.01/1800.00	c   feaspump         :       0.56         10          0
1800.01/1800.00	c   fracdiving       :       6.31       2399          0
1800.01/1800.00	c   veclendiving     :       6.63       2400          0
1800.01/1800.00	c   linesearchdiving :       6.91       2400          0
1800.01/1800.00	c   coefdiving       :       6.91       2400          0
1800.01/1800.00	c   pscostdiving     :       7.27       2400          0
1800.01/1800.00	c   objpscostdiving  :       7.62       2398          0
1800.01/1800.00	c   rootsoldiving    :       8.55       2398          0
1800.01/1800.00	c   trivial          :       0.14          2          0
1800.01/1800.00	c   simplerounding   :       0.17      10552          0
1800.01/1800.00	c   zirounding       :       0.60       1000          0
1800.01/1800.00	c   rounding         :       0.95       1394          0
1800.01/1800.00	c   shifting         :       1.71        438          0
1800.01/1800.00	c   twoopt           :       0.00          0          0
1800.01/1800.00	c   fixandinfer      :       0.00          0          0
1800.01/1800.00	c   intdiving        :       0.00          0          0
1800.01/1800.00	c   actconsdiving    :       0.00          0          0
1800.01/1800.00	c   octane           :       0.00          0          0
1800.01/1800.00	c   rens             :       0.00          0          0
1800.01/1800.00	c   rins             :       0.00          0          0
1800.01/1800.00	c   localbranching   :       0.00          0          0
1800.01/1800.00	c   mutation         :       0.00          0          0
1800.01/1800.00	c   dins             :       0.00          0          0
1800.01/1800.00	c   undercover       :       0.00          0          0
1800.01/1800.00	c   nlp              :       0.07          0          0
1800.01/1800.00	c   trysol           :       8.16       3076          0
1800.01/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.00	c   primal LP        :       0.01          0          0       0.00       0.00
1800.01/1800.00	c   dual LP          :     538.48      42964     183433       4.27     340.65
1800.01/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.00	c   diving/probing LP:       0.34         20         42       2.10     123.53
1800.01/1800.00	c   strong branching :      30.96       5901      36501       6.19    1178.97
1800.01/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.00	c B&B Tree           :
1800.01/1800.00	c   number of runs   :          1
1800.01/1800.00	c   nodes            :     249944
1800.01/1800.00	c   nodes (total)    :     249944
1800.01/1800.00	c   nodes left       :     249945
1800.01/1800.00	c   max depth        :        195
1800.01/1800.00	c   max depth (total):        195
1800.01/1800.00	c   backtracks       :       2407 (1.0%)
1800.01/1800.00	c   delayed cutoffs  :          0
1800.01/1800.00	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.01/1800.00	c   avg switch length:       2.22
1800.01/1800.00	c   switching time   :      31.82
1800.01/1800.00	c Solution           :
1800.01/1800.00	c   Solutions found  :          0 (0 improvements)
1800.01/1800.00	c   Primal Bound     :          -
1800.01/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.01/1800.00	c   Gap              :   infinite
1800.01/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.01/1800.00	c   Root Iterations  :        921
1800.50/1800.58	c Time complete: 1800.59.

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-2693187-1277917472/watcher-2693187-1277917472 -o /tmp/evaluation-result-2693187-1277917472/solver-2693187-1277917472 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693187-1277917472.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: 2.00 2.00 2.00 4/178 26150
/proc/meminfo: memFree=31286840/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=10864 CPUtime=0
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 1648 0 0 0 0 0 0 0 22 0 1 0 165386730 11124736 1569 4089446400 4194304 9819077 140737278119936 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26150/statm: 2716 1585 392 1374 0 1337 0

[startup+0.00869111 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26150
/proc/meminfo: memFree=31286840/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=11788 CPUtime=0
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 1821 0 0 0 0 0 0 0 22 0 1 0 165386730 12070912 1742 4089446400 4194304 9819077 140737278119936 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26150/statm: 2947 1777 392 1374 0 1568 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11788

[startup+0.100676 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26150
/proc/meminfo: memFree=31286840/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=28308 CPUtime=0.09
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 6021 0 0 0 9 0 0 0 22 0 1 0 165386730 28987392 5942 4089446400 4194304 9819077 140737278119936 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26150/statm: 7077 5942 392 1374 0 5698 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28308

[startup+0.300639 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26150
/proc/meminfo: memFree=31286840/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=87588 CPUtime=0.28
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 20565 0 0 0 27 1 0 0 22 0 1 0 165386730 89690112 20079 4089446400 4194304 9819077 140737278119936 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26150/statm: 21897 20079 480 1374 0 20518 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 87588

[startup+0.700573 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26150
/proc/meminfo: memFree=31286840/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=97812 CPUtime=0.69
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 23735 0 0 0 66 3 0 0 24 0 1 0 165386730 100159488 22735 4089446400 4194304 9819077 140737278119936 18446744073709551615 4332879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26150/statm: 24453 22735 506 1374 0 23074 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 97812

[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26152
/proc/meminfo: memFree=31193832/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=102468 CPUtime=1.49
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 31904 0 0 0 141 8 0 0 25 0 1 0 165386730 104927232 23965 4089446400 4194304 9819077 140737278119936 18446744073709551615 5497096 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26150/statm: 25617 23965 546 1374 0 24238 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102468

[startup+3.10115 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26152
/proc/meminfo: memFree=31192832/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=119256 CPUtime=3.09
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 35926 0 0 0 298 11 0 0 25 0 1 0 165386730 122118144 27280 4089446400 4194304 9819077 140737278119936 18446744073709551615 5727783 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26150/statm: 29814 27280 698 1374 0 28435 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119256

[startup+6.30059 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26152
/proc/meminfo: memFree=31175332/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=122100 CPUtime=6.29
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 75594 0 0 0 607 22 0 0 25 0 1 0 165386730 125030400 28041 4089446400 4194304 9819077 140737278119936 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26150/statm: 30525 28041 724 1374 0 29146 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122100

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26152
/proc/meminfo: memFree=31174972/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=125816 CPUtime=12.69
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 149244 0 0 0 1233 36 0 0 25 0 1 0 165386730 128835584 28931 4089446400 4194304 9819077 140737278119936 18446744073709551615 6003634 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26150/statm: 31454 28931 725 1374 0 30075 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 125816

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26152
/proc/meminfo: memFree=31167572/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=134960 CPUtime=25.49
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 350574 0 0 0 2476 73 0 0 25 0 1 0 165386730 138199040 30392 4089446400 4194304 9819077 140737278119936 18446744073709551615 7289267 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26150/statm: 33740 30392 725 1374 0 32361 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 134960

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26152
/proc/meminfo: memFree=31146372/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=143976 CPUtime=51.1
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 492577 0 0 0 5007 103 0 0 25 0 1 0 165386730 147431424 33434 4089446400 4194304 9819077 140737278119936 18446744073709551615 5002091 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26150/statm: 35994 33434 725 1374 0 34615 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 143976

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26154
/proc/meminfo: memFree=31108892/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=170344 CPUtime=102.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 828107 0 0 0 10054 176 0 0 25 0 1 0 165386730 174432256 39979 4089446400 4194304 9819077 140737278119936 18446744073709551615 5507155 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26150/statm: 42586 39979 725 1374 0 41207 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 170344

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26156
/proc/meminfo: memFree=31066820/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=204192 CPUtime=162.29
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 1199850 0 0 0 15972 257 0 0 25 0 1 0 165386730 209092608 48499 4089446400 4194304 9819077 140737278119936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 51048 48499 725 1374 0 49669 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 204192

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26157
/proc/meminfo: memFree=31020408/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=237608 CPUtime=222.29
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 1508674 0 0 0 21895 334 0 0 25 0 1 0 165386730 243310592 56922 4089446400 4194304 9819077 140737278119936 18446744073709551615 4453682 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 59402 56922 725 1374 0 58023 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 237608

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26158
/proc/meminfo: memFree=30973852/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=276480 CPUtime=282.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 1684262 0 0 0 27845 385 0 0 25 0 1 0 165386730 283115520 66720 4089446400 4194304 9819077 140737278119936 18446744073709551615 4965872 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 69120 66720 725 1374 0 67741 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 276480

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26160
/proc/meminfo: memFree=30917756/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=312684 CPUtime=342.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 1835977 0 0 0 33798 432 0 0 25 0 1 0 165386730 320188416 75748 4089446400 4194304 9819077 140737278119936 18446744073709551615 5893865 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 78171 75748 725 1374 0 76792 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 312684

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26162
/proc/meminfo: memFree=30872836/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=347748 CPUtime=402.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 2015519 0 0 0 39744 486 0 0 25 0 1 0 165386730 356093952 84548 4089446400 4194304 9819077 140737278119936 18446744073709551615 4740347 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 86937 84548 725 1374 0 85558 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 347748

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26164
/proc/meminfo: memFree=30826036/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=383640 CPUtime=462.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 2175956 0 0 0 45694 536 0 0 25 0 1 0 165386730 392847360 93558 4089446400 4194304 9819077 140737278119936 18446744073709551615 7816390 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 95910 93558 725 1374 0 94531 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 383640

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26165
/proc/meminfo: memFree=30774288/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=422936 CPUtime=522.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 2342529 0 0 0 51640 590 0 0 25 0 1 0 165386730 433086464 102916 4089446400 4194304 9819077 140737278119936 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 105734 102916 725 1374 0 104355 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 422936

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26166
/proc/meminfo: memFree=30722548/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=460412 CPUtime=582.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 2518796 0 0 0 57587 643 0 0 25 0 1 0 165386730 471461888 112298 4089446400 4194304 9819077 140737278119936 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 115103 112298 725 1374 0 113724 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 460412

[startup+642.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 26168
/proc/meminfo: memFree=30671036/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=496244 CPUtime=642.31
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 2688022 0 0 0 63536 695 0 0 25 0 1 0 165386730 508153856 121301 4089446400 4194304 9819077 140737278119936 18446744073709551615 6566694 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 124061 121301 725 1374 0 122682 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 496244

[startup+702.3 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26178
/proc/meminfo: memFree=30362788/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=716048 CPUtime=1002.32
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 4642500 0 0 0 99076 1156 0 0 25 0 1 0 165386730 733233152 176599 4089446400 4194304 9819077 140737278119936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 179012 176599 725 1374 0 177633 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 716048

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26180
/proc/meminfo: memFree=30308568/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=755964 CPUtime=1062.32
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 4879287 0 0 0 105011 1221 0 0 25 0 1 0 165386730 774107136 186575 4089446400 4194304 9819077 140737278119936 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 188991 186575 725 1374 0 187612 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 755964

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26181
/proc/meminfo: memFree=30263636/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=791444 CPUtime=1122.32
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 5046516 0 0 0 110957 1275 0 0 25 0 1 0 165386730 810438656 195482 4089446400 4194304 9819077 140737278119936 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 197861 195482 725 1374 0 196482 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 791444

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 26182
/proc/meminfo: memFree=30207544/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=828700 CPUtime=1182.32
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 5263320 0 0 0 116897 1335 0 0 25 0 1 0 165386730 848588800 204800 4089446400 4194304 9819077 140737278119936 18446744073709551615 6162103 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 207175 204800 725 1374 0 205796 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 828700

[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 26184
/proc/meminfo: memFree=30160256/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=862948 CPUtime=1242.32
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 5534133 0 0 0 122828 1404 0 0 25 0 1 0 165386730 883658752 213397 4089446400 4194304 9819077 140737278119936 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 215737 213397 725 1374 0 214358 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 862948

[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 26186
/proc/meminfo: memFree=30111860/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=898472 CPUtime=1302.32
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 5925926 0 0 0 128744 1488 0 0 25 0 1 0 165386730 920035328 222298 4089446400 4194304 9819077 140737278119936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 224618 222298 725 1374 0 223239 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 898472

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 26188
/proc/meminfo: memFree=30058260/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=937524 CPUtime=1362.32
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 6308982 0 0 0 134655 1577 0 0 25 0 1 0 165386730 960024576 232006 4089446400 4194304 9819077 140737278119936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 234381 232006 725 1374 0 233002 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 937524

[startup+1422.31 s]
/proc/loadavg: 2.22 2.07 2.02 4/199 26244
/proc/meminfo: memFree=30319544/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=976152 CPUtime=1422.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 6608341 0 0 0 140580 1650 0 0 25 0 1 0 165386730 999579648 240598 4089446400 4194304 9819077 140737278119936 18446744073709551615 7816004 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26150/statm: 244038 240598 725 1374 0 242659 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 976152

[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/199 26245
/proc/meminfo: memFree=30272492/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=1011120 CPUtime=1482.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 6885909 0 0 0 146500 1730 0 0 25 0 1 0 165386730 1035386880 249408 4089446400 4194304 9819077 140737278119936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26150/statm: 252780 249408 725 1374 0 251401 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 1011120

[startup+1542.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/199 26247
/proc/meminfo: memFree=30240568/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=1042448 CPUtime=1542.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 7197741 0 0 0 152382 1848 0 0 25 0 1 0 165386730 1067466752 257342 4089446400 4194304 9819077 140737278119936 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26150/statm: 260612 257342 725 1374 0 259233 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 1042448

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/199 26249
/proc/meminfo: memFree=30210816/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=1071936 CPUtime=1602.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 7518145 0 0 0 158272 1958 0 0 25 0 1 0 165386730 1097662464 264632 4089446400 4194304 9819077 140737278119936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26150/statm: 267984 264632 725 1374 0 266605 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 1071936

[startup+1662.3 s]
/proc/loadavg: 1.96 2.02 2.00 3/198 26251
/proc/meminfo: memFree=30181780/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=1100536 CPUtime=1662.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 7826556 0 0 0 164155 2075 0 0 25 0 1 0 165386730 1126948864 271926 4089446400 4194304 9819077 140737278119936 18446744073709551615 6512998 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26150/statm: 275134 271926 725 1374 0 273755 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 1100536

[startup+1722.3 s]
/proc/loadavg: 2.15 2.09 2.02 3/196 26390
/proc/meminfo: memFree=30451440/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=1130700 CPUtime=1722.3
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 8106282 0 0 0 170047 2183 0 0 25 0 1 0 165386730 1157836800 279501 4089446400 4194304 9819077 140737278119936 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26150/statm: 282675 279501 725 1374 0 281296 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 1130700

[startup+1782.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/179 26496
/proc/meminfo: memFree=30339412/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=1166300 CPUtime=1782.31
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 8423308 0 0 0 175928 2303 0 0 25 0 1 0 165386730 1194291200 288389 4089446400 4194304 9819077 140737278119936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26150/statm: 291575 288389 725 1374 0 290196 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 1166300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.10 2.09 2.02 3/179 26497
/proc/meminfo: memFree=30313116/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=1174036 CPUtime=1800.01
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 8517193 0 0 0 177663 2338 0 0 25 0 1 0 165386730 1202212864 290374 4089446400 4194304 9819077 140737278119936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26150/statm: 293509 290374 725 1374 0 292130 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1174036

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

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

[startup+1800.2 s]
/proc/loadavg: 2.10 2.09 2.02 3/179 26497
/proc/meminfo: memFree=30313116/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=1087764 CPUtime=1800.2
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 8517197 0 0 0 177682 2338 0 0 18 0 1 0 165386730 1113870336 268814 4089446400 4194304 9819077 140737278119936 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26150/statm: 271941 268814 729 1374 0 270562 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 1087764

[startup+1800.4 s]
/proc/loadavg: 2.10 2.09 2.02 3/179 26497
/proc/meminfo: memFree=30313116/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=570712 CPUtime=1800.41
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 8517197 0 0 0 177701 2340 0 0 18 0 1 0 165386730 584409088 139551 4089446400 4194304 9819077 140737278119936 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26150/statm: 142678 139551 729 1374 0 141299 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 570712

[startup+1800.5 s]
/proc/loadavg: 2.10 2.09 2.02 3/179 26497
/proc/meminfo: memFree=30313116/32951124 swapFree=67111528/67111528
[pid=26150] ppid=26148 vsize=251736 CPUtime=1800.5
/proc/26150/stat : 26150 (pbscip.linux.x8) R 26148 26150 25581 0 -1 4202496 8517197 0 0 0 177708 2342 0 0 18 0 1 0 165386730 257777664 59810 4089446400 4194304 9819077 140737278119936 18446744073709551615 4998563 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26150/statm: 62934 59810 729 1374 0 61555 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 251736

Child status: 0
Real time (s): 1800.59
CPU time (s): 1800.6
CPU user time (s): 1777.16
CPU system time (s): 23.4414
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1177348

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

runsolver used 3.09453 second user time and 6.20106 second system time

The end

Launcher Data 

Begin job on node119 at 2010-06-30 19:04:32
IDJOB=2693187
IDBENCH=79089
IDSOLVER=1205
FILE ID=node119/2693187-1277917472
PBS_JOBID= 11197324
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j602_7-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-2693187-1277917472/watcher-2693187-1277917472 -o /tmp/evaluation-result-2693187-1277917472/solver-2693187-1277917472 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693187-1277917472.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 542acc6a88f2f74cb83091764e7f930f
RANDOM SEED=1244259473

node119.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.802
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.60
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.802
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.75
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.802
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.802
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.75
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.802
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.73
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.802
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.75
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.802
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.802
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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31287368 kB
Buffers:        203496 kB
Cached:         964424 kB
SwapCached:          0 kB
Active:         876172 kB
Inactive:       642556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31287368 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6696 kB
Writeback:           0 kB
AnonPages:      351028 kB
Mapped:          17452 kB
Slab:            79084 kB
PageTables:       5756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   511608 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= 74204 MiB
End job on node119 at 2010-06-30 19:34:34