Trace number 2693758

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.49 1801.43

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-66-100-0.wbo
MD5SUM114c0408840a95cae960ebc399875ecb
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 benchmark17.4483
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4960
Total number of constraints16157
Number of soft constraints5468
Number of constraints which are clauses15841
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints316
Minimum length of a constraint1
Maximum length of a constraint30
Top cost 278200
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 278199
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 201
Number of bits of the biggest sum of numbers8
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-2693758-1277916147.wbo>
0.09/0.15	c original problem has 15896 variables (10428 bin, 0 int, 0 impl, 5468 cont) and 21626 constraints
0.09/0.15	c problem read
0.09/0.15	c presolving settings loaded
0.09/0.15	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.28/0.31	c presolving:
0.39/0.42	c (round 1) 500 del vars, 1354 del conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 205546 impls, 0 clqs
0.39/0.47	c (round 2) 1404 del vars, 4168 del conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 211240 impls, 0 clqs
0.49/0.53	c (round 3) 2856 del vars, 6547 del conss, 951 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 212732 impls, 0 clqs
0.49/0.57	c (round 4) 4429 del vars, 8074 del conss, 1099 chg bounds, 1 chg sides, 1 chg coeffs, 0 upgd conss, 213969 impls, 0 clqs
0.49/0.59	c (round 5) 5423 del vars, 8959 del conss, 1159 chg bounds, 12 chg sides, 11 chg coeffs, 0 upgd conss, 214249 impls, 0 clqs
0.59/0.61	c (round 6) 6009 del vars, 9393 del conss, 1186 chg bounds, 12 chg sides, 13 chg coeffs, 0 upgd conss, 214405 impls, 0 clqs
0.59/0.62	c (round 7) 6327 del vars, 9542 del conss, 1192 chg bounds, 13 chg sides, 14 chg coeffs, 0 upgd conss, 214417 impls, 0 clqs
0.59/0.63	c (round 8) 6456 del vars, 9602 del conss, 1196 chg bounds, 13 chg sides, 14 chg coeffs, 0 upgd conss, 214423 impls, 0 clqs
0.59/0.64	c (round 9) 6505 del vars, 9628 del conss, 1197 chg bounds, 13 chg sides, 14 chg coeffs, 0 upgd conss, 214423 impls, 0 clqs
0.59/0.64	c (round 10) 6529 del vars, 9639 del conss, 1197 chg bounds, 13 chg sides, 14 chg coeffs, 0 upgd conss, 214423 impls, 0 clqs
0.59/0.65	c (round 11) 6541 del vars, 9648 del conss, 1197 chg bounds, 13 chg sides, 14 chg coeffs, 0 upgd conss, 214423 impls, 0 clqs
0.59/0.67	c (round 12) 6547 del vars, 9649 del conss, 4395 chg bounds, 13 chg sides, 14 chg coeffs, 0 upgd conss, 214423 impls, 0 clqs
0.69/0.74	c (round 13) 6548 del vars, 9649 del conss, 4395 chg bounds, 13 chg sides, 14 chg coeffs, 5769 upgd conss, 214423 impls, 0 clqs
0.69/0.76	c (round 14) 6551 del vars, 9656 del conss, 4397 chg bounds, 13 chg sides, 38 chg coeffs, 5769 upgd conss, 215557 impls, 229 clqs
0.69/0.79	c (round 15) 6554 del vars, 9659 del conss, 4399 chg bounds, 13 chg sides, 38 chg coeffs, 5769 upgd conss, 215557 impls, 229 clqs
0.78/0.82	c (round 16) 6557 del vars, 9659 del conss, 4399 chg bounds, 13 chg sides, 38 chg coeffs, 5769 upgd conss, 215557 impls, 229 clqs
2.69/2.72	c    (2.5s) probing: 1000/6144 (16.3%) - 38 fixings, 6 aggregations, 36255 implications, 2 bound changes
3.69/3.76	c    (3.5s) probing: 2000/6144 (32.6%) - 39 fixings, 9 aggregations, 40236 implications, 3 bound changes
4.50/4.52	c    (4.2s) probing: 3000/6144 (48.8%) - 39 fixings, 10 aggregations, 40996 implications, 3 bound changes
4.50/4.54	c    (4.3s) probing: 3044/6144 (49.5%) - 39 fixings, 10 aggregations, 40996 implications, 3 bound changes
4.50/4.54	c    (4.3s) probing aborted: 100/100 successive totally useless probings
4.50/4.54	c (round 17) 6606 del vars, 9659 del conss, 4402 chg bounds, 13 chg sides, 38 chg coeffs, 5769 upgd conss, 352141 impls, 229 clqs
4.50/4.57	c (round 18) 6607 del vars, 9937 del conss, 4402 chg bounds, 13 chg sides, 100 chg coeffs, 5769 upgd conss, 352143 impls, 229 clqs
4.50/4.59	c (round 19) 6695 del vars, 10040 del conss, 4402 chg bounds, 13 chg sides, 123 chg coeffs, 5769 upgd conss, 352145 impls, 232 clqs
4.59/4.61	c (round 20) 6791 del vars, 10060 del conss, 4402 chg bounds, 13 chg sides, 141 chg coeffs, 5769 upgd conss, 352145 impls, 241 clqs
4.59/4.62	c (round 21) 6809 del vars, 10067 del conss, 4402 chg bounds, 13 chg sides, 141 chg coeffs, 5769 upgd conss, 352145 impls, 246 clqs
4.59/4.64	c (round 22) 6814 del vars, 10070 del conss, 4414 chg bounds, 13 chg sides, 141 chg coeffs, 5769 upgd conss, 352145 impls, 246 clqs
4.59/4.67	c (round 23) 6817 del vars, 10070 del conss, 4414 chg bounds, 13 chg sides, 141 chg coeffs, 5777 upgd conss, 352145 impls, 246 clqs
4.69/4.70	c    (4.4s) probing: 3054/6144 (49.7%) - 39 fixings, 10 aggregations, 40996 implications, 3 bound changes
4.69/4.70	c    (4.4s) probing aborted: 100/100 successive totally useless probings
4.69/4.70	c presolving (24 rounds):
4.69/4.70	c  6817 deleted vars, 10070 deleted constraints, 4414 tightened bounds, 0 added holes, 13 changed sides, 141 changed coefficients
4.69/4.70	c  352145 implications, 246 cliques
4.69/4.70	c presolved problem has 9079 variables (5984 bin, 0 int, 0 impl, 3095 cont) and 11556 constraints
4.69/4.70	c    3095 constraints of type <indicator>
4.69/4.70	c     184 constraints of type <varbound>
4.69/4.70	c     218 constraints of type <knapsack>
4.69/4.70	c    2911 constraints of type <linear>
4.69/4.70	c    5148 constraints of type <logicor>
4.69/4.70	c transformed objective value is always integral (scale: 1)
4.69/4.70	c Presolving Time: 4.37
4.69/4.70	c - non default parameters ----------------------------------------------------------------------
4.69/4.70	c # SCIP version 1.2.1.2
4.69/4.70	c 
4.69/4.70	c # frequency for displaying node information lines
4.69/4.70	c # [type: int, range: [-1,2147483647], default: 100]
4.69/4.70	c display/freq = 10000
4.69/4.70	c 
4.69/4.70	c # maximal time in seconds to run
4.69/4.70	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.69/4.70	c limits/time = 1799.86
4.69/4.70	c 
4.69/4.70	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.69/4.70	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.69/4.70	c limits/memory = 3420
4.69/4.70	c 
4.69/4.70	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.69/4.70	c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.70	c lp/solvefreq = -1
4.69/4.70	c 
4.69/4.70	c # should presolving try to simplify inequalities
4.69/4.70	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.70	c constraints/linear/simplifyinequalities = TRUE
4.69/4.70	c 
4.69/4.70	c # should presolving try to simplify knapsacks
4.69/4.70	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.70	c constraints/knapsack/simplifyinequalities = TRUE
4.69/4.70	c 
4.69/4.70	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.69/4.70	c # [type: int, range: [-1,2147483647], default: -1]
4.69/4.70	c separating/rapidlearning/freq = 0
4.69/4.70	c 
4.69/4.70	c -----------------------------------------------------------------------------------------------
4.69/4.70	c start solving
4.69/4.70	c 
4.69/4.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.69/4.72	c   4.4s|     1 |     2 |     0 |     - |  56M|   0 |   - |9079 |  11k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
30.59/30.64	c  30.1s| 10000 |  9969 |     0 |   0.0 |  73M|  89 |   - |9079 |  11k|   0 |   0 |   0 |  29 |   0 | 0.000000e+00 |      --      |    Inf 
55.09/55.15	c  54.3s| 20000 | 19935 |     0 |   0.0 |  88M|  93 |   - |9079 |  11k|   0 |   0 |   0 |  68 |   0 | 0.000000e+00 |      --      |    Inf 
78.59/78.68	c  77.6s| 30000 | 29911 |     0 |   0.0 | 102M| 115 |   - |9079 |  11k|   0 |   0 |   0 |  92 |   0 | 0.000000e+00 |      --      |    Inf 
101.20/101.28	c   100s| 40000 | 39901 |     0 |   0.0 | 116M| 115 |   - |9079 |  11k|   0 |   0 |   0 | 101 |   0 | 0.000000e+00 |      --      |    Inf 
123.70/123.76	c   122s| 50000 | 49897 |     0 |   0.0 | 131M| 115 |   - |9079 |  11k|   0 |   0 |   0 | 109 |   0 | 0.000000e+00 |      --      |    Inf 
145.90/145.92	c   144s| 60000 | 59891 |     0 |   0.0 | 144M| 115 |   - |9079 |  11k|   0 |   0 |   0 | 115 |   0 | 0.000000e+00 |      --      |    Inf 
167.79/167.82	c   166s| 70000 | 69887 |     0 |   0.0 | 158M| 115 |   - |9079 |  11k|   0 |   0 |   0 | 121 |   0 | 0.000000e+00 |      --      |    Inf 
190.00/190.05	c   188s| 80000 | 79861 |     0 |   0.0 | 174M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 139 |   0 | 0.000000e+00 |      --      |    Inf 
212.40/212.45	c   210s| 90000 | 89851 |     0 |   0.0 | 188M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 147 |   0 | 0.000000e+00 |      --      |    Inf 
234.70/234.70	c   232s|100000 | 99843 |     0 |   0.0 | 202M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 153 |   0 | 0.000000e+00 |      --      |    Inf 
256.70/256.75	c   254s|110000 |109841 |     0 |   0.0 | 215M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 154 |   0 | 0.000000e+00 |      --      |    Inf 
278.90/278.96	c   276s|120000 |119837 |     0 |   0.0 | 228M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 157 |   0 | 0.000000e+00 |      --      |    Inf 
301.00/301.01	c   298s|130000 |129833 |     0 |   0.0 | 241M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 163 |   0 | 0.000000e+00 |      --      |    Inf 
322.80/322.86	c   319s|140000 |139829 |     0 |   0.0 | 254M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 165 |   0 | 0.000000e+00 |      --      |    Inf 
344.31/344.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
344.31/344.30	c   340s|150000 |149829 |     0 |   0.0 | 267M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 165 |   0 | 0.000000e+00 |      --      |    Inf 
365.70/365.72	c   362s|160000 |159827 |     0 |   0.0 | 280M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 167 |   0 | 0.000000e+00 |      --      |    Inf 
387.01/387.06	c   383s|170000 |169821 |     0 |   0.0 | 293M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 175 |   0 | 0.000000e+00 |      --      |    Inf 
408.30/408.34	c   404s|180000 |179819 |     0 |   0.0 | 306M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 176 |   0 | 0.000000e+00 |      --      |    Inf 
429.51/429.54	c   425s|190000 |189807 |     0 |   0.0 | 318M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 185 |   0 | 0.000000e+00 |      --      |    Inf 
450.81/450.80	c   446s|200000 |199805 |     0 |   0.0 | 331M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 187 |   0 | 0.000000e+00 |      --      |    Inf 
472.01/472.09	c   467s|210000 |209803 |     0 |   0.0 | 344M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 190 |   0 | 0.000000e+00 |      --      |    Inf 
493.31/493.34	c   488s|220000 |219797 |     0 |   0.0 | 357M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 194 |   0 | 0.000000e+00 |      --      |    Inf 
514.71/514.79	c   509s|230000 |229795 |     0 |   0.0 | 370M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 195 |   0 | 0.000000e+00 |      --      |    Inf 
536.20/536.20	c   530s|240000 |239791 |     0 |   0.0 | 383M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 197 |   0 | 0.000000e+00 |      --      |    Inf 
557.41/557.46	c   551s|250000 |249787 |     0 |   0.0 | 396M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 199 |   0 | 0.000000e+00 |      --      |    Inf 
578.51/578.54	c   572s|260000 |259785 |     0 |   0.0 | 408M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 200 |   0 | 0.000000e+00 |      --      |    Inf 
600.11/600.11	c   594s|270000 |269783 |     0 |   0.0 | 421M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 201 |   0 | 0.000000e+00 |      --      |    Inf 
621.42/621.41	c   615s|280000 |279779 |     0 |   0.0 | 433M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 203 |   0 | 0.000000e+00 |      --      |    Inf 
642.52/642.56	c   635s|290000 |289779 |     0 |   0.0 | 446M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 203 |   0 | 0.000000e+00 |      --      |    Inf 
663.91/663.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
663.91/663.90	c   657s|300000 |299779 |     0 |   0.0 | 458M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 203 |   0 | 0.000000e+00 |      --      |    Inf 
685.12/685.16	c   678s|310000 |309777 |     0 |   0.0 | 470M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 204 |   0 | 0.000000e+00 |      --      |    Inf 
706.11/706.17	c   698s|320000 |319777 |     0 |   0.0 | 483M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 204 |   0 | 0.000000e+00 |      --      |    Inf 
726.82/726.85	c   719s|330000 |329770 |     0 |   0.0 | 497M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 207 |   0 | 0.000000e+00 |      --      |    Inf 
747.52/747.57	c   739s|340000 |339751 |     0 |   0.0 | 512M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 234 |   0 | 0.000000e+00 |      --      |    Inf 
769.52/769.51	c   761s|350000 |349747 |     0 |   0.0 | 527M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 237 |   0 | 0.000000e+00 |      --      |    Inf 
791.42/791.45	c   783s|360000 |359735 |     0 |   0.0 | 541M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 249 |   0 | 0.000000e+00 |      --      |    Inf 
813.62/813.60	c   805s|370000 |369727 |     0 |   0.0 | 555M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 254 |   0 | 0.000000e+00 |      --      |    Inf 
835.62/835.64	c   826s|380000 |379725 |     0 |   0.0 | 569M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 256 |   0 | 0.000000e+00 |      --      |    Inf 
857.72/857.74	c   848s|390000 |389719 |     0 |   0.0 | 582M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 260 |   0 | 0.000000e+00 |      --      |    Inf 
879.72/879.79	c   870s|400000 |399713 |     0 |   0.0 | 596M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 264 |   0 | 0.000000e+00 |      --      |    Inf 
901.52/901.57	c   892s|410000 |409711 |     0 |   0.0 | 609M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 265 |   0 | 0.000000e+00 |      --      |    Inf 
923.72/923.70	c   914s|420000 |419709 |     0 |   0.0 | 622M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 266 |   0 | 0.000000e+00 |      --      |    Inf 
945.23/945.25	c   935s|430000 |429703 |     0 |   0.0 | 635M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 271 |   0 | 0.000000e+00 |      --      |    Inf 
966.93/966.91	c   956s|440000 |439695 |     0 |   0.0 | 648M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 278 |   0 | 0.000000e+00 |      --      |    Inf 
988.53/988.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
988.53/988.51	c   978s|450000 |449695 |     0 |   0.0 | 661M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 278 |   0 | 0.000000e+00 |      --      |    Inf 
1009.94/1009.92	c   999s|460000 |459689 |     0 |   0.0 | 674M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 282 |   0 | 0.000000e+00 |      --      |    Inf 
1031.53/1031.57	c  1020s|470000 |469689 |     0 |   0.0 | 687M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 282 |   0 | 0.000000e+00 |      --      |    Inf 
1053.13/1053.11	c  1042s|480000 |479689 |     0 |   0.0 | 700M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 282 |   0 | 0.000000e+00 |      --      |    Inf 
1074.33/1074.30	c  1063s|490000 |489687 |     0 |   0.0 | 713M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 287 |   0 | 0.000000e+00 |      --      |    Inf 
1095.63/1095.68	c  1084s|500000 |499687 |     0 |   0.0 | 725M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 287 |   0 | 0.000000e+00 |      --      |    Inf 
1117.23/1117.22	c  1105s|510000 |509685 |     0 |   0.0 | 738M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 291 |   0 | 0.000000e+00 |      --      |    Inf 
1138.54/1138.53	c  1126s|520000 |519683 |     0 |   0.0 | 751M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 292 |   0 | 0.000000e+00 |      --      |    Inf 
1159.44/1159.48	c  1147s|530000 |529683 |     0 |   0.0 | 763M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 292 |   0 | 0.000000e+00 |      --      |    Inf 
1180.73/1180.76	c  1168s|540000 |539683 |     0 |   0.0 | 775M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 292 |   0 | 0.000000e+00 |      --      |    Inf 
1202.24/1202.20	c  1189s|550000 |549681 |     0 |   0.0 | 788M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 294 |   0 | 0.000000e+00 |      --      |    Inf 
1223.63/1223.62	c  1209s|560000 |559679 |     0 |   0.0 | 800M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 296 |   0 | 0.000000e+00 |      --      |    Inf 
1245.14/1245.14	c  1230s|570000 |569679 |     0 |   0.0 | 813M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 296 |   0 | 0.000000e+00 |      --      |    Inf 
1266.24/1266.28	c  1251s|580000 |579669 |     0 |   0.0 | 825M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 308 |   0 | 0.000000e+00 |      --      |    Inf 
1287.64/1287.66	c  1271s|590000 |589669 |     0 |   0.0 | 838M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 308 |   0 | 0.000000e+00 |      --      |    Inf 
1309.14/1309.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1309.14/1309.15	c  1292s|600000 |599665 |     0 |   0.0 | 850M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 311 |   0 | 0.000000e+00 |      --      |    Inf 
1330.64/1330.63	c  1313s|610000 |609665 |     0 |   0.0 | 863M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 311 |   0 | 0.000000e+00 |      --      |    Inf 
1351.95/1351.91	c  1334s|620000 |619659 |     0 |   0.0 | 876M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 318 |   0 | 0.000000e+00 |      --      |    Inf 
1373.04/1373.06	c  1354s|630000 |629659 |     0 |   0.0 | 888M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 318 |   0 | 0.000000e+00 |      --      |    Inf 
1394.24/1394.22	c  1375s|640000 |639659 |     0 |   0.0 | 900M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 318 |   0 | 0.000000e+00 |      --      |    Inf 
1415.34/1415.36	c  1395s|650000 |649651 |     0 |   0.0 | 913M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 324 |   0 | 0.000000e+00 |      --      |    Inf 
1436.34/1436.35	c  1415s|660000 |659647 |     0 |   0.0 | 925M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 328 |   0 | 0.000000e+00 |      --      |    Inf 
1457.14/1457.17	c  1436s|670000 |669641 |     0 |   0.0 | 938M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 331 |   0 | 0.000000e+00 |      --      |    Inf 
1478.25/1478.27	c  1456s|680000 |679637 |     0 |   0.0 | 950M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 333 |   0 | 0.000000e+00 |      --      |    Inf 
1499.35/1499.36	c  1477s|690000 |689629 |     0 |   0.0 | 963M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 345 |   0 | 0.000000e+00 |      --      |    Inf 
1520.25/1520.23	c  1497s|700000 |699629 |     0 |   0.0 | 976M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 345 |   0 | 0.000000e+00 |      --      |    Inf 
1541.15/1541.20	c  1517s|710000 |709629 |     0 |   0.0 | 988M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 345 |   0 | 0.000000e+00 |      --      |    Inf 
1562.16/1562.16	c  1537s|720000 |719625 |     0 |   0.0 |1000M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 347 |   0 | 0.000000e+00 |      --      |    Inf 
1583.15/1583.18	c  1558s|730000 |729621 |     0 |   0.0 |1013M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 355 |   0 | 0.000000e+00 |      --      |    Inf 
1604.25/1604.25	c  1578s|740000 |739615 |     0 |   0.0 |1025M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 360 |   0 | 0.000000e+00 |      --      |    Inf 
1625.45/1625.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1625.45/1625.49	c  1599s|750000 |749613 |     0 |   0.0 |1038M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 361 |   0 | 0.000000e+00 |      --      |    Inf 
1646.35/1646.32	c  1619s|760000 |759611 |     0 |   0.0 |1050M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 363 |   0 | 0.000000e+00 |      --      |    Inf 
1667.15/1667.12	c  1639s|770000 |769611 |     0 |   0.0 |1062M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 363 |   0 | 0.000000e+00 |      --      |    Inf 
1688.06/1688.07	c  1659s|780000 |779611 |     0 |   0.0 |1074M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 363 |   0 | 0.000000e+00 |      --      |    Inf 
1708.96/1708.95	c  1679s|790000 |789603 |     0 |   0.0 |1087M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 371 |   0 | 0.000000e+00 |      --      |    Inf 
1729.76/1729.70	c  1700s|800000 |799595 |     0 |   0.0 |1099M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 380 |   0 | 0.000000e+00 |      --      |    Inf 
1750.66/1750.68	c  1720s|810000 |809593 |     0 |   0.0 |1111M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 382 |   0 | 0.000000e+00 |      --      |    Inf 
1771.36/1771.35	c  1740s|820000 |819585 |     0 |   0.0 |1124M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 388 |   0 | 0.000000e+00 |      --      |    Inf 
1791.86/1791.86	c  1760s|830000 |829581 |     0 |   0.0 |1136M| 139 |   - |9079 |  11k|   0 |   0 |   0 | 392 |   0 | 0.000000e+00 |      --      |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00	c 
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time (sec) : 1767.57
1800.06/1800.00	c Solving Nodes      : 833911
1800.06/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.00	c Gap                : infinite
1800.06/1800.00	s UNKNOWN
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time       :    1767.57
1800.06/1800.00	c Original Problem   :
1800.06/1800.00	c   Problem name     : HOME/instance-2693758-1277916147.wbo
1800.06/1800.00	c   Variables        : 15896 (10428 binary, 0 integer, 0 implicit integer, 5468 continuous)
1800.06/1800.00	c   Constraints      : 21626 initial, 21626 maximal
1800.06/1800.00	c Presolved Problem  :
1800.06/1800.00	c   Problem name     : t_HOME/instance-2693758-1277916147.wbo
1800.06/1800.00	c   Variables        : 9079 (5984 binary, 0 integer, 0 implicit integer, 3095 continuous)
1800.06/1800.00	c   Constraints      : 11556 initial, 11634 maximal
1800.06/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.00	c   trivial          :       0.00         66          0          0          0          0          0          0          0
1800.06/1800.00	c   dualfix          :       0.03       5034          0          0          0          0          0          0          0
1800.06/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.00	c   implics          :       0.04          0          2          0          0          0          0          0          0
1800.06/1800.00	c   probing          :       3.66         39         10          0          3          0          0          0          0
1800.06/1800.00	c   indicator        :       0.07          0          0          0          0          0       2373          0          0
1800.06/1800.00	c   varbound         :       0.00          0          0          0          0          0         12          0          0
1800.06/1800.00	c   knapsack         :       0.05          0          0          0          2          0          0          0        127
1800.06/1800.00	c   linear           :       0.31       1155        511          0       4409          0       7470         13         14
1800.06/1800.00	c   logicor          :       0.09          0          0          0          0          0        215          0          0
1800.06/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.00	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.00	c   indicator        :       3095          0    4090290          0     833708          0     646829          0          0          0
1800.06/1800.00	c   varbound         :        184          0    4090290          0     833708          0      84619          0          0          0
1800.06/1800.00	c   knapsack         :        218          0    4090290          0     833708         43    3057019          0          0          0
1800.06/1800.00	c   linear           :       2911          0    4090247          0     833708          0     553242          0          0          0
1800.06/1800.00	c   logicor          :       5148+         0    3703066          0     833708        178   10484778          0          0          0
1800.06/1800.00	c   countsols        :          0          0          0          0     833707          0          0          0          0          0
1800.06/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.00	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.00	c   indicator        :     388.68       0.00     162.28       0.00     226.40
1800.06/1800.00	c   varbound         :      11.25       0.00      10.88       0.00       0.37
1800.06/1800.00	c   knapsack         :      43.39       0.00      30.21       0.00      13.18
1800.06/1800.00	c   linear           :     104.60       0.00     103.50       0.00       1.10
1800.06/1800.00	c   logicor          :     340.05       0.00      35.72       0.00     304.33
1800.06/1800.00	c   countsols        :       0.08       0.00       0.00       0.00       0.08
1800.06/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.00	c   vbounds          :      39.90     929255          0      15283
1800.06/1800.00	c   rootredcost      :       0.79          0          0          0
1800.06/1800.00	c   pseudoobj        :     303.07    4078905          0          0
1800.06/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.00	c   propagation      :       0.00        208        208        456        7.1         10        4.4          -
1800.06/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.00	c   applied globally :          -          -          -        393        6.8          -          -          -
1800.06/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.00	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.00	c   redcost          :       0.00          0          0          0          0          0
1800.06/1800.00	c   impliedbounds    :       0.00          0          0          0          0          0
1800.06/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.00	c   gomory           :       0.00          0          0          0          0          0
1800.06/1800.00	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.00	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.00	c Pricers            :       Time      Calls       Vars
1800.06/1800.00	c   problem variables:       0.00          0          0
1800.06/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.00	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   inference        :     457.42     833707          0          0          0          0    1667414
1800.06/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.00	c   LP solutions     :       0.00          -          0
1800.06/1800.00	c   pseudo solutions :       0.00          -          0
1800.06/1800.00	c   oneopt           :       0.19          0          0
1800.06/1800.00	c   trivial          :       0.09          2          0
1800.06/1800.00	c   simplerounding   :       0.00          0          0
1800.06/1800.00	c   zirounding       :       0.00          0          0
1800.06/1800.00	c   rounding         :       0.00          0          0
1800.06/1800.00	c   shifting         :       0.00          0          0
1800.06/1800.00	c   intshifting      :       0.00          0          0
1800.06/1800.00	c   twoopt           :       0.00          0          0
1800.06/1800.00	c   fixandinfer      :       0.00          0          0
1800.06/1800.00	c   feaspump         :       0.00          0          0
1800.06/1800.00	c   coefdiving       :       0.00          0          0
1800.06/1800.00	c   pscostdiving     :       0.00          0          0
1800.06/1800.00	c   fracdiving       :       0.00          0          0
1800.06/1800.00	c   veclendiving     :       0.00          0          0
1800.06/1800.00	c   intdiving        :       0.00          0          0
1800.06/1800.00	c   actconsdiving    :       0.00          0          0
1800.06/1800.00	c   objpscostdiving  :       0.00          0          0
1800.06/1800.00	c   rootsoldiving    :       0.00          0          0
1800.06/1800.00	c   linesearchdiving :       0.00          0          0
1800.06/1800.00	c   guideddiving     :       0.00          0          0
1800.06/1800.00	c   octane           :       0.00          0          0
1800.06/1800.00	c   rens             :       0.00          0          0
1800.06/1800.00	c   rins             :       0.00          0          0
1800.06/1800.00	c   localbranching   :       0.00          0          0
1800.06/1800.00	c   mutation         :       0.00          0          0
1800.06/1800.00	c   crossover        :       0.00          0          0
1800.06/1800.00	c   dins             :       0.00          0          0
1800.06/1800.00	c   undercover       :       0.00          0          0
1800.06/1800.00	c   nlp              :       0.21          0          0
1800.06/1800.00	c   trysol           :       0.13          1          0
1800.06/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.00	c   dual LP          :       0.00          0          0       0.00          -
1800.06/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.00	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.00	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.00	c B&B Tree           :
1800.06/1800.00	c   number of runs   :          1
1800.06/1800.00	c   nodes            :     833911
1800.06/1800.00	c   nodes (total)    :     833911
1800.06/1800.00	c   nodes left       :     833490
1800.06/1800.00	c   max depth        :        139
1800.06/1800.00	c   max depth (total):        139
1800.06/1800.00	c   backtracks       :      11657 (1.4%)
1800.06/1800.00	c   delayed cutoffs  :         14
1800.06/1800.00	c   repropagations   :       1664 (5734 domain reductions, 4 cutoffs)
1800.06/1800.00	c   avg switch length:       2.42
1800.06/1800.00	c   switching time   :      49.01
1800.06/1800.00	c Solution           :
1800.06/1800.00	c   Solutions found  :          0 (0 improvements)
1800.06/1800.00	c   Primal Bound     :          -
1800.06/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.00	c   Gap              :   infinite
1800.06/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.00	c   Root Iterations  :          0
1801.46/1801.42	c Time complete: 1801.49.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693758-1277916147/watcher-2693758-1277916147 -o /tmp/evaluation-result-2693758-1277916147/solver-2693758-1277916147 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693758-1277916147.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 1.99 1.99 5/178 26007
/proc/meminfo: memFree=30700612/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=8156 CPUtime=0
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 1543 0 0 0 0 0 0 0 25 0 1 0 167217755 8351744 1465 4089446400 4194304 7136930 140734202159344 18446744073709551615 5649227 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26007/statm: 2039 1465 275 719 0 1318 0

