Trace number 2683453

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.5 1801.01

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb
MD5SUM6a41ff06797480ccf0516b3ef32f0a0b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9465
Best CPU time to get the best result obtained on this benchmark2.32165
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5599
Total number of constraints25155
Number of constraints which are clauses24873
Number of constraints which are cardinality constraints (but not clauses)282
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2082
Biggest coefficient in the objective function 1533
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 846214
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1533
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 846214
Number of bits of the biggest sum of numbers20
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: NONE] [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-2683453-1277509807.opb>
0.39/0.44	c original problem has 5599 variables (5599 bin, 0 int, 0 impl, 0 cont) and 25155 constraints
0.39/0.44	c problem read
0.39/0.44	c presolving settings loaded
0.39/0.44	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.49/0.57	c presolving:
0.70/0.73	c (round 1) 595 del vars, 1195 del conss, 33 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 53006 impls, 276 clqs
0.70/0.77	c (round 2) 745 del vars, 1642 del conss, 126 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 59618 impls, 267 clqs
0.79/0.82	c (round 3) 1043 del vars, 5321 del conss, 343 chg bounds, 6 chg sides, 10 chg coeffs, 0 upgd conss, 60823 impls, 259 clqs
0.79/0.87	c (round 4) 1676 del vars, 9441 del conss, 398 chg bounds, 22 chg sides, 46 chg coeffs, 0 upgd conss, 61273 impls, 249 clqs
0.79/0.89	c (round 5) 1738 del vars, 9871 del conss, 423 chg bounds, 23 chg sides, 48 chg coeffs, 0 upgd conss, 61344 impls, 249 clqs
0.89/0.91	c (round 6) 1764 del vars, 9963 del conss, 425 chg bounds, 23 chg sides, 49 chg coeffs, 0 upgd conss, 61378 impls, 249 clqs
0.89/0.93	c (round 7) 1772 del vars, 9986 del conss, 427 chg bounds, 23 chg sides, 49 chg coeffs, 0 upgd conss, 61400 impls, 249 clqs
0.89/0.94	c (round 8) 1774 del vars, 9993 del conss, 427 chg bounds, 23 chg sides, 49 chg coeffs, 0 upgd conss, 61400 impls, 249 clqs
1.10/1.12	c (round 9) 1774 del vars, 11546 del conss, 427 chg bounds, 23 chg sides, 49 chg coeffs, 13562 upgd conss, 61400 impls, 249 clqs
1.10/1.16	c (round 10) 1781 del vars, 11553 del conss, 427 chg bounds, 23 chg sides, 49 chg coeffs, 13562 upgd conss, 61400 impls, 249 clqs
1.20/1.20	c (round 11) 1781 del vars, 11554 del conss, 427 chg bounds, 24 chg sides, 49 chg coeffs, 13562 upgd conss, 61400 impls, 249 clqs
1.20/1.22	c (round 12) 1782 del vars, 11555 del conss, 427 chg bounds, 24 chg sides, 49 chg coeffs, 13600 upgd conss, 61400 impls, 249 clqs
1.20/1.27	c (round 13) 1782 del vars, 11557 del conss, 427 chg bounds, 24 chg sides, 49 chg coeffs, 13601 upgd conss, 61400 impls, 249 clqs
1.49/1.51	c (round 14) 1832 del vars, 11557 del conss, 427 chg bounds, 24 chg sides, 49 chg coeffs, 13601 upgd conss, 74898 impls, 243 clqs
1.49/1.53	c (round 15) 1836 del vars, 11710 del conss, 429 chg bounds, 24 chg sides, 49 chg coeffs, 13601 upgd conss, 74915 impls, 243 clqs
1.49/1.55	c (round 16) 1839 del vars, 11714 del conss, 429 chg bounds, 24 chg sides, 49 chg coeffs, 13601 upgd conss, 74915 impls, 243 clqs
1.49/1.59	c (round 17) 1839 del vars, 11716 del conss, 429 chg bounds, 24 chg sides, 49 chg coeffs, 13601 upgd conss, 74915 impls, 243 clqs
1.79/1.86	c (round 18) 1889 del vars, 11716 del conss, 429 chg bounds, 24 chg sides, 49 chg coeffs, 13601 upgd conss, 79335 impls, 241 clqs
1.79/1.88	c (round 19) 1889 del vars, 11765 del conss, 429 chg bounds, 24 chg sides, 49 chg coeffs, 13601 upgd conss, 79335 impls, 241 clqs
1.89/1.92	c (round 20) 1889 del vars, 11766 del conss, 429 chg bounds, 25 chg sides, 49 chg coeffs, 13601 upgd conss, 79335 impls, 241 clqs
2.10/2.15	c (round 21) 1944 del vars, 11766 del conss, 429 chg bounds, 25 chg sides, 49 chg coeffs, 13601 upgd conss, 81185 impls, 234 clqs
2.10/2.17	c (round 22) 1946 del vars, 11826 del conss, 429 chg bounds, 25 chg sides, 49 chg coeffs, 13601 upgd conss, 81281 impls, 234 clqs
2.19/2.21	c (round 23) 1946 del vars, 11827 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 81281 impls, 234 clqs
2.19/2.26	c (round 24) 1946 del vars, 11829 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 81281 impls, 234 clqs
2.39/2.44	c (round 25) 1996 del vars, 11829 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 82954 impls, 231 clqs
2.39/2.46	c (round 26) 1998 del vars, 11886 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 82962 impls, 231 clqs
2.50/2.53	c (round 27) 1998 del vars, 11894 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 82962 impls, 231 clqs
2.59/2.60	c    (1.9s) probing: 1000/3817 (26.2%) - 65 fixings, 151 aggregations, 4840 implications, 0 bound changes
2.69/2.73	c (round 28) 2048 del vars, 11894 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 84888 impls, 230 clqs
2.69/2.75	c (round 29) 2048 del vars, 11920 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 84888 impls, 230 clqs
2.89/2.93	c (round 30) 2098 del vars, 11920 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 86364 impls, 230 clqs
2.89/2.95	c (round 31) 2098 del vars, 11932 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 86364 impls, 230 clqs
2.99/3.06	c (round 32) 2098 del vars, 11974 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 86364 impls, 230 clqs
2.99/3.08	c (round 33) 2099 del vars, 11975 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 86364 impls, 230 clqs
3.09/3.13	c (round 34) 2099 del vars, 11977 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 86364 impls, 230 clqs
3.30/3.31	c (round 35) 2149 del vars, 11977 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 87098 impls, 229 clqs
3.30/3.33	c (round 36) 2150 del vars, 11987 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 87107 impls, 229 clqs
3.30/3.37	c (round 37) 2151 del vars, 11987 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 87107 impls, 229 clqs
3.39/3.49	c    (2.7s) probing: 2000/3817 (52.4%) - 75 fixings, 298 aggregations, 6856 implications, 0 bound changes
3.49/3.56	c (round 38) 2201 del vars, 11988 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 87725 impls, 229 clqs
3.49/3.58	c (round 39) 2202 del vars, 11998 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 87727 impls, 229 clqs
3.59/3.63	c (round 40) 2202 del vars, 12000 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 87727 impls, 229 clqs
3.69/3.79	c (round 41) 2252 del vars, 12000 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 88314 impls, 229 clqs
3.79/3.81	c (round 42) 2253 del vars, 12017 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 88316 impls, 229 clqs
3.99/4.00	c (round 43) 2303 del vars, 12017 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 89897 impls, 229 clqs
3.99/4.02	c (round 44) 2304 del vars, 12049 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 89899 impls, 229 clqs
3.99/4.09	c (round 45) 2304 del vars, 12061 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 89899 impls, 229 clqs
4.19/4.22	c    (3.3s) probing: 3000/3817 (78.6%) - 99 fixings, 429 aggregations, 8523 implications, 0 bound changes
4.29/4.31	c (round 46) 2354 del vars, 12061 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 93152 impls, 229 clqs
4.29/4.33	c (round 47) 2367 del vars, 12149 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 93196 impls, 229 clqs
4.59/4.64	c (round 48) 2414 del vars, 12150 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 99256 impls, 229 clqs
4.59/4.66	c (round 49) 2468 del vars, 12246 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 99480 impls, 229 clqs
4.79/4.81	c (round 50) 2468 del vars, 12288 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 99480 impls, 229 clqs
4.79/4.83	c (round 51) 2469 del vars, 12289 del conss, 429 chg bounds, 26 chg sides, 49 chg coeffs, 13601 upgd conss, 99480 impls, 229 clqs
4.79/4.87	c presolving (52 rounds):
4.79/4.87	c  2469 deleted vars, 12289 deleted constraints, 429 tightened bounds, 0 added holes, 26 changed sides, 49 changed coefficients
4.79/4.87	c  99480 implications, 229 cliques
4.79/4.87	c presolved problem has 3130 variables (3130 bin, 0 int, 0 impl, 0 cont) and 12869 constraints
4.79/4.87	c     230 constraints of type <setppc>
4.79/4.87	c   12639 constraints of type <logicor>
4.79/4.87	c transformed objective value is always integral (scale: 1)
4.79/4.87	c Presolving Time: 3.86
4.79/4.87	c - non default parameters ----------------------------------------------------------------------
4.79/4.87	c # SCIP version 1.2.1.2
4.79/4.87	c 
4.79/4.87	c # frequency for displaying node information lines
4.79/4.87	c # [type: int, range: [-1,2147483647], default: 100]
4.79/4.87	c display/freq = 10000
4.79/4.87	c 
4.79/4.87	c # maximal time in seconds to run
4.79/4.87	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.87	c limits/time = 1799.56
4.79/4.87	c 
4.79/4.87	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.79/4.87	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.87	c limits/memory = 1620
4.79/4.87	c 
4.79/4.87	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.79/4.87	c # [type: int, range: [-1,2147483647], default: 1]
4.79/4.87	c lp/solvefreq = -1
4.79/4.87	c 
4.79/4.87	c # should presolving try to simplify inequalities
4.79/4.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.87	c constraints/linear/simplifyinequalities = TRUE
4.79/4.87	c 
4.79/4.87	c # should presolving try to simplify knapsacks
4.79/4.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.87	c constraints/knapsack/simplifyinequalities = TRUE
4.79/4.87	c 
4.79/4.87	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.79/4.87	c # [type: int, range: [-1,2147483647], default: -1]
4.79/4.87	c separating/rapidlearning/freq = 0
4.79/4.87	c 
4.79/4.87	c -----------------------------------------------------------------------------------------------
4.79/4.87	c start solving
4.79/4.88	c 
4.79/4.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.79/4.89	c   3.9s|     1 |     2 |     0 |     - |  28M|   0 |   - |3130 |  12k|   0 |   0 |   0 |   0 |   0 | 6.372000e+03 |      --      |    Inf 
92.77/92.81	c  91.6s| 10000 |  9975 |     0 |   0.0 |  33M| 143 |   - |3130 |  12k|   0 |   0 |   0 |  17 |   0 | 9.442000e+03 |      --      |    Inf 
176.74/176.84	c   175s| 20000 | 19940 |     0 |   0.0 |  38M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  44 |   0 | 9.442000e+03 |      --      |    Inf 
261.92/262.03	c   260s| 30000 | 29929 |     0 |   0.0 |  43M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  50 |   0 | 9.443000e+03 |      --      |    Inf 
345.90/346.04	c   344s| 40000 | 39914 |     0 |   0.0 |  48M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  58 |   0 | 9.443000e+03 |      --      |    Inf 
428.98/429.12	c   427s| 50000 | 49906 |     0 |   0.0 |  53M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  61 |   0 | 9.443000e+03 |      --      |    Inf 
510.85/511.00	c   508s| 60000 | 59906 |     0 |   0.0 |  57M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  61 |   0 | 9.443000e+03 |      --      |    Inf 
592.13/592.37	c   589s| 70000 | 69906 |     0 |   0.0 |  62M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  61 |   0 | 9.443000e+03 |      --      |    Inf 
672.50/672.74	c   669s| 80000 | 79900 |     0 |   0.0 |  67M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  67 |   0 | 9.443000e+03 |      --      |    Inf 
755.97/756.29	c   752s| 90000 | 89894 |     0 |   0.0 |  72M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  70 |   0 | 9.443000e+03 |      --      |    Inf 
839.95/840.21	c   836s|100000 | 99890 |     0 |   0.0 |  77M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  70 |   0 | 9.443000e+03 |      --      |    Inf 
922.93/923.23	c   919s|110000 |109876 |     0 |   0.0 |  82M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  77 |   0 | 9.443000e+03 |      --      |    Inf 
1005.50/1005.88	c  1001s|120000 |119866 |     0 |   0.0 |  86M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  77 |   0 | 9.443000e+03 |      --      |    Inf 
1087.49/1087.89	c  1083s|130000 |129860 |     0 |   0.0 |  91M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  77 |   0 | 9.443000e+03 |      --      |    Inf 
1169.25/1169.69	c  1164s|140000 |139844 |     0 |   0.0 |  96M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  80 |   0 | 9.443000e+03 |      --      |    Inf 
1251.23/1251.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1251.23/1251.65	c  1246s|150000 |149822 |     0 |   0.0 | 101M| 187 |   - |3130 |  12k|   0 |   0 |   0 |  89 |   0 | 9.443000e+03 |      --      |    Inf 
1331.91/1332.38	c  1326s|160000 |159807 |     0 |   0.0 | 106M| 187 |   - |3130 |  12k|   0 |   0 |   0 | 101 |   0 | 9.443000e+03 |      --      |    Inf 
1413.49/1413.97	c  1408s|170000 |169777 |     0 |   0.0 | 110M| 187 |   - |3130 |  12k|   0 |   0 |   0 | 125 |   0 | 9.444000e+03 |      --      |    Inf 
1497.97/1498.48	c  1492s|180000 |179775 |     0 |   0.0 | 115M| 187 |   - |3130 |  12k|   0 |   0 |   0 | 126 |   0 | 9.444000e+03 |      --      |    Inf 
1581.35/1581.86	c  1575s|190000 |189769 |     0 |   0.0 | 120M| 187 |   - |3130 |  12k|   0 |   0 |   0 | 126 |   0 | 9.444000e+03 |      --      |    Inf 
1663.73/1664.23	c  1657s|200000 |199769 |     0 |   0.0 | 125M| 187 |   - |3130 |  12k|   0 |   0 |   0 | 126 |   0 | 9.444000e+03 |      --      |    Inf 
1745.50/1746.08	c  1738s|210000 |209769 |     0 |   0.0 | 130M| 187 |   - |3130 |  12k|   0 |   0 |   0 | 126 |   0 | 9.444000e+03 |      --      |    Inf 
1800.09/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.62	c 
1800.09/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.62	c Solving Time (sec) : 1792.75
1800.09/1800.62	c Solving Nodes      : 216716
1800.09/1800.62	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.09/1800.62	c Dual Bound         : +9.44400000000000e+03
1800.09/1800.62	c Gap                : infinite
1800.09/1800.62	s UNKNOWN
1800.09/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.62	c Solving Time       :    1792.75
1800.09/1800.62	c Original Problem   :
1800.09/1800.62	c   Problem name     : HOME/instance-2683453-1277509807.opb
1800.09/1800.62	c   Variables        : 5599 (5599 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.62	c   Constraints      : 25155 initial, 25155 maximal
1800.09/1800.62	c Presolved Problem  :
1800.09/1800.62	c   Problem name     : t_HOME/instance-2683453-1277509807.opb
1800.09/1800.62	c   Variables        : 3130 (3130 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.62	c   Constraints      : 12869 initial, 12954 maximal
1800.09/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.62	c   trivial          :       0.02         22          0          0          0          0          0          0          0
1800.09/1800.62	c   dualfix          :       0.02        561          0          0          0          0          0          0          0
1800.09/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.62	c   implics          :       0.03          0        202          0          0          0          0          0          0
1800.09/1800.62	c   probing          :       1.95        172        430          0          0          0          0          0          0
1800.09/1800.62	c   setppc           :       0.02          0          2          0          0          0         22          2          0
1800.09/1800.62	c   linear           :       0.35        410        670          0        427          0      11554         24         49
1800.09/1800.62	c   logicor          :       1.36          0          0          0          2          0        713          0          0
1800.09/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.62	c   setppc           :        230          0     604549          0     216605         27      35862          0          0          0
1800.09/1800.62	c   logicor          :      12639+         0     547949          0     216605        212     934456          0          0          0
1800.09/1800.62	c   countsols        :          0          0          0          0     216605          0          0          0          0          0
1800.09/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.62	c   setppc           :      36.53       0.00       9.38       0.00      27.15
1800.09/1800.62	c   logicor          :    1404.71       0.00       9.55       0.00    1395.16
1800.09/1800.62	c   countsols        :       0.22       0.00       0.00       0.00       0.22
1800.09/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.62	c   vbounds          :       0.43          2          0          0
1800.09/1800.62	c   rootredcost      :       0.40          0          0          0
1800.09/1800.62	c   pseudoobj        :      64.30     594149          0          0
1800.09/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.62	c   propagation      :       0.00        115         84        124        4.0          5        3.6          -
1800.09/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.62	c   applied globally :          -          -          -        126        3.9          -          -          -
1800.09/1800.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.09/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.09/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.09/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.09/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.09/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.09/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.09/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.09/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.09/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.09/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.09/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.09/1800.62	c Pricers            :       Time      Calls       Vars
1800.09/1800.62	c   problem variables:       0.00          0          0
1800.09/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.09/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.62	c   inference        :     256.01     216605          0          0          0          0     433210
1800.09/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.62	c   LP solutions     :       0.00          -          0
1800.09/1800.62	c   pseudo solutions :       0.00          -          0
1800.09/1800.62	c   oneopt           :       0.18          0          0
1800.09/1800.62	c   trivial          :       0.01          2          0
1800.09/1800.62	c   simplerounding   :       0.00          0          0
1800.09/1800.62	c   zirounding       :       0.00          0          0
1800.09/1800.62	c   rounding         :       0.00          0          0
1800.09/1800.62	c   shifting         :       0.00          0          0
1800.09/1800.62	c   intshifting      :       0.00          0          0
1800.09/1800.62	c   twoopt           :       0.00          0          0
1800.09/1800.62	c   fixandinfer      :       0.00          0          0
1800.09/1800.62	c   feaspump         :       0.00          0          0
1800.09/1800.62	c   coefdiving       :       0.00          0          0
1800.09/1800.62	c   pscostdiving     :       0.00          0          0
1800.09/1800.62	c   fracdiving       :       0.00          0          0
1800.09/1800.62	c   veclendiving     :       0.00          0          0
1800.09/1800.62	c   intdiving        :       0.00          0          0
1800.09/1800.62	c   actconsdiving    :       0.00          0          0
1800.09/1800.62	c   objpscostdiving  :       0.00          0          0
1800.09/1800.62	c   rootsoldiving    :       0.00          0          0
1800.09/1800.62	c   linesearchdiving :       0.00          0          0
1800.09/1800.62	c   guideddiving     :       0.00          0          0
1800.09/1800.62	c   octane           :       0.00          0          0
1800.09/1800.62	c   rens             :       0.00          0          0
1800.09/1800.62	c   rins             :       0.00          0          0
1800.09/1800.62	c   localbranching   :       0.00          0          0
1800.09/1800.62	c   mutation         :       0.00          0          0
1800.09/1800.62	c   crossover        :       0.00          0          0
1800.09/1800.62	c   dins             :       0.00          0          0
1800.09/1800.62	c   undercover       :       0.00          0          0
1800.09/1800.62	c   nlp              :       0.39          0          0
1800.09/1800.62	c   trysol           :       0.05          0          0
1800.09/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.09/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.09/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.09/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.09/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.09/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.09/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.62	c B&B Tree           :
1800.09/1800.62	c   number of runs   :          1
1800.09/1800.62	c   nodes            :     216716
1800.09/1800.62	c   nodes (total)    :     216716
1800.09/1800.62	c   nodes left       :     216485
1800.09/1800.62	c   max depth        :        187
1800.09/1800.62	c   max depth (total):        187
1800.09/1800.62	c   backtracks       :       2381 (1.1%)
1800.09/1800.62	c   delayed cutoffs  :         10
1800.09/1800.62	c   repropagations   :       2154 (418 domain reductions, 4 cutoffs)
1800.09/1800.62	c   avg switch length:       2.52
1800.09/1800.62	c   switching time   :      10.85
1800.09/1800.62	c Solution           :
1800.09/1800.62	c   Solutions found  :          0 (0 improvements)
1800.09/1800.62	c   Primal Bound     :          -
1800.09/1800.62	c   Dual Bound       : +9.44400000000000e+03
1800.09/1800.62	c   Gap              :   infinite
1800.09/1800.62	c   Root Dual Bound  : +6.37200000000000e+03
1800.09/1800.62	c   Root Iterations  :          0
1800.48/1801.01	c Time complete: 1800.49.

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 30595
/proc/meminfo: memFree=1769000/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=6584 CPUtime=0
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 947 0 0 0 0 0 0 0 25 0 1 0 92274173 6742016 868 1992294400 4194304 7136930 140736400351888 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30595/statm: 1646 877 254 719 0 925 0

[startup+0.0372469 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 30595
/proc/meminfo: memFree=1769000/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=10916 CPUtime=0.02
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 2222 0 0 0 2 0 0 0 25 0 1 0 92274173 11177984 2143 1992294400 4194304 7136930 140736400351888 18446744073709551615 4639415 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30595/statm: 2729 2143 271 719 0 2008 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10916

[startup+0.101254 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 30595
/proc/meminfo: memFree=1769000/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=13956 CPUtime=0.09
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 2968 0 0 0 8 1 0 0 25 0 1 0 92274173 14290944 2889 1992294400 4194304 7136930 140736400351888 18446744073709551615 6339976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30595/statm: 3489 2889 271 719 0 2768 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13956

[startup+0.301273 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 30595
/proc/meminfo: memFree=1769000/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=19804 CPUtime=0.29
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 4459 0 0 0 28 1 0 0 25 0 1 0 92274173 20279296 4380 1992294400 4194304 7136930 140736400351888 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30595/statm: 4951 4380 271 719 0 4230 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19804

[startup+0.701312 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 30595
/proc/meminfo: memFree=1769000/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=48696 CPUtime=0.7
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 11745 0 0 0 64 6 0 0 25 0 1 0 92274173 49864704 11312 1992294400 4194304 7136930 140736400351888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 12174 11312 348 719 0 11453 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 48696

[startup+1.50139 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 30596
/proc/meminfo: memFree=1723360/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=54448 CPUtime=1.49
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 18976 0 0 0 130 19 0 0 25 0 1 0 92274173 55754752 12827 1992294400 4194304 7136930 140736400351888 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 13612 12827 370 719 0 12891 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54448

[startup+3.10155 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 30596
/proc/meminfo: memFree=1717532/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=55992 CPUtime=3.09
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 27618 0 0 0 273 36 0 0 25 0 1 0 92274173 57335808 13217 1992294400 4194304 7136930 140736400351888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 13998 13217 376 719 0 13277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55992

[startup+6.30086 s]
/proc/loadavg: 1.09 1.02 1.01 2/106 30598
/proc/meminfo: memFree=1715796/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=57264 CPUtime=6.29
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 36531 0 0 0 575 54 0 0 19 0 1 0 92274173 58638336 13525 1992294400 4194304 7136930 140736400351888 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 14316 13525 392 719 0 13595 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57264

[startup+12.7005 s]
/proc/loadavg: 1.08 1.02 1.00 2/106 30598
/proc/meminfo: memFree=1715556/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=57408 CPUtime=12.69
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 36570 0 0 0 1213 56 0 0 25 0 1 0 92274173 58785792 13564 1992294400 4194304 7136930 140736400351888 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 14352 13564 392 719 0 13631 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57408

[startup+25.5007 s]
/proc/loadavg: 1.06 1.01 1.00 2/106 30598
/proc/meminfo: memFree=1714688/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=58380 CPUtime=25.48
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 36815 0 0 0 2489 59 0 0 25 0 1 0 92274173 59781120 13809 1992294400 4194304 7136930 140736400351888 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 14595 13809 392 719 0 13874 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58380

[startup+51.1012 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 30598
/proc/meminfo: memFree=1713820/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=59276 CPUtime=51.07
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 37048 0 0 0 5040 67 0 0 25 0 1 0 92274173 60698624 14042 1992294400 4194304 7136930 140736400351888 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 14819 14042 392 719 0 14098 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 59276

[startup+102.308 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 30600
/proc/meminfo: memFree=1709480/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=63348 CPUtime=102.27
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 38112 0 0 0 10143 84 0 0 25 0 1 0 92274173 64868352 15106 1992294400 4194304 7136930 140736400351888 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 15837 15106 392 719 0 15116 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 63348

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30602
/proc/meminfo: memFree=1705636/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=66892 CPUtime=162.25
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 39020 0 0 0 16119 106 0 0 25 0 1 0 92274173 68497408 16014 1992294400 4194304 7136930 140736400351888 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 16723 16014 392 719 0 16002 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 66892

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30602
/proc/meminfo: memFree=1702040/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=70444 CPUtime=222.23
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 39925 0 0 0 22095 128 0 0 25 0 1 0 92274173 72134656 16919 1992294400 4194304 7136930 140736400351888 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 17611 16919 392 719 0 16890 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 70444

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30604
/proc/meminfo: memFree=1699064/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=73332 CPUtime=282.22
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 40656 0 0 0 28074 148 0 0 25 0 1 0 92274173 75091968 17650 1992294400 4194304 7136930 140736400351888 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 18333 17650 392 719 0 17612 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 73332

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30606
/proc/meminfo: memFree=1695220/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=76920 CPUtime=342.2
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 41591 0 0 0 34049 171 0 0 25 0 1 0 92274173 78766080 18585 1992294400 4194304 7136930 140736400351888 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 19230 18585 392 719 0 18509 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 76920

[startup+402.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/106 30608
/proc/meminfo: memFree=1691128/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=80924 CPUtime=402.18
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 42620 0 0 0 40025 193 0 0 25 0 1 0 92274173 82866176 19614 1992294400 4194304 7136930 140736400351888 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 20231 19614 392 719 0 19510 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 80924

[startup+462.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 30610
/proc/meminfo: memFree=1685300/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=86612 CPUtime=462.16
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 44056 0 0 0 46004 212 0 0 25 0 1 0 92274173 88690688 21050 1992294400 4194304 7136930 140736400351888 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 21653 21050 392 719 0 20932 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 86612

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30610
/proc/meminfo: memFree=1682572/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=89088 CPUtime=522.14
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 44734 0 0 0 51980 234 0 0 25 0 1 0 92274173 91226112 21728 1992294400 4194304 7136930 140736400351888 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 22272 21728 392 719 0 21551 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 89088

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30612
/proc/meminfo: memFree=1679968/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=93572 CPUtime=582.13
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 45374 0 0 0 57958 255 0 0 25 0 1 0 92274173 95817728 22368 1992294400 4194304 7136930 140736400351888 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 23393 22368 392 719 0 22672 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 93572

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30614
/proc/meminfo: memFree=1675380/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=98004 CPUtime=642.12
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 46510 0 0 0 63935 277 0 0 25 0 1 0 92274173 100356096 23504 1992294400 4194304 7136930 140736400351888 18446744073709551615 5005205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 24501 23504 392 719 0 23780 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 98004

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30629
/proc/meminfo: memFree=1659136/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=113360 CPUtime=882.04
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 50466 0 0 0 87836 368 0 0 25 0 1 0 92274173 116080640 27460 1992294400 4194304 7136930 140736400351888 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 28340 27460 392 719 0 27619 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 113360

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30631
/proc/meminfo: memFree=1656284/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=116068 CPUtime=942.02
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 51172 0 0 0 93813 389 0 0 25 0 1 0 92274173 118853632 28166 1992294400 4194304 7136930 140736400351888 18446744073709551615 4697167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 29017 28166 392 719 0 28296 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 116068

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30633
/proc/meminfo: memFree=1652440/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=119656 CPUtime=1002
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 52097 0 0 0 99792 408 0 0 25 0 1 0 92274173 122527744 29091 1992294400 4194304 7136930 140736400351888 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 29914 29091 392 719 0 29193 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 119656

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30635
/proc/meminfo: memFree=1650704/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=121356 CPUtime=1061.99
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 52550 0 0 0 105771 428 0 0 25 0 1 0 92274173 124268544 29544 1992294400 4194304 7136930 140736400351888 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 30339 29544 392 719 0 29618 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 121356

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30635
/proc/meminfo: memFree=1644504/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=127332 CPUtime=1121.97
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 54072 0 0 0 111746 451 0 0 25 0 1 0 92274173 130387968 31066 1992294400 4194304 7136930 140736400351888 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 31833 31066 392 719 0 31112 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 127332

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30637
/proc/meminfo: memFree=1642396/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=129288 CPUtime=1181.95
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 54592 0 0 0 117723 472 0 0 25 0 1 0 92274173 132390912 31586 1992294400 4194304 7136930 140736400351888 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 32322 31586 392 719 0 31601 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 129288

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30639
/proc/meminfo: memFree=1638304/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=133264 CPUtime=1241.94
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 55614 0 0 0 123700 494 0 0 25 0 1 0 92274173 136462336 32608 1992294400 4194304 7136930 140736400351888 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 33316 32608 392 719 0 32595 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 133264

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30641
/proc/meminfo: memFree=1635576/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=135780 CPUtime=1301.93
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 56271 0 0 0 129677 516 0 0 25 0 1 0 92274173 139038720 33265 1992294400 4194304 7136930 140736400351888 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 33945 33265 392 719 0 33224 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 135780

[startup+1362.3 s]
/proc/loadavg: 1.10 1.03 1.01 2/106 30643
/proc/meminfo: memFree=1632848/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=138384 CPUtime=1361.9
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 56950 0 0 0 135654 536 0 0 25 0 1 0 92274173 141705216 33944 1992294400 4194304 7136930 140736400351888 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 34596 33944 392 719 0 33875 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 138384

[startup+1422.31 s]
/proc/loadavg: 1.03 1.02 1.00 2/106 30643
/proc/meminfo: memFree=1629872/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=141272 CPUtime=1421.89
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 57700 0 0 0 141631 558 0 0 25 0 1 0 92274173 144662528 34694 1992294400 4194304 7136930 140736400351888 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 35318 34694 392 719 0 34597 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 141272

[startup+1482.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/106 30645
/proc/meminfo: memFree=1625904/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=145080 CPUtime=1481.87
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 58680 0 0 0 147609 578 0 0 25 0 1 0 92274173 148561920 35674 1992294400 4194304 7136930 140736400351888 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 36270 35674 392 719 0 35549 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 145080

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 30647
/proc/meminfo: memFree=1620696/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=150264 CPUtime=1541.85
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 59976 0 0 0 153585 600 0 0 25 0 1 0 92274173 153870336 36970 1992294400 4194304 7136930 140736400351888 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 37566 36970 392 719 0 36845 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 150264

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30649
/proc/meminfo: memFree=1618588/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=152204 CPUtime=1601.84
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 60489 0 0 0 159561 623 0 0 25 0 1 0 92274173 155856896 37483 1992294400 4194304 7136930 140736400351888 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 38051 37483 392 719 0 37330 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 152204

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30651
/proc/meminfo: memFree=1614868/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=159828 CPUtime=1661.83
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 61422 0 0 0 165538 645 0 0 25 0 1 0 92274173 163663872 38416 1992294400 4194304 7136930 140736400351888 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 39957 38416 392 719 0 39236 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 159828

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30651
/proc/meminfo: memFree=1610280/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=164156 CPUtime=1721.81
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 62533 0 0 0 171514 667 0 0 25 0 1 0 92274173 168095744 39527 1992294400 4194304 7136930 140736400351888 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 41039 39527 392 719 0 40318 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 164156

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30653
/proc/meminfo: memFree=1607552/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=166864 CPUtime=1781.79
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 63212 0 0 0 177493 686 0 0 25 0 1 0 92274173 170868736 40206 1992294400 4194304 7136930 140736400351888 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 41716 40206 392 719 0 40995 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 166864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30653
/proc/meminfo: memFree=1605320/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=169044 CPUtime=1800.09
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 63765 0 0 0 179316 693 0 0 25 0 1 0 92274173 173101056 40759 1992294400 4194304 7136930 140736400351888 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30595/statm: 42261 40759 392 719 0 41540 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 169044

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30653
/proc/meminfo: memFree=1605320/2059040 swapFree=4140364/4192956
[pid=30595] ppid=30593 vsize=28536 CPUtime=1800.48
/proc/30595/stat : 30595 (pbscip.linux.x8) R 30593 30595 30319 0 -1 4202496 63770 0 0 0 179353 695 0 0 18 0 1 0 92274173 29220864 6640 1992294400 4194304 7136930 140736400351888 18446744073709551615 6166343 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30595/statm: 7134 6640 397 719 0 6413 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 28536

Child status: 0
Real time (s): 1801.01
CPU time (s): 1800.5
CPU user time (s): 1793.55
CPU system time (s): 6.95794
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 169044

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

runsolver used 2.93355 second user time and 8.5467 second system time

The end

Launcher Data 

Begin job on node089 at 2010-06-26 01:50:07
IDJOB=2683453
IDBENCH=72113
IDSOLVER=1167
FILE ID=node089/2683453-1277509807
PBS_JOBID= 11190592
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683453-1277509807/watcher-2683453-1277509807 -o /tmp/evaluation-result-2683453-1277509807/solver-2683453-1277509807 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2683453-1277509807.opb -t 1800 -m 1800

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

MD5SUM BENCH= 6a41ff06797480ccf0516b3ef32f0a0b
RANDOM SEED=953593314

node089.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1769528 kB
Buffers:         50136 kB
Cached:         137276 kB
SwapCached:       5456 kB
Active:          64576 kB
Inactive:       135232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1769528 kB
SwapTotal:     4192956 kB
SwapFree:      4140364 kB
Dirty:            4000 kB
Writeback:           0 kB
AnonPages:       11120 kB
Mapped:          11872 kB
Slab:            67948 kB
PageTables:       4188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181444 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node089 at 2010-06-26 02:20:09