Trace number 2693726

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1801.07 1801

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-66-100-0.wbo
MD5SUMfbaddd9625623c5e0a4f0ddddf2cf090
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark2.6076
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3249
Total number of constraints8983
Number of soft constraints3029
Number of constraints which are clauses8599
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 154751
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 154750
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
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: 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-2693726-1277915447.wbo>
0.02/0.08	c original problem has 9307 variables (6278 bin, 0 int, 0 impl, 3029 cont) and 12013 constraints
0.02/0.08	c problem read
0.02/0.08	c presolving settings loaded
0.02/0.08	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.09/0.12	c presolving:
0.09/0.16	c (round 1) 90 del vars, 5 del conss, 0 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 56479 impls, 0 clqs
0.09/0.17	c (round 2) 92 del vars, 183 del conss, 0 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 56479 impls, 0 clqs
0.09/0.18	c (round 3) 95 del vars, 185 del conss, 3026 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 56479 impls, 0 clqs
0.20/0.23	c (round 4) 97 del vars, 185 del conss, 3026 chg bounds, 192 chg sides, 384 chg coeffs, 5777 upgd conss, 56479 impls, 0 clqs
0.90/0.93	c    (0.8s) probing: 1000/6184 (16.2%) - 0 fixings, 3 aggregations, 2436 implications, 0 bound changes
0.99/1.08	c    (0.9s) probing: 1293/6184 (20.9%) - 0 fixings, 3 aggregations, 2453 implications, 0 bound changes
0.99/1.08	c    (0.9s) probing aborted: 100/100 successive totally useless probings
0.99/1.08	c (round 5) 100 del vars, 185 del conss, 3026 chg bounds, 192 chg sides, 384 chg coeffs, 5777 upgd conss, 67903 impls, 0 clqs
1.19/1.24	c    (1.0s) probing: 1536/6184 (24.8%) - 0 fixings, 3 aggregations, 2521 implications, 0 bound changes
1.19/1.24	c    (1.0s) probing aborted: 100/100 successive totally useless probings
1.19/1.24	c presolving (6 rounds):
1.19/1.24	c  100 deleted vars, 185 deleted constraints, 3026 tightened bounds, 0 added holes, 192 changed sides, 384 changed coefficients
1.19/1.24	c  68074 implications, 0 cliques
1.19/1.24	c presolved problem has 9207 variables (6181 bin, 0 int, 0 impl, 3026 cont) and 11828 constraints
1.19/1.24	c    3026 constraints of type <indicator>
1.19/1.24	c       1 constraints of type <varbound>
1.19/1.24	c     254 constraints of type <knapsack>
1.19/1.24	c    3025 constraints of type <linear>
1.19/1.24	c    5522 constraints of type <logicor>
1.19/1.24	c transformed objective value is always integral (scale: 1)
1.19/1.24	c Presolving Time: 1.01
1.19/1.24	c - non default parameters ----------------------------------------------------------------------
1.19/1.24	c # SCIP version 1.2.1.2
1.19/1.24	c 
1.19/1.24	c # frequency for displaying node information lines
1.19/1.24	c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.24	c display/freq = 10000
1.19/1.24	c 
1.19/1.24	c # maximal time in seconds to run
1.19/1.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.24	c limits/time = 1799.93
1.19/1.24	c 
1.19/1.24	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.24	c limits/memory = 3420
1.19/1.24	c 
1.19/1.24	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.19/1.24	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.24	c lp/solvefreq = -1
1.19/1.24	c 
1.19/1.24	c # should presolving try to simplify inequalities
1.19/1.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.24	c constraints/linear/simplifyinequalities = TRUE
1.19/1.24	c 
1.19/1.24	c # should presolving try to simplify knapsacks
1.19/1.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.24	c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.24	c 
1.19/1.24	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.24	c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.24	c separating/rapidlearning/freq = 0
1.19/1.24	c 
1.19/1.24	c -----------------------------------------------------------------------------------------------
1.19/1.24	c start solving
1.19/1.24	c 
1.19/1.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.19/1.26	c   1.1s|     1 |     2 |     0 |     - |  33M|   0 |   - |9207 |  11k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
24.49/24.51	c  23.5s| 10000 |  9991 |     0 |   0.0 |  45M|  63 |   - |9207 |  11k|   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
46.90/46.94	c  45.1s| 20000 | 19989 |     0 |   0.0 |  55M|  67 |   - |9207 |  11k|   0 |   0 |   0 |   5 |   0 | 0.000000e+00 |      --      |    Inf 
69.00/69.03	c  66.3s| 30000 | 29986 |     0 |   0.0 |  64M|  67 |   - |9207 |  11k|   0 |   0 |   0 |   6 |   0 | 0.000000e+00 |      --      |    Inf 
89.00/89.10	c  85.6s| 40000 | 39984 |     0 |   0.0 |  71M| 143 |   - |9207 |  11k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
109.20/109.26	c   105s| 50000 | 49984 |     0 |   0.0 |  79M| 143 |   - |9207 |  11k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
128.90/128.97	c   124s| 60000 | 59984 |     0 |   0.0 |  85M| 143 |   - |9207 |  11k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
148.80/148.85	c   143s| 70000 | 69984 |     0 |   0.0 |  92M| 143 |   - |9207 |  11k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
169.70/169.74	c   163s| 80000 | 79984 |     0 |   0.0 | 100M| 143 |   - |9207 |  11k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
190.31/190.31	c   183s| 90000 | 89984 |     0 |   0.0 | 108M| 143 |   - |9207 |  11k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
210.50/210.53	c   202s|100000 | 99984 |     0 |   0.0 | 115M| 143 |   - |9207 |  11k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
230.50/230.53	c   222s|110000 |109984 |     0 |   0.0 | 122M| 143 |   - |9207 |  11k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
250.50/250.52	c   241s|120000 |119984 |     0 |   0.0 | 129M| 143 |   - |9207 |  11k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
270.20/270.21	c   260s|130000 |129984 |     0 |   0.0 | 135M| 143 |   - |9207 |  11k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
289.70/289.75	c   279s|140000 |139984 |     0 |   0.0 | 142M| 143 |   - |9207 |  11k|   0 |   0 |   0 |   8 |   0 | 0.000000e+00 |      --      |    Inf 
308.90/308.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
308.90/308.95	c   297s|150000 |149980 |     0 |   0.0 | 148M| 143 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
327.40/327.42	c   315s|160000 |159980 |     0 |   0.0 | 154M| 147 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
345.42/345.45	c   332s|170000 |169980 |     0 |   0.0 | 160M| 171 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
364.70/364.75	c   351s|180000 |179980 |     0 |   0.0 | 167M| 171 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
383.70/383.76	c   369s|190000 |189980 |     0 |   0.0 | 174M| 171 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
402.51/402.57	c   387s|200000 |199980 |     0 |   0.0 | 180M| 171 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
421.21/421.27	c   405s|210000 |209980 |     0 |   0.0 | 186M| 171 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
439.71/439.77	c   423s|220000 |219980 |     0 |   0.0 | 193M| 171 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
458.11/458.14	c   441s|230000 |229980 |     0 |   0.0 | 199M| 171 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
476.41/476.47	c   458s|240000 |239980 |     0 |   0.0 | 205M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
494.71/494.71	c   476s|250000 |249980 |     0 |   0.0 | 211M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
512.81/512.87	c   493s|260000 |259980 |     0 |   0.0 | 217M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
530.81/530.89	c   510s|270000 |269980 |     0 |   0.0 | 223M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
548.82/548.87	c   528s|280000 |279980 |     0 |   0.0 | 229M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
566.81/566.84	c   545s|290000 |289980 |     0 |   0.0 | 235M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
584.71/584.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
584.71/584.77	c   562s|300000 |299980 |     0 |   0.0 | 241M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
602.72/602.73	c   579s|310000 |309980 |     0 |   0.0 | 248M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
620.61/620.68	c   597s|320000 |319980 |     0 |   0.0 | 254M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
638.51/638.53	c   614s|330000 |329980 |     0 |   0.0 | 260M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
656.32/656.32	c   631s|340000 |339980 |     0 |   0.0 | 266M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
674.01/674.01	c   648s|350000 |349980 |     0 |   0.0 | 272M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
691.51/691.51	c   665s|360000 |359980 |     0 |   0.0 | 278M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
708.72/708.74	c   681s|370000 |369980 |     0 |   0.0 | 284M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
725.81/725.83	c   698s|380000 |379980 |     0 |   0.0 | 290M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
744.22/744.24	c   715s|390000 |389980 |     0 |   0.0 | 297M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  10 |   0 | 0.000000e+00 |      --      |    Inf 
763.62/763.68	c   734s|400000 |399976 |     0 |   0.0 | 304M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
783.12/783.15	c   753s|410000 |409976 |     0 |   0.0 | 311M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
802.22/802.22	c   771s|420000 |419976 |     0 |   0.0 | 318M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
821.22/821.20	c   789s|430000 |429976 |     0 |   0.0 | 324M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
840.03/840.04	c   807s|440000 |439976 |     0 |   0.0 | 331M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
858.92/858.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
858.92/858.98	c   826s|450000 |449976 |     0 |   0.0 | 338M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
877.63/877.65	c   844s|460000 |459976 |     0 |   0.0 | 344M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
896.33/896.36	c   862s|470000 |469976 |     0 |   0.0 | 350M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
914.93/914.97	c   880s|480000 |479976 |     0 |   0.0 | 357M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
933.42/933.49	c   897s|490000 |489976 |     0 |   0.0 | 363M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
952.03/952.04	c   915s|500000 |499976 |     0 |   0.0 | 369M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
970.53/970.54	c   933s|510000 |509976 |     0 |   0.0 | 376M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
988.84/988.82	c   950s|520000 |519976 |     0 |   0.0 | 382M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1007.23/1007.27	c   968s|530000 |529976 |     0 |   0.0 | 388M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1025.53/1025.52	c   986s|540000 |539976 |     0 |   0.0 | 395M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1043.84/1043.80	c  1003s|550000 |549976 |     0 |   0.0 | 401M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1062.03/1062.02	c  1021s|560000 |559976 |     0 |   0.0 | 407M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1080.04/1080.08	c  1038s|570000 |569976 |     0 |   0.0 | 413M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1098.23/1098.23	c  1056s|580000 |579976 |     0 |   0.0 | 419M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1116.33/1116.33	c  1073s|590000 |589976 |     0 |   0.0 | 425M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1134.23/1134.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1134.23/1134.27	c  1090s|600000 |599976 |     0 |   0.0 | 432M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1152.24/1152.29	c  1108s|610000 |609976 |     0 |   0.0 | 438M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1170.24/1170.20	c  1125s|620000 |619976 |     0 |   0.0 | 444M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1188.14/1188.16	c  1142s|630000 |629976 |     0 |   0.0 | 450M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1205.94/1205.92	c  1159s|640000 |639976 |     0 |   0.0 | 456M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1223.74/1223.75	c  1176s|650000 |649976 |     0 |   0.0 | 462M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1241.54/1241.51	c  1193s|660000 |659976 |     0 |   0.0 | 468M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1259.24/1259.27	c  1210s|670000 |669976 |     0 |   0.0 | 474M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1277.05/1277.01	c  1228s|680000 |679976 |     0 |   0.0 | 480M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1294.65/1294.66	c  1244s|690000 |689976 |     0 |   0.0 | 486M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1312.35/1312.32	c  1261s|700000 |699976 |     0 |   0.0 | 492M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1329.95/1329.98	c  1278s|710000 |709976 |     0 |   0.0 | 498M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1347.64/1347.64	c  1295s|720000 |719976 |     0 |   0.0 | 504M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1365.25/1365.24	c  1312s|730000 |729976 |     0 |   0.0 | 510M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1382.75/1382.71	c  1329s|740000 |739976 |     0 |   0.0 | 516M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1400.26/1400.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1400.26/1400.21	c  1346s|750000 |749976 |     0 |   0.0 | 522M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1417.65/1417.60	c  1363s|760000 |759976 |     0 |   0.0 | 528M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1434.85/1434.84	c  1379s|770000 |769976 |     0 |   0.0 | 534M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1452.06/1452.06	c  1396s|780000 |779976 |     0 |   0.0 | 540M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1469.15/1469.19	c  1412s|790000 |789976 |     0 |   0.0 | 546M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1486.35/1486.34	c  1429s|800000 |799976 |     0 |   0.0 | 552M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1503.45/1503.48	c  1445s|810000 |809976 |     0 |   0.0 | 558M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1520.55/1520.57	c  1461s|820000 |819976 |     0 |   0.0 | 564M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1537.66/1537.65	c  1478s|830000 |829976 |     0 |   0.0 | 570M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1554.65/1554.67	c  1494s|840000 |839976 |     0 |   0.0 | 575M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1571.55/1571.59	c  1510s|850000 |849976 |     0 |   0.0 | 581M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1588.46/1588.47	c  1527s|860000 |859976 |     0 |   0.0 | 587M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1605.36/1605.31	c  1543s|870000 |869976 |     0 |   0.0 | 593M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1622.15/1622.11	c  1559s|880000 |879976 |     0 |   0.0 | 599M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1638.86/1638.89	c  1575s|890000 |889976 |     0 |   0.0 | 605M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1655.66/1655.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1655.66/1655.64	c  1591s|900000 |899976 |     0 |   0.0 | 610M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1672.26/1672.24	c  1607s|910000 |909976 |     0 |   0.0 | 616M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1688.86/1688.87	c  1624s|920000 |919976 |     0 |   0.0 | 622M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1705.46/1705.42	c  1640s|930000 |929976 |     0 |   0.0 | 628M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1721.96/1721.92	c  1656s|940000 |939976 |     0 |   0.0 | 634M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1738.46/1738.43	c  1672s|950000 |949976 |     0 |   0.0 | 639M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1754.96/1754.93	c  1688s|960000 |959976 |     0 |   0.0 | 645M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1771.46/1771.42	c  1704s|970000 |969976 |     0 |   0.0 | 651M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1788.06/1788.05	c  1720s|980000 |979976 |     0 |   0.0 | 657M| 175 |   - |9207 |  11k|   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
1800.07/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00	c 
1800.07/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.00	c Solving Time (sec) : 1731.79
1800.07/1800.00	c Solving Nodes      : 987156
1800.07/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.07/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.07/1800.00	c Gap                : infinite
1800.07/1800.00	s UNKNOWN
1800.07/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.00	c Solving Time       :    1731.79
1800.07/1800.00	c Original Problem   :
1800.07/1800.00	c   Problem name     : HOME/instance-2693726-1277915447.wbo
1800.07/1800.00	c   Variables        : 9307 (6278 binary, 0 integer, 0 implicit integer, 3029 continuous)
1800.07/1800.00	c   Constraints      : 12013 initial, 12013 maximal
1800.07/1800.00	c Presolved Problem  :
1800.07/1800.00	c   Problem name     : t_HOME/instance-2693726-1277915447.wbo
1800.07/1800.00	c   Variables        : 9207 (6181 binary, 0 integer, 0 implicit integer, 3026 continuous)
1800.07/1800.00	c   Constraints      : 11828 initial, 11837 maximal
1800.07/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.00	c   dualfix          :       0.00          6          0          0          0          0          0          0          0
1800.07/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.00	c   implics          :       0.01          0         87          0          0          0          0          0          0
1800.07/1800.00	c   probing          :       0.92          0          3          0          0          0          0          0          0
1800.07/1800.00	c   indicator        :       0.00          0          0          0          0          0          3          0          0
1800.07/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.00	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.00	c   linear           :       0.04          0          4          0       3026          0        182        192        384
1800.07/1800.00	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.07/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.00	c   indicator        :       3026          0    3643724          0     987145          0      98861          0          0          0
1800.07/1800.00	c   varbound         :          1          0    3627335          0     982830          0          0          0          0          0
1800.07/1800.00	c   knapsack         :        254          0    3643724          0     987145          0          0          0          0          0
1800.07/1800.00	c   linear           :       3025          0    3643724          0     987145          0      98727          0          0          0
1800.07/1800.00	c   logicor          :       5522+         0    3231549          0     987145         11    5710977          0          0          0
1800.07/1800.00	c   countsols        :          0          0          0          0     987145          0          0          0          0          0
1800.07/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.00	c   indicator        :     311.39       0.00     108.51       0.00     202.88
1800.07/1800.00	c   varbound         :       0.03       0.00       0.02       0.00       0.01
1800.07/1800.00	c   knapsack         :      10.62       0.00      10.55       0.00       0.07
1800.07/1800.00	c   linear           :      96.56       0.00      95.83       0.00       0.73
1800.07/1800.00	c   logicor          :     459.69       0.00      13.01       0.00     446.68
1800.07/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.00	c   vbounds          :       0.00       3593          0        136
1800.07/1800.00	c   rootredcost      :       0.02          0          0          0
1800.07/1800.00	c   pseudoobj        :     238.78    3640078          0          0
1800.07/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.00	c   propagation      :       0.00         11         11         13        3.9          0        0.0          -
1800.07/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.00	c   applied globally :          -          -          -         12        3.8          -          -          -
1800.07/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.07/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.07/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.07/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.07/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.07/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.07/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.07/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.07/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.07/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.00	c Pricers            :       Time      Calls       Vars
1800.07/1800.00	c   problem variables:       0.00          0          0
1800.07/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.07/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.00	c   inference        :     579.28     987145          0          0          0          0    1974290
1800.07/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.00	c   LP solutions     :       0.00          -          0
1800.07/1800.00	c   pseudo solutions :       0.00          -          0
1800.07/1800.00	c   oneopt           :       0.00          0          0
1800.07/1800.00	c   trivial          :       0.02          2          0
1800.07/1800.00	c   simplerounding   :       0.00          0          0
1800.07/1800.00	c   zirounding       :       0.00          0          0
1800.07/1800.00	c   rounding         :       0.00          0          0
1800.07/1800.00	c   shifting         :       0.00          0          0
1800.07/1800.00	c   intshifting      :       0.00          0          0
1800.07/1800.00	c   twoopt           :       0.00          0          0
1800.07/1800.00	c   fixandinfer      :       0.00          0          0
1800.07/1800.00	c   feaspump         :       0.00          0          0
1800.07/1800.00	c   coefdiving       :       0.00          0          0
1800.07/1800.00	c   pscostdiving     :       0.00          0          0
1800.07/1800.00	c   fracdiving       :       0.00          0          0
1800.07/1800.00	c   veclendiving     :       0.00          0          0
1800.07/1800.00	c   intdiving        :       0.00          0          0
1800.07/1800.00	c   actconsdiving    :       0.00          0          0
1800.07/1800.00	c   objpscostdiving  :       0.00          0          0
1800.07/1800.00	c   rootsoldiving    :       0.00          0          0
1800.07/1800.00	c   linesearchdiving :       0.00          0          0
1800.07/1800.00	c   guideddiving     :       0.00          0          0
1800.07/1800.00	c   octane           :       0.00          0          0
1800.07/1800.00	c   rens             :       0.00          0          0
1800.07/1800.00	c   rins             :       0.00          0          0
1800.07/1800.00	c   localbranching   :       0.00          0          0
1800.07/1800.00	c   mutation         :       0.00          0          0
1800.07/1800.00	c   crossover        :       0.00          0          0
1800.07/1800.00	c   dins             :       0.00          0          0
1800.07/1800.00	c   undercover       :       0.00          0          0
1800.07/1800.00	c   nlp              :       0.00          0          0
1800.07/1800.00	c   trysol           :       0.00          1          0
1800.07/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.07/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.07/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.07/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.07/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.00	c B&B Tree           :
1800.07/1800.00	c   number of runs   :          1
1800.07/1800.00	c   nodes            :     987156
1800.07/1800.00	c   nodes (total)    :     987156
1800.07/1800.00	c   nodes left       :     987132
1800.07/1800.00	c   max depth        :        175
1800.07/1800.00	c   max depth (total):        175
1800.07/1800.00	c   backtracks       :      11236 (1.1%)
1800.07/1800.00	c   delayed cutoffs  :          3
1800.07/1800.00	c   repropagations   :         68 (114 domain reductions, 0 cutoffs)
1800.07/1800.00	c   avg switch length:       2.57
1800.07/1800.00	c   switching time   :      25.35
1800.07/1800.00	c Solution           :
1800.07/1800.00	c   Solutions found  :          0 (0 improvements)
1800.07/1800.00	c   Primal Bound     :          -
1800.07/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.07/1800.00	c   Gap              :   infinite
1800.07/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.07/1800.00	c   Root Iterations  :          0
1800.97/1800.99	c Time complete: 1801.06.

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

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