[startup+0.104138 s]
/proc/loadavg: 2.00 1.99 1.99 5/178 26007
/proc/meminfo: memFree=30700612/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=25628 CPUtime=0.09
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 5885 0 0 0 9 0 0 0 25 0 1 0 167217755 26243072 5807 4089446400 4194304 7136930 140734202159344 18446744073709551615 6178256 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26007/statm: 6407 5807 275 719 0 5686 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25628

[startup+0.20111 s]
/proc/loadavg: 2.00 1.99 1.99 5/178 26007
/proc/meminfo: memFree=30700612/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=59008 CPUtime=0.19
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 14645 0 0 0 18 1 0 0 25 0 1 0 167217755 60424192 14185 4089446400 4194304 7136930 140734202159344 18446744073709551615 5953067 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 14752 14185 297 719 0 14031 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 59008

[startup+0.301092 s]
/proc/loadavg: 2.00 1.99 1.99 5/178 26007
/proc/meminfo: memFree=30700612/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=71560 CPUtime=0.28
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 17209 0 0 0 27 1 0 0 25 0 1 0 167217755 73277440 16722 4089446400 4194304 7136930 140734202159344 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 17890 16722 331 719 0 17169 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 71560

[startup+0.701018 s]
/proc/loadavg: 2.00 1.99 1.99 5/178 26007
/proc/meminfo: memFree=30700612/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=81716 CPUtime=0.69
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 23670 0 0 0 64 5 0 0 25 0 1 0 167217755 83677184 19393 4089446400 4194304 7136930 140734202159344 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 20429 19393 370 719 0 19708 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81716

