Trace number 2693827

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.36 1801.33

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-66-100-0.wbo
MD5SUM542acc6a88f2f74cb83091764e7f930f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.06199
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6466
Total number of constraints19939
Number of soft constraints6819
Number of constraints which are clauses19731
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints208
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 347791
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 347790
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 112
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2693827-1277917473.wbo>
0.09/0.16	c original problem has 20104 variables (13285 bin, 0 int, 0 impl, 6819 cont) and 26759 constraints
0.09/0.16	c problem read
0.09/0.16	c presolving settings loaded
0.09/0.16	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.29/0.37	c presolving:
0.39/0.49	c (round 1) 738 del vars, 2147 del conss, 413 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 223949 impls, 0 clqs
0.49/0.57	c (round 2) 2157 del vars, 6647 del conss, 1074 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 233625 impls, 0 clqs
0.59/0.66	c (round 3) 4571 del vars, 10733 del conss, 1529 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 236118 impls, 0 clqs
0.69/0.72	c (round 4) 7198 del vars, 13217 del conss, 1798 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 238589 impls, 0 clqs
0.69/0.75	c (round 5) 8993 del vars, 14765 del conss, 1968 chg bounds, 35 chg sides, 42 chg coeffs, 0 upgd conss, 239332 impls, 0 clqs
0.69/0.77	c (round 6) 10028 del vars, 15551 del conss, 2029 chg bounds, 44 chg sides, 50 chg coeffs, 0 upgd conss, 239774 impls, 0 clqs
0.69/0.79	c (round 7) 10616 del vars, 15908 del conss, 2061 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239916 impls, 0 clqs
0.79/0.80	c (round 8) 10910 del vars, 16124 del conss, 2076 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239944 impls, 0 clqs
0.79/0.80	c (round 9) 11042 del vars, 16186 del conss, 2080 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.79/0.81	c (round 10) 11100 del vars, 16204 del conss, 2082 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.79/0.81	c (round 11) 11114 del vars, 16215 del conss, 2083 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.79/0.82	c (round 12) 11121 del vars, 16218 del conss, 2084 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.79/0.82	c (round 13) 11125 del vars, 16225 del conss, 2085 chg bounds, 51 chg sides, 56 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.79/0.84	c (round 14) 11128 del vars, 16226 del conss, 5049 chg bounds, 51 chg sides, 56 chg coeffs, 0 upgd conss, 239946 impls, 0 clqs
0.89/0.90	c (round 15) 11129 del vars, 16226 del conss, 5049 chg bounds, 51 chg sides, 56 chg coeffs, 4967 upgd conss, 239946 impls, 0 clqs
0.89/0.93	c (round 16) 11129 del vars, 16226 del conss, 5049 chg bounds, 57 chg sides, 87 chg coeffs, 4973 upgd conss, 240412 impls, 1 clqs
0.89/0.94	c (round 17) 11129 del vars, 16226 del conss, 5049 chg bounds, 60 chg sides, 95 chg coeffs, 4973 upgd conss, 240414 impls, 1 clqs
1.79/1.86	c    (1.6s) probing: 1000/6011 (16.6%) - 0 fixings, 0 aggregations, 8872 implications, 0 bound changes
2.49/2.51	c    (2.2s) probing: 2000/6011 (33.3%) - 0 fixings, 0 aggregations, 10021 implications, 0 bound changes
2.49/2.51	c    (2.2s) probing: 2001/6011 (33.3%) - 0 fixings, 0 aggregations, 10022 implications, 0 bound changes
2.49/2.51	c    (2.2s) probing aborted: 2000/2000 successive useless probings
2.49/2.51	c presolving (18 rounds):
2.49/2.51	c  11129 deleted vars, 16226 deleted constraints, 5049 tightened bounds, 0 added holes, 60 changed sides, 95 changed coefficients
2.49/2.51	c  278917 implications, 1 cliques
2.49/2.51	c presolved problem has 8975 variables (6011 bin, 0 int, 0 impl, 2964 cont) and 10535 constraints
2.49/2.51	c    2964 constraints of type <indicator>
2.49/2.51	c     368 constraints of type <varbound>
2.49/2.51	c     129 constraints of type <knapsack>
2.49/2.51	c       2 constraints of type <setppc>
2.49/2.51	c    2596 constraints of type <linear>
2.49/2.51	c    4476 constraints of type <logicor>
2.49/2.51	c transformed objective value is always integral (scale: 1)
2.49/2.51	c Presolving Time: 2.21
2.49/2.51	c - non default parameters ----------------------------------------------------------------------
2.49/2.51	c # SCIP version 1.2.1.2
2.49/2.51	c 
2.49/2.51	c # frequency for displaying node information lines
2.49/2.51	c # [type: int, range: [-1,2147483647], default: 100]
2.49/2.51	c display/freq = 10000
2.49/2.51	c 
2.49/2.51	c # maximal time in seconds to run
2.49/2.51	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.51	c limits/time = 1799.85
2.49/2.51	c 
2.49/2.51	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.49/2.51	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.51	c limits/memory = 3420
2.49/2.51	c 
2.49/2.51	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.49/2.51	c # [type: int, range: [-1,2147483647], default: 1]
2.49/2.51	c lp/solvefreq = -1
2.49/2.51	c 
2.49/2.51	c # should presolving try to simplify inequalities
2.49/2.51	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.51	c constraints/linear/simplifyinequalities = TRUE
2.49/2.51	c 
2.49/2.51	c # should presolving try to simplify knapsacks
2.49/2.51	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.51	c constraints/knapsack/simplifyinequalities = TRUE
2.49/2.51	c 
2.49/2.51	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.49/2.51	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.51	c separating/rapidlearning/freq = 0
2.49/2.51	c 
2.49/2.51	c -----------------------------------------------------------------------------------------------
2.49/2.51	c start solving
2.49/2.51	c 
2.49/2.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.49/2.53	c   2.3s|     1 |     2 |     0 |     - |  62M|   0 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
25.30/25.33	c  24.8s| 10000 | 10001 |     0 |   0.0 |  72M| 109 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
47.09/47.11	c  46.3s| 20000 | 20001 |     0 |   0.0 |  81M| 109 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
67.89/67.93	c  66.9s| 30000 | 30001 |     0 |   0.0 |  89M| 117 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
88.49/88.54	c  87.3s| 40000 | 40001 |     0 |   0.0 |  97M| 117 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
108.90/108.93	c   107s| 50000 | 50001 |     0 |   0.0 | 106M| 117 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
128.80/128.88	c   127s| 60000 | 60001 |     0 |   0.0 | 113M| 137 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
148.30/148.40	c   146s| 70000 | 70001 |     0 |   0.0 | 121M| 137 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
167.20/167.28	c   165s| 80000 | 80001 |     0 |   0.0 | 128M| 137 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
185.99/186.02	c   184s| 90000 | 90001 |     0 |   0.0 | 136M| 137 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
204.30/204.31	c   202s|100000 |100001 |     0 |   0.0 | 143M| 137 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
222.60/222.62	c   220s|110000 |110001 |     0 |   0.0 | 150M| 137 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
243.20/243.24	c   240s|120000 |120001 |     0 |   0.0 | 158M| 143 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
263.19/263.21	c   260s|130000 |130001 |     0 |   0.0 | 166M| 143 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
283.09/283.10	c   280s|140000 |140001 |     0 |   0.0 | 173M| 143 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
302.70/302.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
302.70/302.76	c   299s|150000 |150001 |     0 |   0.0 | 181M| 143 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
322.31/322.33	c   318s|160000 |160001 |     0 |   0.0 | 189M| 143 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
341.89/341.99	c   338s|170000 |170001 |     0 |   0.0 | 196M| 143 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
361.40/361.49	c   357s|180000 |180001 |     0 |   0.0 | 204M| 143 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
380.90/380.94	c   376s|190000 |190001 |     0 |   0.0 | 211M| 143 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
400.10/400.15	c   395s|200000 |200001 |     0 |   0.0 | 218M| 143 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
419.00/419.06	c   414s|210000 |210001 |     0 |   0.0 | 226M| 143 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
437.60/437.69	c   432s|220000 |220001 |     0 |   0.0 | 233M| 143 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
456.41/456.45	c   451s|230000 |230001 |     0 |   0.0 | 240M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
476.70/476.73	c   471s|240000 |240001 |     0 |   0.0 | 248M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
496.60/496.69	c   491s|250000 |250001 |     0 |   0.0 | 256M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
516.50/516.54	c   510s|260000 |260001 |     0 |   0.0 | 264M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
536.30/536.35	c   530s|270000 |270001 |     0 |   0.0 | 272M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
556.10/556.12	c   550s|280000 |280001 |     0 |   0.0 | 279M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
575.71/575.72	c   569s|290000 |290001 |     0 |   0.0 | 287M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
595.21/595.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
595.21/595.27	c   588s|300000 |300001 |     0 |   0.0 | 294M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
614.81/614.81	c   608s|310000 |310001 |     0 |   0.0 | 302M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
634.11/634.12	c   627s|320000 |320001 |     0 |   0.0 | 309M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
653.70/653.71	c   646s|330000 |330001 |     0 |   0.0 | 317M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
673.01/673.04	c   665s|340000 |340001 |     0 |   0.0 | 324M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
692.31/692.35	c   684s|350000 |350001 |     0 |   0.0 | 332M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
711.72/711.73	c   703s|360000 |360001 |     0 |   0.0 | 339M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
730.91/730.97	c   722s|370000 |370001 |     0 |   0.0 | 347M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
750.21/750.23	c   741s|380000 |380001 |     0 |   0.0 | 354M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
769.41/769.44	c   760s|390000 |390001 |     0 |   0.0 | 361M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
788.62/788.63	c   779s|400000 |400001 |     0 |   0.0 | 369M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
807.71/807.71	c   798s|410000 |410001 |     0 |   0.0 | 376M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
826.61/826.69	c   817s|420000 |420001 |     0 |   0.0 | 384M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
845.71/845.79	c   836s|430000 |430001 |     0 |   0.0 | 391M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
864.71/864.74	c   855s|440000 |440001 |     0 |   0.0 | 398M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
883.71/883.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
883.71/883.79	c   873s|450000 |450001 |     0 |   0.0 | 406M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
902.81/902.80	c   892s|460000 |460001 |     0 |   0.0 | 413M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
921.61/921.61	c   911s|470000 |470001 |     0 |   0.0 | 420M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
940.52/940.51	c   929s|480000 |480001 |     0 |   0.0 | 427M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
959.01/959.09	c   948s|490000 |490001 |     0 |   0.0 | 435M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
977.92/977.94	c   966s|500000 |500001 |     0 |   0.0 | 442M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
996.72/996.75	c   985s|510000 |510001 |     0 |   0.0 | 449M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1015.32/1015.37	c  1003s|520000 |520001 |     0 |   0.0 | 456M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1034.11/1034.14	c  1022s|530000 |530001 |     0 |   0.0 | 464M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1052.82/1052.80	c  1040s|540000 |540001 |     0 |   0.0 | 471M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1071.02/1071.08	c  1058s|550000 |550001 |     0 |   0.0 | 478M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1089.62/1089.69	c  1077s|560000 |560001 |     0 |   0.0 | 485M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1108.02/1108.00	c  1095s|570000 |570001 |     0 |   0.0 | 492M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1126.32/1126.39	c  1113s|580000 |580001 |     0 |   0.0 | 499M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1144.82/1144.82	c  1131s|590000 |589999 |     0 |   0.0 | 506M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1163.02/1163.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1163.02/1163.09	c  1149s|600000 |599999 |     0 |   0.0 | 513M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1181.62/1181.64	c  1168s|610000 |609999 |     0 |   0.0 | 520M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1199.92/1199.91	c  1186s|620000 |619999 |     0 |   0.0 | 527M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1218.32/1218.33	c  1204s|630000 |629999 |     0 |   0.0 | 534M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1236.82/1236.82	c  1222s|640000 |639999 |     0 |   0.0 | 541M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1254.92/1254.98	c  1240s|650000 |649999 |     0 |   0.0 | 548M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1273.32/1273.36	c  1258s|660000 |659999 |     0 |   0.0 | 555M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1291.72/1291.70	c  1277s|670000 |669999 |     0 |   0.0 | 562M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1309.82/1309.87	c  1294s|680000 |679999 |     0 |   0.0 | 569M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1328.32/1328.35	c  1313s|690000 |689999 |     0 |   0.0 | 576M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1346.62/1346.68	c  1331s|700000 |699999 |     0 |   0.0 | 583M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1364.92/1364.93	c  1349s|710000 |709999 |     0 |   0.0 | 590M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1383.12/1383.16	c  1367s|720000 |719999 |     0 |   0.0 | 597M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1401.22/1401.24	c  1385s|730000 |729999 |     0 |   0.0 | 603M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1419.53/1419.57	c  1403s|740000 |739999 |     0 |   0.0 | 610M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1437.73/1437.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1437.73/1437.74	c  1421s|750000 |749999 |     0 |   0.0 | 617M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1455.83/1455.80	c  1439s|760000 |759999 |     0 |   0.0 | 624M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1473.93/1473.94	c  1457s|770000 |769999 |     0 |   0.0 | 631M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1492.03/1492.09	c  1475s|780000 |779999 |     0 |   0.0 | 638M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1510.13/1510.14	c  1492s|790000 |789999 |     0 |   0.0 | 645M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1528.23/1528.20	c  1510s|800000 |799999 |     0 |   0.0 | 651M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1546.12/1546.14	c  1528s|810000 |809999 |     0 |   0.0 | 658M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1564.13/1564.13	c  1546s|820000 |819999 |     0 |   0.0 | 665M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1582.33/1582.38	c  1564s|830000 |829999 |     0 |   0.0 | 672M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1600.43/1600.43	c  1582s|840000 |839999 |     0 |   0.0 | 679M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   1 |   0 | 0.000000e+00 |      --      |    Inf 
1618.73/1618.73	c  1600s|850000 |849997 |     0 |   0.0 | 686M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
1637.02/1637.04	c  1618s|860000 |859997 |     0 |   0.0 | 693M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
1655.13/1655.15	c  1636s|870000 |869995 |     0 |   0.0 | 700M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1673.14/1673.16	c  1653s|880000 |879995 |     0 |   0.0 | 706M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1691.22/1691.26	c  1671s|890000 |889995 |     0 |   0.0 | 713M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1711.73/1711.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1711.73/1711.78	c  1691s|900000 |899995 |     0 |   0.0 | 720M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1732.53/1732.56	c  1712s|910000 |909995 |     0 |   0.0 | 727M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1752.93/1752.93	c  1732s|920000 |919995 |     0 |   0.0 | 734M| 145 |   - |8975 |  10k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1773.13/1773.11	c  1751s|930000 |929995 |     0 |   0.0 | 741M| 147 |   - |8975 |  10k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1793.43/1793.40	c  1771s|940000 |939995 |     0 |   0.0 | 748M| 149 |   - |8975 |  10k|   0 |   0 |   0 |   3 |   0 | 0.000000e+00 |      --      |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1777.49
1800.03/1800.00	c Solving Nodes      : 943222
1800.03/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.00	s UNKNOWN
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time       :    1777.49
1800.03/1800.00	c Original Problem   :
1800.03/1800.00	c   Problem name     : HOME/instance-2693827-1277917473.wbo
1800.03/1800.00	c   Variables        : 20104 (13285 binary, 0 integer, 0 implicit integer, 6819 continuous)
1800.03/1800.00	c   Constraints      : 26759 initial, 26759 maximal
1800.03/1800.00	c Presolved Problem  :
1800.03/1800.00	c   Problem name     : t_HOME/instance-2693827-1277917473.wbo
1800.03/1800.00	c   Variables        : 8975 (6011 binary, 0 integer, 0 implicit integer, 2964 continuous)
1800.03/1800.00	c   Constraints      : 10535 initial, 10537 maximal
1800.03/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.00	c   trivial          :       0.00         96          0          0          0          0          0          0          0
1800.03/1800.00	c   dualfix          :       0.02       8198          0          0          0          0          0          0          0
1800.03/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   implics          :       0.02          0          0          0          0          0          0          0          0
1800.03/1800.00	c   probing          :       1.51          0          0          0          0          0          0          0          0
1800.03/1800.00	c   indicator        :       0.10          0          0          0          0          0       3855          0          0
1800.03/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   knapsack         :       0.00          0          0          0          0          0          0          9         39
1800.03/1800.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   linear           :       0.33       1990        845          0       5049          0      12371         51         56
1800.03/1800.00	c   logicor          :       0.04          0          0          0          0          0          0          0          0
1800.03/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.00	c   indicator        :       2964          0    3750197          0     943218          0     732532          0          0          0
1800.03/1800.00	c   varbound         :        368          0    3750197          0     943218          0     505207          0          0          0
1800.03/1800.00	c   knapsack         :        129          0    3750197          0     943218          0      82680          0          0          0
1800.03/1800.00	c   setppc           :          2          0     291504          0      55989          0          0          0          0          0
1800.03/1800.00	c   linear           :       2596          0    3750197          0     943218          0      92486          0          0          0
1800.03/1800.00	c   logicor          :       4476+         0    3005719          0     943218          4    5684101          0          0          0
1800.03/1800.00	c   countsols        :          0          0          0          0     943218          0          0          0          0          0
1800.03/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.00	c   indicator        :     355.79       0.00     133.68       0.00     222.11
1800.03/1800.00	c   varbound         :      14.45       0.00      14.00       0.00       0.45
1800.03/1800.00	c   knapsack         :      26.98       0.00      10.42       0.00      16.56
1800.03/1800.00	c   setppc           :       0.11       0.00       0.09       0.00       0.02
1800.03/1800.00	c   linear           :      95.53       0.00      94.53       0.00       1.00
1800.03/1800.00	c   logicor          :     361.32       0.00      14.60       0.00     346.72
1800.03/1800.00	c   countsols        :       0.18       0.00       0.00       0.00       0.18
1800.03/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.00	c   vbounds          :      96.33    1327760          0     126528
1800.03/1800.00	c   rootredcost      :       0.78          0          0          0
1800.03/1800.00	c   pseudoobj        :     256.18    3743748          0          0
1800.03/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.00	c   propagation      :       0.00          4          4          4        4.2          0        0.0          -
1800.03/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.00	c   applied globally :          -          -          -          4        4.2          -          -          -
1800.03/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.00	c Pricers            :       Time      Calls       Vars
1800.03/1800.00	c   problem variables:       0.00          0          0
1800.03/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   inference        :     516.16     943218          0          0          0          0    1886436
1800.03/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.00	c   LP solutions     :       0.00          -          0
1800.03/1800.00	c   pseudo solutions :       0.00          -          0
1800.03/1800.00	c   oneopt           :       0.27          0          0
1800.03/1800.00	c   trivial          :       0.12          2          0
1800.03/1800.00	c   simplerounding   :       0.00          0          0
1800.03/1800.00	c   zirounding       :       0.00          0          0
1800.03/1800.00	c   rounding         :       0.00          0          0
1800.03/1800.00	c   shifting         :       0.00          0          0
1800.03/1800.00	c   intshifting      :       0.00          0          0
1800.03/1800.00	c   twoopt           :       0.00          0          0
1800.03/1800.00	c   fixandinfer      :       0.00          0          0
1800.03/1800.00	c   feaspump         :       0.00          0          0
1800.03/1800.00	c   coefdiving       :       0.00          0          0
1800.03/1800.00	c   pscostdiving     :       0.00          0          0
1800.03/1800.00	c   fracdiving       :       0.00          0          0
1800.03/1800.00	c   veclendiving     :       0.00          0          0
1800.03/1800.00	c   intdiving        :       0.00          0          0
1800.03/1800.00	c   actconsdiving    :       0.00          0          0
1800.03/1800.00	c   objpscostdiving  :       0.00          0          0
1800.03/1800.00	c   rootsoldiving    :       0.00          0          0
1800.03/1800.00	c   linesearchdiving :       0.00          0          0
1800.03/1800.00	c   guideddiving     :       0.00          0          0
1800.03/1800.00	c   octane           :       0.00          0          0
1800.03/1800.00	c   rens             :       0.00          0          0
1800.03/1800.00	c   rins             :       0.00          0          0
1800.03/1800.00	c   localbranching   :       0.00          0          0
1800.03/1800.00	c   mutation         :       0.00          0          0
1800.03/1800.00	c   crossover        :       0.00          0          0
1800.03/1800.00	c   dins             :       0.00          0          0
1800.03/1800.00	c   undercover       :       0.00          0          0
1800.03/1800.00	c   nlp              :       0.24          0          0
1800.03/1800.00	c   trysol           :       0.15          1          0
1800.03/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.00	c B&B Tree           :
1800.03/1800.00	c   number of runs   :          1
1800.03/1800.00	c   nodes            :     943222
1800.03/1800.00	c   nodes (total)    :     943222
1800.03/1800.00	c   nodes left       :     943215
1800.03/1800.00	c   max depth        :        149
1800.03/1800.00	c   max depth (total):        149
1800.03/1800.00	c   backtracks       :      11476 (1.2%)
1800.03/1800.00	c   delayed cutoffs  :          0
1800.03/1800.00	c   repropagations   :        293 (18 domain reductions, 0 cutoffs)
1800.03/1800.00	c   avg switch length:       2.66
1800.03/1800.00	c   switching time   :      26.81
1800.03/1800.00	c Solution           :
1800.03/1800.00	c   Solutions found  :          0 (0 improvements)
1800.03/1800.00	c   Primal Bound     :          -
1800.03/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.00	c   Gap              :   infinite
1800.03/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.00	c   Root Iterations  :          0
1801.32/1801.32	c Time complete: 1801.35.

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13954
/proc/meminfo: memFree=31492872/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=8300 CPUtime=0
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 1553 0 0 0 0 0 0 0 25 0 1 0 133043990 8499200 1476 4089446400 4194304 7136930 140734580098352 18446744073709551615 4680537 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13954/statm: 2075 1476 275 719 0 1354 0