[startup+0 s]
/proc/loadavg: 1.97 1.97 1.98 4/178 15962
/proc/meminfo: memFree=31123360/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=8164 CPUtime=0
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 1522 0 0 0 0 0 0 0 25 0 1 0 132838968 8359936 1444 4089446400 4194304 7136930 140737277918272 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15962/statm: 2041 1444 275 719 0 1320 0

[startup+0.034166 s]
/proc/loadavg: 1.97 1.97 1.98 4/178 15962
/proc/meminfo: memFree=31123360/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=14664 CPUtime=0.02
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 3157 0 0 0 2 0 0 0 25 0 1 0 132838968 15015936 3079 4089446400 4194304 7136930 140737277918272 18446744073709551615 6349797 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15962/statm: 3784 3079 275 719 0 3063 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14664

[startup+0.101156 s]
/proc/loadavg: 1.97 1.97 1.98 4/178 15962
/proc/meminfo: memFree=31123360/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=37692 CPUtime=0.09
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 9198 0 0 0 8 1 0 0 25 0 1 0 132838968 38596608 8767 4089446400 4194304 7136930 140737277918272 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15962/statm: 9423 8844 289 719 0 8702 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37692

[startup+0.301114 s]
/proc/loadavg: 1.97 1.97 1.98 4/178 15962
/proc/meminfo: memFree=31123360/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=53704 CPUtime=0.29
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 15779 0 0 0 21 8 0 0 25 0 1 0 132838968 54992896 12573 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15962/statm: 13426 12573 385 719 0 12705 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53704