[startup+1.50086 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 26008
/proc/meminfo: memFree=30618408/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=86604 CPUtime=1.49
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 28755 0 0 0 141 8 0 0 25 0 1 0 167217755 88682496 20612 4089446400 4194304 7136930 140734202159344 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 21651 20612 396 719 0 20930 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86604

[startup+3.10056 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 26008
/proc/meminfo: memFree=30616176/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=88864 CPUtime=3.09
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 29332 0 0 0 299 10 0 0 25 0 1 0 167217755 90996736 21189 4089446400 4194304 7136930 140734202159344 18446744073709551615 4925429 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 22216 21189 402 719 0 21495 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88864

[startup+6.30095 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 26008
/proc/meminfo: memFree=30607324/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=91760 CPUtime=6.29
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 35177 0 0 0 613 16 0 0 25 0 1 0 167217755 93962240 21824 4089446400 4194304 7136930 140734202159344 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 22940 21824 418 719 0 22219 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91760

[startup+12.7007 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 26008
/proc/meminfo: memFree=30591456/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=97404 CPUtime=12.69
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 36567 0 0 0 1246 23 0 0 25 0 1 0 167217755 99741696 23214 4089446400 4194304 7136930 140734202159344 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 24351 23214 418 719 0 23630 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97404

[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 26009
/proc/meminfo: memFree=30561940/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=107388 CPUtime=25.49
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 39048 0 0 0 2512 37 0 0 25 0 1 0 167217755 109965312 25695 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 26847 25695 418 719 0 26126 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 107388

[startup+51.1004 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 26009
/proc/meminfo: memFree=30505552/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=127796 CPUtime=51.09
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 44093 0 0 0 5044 65 0 0 25 0 1 0 167217755 130863104 30740 4089446400 4194304 7136930 140734202159344 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 31949 30740 418 719 0 31228 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 127796

[startup+102.301 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 26011
/proc/meminfo: memFree=30387580/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=169276 CPUtime=102.3
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 54317 0 0 0 10112 118 0 0 25 0 1 0 167217755 173338624 40964 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 42319 40964 418 719 0 41598 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 169276

[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 26012
/proc/meminfo: memFree=30254736/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=218928 CPUtime=162.29
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 66053 0 0 0 16053 176 0 0 25 0 1 0 167217755 224182272 52700 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 54732 52700 418 719 0 54011 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 218928

[startup+222.306 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 26014
/proc/meminfo: memFree=30115672/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=269980 CPUtime=222.3
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 78620 0 0 0 21985 245 0 0 25 0 1 0 167217755 276459520 65267 4089446400 4194304 7136930 140734202159344 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 67495 65267 418 719 0 66774 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 269980

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 26015
/proc/meminfo: memFree=29990996/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=307860 CPUtime=282.3
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 88051 0 0 0 27916 314 0 0 25 0 1 0 167217755 315248640 74698 4089446400 4194304 7136930 140734202159344 18446744073709551615 5507410 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 76965 74698 418 719 0 76244 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 307860

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 26017
/proc/meminfo: memFree=29858152/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=351588 CPUtime=342.3
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 98790 0 0 0 33856 374 0 0 25 0 1 0 167217755 360026112 85437 4089446400 4194304 7136930 140734202159344 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 87897 85437 418 719 0 87176 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 351588

[startup+402.301 s]
/proc/loadavg: 2.06 2.00 2.00 4/179 26019
/proc/meminfo: memFree=29730016/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=392980 CPUtime=402.3
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 108933 0 0 0 39791 439 0 0 25 0 1 0 167217755 402411520 95580 4089446400 4194304 7136930 140734202159344 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 98245 95580 418 719 0 97524 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 392980

[startup+462.3 s]
/proc/loadavg: 2.02 2.00 2.00 4/179 26020
/proc/meminfo: memFree=29606956/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=433068 CPUtime=462.3
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 117967 0 0 0 45728 502 0 0 25 0 1 0 167217755 443461632 104614 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 108267 104614 418 719 0 107546 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 433068

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 2.00 4/179 26022
/proc/meminfo: memFree=29485884/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=467752 CPUtime=522.31
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 126613 0 0 0 51664 567 0 0 25 0 1 0 167217755 478978048 113260 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 116938 113260 418 719 0 116217 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 467752

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 26023
/proc/meminfo: memFree=29361700/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=505052 CPUtime=582.31
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 135903 0 0 0 57602 629 0 0 25 0 1 0 167217755 517173248 122550 4089446400 4194304 7136930 140734202159344 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 126263 122550 418 719 0 125542 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 505052

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 26025
/proc/meminfo: memFree=29228492/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=551916 CPUtime=642.32
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 147575 0 0 0 63534 698 0 0 25 0 1 0 167217755 565161984 134222 4089446400 4194304 7136930 140734202159344 18446744073709551615 6212696 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 137979 134222 418 719 0 137258 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 551916

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/179 26036
/proc/meminfo: memFree=28346380/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=828476 CPUtime=1062.33
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 213984 0 0 0 105085 1148 0 0 25 0 1 0 167217755 848359424 200631 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 207119 200631 418 719 0 206398 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 828476

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 26047
/proc/meminfo: memFree=28221392/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=864608 CPUtime=1122.34
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 222868 0 0 0 111023 1211 0 0 25 0 1 0 167217755 885358592 209515 4089446400 4194304 7136930 140734202159344 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26007/statm: 216152 209515 418 719 0 215431 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 864608

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 26094
/proc/meminfo: memFree=30526336/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=895356 CPUtime=1182.34
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 230750 0 0 0 116936 1298 0 0 25 0 1 0 167217755 916844544 217397 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26007/statm: 223839 217397 418 719 0 223118 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 895356

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 26096
/proc/meminfo: memFree=30458060/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=926728 CPUtime=1242.34
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 238700 0 0 0 122744 1490 0 0 25 0 1 0 167217755 948969472 225347 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26007/statm: 231682 225347 418 719 0 230961 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 926728

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 26098
/proc/meminfo: memFree=30399996/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=965028 CPUtime=1302.34
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 248495 0 0 0 128550 1684 0 0 25 0 1 0 167217755 988188672 235142 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26007/statm: 241257 235142 418 719 0 240536 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 965028

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 26099
/proc/meminfo: memFree=30357292/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=995980 CPUtime=1362.35
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 256343 0 0 0 134383 1852 0 0 25 0 1 0 167217755 1019883520 242990 4089446400 4194304 7136930 140734202159344 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26007/statm: 248995 242990 418 719 0 248274 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 995980

[startup+1422.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/197 26101
/proc/meminfo: memFree=30310520/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=1028608 CPUtime=1422.35
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 264492 0 0 0 140204 2031 0 0 25 0 1 0 167217755 1053294592 251139 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26007/statm: 257152 251139 418 719 0 256431 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1028608

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 26102
/proc/meminfo: memFree=30255676/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=1070636 CPUtime=1482.34
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 274777 0 0 0 146017 2217 0 0 25 0 1 0 167217755 1096331264 261424 4089446400 4194304 7136930 140734202159344 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26007/statm: 267659 261424 418 719 0 266938 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1070636

[startup+1542.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/197 26104
/proc/meminfo: memFree=30209392/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=1106684 CPUtime=1542.35
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 283703 0 0 0 151818 2417 0 0 25 0 1 0 167217755 1133244416 270350 4089446400 4194304 7136930 140734202159344 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26007/statm: 276671 270350 418 719 0 275950 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1106684

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 26106
/proc/meminfo: memFree=30174640/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=1130116 CPUtime=1602.36
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 289937 0 0 0 157631 2605 0 0 25 0 1 0 167217755 1157238784 276584 4089446400 4194304 7136930 140734202159344 18446744073709551615 4696940 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26007/statm: 282529 276584 418 719 0 281808 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 1130116

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 26107
/proc/meminfo: memFree=30112248/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=1179448 CPUtime=1662.35
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 302559 0 0 0 163436 2799 0 0 25 0 1 0 167217755 1207754752 289206 4089446400 4194304 7136930 140734202159344 18446744073709551615 4436399 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26007/statm: 294862 289206 418 719 0 294141 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1179448

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 26109
/proc/meminfo: memFree=30072520/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=1210080 CPUtime=1722.36
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 310069 0 0 0 169255 2981 0 0 25 0 1 0 167217755 1239121920 296716 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26007/statm: 302520 296716 418 719 0 301799 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 1210080

[startup+1782.3 s]
/proc/loadavg: 2.58 2.19 2.07 3/197 26110
/proc/meminfo: memFree=30016920/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=1255148 CPUtime=1782.36
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 320712 0 0 0 175060 3176 0 0 25 0 1 0 167217755 1285271552 307359 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26007/statm: 313787 307359 418 719 0 313066 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 1255148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.45 2.18 2.06 3/197 26111
/proc/meminfo: memFree=30005368/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=1264120 CPUtime=1800.06
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 322776 0 0 0 176770 3236 0 0 25 0 1 0 167217755 1294458880 309423 4089446400 4194304 7136930 140734202159344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26007/statm: 316030 309423 418 719 0 315309 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1264120

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

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

[startup+1800.7 s]
/proc/loadavg: 2.45 2.18 2.06 3/198 26112
/proc/meminfo: memFree=30022720/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=1244588 CPUtime=1800.76
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 322782 0 0 0 176840 3236 0 0 18 0 1 0 167217755 1274458112 304546 4089446400 4194304 7136930 140734202159344 18446744073709551615 4670176 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26007/statm: 311147 304546 424 719 0 310426 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 1244588

[startup+1801.1 s]
/proc/loadavg: 2.45 2.18 2.06 3/198 26112
/proc/meminfo: memFree=30022720/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=1215064 CPUtime=1801.16
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 322782 0 0 0 176879 3237 0 0 19 0 1 0 167217755 1244225536 297165 4089446400 4194304 7136930 140734202159344 18446744073709551615 6166339 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26007/statm: 303766 297165 424 719 0 303045 0
Current children cumulated CPU time (s) 1801.16
Current children cumulated vsize (KiB) 1215064

[startup+1801.3 s]
/proc/loadavg: 2.45 2.18 2.06 3/198 26112
/proc/meminfo: memFree=30022720/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=977076 CPUtime=1801.36
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 322782 0 0 0 176898 3238 0 0 19 0 1 0 167217755 1000525824 237677 4089446400 4194304 7136930 140734202159344 18446744073709551615 6166339 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26007/statm: 244269 237677 424 719 0 243548 0
Current children cumulated CPU time (s) 1801.36
Current children cumulated vsize (KiB) 977076

[startup+1801.4 s]
/proc/loadavg: 2.45 2.18 2.06 3/198 26112
/proc/meminfo: memFree=30022720/32950928 swapFree=67111528/67111528
[pid=26007] ppid=26005 vsize=225340 CPUtime=1801.46
/proc/26007/stat : 26007 (pbscip.linux.x8) R 26005 26007 24708 0 -1 4202496 322782 0 0 0 176906 3240 0 0 19 0 1 0 167217755 230748160 54167 4089446400 4194304 7136930 140734202159344 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26007/statm: 56156 53916 424 719 0 55435 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 225340

Child status: 0
Real time (s): 1801.43
CPU time (s): 1801.49
CPU user time (s): 1769.08
CPU system time (s): 32.4141
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1264120

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

runsolver used 2.82857 second user time and 5.95309 second system time

The end

Launcher Data 

Begin job on node115 at 2010-06-30 18:42:27
IDJOB=2693758
IDBENCH=79065
IDSOLVER=1206
FILE ID=node115/2693758-1277916147
PBS_JOBID= 11197259
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3029_8-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-2693758-1277916147/watcher-2693758-1277916147 -o /tmp/evaluation-result-2693758-1277916147/solver-2693758-1277916147 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693758-1277916147.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 114c0408840a95cae960ebc399875ecb
RANDOM SEED=330501194

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.796
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.796
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:      30701140 kB
Buffers:        202900 kB
Cached:         937920 kB
SwapCached:          0 kB
Active:        1432992 kB
Inactive:       674364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30701140 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3564 kB
Writeback:           0 kB
AnonPages:      966224 kB
Mapped:          17032 kB
Slab:            78496 kB
PageTables:       6884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1112352 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= 74208 MiB
End job on node115 at 2010-06-30 19:12:29