[startup+0.0359001 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13954
/proc/meminfo: memFree=31492872/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=16156 CPUtime=0.03
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 3529 0 0 0 3 0 0 0 25 0 1 0 133043990 16543744 3452 4089446400 4194304 7136930 140734580098352 18446744073709551615 4683455 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13954/statm: 4039 3452 275 719 0 3318 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16156

[startup+0.100886 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13954
/proc/meminfo: memFree=31492872/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=26772 CPUtime=0.09
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 6189 0 0 0 9 0 0 0 25 0 1 0 133043990 27414528 6112 4089446400 4194304 7136930 140734580098352 18446744073709551615 5650969 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13954/statm: 6693 6112 275 719 0 5972 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26772

[startup+0.300844 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13954
/proc/meminfo: memFree=31492872/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=84884 CPUtime=0.29
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 20408 0 0 0 27 2 0 0 25 0 1 0 133043990 86921216 19926 4089446400 4194304 7136930 140734580098352 18446744073709551615 6350484 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 21221 19926 335 719 0 20500 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84884

[startup+0.700774 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13954
/proc/meminfo: memFree=31492872/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=95104 CPUtime=0.69
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 23839 0 0 0 65 4 0 0 25 0 1 0 133043990 97386496 22586 4089446400 4194304 7136930 140734580098352 18446744073709551615 4332863 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 23776 22586 363 719 0 23055 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 95104

[startup+1.50069 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13955
/proc/meminfo: memFree=31399244/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=99780 CPUtime=1.49
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 31753 0 0 0 141 8 0 0 25 0 1 0 133043990 102174720 23818 4089446400 4194304 7136930 140734580098352 18446744073709551615 5500589 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 24945 23818 403 719 0 24224 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99780

[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13955
/proc/meminfo: memFree=31397260/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=102864 CPUtime=3.09
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 32421 0 0 0 299 10 0 0 25 0 1 0 133043990 105332736 24486 4089446400 4194304 7136930 140734580098352 18446744073709551615 4641950 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 25716 24486 421 719 0 24995 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102864

[startup+6.30081 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13955
/proc/meminfo: memFree=31395208/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=104112 CPUtime=6.29
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 32731 0 0 0 616 13 0 0 25 0 1 0 133043990 106610688 24796 4089446400 4194304 7136930 140734580098352 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 26028 24796 421 719 0 25307 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104112

[startup+12.7007 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 13955
/proc/meminfo: memFree=31390708/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=107532 CPUtime=12.69
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 33585 0 0 0 1248 21 0 0 25 0 1 0 133043990 110112768 25650 4089446400 4194304 7136930 140734580098352 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 26883 25650 421 719 0 26162 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 107532

[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 13955
/proc/meminfo: memFree=31384592/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=113508 CPUtime=25.49
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 35090 0 0 0 2511 38 0 0 25 0 1 0 133043990 116232192 27155 4089446400 4194304 7136930 140734580098352 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 28377 27155 421 719 0 27656 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 113508

[startup+51.1009 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13955
/proc/meminfo: memFree=31369256/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=125420 CPUtime=51.09
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 38127 0 0 0 5041 68 0 0 25 0 1 0 133043990 128430080 30192 4089446400 4194304 7136930 140734580098352 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 31355 30192 421 719 0 30634 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 125420

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13957
/proc/meminfo: memFree=31346904/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=146036 CPUtime=102.3
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 43367 0 0 0 10101 129 0 0 25 0 1 0 133043990 149540864 35432 4089446400 4194304 7136930 140734580098352 18446744073709551615 5892230 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 36509 35432 421 719 0 35788 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 146036

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13959
/proc/meminfo: memFree=31315248/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=174092 CPUtime=162.3
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 49974 0 0 0 16031 199 0 0 25 0 1 0 133043990 178270208 42039 4089446400 4194304 7136930 140734580098352 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 43523 42039 421 719 0 42802 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 174092

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13960
/proc/meminfo: memFree=31280864/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=200232 CPUtime=222.29
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 56643 0 0 0 21963 266 0 0 25 0 1 0 133043990 205037568 48708 4089446400 4194304 7136930 140734580098352 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 50058 48708 421 719 0 49337 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 200232

[startup+282.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13962
/proc/meminfo: memFree=31254388/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=221656 CPUtime=282.29
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 62079 0 0 0 27896 333 0 0 25 0 1 0 133043990 226975744 54144 4089446400 4194304 7136930 140734580098352 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 55414 54144 421 719 0 54693 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 221656

[startup+342.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13963
/proc/meminfo: memFree=31218396/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=245908 CPUtime=342.3
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 68261 0 0 0 33827 403 0 0 25 0 1 0 133043990 251809792 60326 4089446400 4194304 7136930 140734580098352 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 61477 60326 421 719 0 60756 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 245908

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13965
/proc/meminfo: memFree=31186740/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=273600 CPUtime=402.31
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 74312 0 0 0 39761 470 0 0 25 0 1 0 133043990 280166400 66377 4089446400 4194304 7136930 140734580098352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 68400 66377 421 719 0 67679 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 273600

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13967
/proc/meminfo: memFree=31151484/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=297616 CPUtime=462.3
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 80435 0 0 0 45692 538 0 0 25 0 1 0 133043990 304758784 72500 4089446400 4194304 7136930 140734580098352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 74404 72500 421 719 0 73683 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 297616

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13968
/proc/meminfo: memFree=31123312/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=318528 CPUtime=522.3
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 85751 0 0 0 51622 608 0 0 25 0 1 0 133043990 326172672 77816 4089446400 4194304 7136930 140734580098352 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 79632 77816 421 719 0 78911 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 318528

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 13970
/proc/meminfo: memFree=31084084/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=345020 CPUtime=582.31
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 92512 0 0 0 57555 676 0 0 25 0 1 0 133043990 353300480 84577 4089446400 4194304 7136930 140734580098352 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 86255 84577 421 719 0 85534 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 345020

[startup+642.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13971
/proc/meminfo: memFree=31049332/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=370772 CPUtime=642.31
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 99071 0 0 0 63478 753 0 0 25 0 1 0 133043990 379670528 91136 4089446400 4194304 7136930 140734580098352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 92693 91136 421 719 0 91972 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 370772

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13983
/proc/meminfo: memFree=30817796/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=537392 CPUtime=1062.32
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 139520 0 0 0 104993 1239 0 0 25 0 1 0 133043990 550289408 131585 4089446400 4194304 7136930 140734580098352 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 134348 131585 421 719 0 133627 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 537392

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13984
/proc/meminfo: memFree=30780912/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=561004 CPUtime=1122.31
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 145550 0 0 0 110925 1306 0 0 25 0 1 0 133043990 574468096 137615 4089446400 4194304 7136930 140734580098352 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 140251 137615 421 719 0 139530 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 561004

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13986
/proc/meminfo: memFree=30749124/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=580856 CPUtime=1182.31
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 150647 0 0 0 116857 1374 0 0 25 0 1 0 133043990 594796544 142712 4089446400 4194304 7136930 140734580098352 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 145214 142712 425 719 0 144493 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 580856

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13987
/proc/meminfo: memFree=30716852/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=605332 CPUtime=1242.32
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 156890 0 0 0 122790 1442 0 0 25 0 1 0 133043990 619859968 148955 4089446400 4194304 7136930 140734580098352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 151333 148955 425 719 0 150612 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 605332

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13989
/proc/meminfo: memFree=30686184/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=625420 CPUtime=1302.33
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 162037 0 0 0 128719 1514 0 0 25 0 1 0 133043990 640430080 154102 4089446400 4194304 7136930 140734580098352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 156355 154102 425 719 0 155634 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 625420

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 13991
/proc/meminfo: memFree=30653904/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=650136 CPUtime=1362.32
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 168344 0 0 0 134651 1581 0 0 25 0 1 0 133043990 665739264 160409 4089446400 4194304 7136930 140734580098352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 162534 160409 425 719 0 161813 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 650136

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13992
/proc/meminfo: memFree=30623976/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=673180 CPUtime=1422.33
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 174239 0 0 0 140578 1655 0 0 25 0 1 0 133043990 689336320 166304 4089446400 4194304 7136930 140734580098352 18446744073709551615 4740347 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 168295 166304 425 719 0 167574 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 673180

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13994
/proc/meminfo: memFree=30590328/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=696672 CPUtime=1482.33
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 180210 0 0 0 146509 1724 0 0 25 0 1 0 133043990 713392128 172275 4089446400 4194304 7136930 140734580098352 18446744073709551615 5511764 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 174168 172275 425 719 0 173447 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 696672

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13995
/proc/meminfo: memFree=30562648/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=715784 CPUtime=1542.33
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 185118 0 0 0 152438 1795 0 0 25 0 1 0 133043990 732962816 177183 4089446400 4194304 7136930 140734580098352 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 178946 177183 425 719 0 178225 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 715784

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/198 14054
/proc/meminfo: memFree=30716352/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=737768 CPUtime=1602.32
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 190743 0 0 0 158362 1870 0 0 25 0 1 0 133043990 755474432 182808 4089446400 4194304 7136930 140734580098352 18446744073709551615 5005086 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 184442 182808 425 719 0 183721 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 737768

[startup+1662.3 s]
/proc/loadavg: 2.03 2.00 2.00 5/200 14079
/proc/meminfo: memFree=30590244/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=764124 CPUtime=1662.32
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 197467 0 0 0 164290 1942 0 0 25 0 1 0 133043990 782462976 189532 4089446400 4194304 7136930 140734580098352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/13954/statm: 191031 189532 425 719 0 190310 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 764124

[startup+1722.3 s]
/proc/loadavg: 2.20 2.05 2.01 3/197 14380
/proc/meminfo: memFree=30773616/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=780876 CPUtime=1722.32
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 201776 0 0 0 170183 2049 0 0 25 0 1 0 133043990 799617024 193841 4089446400 4194304 7136930 140734580098352 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13954/statm: 195219 193841 425 719 0 194498 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 780876

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/197 14382
/proc/meminfo: memFree=30735172/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=799988 CPUtime=1782.32
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 206670 0 0 0 176039 2193 0 0 25 0 1 0 133043990 819187712 198735 4089446400 4194304 7136930 140734580098352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13954/statm: 199997 198735 425 719 0 199276 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 799988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.03 2.01 3/197 14383
/proc/meminfo: memFree=30729448/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=803984 CPUtime=1800.03
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 207704 0 0 0 177764 2239 0 0 25 0 1 0 133043990 823279616 199769 4089446400 4194304 7136930 140734580098352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13954/statm: 200996 199769 425 719 0 200275 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 803984

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.05 2.03 2.00 3/198 14384
/proc/meminfo: memFree=30740848/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=791948 CPUtime=1800.63
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 207709 0 0 0 177824 2239 0 0 18 0 1 0 133043990 810954752 196765 4089446400 4194304 7136930 140734580098352 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13954/statm: 197987 196765 430 719 0 197266 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 791948

[startup+1801 s]
/proc/loadavg: 2.05 2.03 2.00 3/198 14384
/proc/meminfo: memFree=30740848/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=713520 CPUtime=1801.02
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 207709 0 0 0 177863 2239 0 0 19 0 1 0 133043990 730644480 177158 4089446400 4194304 7136930 140734580098352 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13954/statm: 178380 177158 430 719 0 177659 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 713520

[startup+1801.2 s]
/proc/loadavg: 2.05 2.03 2.00 3/198 14384
/proc/meminfo: memFree=30740848/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=446196 CPUtime=1801.23
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 207709 0 0 0 177882 2241 0 0 19 0 1 0 133043990 456904704 110329 4089446400 4194304 7136930 140734580098352 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13954/statm: 111549 110329 430 719 0 110828 0
Current children cumulated CPU time (s) 1801.23
Current children cumulated vsize (KiB) 446196

[startup+1801.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/198 14384
/proc/meminfo: memFree=30740848/32950928 swapFree=67111528/67111528
[pid=13954] ppid=13952 vsize=108628 CPUtime=1801.32
/proc/13954/stat : 13954 (pbscip.linux.x8) R 13952 13954 13319 0 -1 4202496 207709 0 0 0 177890 2242 0 0 19 0 1 0 133043990 111235072 26207 4089446400 4194304 7136930 140734580098352 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13954/statm: 26645 25951 430 719 0 25924 0
Current children cumulated CPU time (s) 1801.32
Current children cumulated vsize (KiB) 108628

Child status: 0
Real time (s): 1801.33
CPU time (s): 1801.36
CPU user time (s): 1778.93
CPU system time (s): 22.4286
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 803984

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

runsolver used 3.08053 second user time and 6.31004 second system time

The end

Launcher Data 

Begin job on node125 at 2010-06-30 19:04:34
IDJOB=2693827
IDBENCH=79089
IDSOLVER=1206
FILE ID=node125/2693827-1277917473
PBS_JOBID= 11197278
Free space on /tmp= 74200 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j602_7-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693827-1277917473/watcher-2693827-1277917473 -o /tmp/evaluation-result-2693827-1277917473/solver-2693827-1277917473 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693827-1277917473.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 542acc6a88f2f74cb83091764e7f930f
RANDOM SEED=421493776

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
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.77
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.822
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.75
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.822
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.74
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.822
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.822
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31493400 kB
Buffers:        200968 kB
Cached:         799556 kB
SwapCached:          0 kB
Active:         754324 kB
Inactive:       561896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31493400 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3932 kB
Writeback:           0 kB
AnonPages:      315480 kB
Mapped:          16864 kB
Slab:            78436 kB
PageTables:       5336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   474436 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= 74200 MiB
End job on node125 at 2010-06-30 19:34:36