[startup+0.701036 s]
/proc/loadavg: 1.97 1.97 1.98 4/178 15962
/proc/meminfo: memFree=31123360/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=54856 CPUtime=0.69
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 16044 0 0 0 60 9 0 0 25 0 1 0 132838968 56172544 12838 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15962/statm: 13714 12838 385 719 0 12993 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54856

[startup+1.50088 s]
/proc/loadavg: 1.97 1.97 1.98 3/179 15963
/proc/meminfo: memFree=31074008/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=57552 CPUtime=1.49
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 17801 0 0 0 135 14 0 0 25 0 1 0 132838968 58933248 13497 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15962/statm: 14388 13497 410 719 0 13667 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57552

[startup+3.10057 s]
/proc/loadavg: 1.97 1.97 1.98 3/179 15963
/proc/meminfo: memFree=31069668/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=58648 CPUtime=3.09
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 18071 0 0 0 290 19 0 0 25 0 1 0 132838968 60055552 13767 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15962/statm: 14662 13767 410 719 0 13941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58648

[startup+6.30096 s]
/proc/loadavg: 1.97 1.97 1.98 3/179 15963
/proc/meminfo: memFree=31065172/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=61588 CPUtime=6.29
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 18799 0 0 0 600 29 0 0 25 0 1 0 132838968 63066112 14495 4089446400 4194304 7136930 140737277918272 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15962/statm: 15397 14495 410 719 0 14676 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61588

[startup+12.7007 s]
/proc/loadavg: 1.97 1.97 1.98 3/179 15964
/proc/meminfo: memFree=31060624/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=65776 CPUtime=12.69
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 19823 0 0 0 1219 50 0 0 25 0 1 0 132838968 67354624 15519 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15962/statm: 16444 15519 410 719 0 15723 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65776

[startup+25.5003 s]
/proc/loadavg: 1.98 1.97 1.98 3/179 15964
/proc/meminfo: memFree=31052180/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=73712 CPUtime=25.49
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 21818 0 0 0 2449 100 0 0 25 0 1 0 132838968 75481088 17514 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15962/statm: 18428 17514 410 719 0 17707 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73712

[startup+51.1004 s]
/proc/loadavg: 1.98 1.97 1.98 3/179 15965
/proc/meminfo: memFree=31036128/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=87892 CPUtime=51.1
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 25362 0 0 0 4912 198 0 0 25 0 1 0 132838968 90001408 21058 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15962/statm: 21973 21058 410 719 0 21252 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 87892

[startup+102.308 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 15969
/proc/meminfo: memFree=31008616/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=109340 CPUtime=102.31
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 30823 0 0 0 9841 390 0 0 25 0 1 0 132838968 111964160 26519 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15962/statm: 27335 26519 410 719 0 26614 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 109340

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 15971
/proc/meminfo: memFree=30979824/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=134272 CPUtime=162.3
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 36647 0 0 0 15601 629 0 0 25 0 1 0 132838968 137494528 32343 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 33568 32343 410 719 0 32847 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 134272

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 15972
/proc/meminfo: memFree=30953012/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=157524 CPUtime=222.3
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 42557 0 0 0 21376 854 0 0 25 0 1 0 132838968 161304576 38253 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 39381 38253 410 719 0 38660 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 157524

[startup+282.301 s]
/proc/loadavg: 2.07 1.99 1.98 3/179 15974
/proc/meminfo: memFree=30918876/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=182140 CPUtime=282.3
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 48855 0 0 0 27149 1081 0 0 25 0 1 0 132838968 186511360 44551 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 45535 44551 410 719 0 44814 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 182140

[startup+342.3 s]
/proc/loadavg: 2.03 1.99 1.98 3/179 15975
/proc/meminfo: memFree=30896768/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=200320 CPUtime=342.3
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 53526 0 0 0 32909 1321 0 0 25 0 1 0 132838968 205127680 49222 4089446400 4194304 7136930 140737277918272 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 50080 49222 410 719 0 49359 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 200320

[startup+402.301 s]
/proc/loadavg: 2.01 1.99 1.98 3/179 15977
/proc/meminfo: memFree=30872548/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=224320 CPUtime=402.31
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 58625 0 0 0 38686 1545 0 0 25 0 1 0 132838968 229703680 54321 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 56080 54321 410 719 0 55359 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 224320

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/179 15979
/proc/meminfo: memFree=30844868/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=246288 CPUtime=462.31
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 64244 0 0 0 44458 1773 0 0 25 0 1 0 132838968 252198912 59940 4089446400 4194304 7136930 140737277918272 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 61572 59940 410 719 0 60851 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 246288

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/179 15980
/proc/meminfo: memFree=30821124/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=264956 CPUtime=522.31
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 69044 0 0 0 50229 2002 0 0 25 0 1 0 132838968 271314944 64740 4089446400 4194304 7136930 140737277918272 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 66239 64740 410 719 0 65518 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 264956

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/179 15982
/proc/meminfo: memFree=30794432/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=284364 CPUtime=582.32
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 74025 0 0 0 55989 2243 0 0 25 0 1 0 132838968 291188736 69721 4089446400 4194304 7136930 140737277918272 18446744073709551615 4834591 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 71091 69721 410 719 0 70370 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 284364

[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/179 15983
/proc/meminfo: memFree=30768224/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=304988 CPUtime=642.33
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 79315 0 0 0 61753 2480 0 0 25 0 1 0 132838968 312307712 75011 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 76247 75011 410 719 0 75526 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 304988

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/179 15993
/proc/meminfo: memFree=30610120/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=439480 CPUtime=1002.33
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 111640 0 0 0 96353 3880 0 0 25 0 1 0 132838968 450027520 107336 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 109870 107336 410 719 0 109149 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 439480

[startup+1062.3 s]
/proc/loadavg: 2.05 2.00 1.99 3/179 15995
/proc/meminfo: memFree=30582672/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=461432 CPUtime=1062.34
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 117259 0 0 0 102124 4110 0 0 25 0 1 0 132838968 472506368 112955 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 115358 112955 410 719 0 114637 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 461432

[startup+1122.3 s]
/proc/loadavg: 2.02 2.00 1.99 3/179 15996
/proc/meminfo: memFree=30559692/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=479740 CPUtime=1122.33
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 121964 0 0 0 107890 4343 0 0 25 0 1 0 132838968 491253760 117660 4089446400 4194304 7136930 140737277918272 18446744073709551615 4414774 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 119935 117660 410 719 0 119214 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 479740

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 15998
/proc/meminfo: memFree=30532868/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=500852 CPUtime=1182.34
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 127376 0 0 0 113656 4578 0 0 25 0 1 0 132838968 512872448 123072 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 125213 123072 410 719 0 124492 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 500852

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 15999
/proc/meminfo: memFree=30506900/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=520116 CPUtime=1242.34
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 132319 0 0 0 119427 4807 0 0 25 0 1 0 132838968 532598784 128015 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 130029 128015 410 719 0 129308 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 520116

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 16001
/proc/meminfo: memFree=30480676/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=541960 CPUtime=1302.35
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 137917 0 0 0 125190 5045 0 0 25 0 1 0 132838968 554967040 133613 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 135490 133613 410 719 0 134769 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 541960

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 16003
/proc/meminfo: memFree=30452872/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=563224 CPUtime=1362.34
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 143365 0 0 0 130953 5281 0 0 25 0 1 0 132838968 576741376 139061 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 140806 139061 410 719 0 140085 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 563224

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 16004
/proc/meminfo: memFree=30432468/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=581404 CPUtime=1422.35
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 148043 0 0 0 136723 5512 0 0 25 0 1 0 132838968 595357696 143739 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 145351 143739 410 719 0 144630 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 581404

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 16006
/proc/meminfo: memFree=30405284/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=602724 CPUtime=1482.35
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 153510 0 0 0 142489 5746 0 0 25 0 1 0 132838968 617189376 149206 4089446400 4194304 7136930 140737277918272 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 150681 149206 410 719 0 149960 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 602724

[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 16007
/proc/meminfo: memFree=30377096/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=623592 CPUtime=1542.36
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 158867 0 0 0 148243 5993 0 0 25 0 1 0 132838968 638558208 154563 4089446400 4194304 7136930 140737277918272 18446744073709551615 5892349 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 155898 154563 410 719 0 155177 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 623592

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 16009
/proc/meminfo: memFree=30352020/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=644728 CPUtime=1602.36
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 164288 0 0 0 154003 6233 0 0 25 0 1 0 132838968 660201472 159984 4089446400 4194304 7136930 140737277918272 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 161182 159984 410 719 0 160461 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 644728

[startup+1662.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/197 16057
/proc/meminfo: memFree=30442608/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=664704 CPUtime=1662.36
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 169422 0 0 0 159772 6464 0 0 25 0 1 0 132838968 680656896 165118 4089446400 4194304 7136930 140737277918272 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 166176 165118 410 719 0 165455 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 664704

[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 4/179 16086
/proc/meminfo: memFree=30411816/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=683864 CPUtime=1722.35
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 174355 0 0 0 165615 6620 0 0 25 0 1 0 132838968 700276736 170051 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 170966 170051 410 719 0 170245 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 683864

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 16088
/proc/meminfo: memFree=30386128/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=708216 CPUtime=1782.37
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 180583 0 0 0 171462 6775 0 0 25 0 1 0 132838968 725213184 176279 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 177054 176279 410 719 0 176333 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 708216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 16088
/proc/meminfo: memFree=30381272/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=729372 CPUtime=1800.07
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 181817 0 0 0 173186 6821 0 0 25 0 1 0 132838968 746876928 177513 4089446400 4194304 7136930 140737277918272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15962/statm: 182343 177513 410 719 0 181622 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 729372

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

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

[startup+1800.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 16089
/proc/meminfo: memFree=30399860/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=709564 CPUtime=1800.67
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 181823 0 0 0 173246 6821 0 0 18 0 1 0 132838968 726593536 172567 4089446400 4194304 7136930 140737277918272 18446744073709551615 6165668 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15962/statm: 177391 172567 416 719 0 176670 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 709564

[startup+1800.8 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 16089
/proc/meminfo: memFree=30399860/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=649896 CPUtime=1800.86
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 181823 0 0 0 173265 6821 0 0 18 0 1 0 132838968 665493504 157650 4089446400 4194304 7136930 140737277918272 18446744073709551615 6165693 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15962/statm: 162474 157650 416 719 0 161753 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 649896

[startup+1800.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 16089
/proc/meminfo: memFree=30399860/32950928 swapFree=67111528/67111528
[pid=15962] ppid=15960 vsize=577100 CPUtime=1800.97
/proc/15962/stat : 15962 (pbscip.linux.x8) R 15960 15962 15003 0 -1 4202496 181823 0 0 0 173275 6822 0 0 19 0 1 0 132838968 590950400 139451 4089446400 4194304 7136930 140737277918272 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15962/statm: 144275 139451 416 719 0 143554 0
Current children cumulated CPU time (s) 1800.97
Current children cumulated vsize (KiB) 577100

Child status: 0
Real time (s): 1801
CPU time (s): 1801.07
CPU user time (s): 1732.83
CPU system time (s): 68.2456
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 729372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.83
system time used= 68.2456
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181830
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= 3843

runsolver used 3.12153 second user time and 6.594 second system time

The end

Launcher Data 

Begin job on node148 at 2010-06-30 18:30:47
IDJOB=2693726
IDBENCH=79053
IDSOLVER=1206
FILE ID=node148/2693726-1277915447
PBS_JOBID= 11197282
Free space on /tmp= 74172 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl--soft-66-100-0.wbo
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-2693726-1277915447/watcher-2693726-1277915447 -o /tmp/evaluation-result-2693726-1277915447/solver-2693726-1277915447 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693726-1277915447.wbo -t 1800 -m 3800

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

MD5SUM BENCH= fbaddd9625623c5e0a4f0ddddf2cf090
RANDOM SEED=1443288175

node148.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.836
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.67
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.836
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.836
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	: 5415.14
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.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.78
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.836
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.79
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.836
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.836
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31123880 kB
Buffers:        199140 kB
Cached:        1274652 kB
SwapCached:          0 kB
Active:         685048 kB
Inactive:       996340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31123880 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3532 kB
Writeback:           0 kB
AnonPages:      208132 kB
Mapped:          16132 kB
Slab:            81084 kB
PageTables:       5484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   361200 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= 74168 MiB
End job on node148 at 2010-06-30 19:00:49