Trace number 2692897

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.19 1800.12

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo
MD5SUMebc456211cf99aa767d1987ef9daf648
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark91.6031
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1777
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 90281
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90280
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692897-1277909358.wbo>
0.01/0.03	c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 constraints
0.01/0.03	c problem read
0.01/0.03	c presolving settings loaded
0.01/0.05	c presolving:
0.01/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.01/0.09	c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.10	c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.11	c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.12	c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.17	c    (0.1s) probing: 101/1943 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (6 rounds):
0.09/0.17	c  130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.09/0.17	c  1913 implications, 7 cliques
0.09/0.17	c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints
0.09/0.17	c    1712 constraints of type <indicator>
0.09/0.17	c       7 constraints of type <setppc>
0.09/0.17	c    1712 constraints of type <linear>
0.09/0.17	c     898 constraints of type <logicor>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.11
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 1.2.1.2
0.09/0.17	c 
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = 10000
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1799.98
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 3420
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify inequalities
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/linear/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify knapsacks
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c separating/rapidlearning/freq = 0
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.09/0.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.18	c   0.1s|     1 |     0 |    22 |     - |  13M|   0 |   8 |3655 |4329 |3655 | 905 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	o 86784
0.09/0.19	c y 0.1s|     1 |     0 |    32 |     - |  13M|   0 |   8 |3655 |4329 |3655 | 905 |   0 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
0.19/0.21	c   0.1s|     1 |     0 |    71 |     - |  13M|   0 |  36 |3655 |4329 |3655 | 928 |  23 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
0.19/0.27	c   0.2s|     1 |     0 |   139 |     - |  14M|   0 |  42 |3655 |4329 |3655 | 949 |  44 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
0.29/0.33	c   0.3s|     1 |     0 |   187 |     - |  14M|   0 |  48 |3655 |4329 |3655 | 960 |  55 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
0.39/0.40	c   0.3s|     1 |     0 |   229 |     - |  14M|   0 |  52 |3655 |4329 |3655 | 967 |  62 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
0.39/0.49	c   0.4s|     1 |     0 |   279 |     - |  14M|   0 |  49 |3655 |4329 |3655 | 969 |  64 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
0.49/0.58	c   0.5s|     1 |     0 |   286 |     - |  14M|   0 |  49 |3655 |4329 |3655 | 971 |  66 |   0 |   0 | 0.000000e+00 | 8.678400e+04 |    Inf 
1.19/1.23	c   1.1s|     1 |     2 |   286 |     - |  14M|   0 |  49 |3655 |4329 |3655 | 971 |  66 |   0 |  33 | 0.000000e+00 | 8.678400e+04 |    Inf 
29.49/29.54	c  28.4s| 10000 |  9981 | 43259 |   4.3 |  38M| 104 |   0 |3655 |4361 |3655 |1003 |7009 |  40 |1327 | 0.000000e+00 | 8.678400e+04 |    Inf 
44.59/44.69	c  43.0s| 20000 | 19977 | 56837 |   2.8 |  56M| 115 |   0 |3655 |4351 |3655 | 996 |  10k|  54 |1342 | 0.000000e+00 | 8.678400e+04 |    Inf 
59.40/59.48	c  57.3s| 30000 | 29963 | 66338 |   2.2 |  73M| 135 |   0 |3655 |4362 |3655 | 988 |  12k|  72 |1424 | 0.000000e+00 | 8.678400e+04 |    Inf 
74.20/74.27	c  71.6s| 40000 | 39961 | 79337 |   2.0 |  90M| 135 |   0 |3655 |4349 |3655 |1002 |  14k|  74 |1442 | 0.000000e+00 | 8.678400e+04 |    Inf 
89.89/89.92	c  86.7s| 50000 | 49944 | 98498 |   2.0 | 107M| 135 |   0 |3655 |4368 |3655 | 977 |  17k| 103 |1550 | 0.000000e+00 | 8.678400e+04 |    Inf 
100.29/100.36	o 900
100.29/100.36	c *96.7s| 56784 | 49101 |109890 |   1.9 | 107M| 135 |   - |3655 |4358 |3655 | 981 |  18k| 105 |1555 | 0.000000e+00 | 9.000000e+02 |    Inf 
100.60/100.68	o 896
100.60/100.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
100.60/100.68	c *97.1s| 56936 | 49129 |110386 |   1.9 | 107M| 135 |   - |3655 |4367 |3655 |1002 |  18k| 115 |1556 | 0.000000e+00 | 8.960000e+02 |    Inf 
107.59/107.67	c   104s| 60000 | 52132 |130086 |   2.2 | 113M| 135 |   0 |3655 |4434 |3655 | 992 |  20k| 254 |1568 | 0.000000e+00 | 8.960000e+02 |    Inf 
121.09/121.15	o 620
121.09/121.15	c * 117s| 65595 | 43237 |164514 |   2.5 | 100M| 135 |   - |3655 |4598 |3655 | 979 |  25k| 604 |1570 | 0.000000e+00 | 6.200000e+02 |    Inf 
123.29/123.32	o 605
123.29/123.32	c * 119s| 66472 | 43008 |169176 |   2.5 | 101M| 135 |   - |3655 |4670 |3655 |1010 |  26k| 741 |1570 | 0.000000e+00 | 6.050000e+02 |    Inf 
125.20/125.30	o 595
125.20/125.30	c * 121s| 67229 | 42907 |173582 |   2.6 | 101M| 135 |   - |3655 |4754 |3655 | 998 |  27k| 902 |1571 | 0.000000e+00 | 5.950000e+02 |    Inf 
125.30/125.35	o 589
125.30/125.35	c * 121s| 67242 | 42470 |173639 |   2.6 | 101M| 135 |   - |3655 |4752 |3655 | 992 |  27k| 902 |1571 | 0.000000e+00 | 5.890000e+02 |    Inf 
125.50/125.50	o 581
125.50/125.50	c * 121s| 67296 | 41896 |173944 |   2.6 | 100M| 135 |   - |3655 |4766 |3655 | 996 |  27k| 922 |1571 | 0.000000e+00 | 5.810000e+02 |    Inf 
125.50/125.57	o 575
125.50/125.57	c * 121s| 67317 | 41489 |174058 |   2.6 |  99M| 135 |   - |3655 |4766 |3655 |1003 |  27k| 922 |1571 | 0.000000e+00 | 5.750000e+02 |    Inf 
126.20/126.21	o 571
126.20/126.21	c * 122s| 67544 | 41379 |175583 |   2.6 |  99M| 135 |   - |3655 |4805 |3655 |1017 |  27k| 987 |1571 | 0.000000e+00 | 5.710000e+02 |    Inf 
133.00/133.07	c   128s| 70000 | 43358 |198234 |   2.8 | 105M| 135 |   0 |3655 |5382 |3655 | 996 |  30k|2060 |1571 | 0.000000e+00 | 5.710000e+02 |    Inf 
141.70/141.80	o 567
141.70/141.80	c * 137s| 73511 | 45861 |218478 |   3.0 | 111M| 135 |   - |3655 |5390 |3655 | 998 |  34k|3556 |1573 | 0.000000e+00 | 5.670000e+02 |    Inf 
141.80/141.80	o 553
141.80/141.80	c * 137s| 73512 | 44809 |218478 |   3.0 | 109M| 135 |   - |3655 |5390 |3655 | 998 |  34k|3556 |1573 | 0.000000e+00 | 5.530000e+02 |    Inf 
142.40/142.44	o 533
142.40/142.44	c * 137s| 73763 | 43400 |219600 |   3.0 | 106M| 135 |   - |3655 |5344 |3655 | 993 |  34k|3604 |1573 | 0.000000e+00 | 5.330000e+02 |    Inf 
144.30/144.34	o 507
144.30/144.34	c * 139s| 74513 | 41873 |223747 |   3.0 | 104M| 135 |   - |3655 |5234 |3655 | 998 |  35k|3788 |1573 | 0.000000e+00 | 5.070000e+02 |    Inf 
144.40/144.43	o 503
144.40/144.43	c * 139s| 74540 | 41547 |224023 |   3.0 | 104M| 135 |   - |3655 |5232 |3655 |1014 |  35k|3794 |1573 | 0.000000e+00 | 5.030000e+02 |    Inf 
144.40/144.44	o 486
144.40/144.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
144.40/144.44	c * 139s| 74541 | 40130 |224024 |   3.0 | 100M| 135 |   - |3655 |5232 |3655 |1014 |  35k|3794 |1573 | 0.000000e+00 | 4.860000e+02 |    Inf 
145.10/145.15	o 464
145.10/145.15	c * 140s| 74796 | 38420 |225579 |   3.0 |  97M| 135 |   - |3655 |5292 |3655 | 991 |  35k|3914 |1573 | 0.000000e+00 | 4.640000e+02 |    Inf 
145.30/145.36	o 463
145.30/145.36	c * 140s| 74881 | 38421 |225906 |   3.0 |  97M| 135 |   - |3655 |5276 |3655 | 988 |  35k|3926 |1573 | 0.000000e+00 | 4.630000e+02 |    Inf 
145.59/145.67	o 437
145.59/145.67	c * 140s| 75015 | 36112 |226397 |   3.0 |  92M| 135 |   - |3655 |5294 |3655 |1000 |  35k|3986 |1573 | 0.000000e+00 | 4.370000e+02 |    Inf 
146.30/146.31	o 435
146.30/146.31	c * 141s| 75274 | 36033 |227715 |   3.0 |  92M| 135 |   - |3655 |5360 |3655 | 990 |  35k|4164 |1573 | 0.000000e+00 | 4.350000e+02 |    Inf 
155.50/155.58	o 432
155.50/155.58	c * 150s| 78358 | 37510 |262617 |   3.3 |  99M| 135 |   - |3655 |6364 |3655 | 985 |  39k|7143 |1573 | 0.000000e+00 | 4.320000e+02 |    Inf 
159.70/159.72	c   154s| 80000 | 38753 |270961 |   3.4 | 102M| 135 |   0 |3655 |6017 |3655 | 978 |  41k|8069 |1573 | 0.000000e+00 | 4.320000e+02 |    Inf 
163.20/163.28	o 411
163.20/163.28	c * 157s| 81252 | 37357 |282705 |   3.5 | 101M| 135 |   - |3655 |6094 |3655 | 992 |  42k|9061 |1573 | 0.000000e+00 | 4.110000e+02 |    Inf 
163.40/163.40	o 397
163.40/163.40	c * 157s| 81293 | 35863 |282913 |   3.5 |  97M| 135 |   - |3655 |6074 |3655 | 995 |  42k|9077 |1573 | 0.000000e+00 | 3.970000e+02 |    Inf 
163.40/163.45	o 381
163.40/163.45	c * 157s| 81309 | 34251 |282977 |   3.5 |  94M| 135 |   - |3655 |6082 |3655 |1000 |  42k|9092 |1573 | 0.000000e+00 | 3.810000e+02 |    Inf 
163.40/163.49	o 370
163.40/163.49	c * 158s| 81321 | 33152 |283027 |   3.5 |  92M| 135 |   - |3655 |6080 |3655 | 991 |  42k|9097 |1573 | 0.000000e+00 | 3.700000e+02 |    Inf 
164.00/164.04	o 364
164.00/164.04	c * 158s| 81538 | 32708 |283907 |   3.5 |  91M| 135 |   - |3655 |6043 |3655 | 990 |  42k|9156 |1573 | 0.000000e+00 | 3.640000e+02 |    Inf 
164.10/164.12	o 362
164.10/164.12	c * 158s| 81565 | 32518 |283976 |   3.5 |  91M| 135 |   - |3655 |6036 |3655 | 996 |  42k|9161 |1573 | 0.000000e+00 | 3.620000e+02 |    Inf 
166.90/166.96	o 358
166.90/166.96	c * 161s| 82621 | 32590 |290075 |   3.5 |  93M| 135 |   - |3655 |5985 |3655 |1003 |  43k|9989 |1573 | 0.000000e+00 | 3.580000e+02 |    Inf 
170.29/170.35	o 356
170.29/170.35	c * 164s| 83962 | 33154 |296748 |   3.5 |  97M| 135 |   - |3655 |6469 |3655 | 995 |  45k|  11k|1573 | 0.000000e+00 | 3.560000e+02 |    Inf 
173.60/173.65	o 351
173.60/173.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
173.60/173.65	c * 167s| 85180 | 33575 |305547 |   3.6 |  98M| 135 |   - |3655 |5821 |3655 | 988 |  46k|  11k|1573 | 0.000000e+00 | 3.510000e+02 |    Inf 
173.89/173.93	o 350
173.89/173.93	c * 168s| 85284 | 33547 |306096 |   3.6 |  97M| 135 |   - |3655 |5770 |3655 |1009 |  46k|  11k|1573 | 0.000000e+00 | 3.500000e+02 |    Inf 
180.69/180.76	o 331
180.69/180.76	c * 174s| 88019 | 33182 |320678 |   3.6 |  98M| 135 |   - |3655 |6197 |3655 | 990 |  50k|  13k|1573 | 0.000000e+00 | 3.310000e+02 |    Inf 
180.90/180.91	o 327
180.90/180.91	c * 174s| 88075 | 32714 |321107 |   3.6 |  97M| 135 |   - |3655 |6184 |3655 | 996 |  50k|  13k|1573 | 0.000000e+00 | 3.270000e+02 |    Inf 
180.90/180.99	o 326
180.90/180.99	c * 174s| 88094 | 32606 |321220 |   3.6 |  97M| 135 |   - |3655 |6177 |3655 | 996 |  50k|  13k|1573 | 0.000000e+00 | 3.260000e+02 |    Inf 
180.99/181.05	o 316
180.99/181.05	c * 174s| 88113 | 31463 |321285 |   3.6 |  93M| 135 |   - |3655 |6171 |3655 | 996 |  50k|  13k|1573 | 0.000000e+00 | 3.160000e+02 |    Inf 
181.10/181.19	o 313
181.10/181.19	c * 175s| 88162 | 31192 |321435 |   3.6 |  93M| 135 |   - |3655 |6171 |3655 |1006 |  50k|  13k|1573 | 0.000000e+00 | 3.130000e+02 |    Inf 
181.20/181.29	o 311
181.20/181.29	c * 175s| 88191 | 30996 |321543 |   3.6 |  92M| 135 |   - |3655 |6164 |3655 | 993 |  50k|  13k|1573 | 0.000000e+00 | 3.110000e+02 |    Inf 
182.09/182.15	o 305
182.09/182.15	c * 175s| 88468 | 30407 |323916 |   3.7 |  91M| 135 |   - |3655 |6103 |3655 | 983 |  50k|  14k|1573 | 0.000000e+00 | 3.050000e+02 |    Inf 
182.09/182.15	o 301
182.09/182.15	c * 175s| 88469 | 29960 |323916 |   3.7 |  90M| 135 |   - |3655 |6103 |3655 | 983 |  50k|  14k|1573 | 0.000000e+00 | 3.010000e+02 |    Inf 
183.39/183.40	o 296
183.39/183.40	c * 177s| 88947 | 29527 |326244 |   3.7 |  89M| 135 |   - |3655 |6093 |3655 | 980 |  51k|  14k|1581 | 0.000000e+00 | 2.960000e+02 |    Inf 
183.39/183.40	o 294
183.39/183.40	c * 177s| 88948 | 29291 |326244 |   3.7 |  89M| 135 |   - |3655 |6093 |3655 | 980 |  51k|  14k|1581 | 0.000000e+00 | 2.940000e+02 |    Inf 
183.60/183.69	o 288
183.60/183.69	c * 177s| 89038 | 28729 |326894 |   3.7 |  88M| 135 |   - |3655 |6098 |3655 | 995 |  51k|  14k|1584 | 0.000000e+00 | 2.880000e+02 |    Inf 
183.90/183.91	o 276
183.90/183.91	c * 177s| 89119 | 27581 |327345 |   3.7 |  84M| 135 |   - |3655 |6122 |3655 | 989 |  51k|  14k|1584 | 0.000000e+00 | 2.760000e+02 |    Inf 
184.30/184.39	o 261
184.30/184.39	c * 178s| 89321 | 25674 |328300 |   3.7 |  80M| 135 |   - |3655 |6232 |3655 | 990 |  51k|  14k|1584 | 0.000000e+00 | 2.610000e+02 |    Inf 
184.40/184.46	o 259
184.40/184.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
184.40/184.46	c * 178s| 89348 | 25461 |328372 |   3.7 |  79M| 135 |   - |3655 |6244 |3655 | 989 |  51k|  14k|1584 | 0.000000e+00 | 2.590000e+02 |    Inf 
184.50/184.53	o 251
184.50/184.53	c * 178s| 89384 | 24606 |328455 |   3.7 |  77M| 135 |   - |3655 |6261 |3655 | 989 |  51k|  14k|1584 | 0.000000e+00 | 2.510000e+02 |    Inf 
184.99/185.04	o 248
184.99/185.04	c * 178s| 89591 | 24317 |329242 |   3.7 |  77M| 135 |   - |3655 |6388 |3655 | 994 |  51k|  15k|1584 | 0.000000e+00 | 2.480000e+02 |    Inf 
185.09/185.13	o 222
185.09/185.13	c * 178s| 89614 | 20994 |329342 |   3.7 |  69M| 135 |   - |3655 |6404 |3655 | 994 |  51k|  15k|1584 | 0.000000e+00 | 2.220000e+02 |    Inf 
185.80/185.83	o 219
185.80/185.83	c * 179s| 89860 | 20794 |330545 |   3.7 |  69M| 135 |   - |3655 |6246 |3655 | 992 |  51k|  15k|1589 | 0.000000e+00 | 2.190000e+02 |    Inf 
186.10/186.16	c   179s| 90000 | 20838 |331214 |   3.7 |  69M| 135 |   0 |3655 |6262 |3655 | 994 |  52k|  15k|1589 | 0.000000e+00 | 2.190000e+02 |    Inf 
187.59/187.63	o 205
187.59/187.63	c * 181s| 90577 | 19278 |334237 |   3.7 |  66M| 135 |   - |3655 |6252 |3655 |1006 |  52k|  16k|1594 | 0.000000e+00 | 2.050000e+02 |    Inf 
187.69/187.72	o 201
187.69/187.72	c * 181s| 90606 | 18836 |334321 |   3.7 |  65M| 135 |   - |3655 |6248 |3655 | 984 |  52k|  16k|1595 | 0.000000e+00 | 2.010000e+02 |    Inf 
187.80/187.86	o 196
187.80/187.86	c * 181s| 90661 | 18347 |334511 |   3.7 |  64M| 135 |   - |3655 |6253 |3655 | 991 |  52k|  16k|1595 | 0.000000e+00 | 1.960000e+02 |    Inf 
187.90/187.94	o 186
187.90/187.94	c * 181s| 90686 | 17355 |334670 |   3.7 |  62M| 135 |   - |3655 |6247 |3655 | 988 |  52k|  16k|1595 | 0.000000e+00 | 1.860000e+02 |    Inf 
188.00/188.07	o 181
188.00/188.07	c * 181s| 90725 | 16833 |334780 |   3.7 |  61M| 135 |   - |3655 |6258 |3655 |1003 |  52k|  16k|1595 | 0.000000e+00 | 1.810000e+02 |    Inf 
188.49/188.53	o 180
188.49/188.53	c * 182s| 90908 | 16488 |335407 |   3.7 |  61M| 135 |   - |3655 |6350 |3655 |1001 |  52k|  16k|1595 | 0.000000e+00 | 1.800000e+02 |    Inf 
188.69/188.71	o 172
188.69/188.71	c * 182s| 90961 | 15150 |335618 |   3.7 |  58M| 135 |   - |3655 |6355 |3655 | 991 |  52k|  16k|1595 | 0.000000e+00 | 1.720000e+02 |    Inf 
188.90/188.94	o 171
188.90/188.94	c * 182s| 91026 | 15079 |335884 |   3.7 |  59M| 135 |   - |3655 |6388 |3655 | 998 |  52k|  16k|1595 | 0.000000e+00 | 1.710000e+02 |    Inf 
189.89/189.97	o 168
189.89/189.97	c * 183s| 91362 | 14730 |338529 |   3.7 |  58M| 135 |   - |3655 |6397 |3655 | 974 |  53k|  16k|1595 | 0.000000e+00 | 1.680000e+02 |    Inf 
191.40/191.43	o 156
191.40/191.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
191.40/191.43	c * 184s| 91923 | 13627 |341664 |   3.7 |  57M| 135 |   - |3655 |6707 |3655 | 990 |  53k|  17k|1595 | 0.000000e+00 | 1.560000e+02 |    Inf 
191.59/191.63	o 155
191.59/191.63	c * 185s| 91987 | 13551 |341823 |   3.7 |  57M| 135 |   - |3655 |6683 |3655 | 989 |  53k|  17k|1595 | 0.000000e+00 | 1.550000e+02 |    Inf 
193.10/193.11	o 151
193.10/193.11	c * 186s| 92450 | 13022 |345683 |   3.7 |  57M| 135 |   - |3655 |6461 |3655 | 989 |  54k|  18k|1596 | 0.000000e+00 | 1.510000e+02 |    Inf 
193.10/193.12	o 149
193.10/193.12	c * 186s| 92452 | 12783 |345684 |   3.7 |  56M| 135 |   - |3655 |6461 |3655 | 989 |  54k|  18k|1596 | 0.000000e+00 | 1.490000e+02 |    Inf 
193.10/193.12	o 145
193.10/193.12	c * 186s| 92453 | 11887 |345684 |   3.7 |  54M| 135 |   - |3655 |6461 |3655 | 989 |  54k|  18k|1596 | 0.000000e+00 | 1.450000e+02 |    Inf 
193.30/193.33	o 137
193.30/193.33	c * 186s| 92483 | 10874 |346501 |   3.7 |  52M| 135 |   - |3655 |6414 |3655 | 977 |  54k|  18k|1596 | 0.000000e+00 | 1.370000e+02 |    Inf 
193.30/193.33	o 131
193.30/193.33	c * 186s| 92484 | 10101 |346501 |   3.7 |  50M| 135 |   - |3655 |6414 |3655 | 977 |  54k|  18k|1596 | 0.000000e+00 | 1.310000e+02 |    Inf 
193.40/193.46	o 129
193.40/193.46	c * 186s| 92512 | 10039 |346888 |   3.7 |  50M| 135 |   - |3655 |6391 |3655 | 989 |  54k|  18k|1596 | 0.000000e+00 | 1.290000e+02 |    Inf 
193.40/193.46	o 108
193.40/193.46	c * 186s| 92513 |  8528 |346888 |   3.7 |  46M| 135 |   - |3655 |6390 |3655 | 989 |  54k|  18k|1596 | 0.000000e+00 | 1.080000e+02 |    Inf 
193.60/193.66	o 100
193.60/193.66	c * 186s| 92559 |  8078 |347486 |   3.8 |  45M| 135 |   - |3655 |6346 |3655 | 978 |  54k|  18k|1596 | 0.000000e+00 | 1.000000e+02 |    Inf 
193.60/193.66	o 96
193.60/193.66	c * 186s| 92560 |  7852 |347486 |   3.8 |  45M| 135 |   - |3655 |6346 |3655 | 978 |  54k|  18k|1596 | 0.000000e+00 | 9.600000e+01 |    Inf 
193.70/193.77	o 95
193.70/193.77	c * 187s| 92581 |  7815 |347779 |   3.8 |  45M| 135 |   - |3655 |6118 |3655 | 973 |  54k|  18k|1596 | 0.000000e+00 | 9.500000e+01 |    Inf 
193.70/193.77	o 89
193.70/193.77	c * 187s| 92582 |  7100 |347779 |   3.8 |  42M| 135 |   - |3655 |6118 |3655 | 973 |  54k|  18k|1596 | 0.000000e+00 | 8.900000e+01 |    Inf 
194.30/194.38	o 87
194.30/194.38	c * 187s| 92736 |  6789 |349027 |   3.8 |  41M| 135 |   - |3655 |5409 |3655 | 976 |  54k|  18k|1596 | 0.000000e+00 | 8.700000e+01 |    Inf 
194.50/194.54	o 82
194.50/194.54	c * 187s| 92786 |  2707 |349373 |   3.8 |  31M| 135 |   - |3655 |5236 |3655 | 971 |  54k|  18k|1598 | 0.000000e+00 | 8.200000e+01 |    Inf 
210.90/210.93	o 70
210.90/210.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
210.90/210.93	c * 203s| 99604 |  2165 |383552 |   3.8 |  36M| 135 |   - |3655 |7535 |3655 | 984 |  57k|  28k|1654 | 0.000000e+00 | 7.000000e+01 |    Inf 
211.99/212.05	c   204s|100000 |  2145 |386299 |   3.9 |  36M| 135 |   - |3655 |6737 |   0 |   0 |  57k|  29k|1659 | 0.000000e+00 | 7.000000e+01 |    Inf 
219.20/219.22	o 62
219.20/219.22	c * 211s|103359 |  1956 |400962 |   3.9 |  37M| 135 |   - |3655 |7432 |3655 | 971 |  57k|  33k|1667 | 0.000000e+00 | 6.200000e+01 |    Inf 
226.20/226.21	o 60
226.20/226.21	c * 218s|106653 |  1903 |414411 |   3.9 |  38M| 135 |   - |3655 |7931 |3655 | 971 |  58k|  37k|1693 | 0.000000e+00 | 6.000000e+01 |    Inf 
233.60/233.69	c   225s|110000 |  1978 |428414 |   3.9 |  40M| 135 |  19 |3655 |8800 |3655 | 971 |  59k|  41k|1710 | 0.000000e+00 | 6.000000e+01 |    Inf 
254.90/254.98	c   245s|120000 |  2015 |467415 |   3.9 |  43M| 135 |   - |3655 |  10k|   0 |   0 |  61k|  54k|1745 | 0.000000e+00 | 6.000000e+01 |    Inf 
277.21/277.26	c   266s|130000 |  2106 |510189 |   3.9 |  47M| 135 |  22 |3655 |  13k|3655 | 982 |  64k|  67k|1815 | 0.000000e+00 | 6.000000e+01 |    Inf 
290.60/290.60	o 51
290.60/290.60	c * 279s|135890 |  1918 |535705 |   3.9 |  47M| 135 |   - |3655 |  15k|3655 | 988 |  66k|  75k|1851 | 0.000000e+00 | 5.100000e+01 |    Inf 
299.90/299.90	c   288s|140000 |  1991 |553260 |   3.9 |  48M| 135 |   - |3655 |  14k|   0 |   0 |  67k|  81k|1862 | 0.000000e+00 | 5.100000e+01 |    Inf 
322.91/322.98	c   310s|150000 |  1839 |597499 |   4.0 |  46M| 135 |   - |3655 |9832 |   0 |   0 |  69k|  95k|1936 | 0.000000e+00 | 5.100000e+01 |    Inf 
336.90/336.94	o 49
336.90/336.94	c * 324s|156655 |  1805 |623664 |   4.0 |  48M| 135 |   - |3655 |  10k|3655 | 971 |  70k| 103k|1972 | 0.000000e+00 | 4.900000e+01 |    Inf 
337.20/337.25	o 38
337.20/337.25	c * 324s|156793 |  1669 |624251 |   4.0 |  45M| 135 |   - |3655 |9812 |3655 | 971 |  70k| 103k|1973 | 0.000000e+00 | 3.800000e+01 |    Inf 
343.61/343.67	c   330s|160000 |  1695 |636322 |   4.0 |  46M| 135 |   - |3655 |  10k|   0 |   0 |  71k| 107k|1977 | 0.000000e+00 | 3.800000e+01 |    Inf 
347.80/347.80	o 31
347.80/347.80	c * 334s|162052 |  1613 |643913 |   4.0 |  45M| 135 |   - |3655 |9900 |3655 | 975 |  71k| 110k|1994 | 0.000000e+00 | 3.100000e+01 |    Inf 
363.60/363.62	c   349s|170000 |  1676 |680368 |   4.0 |  48M| 135 |   - |3655 |  11k|   0 |   0 |  72k| 120k|2064 | 0.000000e+00 | 3.100000e+01 |    Inf 
382.91/382.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
382.91/382.91	c   368s|180000 |  1741 |717479 |   4.0 |  50M| 135 |  11 |3655 |  13k|3655 | 971 |  73k| 134k|2120 | 0.000000e+00 | 3.100000e+01 |    Inf 
383.20/383.23	o 25
383.20/383.23	c * 368s|180177 |  1464 |718067 |   4.0 |  48M| 135 |   - |3655 |  13k|3655 | 971 |  73k| 134k|2120 | 0.000000e+00 | 2.500000e+01 |    Inf 
383.61/383.68	o 20
383.61/383.68	c * 368s|180420 |  1410 |718709 |   4.0 |  47M| 135 |   - |3655 |  13k|3655 | 971 |  73k| 134k|2120 | 0.000000e+00 | 2.000000e+01 |    Inf 
384.50/384.56	o 19
384.50/384.56	c * 369s|180894 |  1350 |720278 |   4.0 |  45M| 135 |   - |3655 |  13k|3655 | 971 |  73k| 135k|2122 | 0.000000e+00 | 1.900000e+01 |    Inf 
400.90/400.95	c   385s|190000 |  1351 |755960 |   4.0 |  46M| 135 |   1 |3655 |  11k|3655 | 971 |  74k| 147k|2169 | 0.000000e+00 | 1.900000e+01 |    Inf 
408.11/408.13	o 9
408.11/408.13	c * 392s|193965 |  1042 |771969 |   4.0 |  38M| 135 |   - |3655 |  12k|3655 | 978 |  75k| 153k|2206 | 0.000000e+00 | 9.000000e+00 |    Inf 
418.50/418.57	c   402s|200000 |   984 |794820 |   4.0 |  36M| 135 |  23 |3655 |9647 |3655 | 971 |  75k| 161k|2219 | 0.000000e+00 | 9.000000e+00 |    Inf 
436.61/436.63	c   419s|210000 |   951 |839419 |   4.0 |  37M| 135 |   9 |3655 |  10k|3655 | 971 |  76k| 174k|2304 | 0.000000e+00 | 9.000000e+00 |    Inf 
455.61/455.67	c   437s|220000 |   939 |890679 |   4.0 |  38M| 135 |  20 |3655 |  13k|3655 | 971 |  77k| 187k|2381 | 0.000000e+00 | 9.000000e+00 |    Inf 
475.70/475.70	c   456s|230000 |   946 |939845 |   4.1 |  40M| 135 |  22 |3655 |  17k|3655 | 971 |  77k| 200k|2482 | 0.000000e+00 | 9.000000e+00 |    Inf 
495.01/495.09	c   474s|240000 |   991 |978404 |   4.1 |  42M| 135 |   - |3655 |  22k|   0 |   0 |  78k| 213k|2541 | 0.000000e+00 | 9.000000e+00 |    Inf 
516.71/516.78	c   495s|250000 |  1011 |  1017k|   4.1 |  44M| 135 |  11 |3655 |  24k|3655 | 971 |  79k| 227k|2594 | 0.000000e+00 | 9.000000e+00 |    Inf 
540.41/540.42	c   518s|260000 |  1009 |  1058k|   4.1 |  45M| 135 |   - |3655 |  28k|   0 |   0 |  80k| 240k|2660 | 0.000000e+00 | 9.000000e+00 |    Inf 
564.62/564.66	c   542s|270000 |  1011 |  1095k|   4.1 |  46M| 135 |   - |3655 |  29k|   0 |   0 |  80k| 254k|2725 | 0.000000e+00 | 9.000000e+00 |    Inf 
590.21/590.24	c   566s|280000 |  1103 |  1138k|   4.1 |  47M| 135 |   - |3655 |  29k|   0 |   0 |  81k| 269k|2798 | 0.000000e+00 | 9.000000e+00 |    Inf 
615.02/615.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
615.02/615.08	c   590s|290000 |  1130 |  1181k|   4.1 |  48M| 135 |   1 |3655 |  31k|3655 | 971 |  82k| 283k|2855 | 0.000000e+00 | 9.000000e+00 |    Inf 
640.12/640.15	c   614s|300000 |  1272 |  1222k|   4.1 |  51M| 135 |  16 |3655 |  33k|3655 | 971 |  83k| 298k|2912 | 0.000000e+00 | 9.000000e+00 |    Inf 
665.61/665.61	c   639s|310000 |  1301 |  1262k|   4.1 |  51M| 135 |  27 |3655 |  33k|3655 | 971 |  84k| 313k|2974 | 0.000000e+00 | 9.000000e+00 |    Inf 
691.22/691.23	c   664s|320000 |  1247 |  1305k|   4.1 |  52M| 135 |  20 |3655 |  33k|3655 | 971 |  84k| 327k|3034 | 0.000000e+00 | 9.000000e+00 |    Inf 
716.12/716.19	c   688s|330000 |  1178 |  1344k|   4.1 |  51M| 135 |  18 |3655 |  33k|3655 | 979 |  85k| 343k|3090 | 0.000000e+00 | 9.000000e+00 |    Inf 
741.33/741.40	c   712s|340000 |  1057 |  1384k|   4.1 |  48M| 135 |   - |3655 |  30k|   0 |   0 |  86k| 357k|3149 | 0.000000e+00 | 9.000000e+00 |    Inf 
766.82/766.84	c   737s|350000 |  1046 |  1426k|   4.1 |  47M| 135 |  21 |3655 |  24k|3655 | 971 |  86k| 370k|3214 | 0.000000e+00 | 9.000000e+00 |    Inf 
773.13/773.16	o 2
773.13/773.16	c * 743s|352842 |   879 |  1437k|   4.1 |  43M| 135 |   - |3655 |  23k|3655 | 971 |  87k| 374k|3245 | 0.000000e+00 | 2.000000e+00 |    Inf 
787.63/787.67	c   757s|360000 |   845 |  1467k|   4.1 |  41M| 135 |   - |3655 |  17k|   0 |   0 |  87k| 384k|3274 | 0.000000e+00 | 2.000000e+00 |    Inf 
807.22/807.26	c   775s|370000 |   827 |  1507k|   4.1 |  41M| 135 |  14 |3655 |  18k|3655 | 971 |  88k| 398k|3337 | 0.000000e+00 | 2.000000e+00 |    Inf 
825.92/825.98	c   793s|380000 |   737 |  1544k|   4.1 |  38M| 135 |  24 |3655 |  12k|3655 | 971 |  89k| 411k|3412 | 0.000000e+00 | 2.000000e+00 |    Inf 
844.93/844.90	c   811s|390000 |   759 |  1586k|   4.1 |  40M| 135 |  22 |3655 |  15k|3655 | 971 |  90k| 424k|3470 | 0.000000e+00 | 2.000000e+00 |    Inf 
863.43/863.48	c   829s|400000 |   610 |  1629k|   4.1 |  38M| 135 |   - |3655 |  15k|   0 |   0 |  90k| 437k|3518 | 0.000000e+00 | 2.000000e+00 |    Inf 
882.53/882.57	c   847s|410000 |   617 |  1675k|   4.1 |  40M| 135 |   - |3655 |  20k|   0 |   0 |  91k| 450k|3575 | 0.000000e+00 | 2.000000e+00 |    Inf 
903.23/903.20	c   867s|420000 |   606 |  1720k|   4.1 |  42M| 135 |   - |3655 |  25k|3655 | 978 |  93k| 463k|3622 | 0.000000e+00 | 2.000000e+00 |    Inf 
925.03/925.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
925.03/925.01	c   888s|430000 |   625 |  1763k|   4.1 |  43M| 135 |   - |3655 |  29k|   0 |   0 |  93k| 476k|3669 | 0.000000e+00 | 2.000000e+00 |    Inf 
949.33/949.38	o 1
949.33/949.38	c * 911s|439683 |   619 |  1806k|   4.1 |  45M| 135 |   - |3655 |  35k|3655 | 978 |  94k| 490k|3739 | 0.000000e+00 | 1.000000e+00 |    Inf 
950.23/950.23	c   912s|440000 |   608 |  1807k|   4.1 |  45M| 135 |  20 |3655 |  34k|3655 | 971 |  94k| 490k|3741 | 0.000000e+00 | 1.000000e+00 |    Inf 
973.83/973.81	c   935s|450000 |   486 |  1849k|   4.1 |  38M| 135 |   - |3655 |  15k|   0 |   0 |  95k| 504k|3849 | 0.000000e+00 | 1.000000e+00 |    Inf 
992.43/992.46	c   953s|460000 |   366 |  1894k|   4.1 |  35M| 135 |   - |3655 |  14k|   0 |   0 |  96k| 516k|3893 | 0.000000e+00 | 1.000000e+00 |    Inf 
1011.33/1011.34	c   971s|470000 |   429 |  1939k|   4.1 |  38M| 135 |   - |3655 |  21k|   0 |   0 |  97k| 529k|3942 | 0.000000e+00 | 1.000000e+00 |    Inf 
1031.14/1031.14	c   990s|480000 |   439 |  1978k|   4.1 |  40M| 135 |   - |3655 |  25k|   0 |   0 |  98k| 543k|3987 | 0.000000e+00 | 1.000000e+00 |    Inf 
1053.23/1053.28	c  1011s|490000 |   532 |  2017k|   4.1 |  42M| 135 |   - |3655 |  28k|   0 |   0 |  99k| 556k|4045 | 0.000000e+00 | 1.000000e+00 |    Inf 
1076.43/1076.49	c  1034s|500000 |   599 |  2056k|   4.1 |  44M| 135 |  12 |3655 |  33k|3655 | 971 | 100k| 570k|4098 | 0.000000e+00 | 1.000000e+00 |    Inf 
1101.44/1101.48	c  1058s|510000 |   612 |  2100k|   4.1 |  44M| 135 |   - |3655 |  31k|   0 |   0 | 101k| 584k|4151 | 0.000000e+00 | 1.000000e+00 |    Inf 
1123.54/1123.54	c  1079s|520000 |   614 |  2139k|   4.1 |  46M| 135 |   7 |3655 |  35k|3655 | 971 | 102k| 599k|4194 | 0.000000e+00 | 1.000000e+00 |    Inf 
1148.04/1148.09	c  1103s|530000 |   638 |  2182k|   4.1 |  47M| 135 |  10 |3655 |  39k|3655 | 971 | 103k| 614k|4239 | 0.000000e+00 | 1.000000e+00 |    Inf 
1174.44/1174.43	c  1128s|540000 |   635 |  2224k|   4.1 |  47M| 135 |   - |3655 |  37k|   0 |   0 | 104k| 628k|4290 | 0.000000e+00 | 1.000000e+00 |    Inf 
1198.84/1198.84	c  1152s|550000 |   733 |  2263k|   4.1 |  47M| 135 |   6 |3655 |  36k|3655 | 971 | 105k| 643k|4319 | 0.000000e+00 | 1.000000e+00 |    Inf 
1223.94/1223.91	c  1176s|560000 |   746 |  2302k|   4.1 |  48M| 135 |   - |3655 |  38k|   0 |   0 | 106k| 657k|4365 | 0.000000e+00 | 1.000000e+00 |    Inf 
1249.24/1249.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1249.24/1249.22	c  1201s|570000 |   690 |  2339k|   4.1 |  49M| 135 |  11 |3655 |  38k|3655 | 971 | 107k| 672k|4424 | 0.000000e+00 | 1.000000e+00 |    Inf 
1275.94/1275.95	c  1227s|580000 |   723 |  2377k|   4.1 |  51M| 135 |   - |3655 |  43k|   0 |   0 | 109k| 686k|4473 | 0.000000e+00 | 1.000000e+00 |    Inf 
1303.25/1303.24	c  1253s|590000 |   655 |  2418k|   4.1 |  49M| 135 |   - |3655 |  40k|   0 |   0 | 110k| 700k|4506 | 0.000000e+00 | 1.000000e+00 |    Inf 
1329.85/1329.81	c  1279s|600000 |   619 |  2460k|   4.1 |  49M| 135 |   - |3655 |  39k|   0 |   0 | 111k| 714k|4540 | 0.000000e+00 | 1.000000e+00 |    Inf 
1356.25/1356.21	c  1305s|610000 |   642 |  2500k|   4.1 |  50M| 135 |  14 |3655 |  42k|3655 | 971 | 112k| 728k|4598 | 0.000000e+00 | 1.000000e+00 |    Inf 
1382.44/1382.49	c  1330s|620000 |   621 |  2538k|   4.1 |  51M| 135 |  21 |3655 |  45k|3655 | 971 | 113k| 743k|4649 | 0.000000e+00 | 1.000000e+00 |    Inf 
1409.95/1409.90	c  1357s|630000 |   601 |  2579k|   4.1 |  49M| 135 |   9 |3655 |  39k|3655 | 971 | 115k| 757k|4695 | 0.000000e+00 | 1.000000e+00 |    Inf 
1435.35/1435.35	c  1381s|640000 |   606 |  2622k|   4.1 |  48M| 135 |  18 |3655 |  36k|3655 | 971 | 116k| 771k|4736 | 0.000000e+00 | 1.000000e+00 |    Inf 
1460.95/1460.93	c  1406s|650000 |   770 |  2665k|   4.1 |  50M| 135 |  20 |3655 |  40k|3655 | 983 | 116k| 785k|4768 | 0.000000e+00 | 1.000000e+00 |    Inf 
1486.65/1486.67	c  1431s|660000 |   669 |  2706k|   4.1 |  50M| 135 |   - |3655 |  38k|   0 |   0 | 117k| 800k|4810 | 0.000000e+00 | 1.000000e+00 |    Inf 
1512.35/1512.38	c  1456s|670000 |   608 |  2748k|   4.1 |  49M| 135 |   1 |3655 |  37k|3655 | 977 | 118k| 814k|4868 | 0.000000e+00 | 1.000000e+00 |    Inf 
1538.36/1538.30	c  1481s|680000 |   482 |  2789k|   4.1 |  46M| 135 |   1 |3655 |  33k|3655 | 981 | 119k| 828k|4926 | 0.000000e+00 | 1.000000e+00 |    Inf 
1563.16/1563.19	c  1505s|690000 |   544 |  2833k|   4.1 |  49M| 135 |   - |3655 |  39k|   0 |   0 | 121k| 841k|4963 | 0.000000e+00 | 1.000000e+00 |    Inf 
1589.36/1589.32	c  1530s|700000 |   465 |  2876k|   4.1 |  48M| 135 |   1 |3655 |  39k|3655 | 971 | 122k| 855k|4986 | 0.000000e+00 | 1.000000e+00 |    Inf 
1616.56/1616.52	c  1557s|710000 |   468 |  2918k|   4.1 |  49M| 135 |   - |3655 |  42k|   0 |   0 | 123k| 869k|5036 | 0.000000e+00 | 1.000000e+00 |    Inf 
1645.05/1645.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1645.05/1645.05	c  1584s|720000 |   436 |  2960k|   4.1 |  49M| 135 |   8 |3655 |  43k|3655 | 971 | 124k| 882k|5095 | 0.000000e+00 | 1.000000e+00 |    Inf 
1674.36/1674.35	c  1613s|730000 |   437 |  3001k|   4.1 |  50M| 135 |   - |3655 |  48k|   0 |   0 | 125k| 895k|5136 | 0.000000e+00 | 1.000000e+00 |    Inf 
1705.76/1705.75	c  1644s|740000 |   447 |  3040k|   4.1 |  52M| 135 |  16 |3655 |  53k|3655 | 971 | 126k| 909k|5161 | 0.000000e+00 | 1.000000e+00 |    Inf 
1739.66/1739.62	c  1677s|750000 |   430 |  3081k|   4.1 |  53M| 135 |  14 |3655 |  54k|3655 | 971 | 127k| 922k|5194 | 0.000000e+00 | 1.000000e+00 |    Inf 
1768.26/1768.22	c  1704s|760000 |   408 |  3122k|   4.1 |  50M| 135 |   - |3655 |  47k|   0 |   0 | 128k| 936k|5246 | 0.000000e+00 | 1.000000e+00 |    Inf 
1796.06/1796.05	c  1731s|770000 |   422 |  3164k|   4.1 |  52M| 135 |   - |3655 |  50k|   0 |   0 | 130k| 950k|5290 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.07/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00	c 
1800.07/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.00	c Solving Time (sec) : 1735.27
1800.07/1800.00	c Solving Nodes      : 771408
1800.07/1800.00	c Primal Bound       : +1.00000000000000e+00 (278 solutions)
1800.07/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.07/1800.00	c Gap                : infinite
1800.07/1800.03	s SATISFIABLE
1800.07/1800.03	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.07/1800.03	v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.07/1800.03	v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 
1800.07/1800.03	v -x167 -x166 x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 
1800.07/1800.03	v -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.07/1800.03	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.07/1800.03	v -x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 
1800.07/1800.03	v -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 
1800.07/1800.03	v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 
1800.07/1800.03	v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.07/1800.03	v -x1 
1800.07/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.03	c Solving Time       :    1735.27
1800.07/1800.03	c Original Problem   :
1800.07/1800.03	c   Problem name     : HOME/instance-2692897-1277909358.wbo
1800.07/1800.03	c   Variables        : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.07/1800.03	c   Constraints      : 4485 initial, 4485 maximal
1800.07/1800.03	c Presolved Problem  :
1800.07/1800.03	c   Problem name     : t_HOME/instance-2692897-1277909358.wbo
1800.07/1800.03	c   Variables        : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.07/1800.03	c   Constraints      : 4329 initial, 56160 maximal
1800.07/1800.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.03	c   trivial          :       0.00         65          0          0          0          0          0          0          0
1800.07/1800.03	c   dualfix          :       0.00         65          0          0          0          0          0          0          0
1800.07/1800.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.03	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.03	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.07/1800.03	c   indicator        :       0.00          0          0          0          0          0         65          0          0
1800.07/1800.03	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.03	c   linear           :       0.04          0          0          0       1789          0         91         76          0
1800.07/1800.03	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.03	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.03	c   root node        :          -       1712          -          -       3424          -          -          -          -
1800.07/1800.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.03	c   integral         :          0          0          0     484029          0         15        350          0          0     777864
1800.07/1800.03	c   indicator        :       1712          0    1998366      90045          0        688    5421212          0          0          0
1800.07/1800.03	c   setppc           :          7          6    3548685      55081          0      23809    1118166          0          0          0
1800.07/1800.03	c   linear           :       1712          6    3594498      92475          0     162548   16263382     130358          0          0
1800.07/1800.03	c   logicor          :        898+         6    1552353      74295          0     163314    4056920          0          0          0
1800.07/1800.03	c   bounddisjunction :          0+         0      11033          0          0          0          0          0          0          0
1800.07/1800.03	c   countsols        :          0          0          0      74295          0          0          0          0          0          0
1800.07/1800.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.03	c   integral         :      21.06       0.00       0.00      21.06       0.00
1800.07/1800.03	c   indicator        :      25.14       0.00      14.40      10.74       0.00
1800.07/1800.03	c   setppc           :       8.25       0.00       8.25       0.00       0.00
1800.07/1800.03	c   linear           :     128.76       0.00     125.77       2.99       0.00
1800.07/1800.03	c   logicor          :     342.40       0.00     341.85       0.55       0.00
1800.07/1800.03	c   bounddisjunction :       0.01       0.00       0.01       0.00       0.00
1800.07/1800.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.03	c   vbounds          :       0.00          2          0          0
1800.07/1800.03	c   rootredcost      :       0.01         86          0       1712
1800.07/1800.03	c   pseudoobj        :     122.08    3635023      13262    3737869
1800.07/1800.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.03	c   propagation      :      18.82     362933     362456    2234866       29.6      14443       22.3          -
1800.07/1800.03	c   infeasible LP    :       4.11      13458      13458     107454       44.9         92       17.3          0
1800.07/1800.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.03	c   pseudo solution  :       0.12        381        381       2125       16.7        153        5.7          -
1800.07/1800.03	c   applied globally :          -          -          -     952282       23.5          -          -          -
1800.07/1800.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.03	c   cut pool         :       0.00          5          -          -         59          -    (maximal pool size: 99)
1800.07/1800.03	c   redcost          :      27.55     488735          0    1570337          0          0
1800.07/1800.03	c   impliedbounds    :       0.00          6          0          0          0          0
1800.07/1800.03	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.03	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.03	c   gomory           :       0.16          6          0          0        605          0
1800.07/1800.03	c   strongcg         :       0.08          6          0          0        120          0
1800.07/1800.03	c   cmir             :       0.03          6          0          0          0          0
1800.07/1800.03	c   flowcover        :       0.07          6          0          0          0          0
1800.07/1800.03	c   clique           :       0.00          6          0          0          0          0
1800.07/1800.03	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.03	c   mcf              :       0.00          1          0          0          0          0
1800.07/1800.03	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.03	c Pricers            :       Time      Calls       Vars
1800.07/1800.03	c   problem variables:       0.00          0          0
1800.07/1800.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.03	c   relpscost        :      21.01     389220         15        350          0          0     777864
1800.07/1800.03	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.03	c   inference        :      11.43      74210          0          0          0          0     148420
1800.07/1800.03	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.03	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.03	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.03	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.03	c   LP solutions     :       0.19          -         85
1800.07/1800.03	c   pseudo solutions :       0.00          -          0
1800.07/1800.03	c   feaspump         :       0.01          1          0
1800.07/1800.03	c   intshifting      :       0.00          7          0
1800.07/1800.03	c   oneopt           :       0.40         77          0
1800.07/1800.03	c   crossover        :       1.88         94          0
1800.07/1800.03	c   veclendiving     :       2.37       2295          0
1800.07/1800.03	c   guideddiving     :       2.31       2295          0
1800.07/1800.03	c   coefdiving       :       2.13       2296          0
1800.07/1800.03	c   pscostdiving     :       2.28       2296          0
1800.07/1800.03	c   fracdiving       :       2.28       2296          0
1800.07/1800.03	c   linesearchdiving :       2.20       2296          0
1800.07/1800.03	c   objpscostdiving  :       2.01       2073          0
1800.07/1800.03	c   rootsoldiving    :       2.19       2074          0
1800.07/1800.03	c   trivial          :       0.02          2          0
1800.07/1800.03	c   simplerounding   :       0.44     390790          0
1800.07/1800.03	c   zirounding       :       0.21       1000          0
1800.07/1800.03	c   rounding         :       1.79       8801          0
1800.07/1800.03	c   shifting         :       1.54       2733          0
1800.07/1800.03	c   twoopt           :       0.00          0          0
1800.07/1800.03	c   fixandinfer      :       0.00          0          0
1800.07/1800.03	c   intdiving        :       0.00          0          0
1800.07/1800.03	c   actconsdiving    :       0.00          0          0
1800.07/1800.03	c   octane           :       0.00          0          0
1800.07/1800.03	c   rens             :       0.02          1          0
1800.07/1800.03	c   rins             :       0.00          0          0
1800.07/1800.03	c   localbranching   :       0.00          0          0
1800.07/1800.03	c   mutation         :       0.00          0          0
1800.07/1800.03	c   dins             :       0.00          0          0
1800.07/1800.03	c   undercover       :       0.00          0          0
1800.07/1800.03	c   nlp              :       0.00          0          0
1800.07/1800.03	c   trysol           :       1.01       5672        193
1800.07/1800.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.03	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.03	c   dual LP          :     486.82     429859    3166284       7.37    6504.01
1800.07/1800.03	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.03	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.03	c   diving/probing LP:       0.54        380       3186       8.38    5900.00
1800.07/1800.03	c   strong branching :      17.40       5290     132934      25.13    7639.89
1800.07/1800.03	c     (at root node) :          -         33       5462     165.52          -
1800.07/1800.03	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.03	c B&B Tree           :
1800.07/1800.03	c   number of runs   :          1
1800.07/1800.03	c   nodes            :     771408
1800.07/1800.03	c   nodes (total)    :     771408
1800.07/1800.03	c   nodes left       :        466
1800.07/1800.03	c   max depth        :        135
1800.07/1800.03	c   max depth (total):        135
1800.07/1800.03	c   backtracks       :      81337 (10.5%)
1800.07/1800.03	c   delayed cutoffs  :      72013
1800.07/1800.03	c   repropagations   :    1544965 (6122931 domain reductions, 69127 cutoffs)
1800.07/1800.03	c   avg switch length:       5.47
1800.07/1800.03	c   switching time   :     284.18
1800.07/1800.03	c Solution           :
1800.07/1800.03	c   Solutions found  :        278 (86 improvements)
1800.07/1800.03	c   First Solution   : +8.67840000000000e+04   (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.07/1800.03	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 439683 nodes, 911.24 seconds, depth 41, found by <relaxation>)
1800.07/1800.03	c   Dual Bound       : +0.00000000000000e+00
1800.07/1800.03	c   Gap              :   infinite
1800.07/1800.03	c   Root Dual Bound  : +0.00000000000000e+00
1800.07/1800.03	c   Root Iterations  :        286
1800.17/1800.12	c Time complete: 1800.19.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692897-1277909358/watcher-2692897-1277909358 -o /tmp/evaluation-result-2692897-1277909358/solver-2692897-1277909358 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692897-1277909358.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.03 2.01 2.01 3/178 14821
/proc/meminfo: memFree=31018604/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=9408 CPUtime=0
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 1645 0 0 0 0 0 0 0 24 0 1 0 132230076 9633792 1565 4089446400 4194304 8223781 140735422116512 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14821/statm: 2352 1565 369 984 0 1365 0

[startup+0.014525 s]
/proc/loadavg: 2.03 2.01 2.01 3/178 14821
/proc/meminfo: memFree=31018604/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=12280 CPUtime=0.01
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 2380 0 0 0 1 0 0 0 24 0 1 0 132230076 12574720 2300 4089446400 4194304 8223781 140735422116512 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14821/statm: 3070 2302 369 984 0 2083 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12280

[startup+0.100511 s]
/proc/loadavg: 2.03 2.01 2.01 3/178 14821
/proc/meminfo: memFree=31018604/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=29180 CPUtime=0.09
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 7470 0 0 0 8 1 0 0 24 0 1 0 132230076 29880320 6255 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14821/statm: 7295 6255 452 984 0 6308 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29180

[startup+0.30047 s]
/proc/loadavg: 2.03 2.01 2.01 3/178 14821
/proc/meminfo: memFree=31018604/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=36540 CPUtime=0.29
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 12012 0 0 0 26 3 0 0 25 0 1 0 132230076 37416960 8200 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14821/statm: 9135 8200 573 984 0 8148 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36540

[startup+0.700399 s]
/proc/loadavg: 2.03 2.01 2.01 3/178 14821
/proc/meminfo: memFree=31018604/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=41176 CPUtime=0.69
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 18792 0 0 0 64 5 0 0 25 0 1 0 132230076 42164224 9374 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14821/statm: 10294 9374 589 984 0 9307 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41176

[startup+1.50024 s]
/proc/loadavg: 2.03 2.01 2.01 3/179 14822
/proc/meminfo: memFree=30983008/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=41176 CPUtime=1.49
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 18792 0 0 0 141 8 0 0 25 0 1 0 132230076 42164224 9374 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 10294 9374 589 984 0 9307 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41176

[startup+3.10094 s]
/proc/loadavg: 2.03 2.01 2.01 3/179 14822
/proc/meminfo: memFree=30983008/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=41176 CPUtime=3.09
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 18793 0 0 0 295 14 0 0 25 0 1 0 132230076 42164224 9375 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 10294 9375 590 984 0 9307 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41176

[startup+6.30032 s]
/proc/loadavg: 2.02 2.01 2.01 3/179 14822
/proc/meminfo: memFree=30983296/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=41240 CPUtime=6.29
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 18809 0 0 0 603 26 0 0 25 0 1 0 132230076 42229760 9391 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 10310 9391 591 984 0 9323 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41240

[startup+12.7011 s]
/proc/loadavg: 2.02 2.01 2.01 3/179 14822
/proc/meminfo: memFree=30979772/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=47808 CPUtime=12.7
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 30527 0 0 0 1221 49 0 0 25 0 1 0 132230076 48955392 10860 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 11952 10860 596 984 0 10965 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 47808

[startup+25.5006 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14823
/proc/meminfo: memFree=30967444/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=58840 CPUtime=25.5
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 55033 0 0 0 2451 99 0 0 25 0 1 0 132230076 60252160 13651 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 14710 13651 598 984 0 13723 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 58840

[startup+51.1007 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14823
/proc/meminfo: memFree=30936604/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=89724 CPUtime=51.09
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 70185 0 0 0 4921 188 0 0 25 0 1 0 132230076 91877376 21430 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 22431 21430 597 984 0 21444 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 89724

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14825
/proc/meminfo: memFree=30872460/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=147772 CPUtime=102.3
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 112898 0 0 0 9863 367 0 0 25 0 1 0 132230076 151318528 36056 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 36943 36056 597 984 0 35956 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 147772

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14826
/proc/meminfo: memFree=30844524/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=175960 CPUtime=162.3
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 247140 0 0 0 15638 592 0 0 25 0 1 0 132230076 180183040 43036 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 43990 43036 606 984 0 43003 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 175960

[startup+222.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14828
/proc/meminfo: memFree=30790140/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=230732 CPUtime=222.3
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 372458 0 0 0 21380 850 0 0 25 0 1 0 132230076 236269568 56360 4089446400 4194304 8223781 140735422116512 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 57683 56360 606 984 0 56696 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 230732

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14829
/proc/meminfo: memFree=30760336/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=262396 CPUtime=282.31
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 413422 0 0 0 27127 1104 0 0 25 0 1 0 132230076 268693504 63928 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 65599 63928 611 984 0 64612 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 262396

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14831
/proc/meminfo: memFree=30745276/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=277444 CPUtime=342.31
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 463235 0 0 0 32878 1353 0 0 25 0 1 0 132230076 284102656 67533 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 69361 67533 606 984 0 68374 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 277444

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14833
/proc/meminfo: memFree=30739900/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=284440 CPUtime=402.3
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 539810 0 0 0 38599 1631 0 0 25 0 1 0 132230076 291266560 69114 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 71110 69114 606 984 0 70123 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 284440

[startup+462.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 14834
/proc/meminfo: memFree=30738616/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=285140 CPUtime=462.31
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 584272 0 0 0 44318 1913 0 0 25 0 1 0 132230076 291983360 69284 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 71285 69284 606 984 0 70298 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 285140

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14836
/proc/meminfo: memFree=30735220/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=289256 CPUtime=522.31
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 593499 0 0 0 50072 2159 0 0 25 0 1 0 132230076 296198144 70308 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 72314 70308 606 984 0 71327 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 289256

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14837
/proc/meminfo: memFree=30733572/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=290768 CPUtime=582.31
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 594039 0 0 0 55860 2371 0 0 25 0 1 0 132230076 297746432 70689 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 72692 70689 606 984 0 71705 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 290768

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14839
/proc/meminfo: memFree=30729048/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=293840 CPUtime=642.32
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 601756 0 0 0 61657 2575 0 0 25 0 1 0 132230076 300892160 71400 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 73460 71400 606 984 0 72473 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 293840

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14882
/proc/meminfo: memFree=30707296/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=296376 CPUtime=882.32
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 658236 0 0 0 84671 3561 0 0 25 0 1 0 132230076 303489024 72059 4089446400 4194304 8223781 140735422116512 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 74094 72059 605 984 0 73107 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 296376

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14884
/proc/meminfo: memFree=30634480/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=297268 CPUtime=942.33
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 658703 0 0 0 90442 3791 0 0 25 0 1 0 132230076 304402432 72224 4089446400 4194304 8223781 140735422116512 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 74317 72224 605 984 0 73330 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 297268

[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 14886
/proc/meminfo: memFree=30565104/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=296772 CPUtime=1002.33
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 684537 0 0 0 96209 4024 0 0 25 0 1 0 132230076 303894528 72040 4089446400 4194304 8223781 140735422116512 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 74193 72040 605 984 0 73206 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 296772

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14887
/proc/meminfo: memFree=30494740/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=297432 CPUtime=1062.33
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 688514 0 0 0 101987 4246 0 0 25 0 1 0 132230076 304570368 72099 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 74358 72099 605 984 0 73371 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 297432

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14889
/proc/meminfo: memFree=30426120/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=297664 CPUtime=1122.33
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 688603 0 0 0 107787 4446 0 0 25 0 1 0 132230076 304807936 72141 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 74416 72141 605 984 0 73429 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 297664

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14890
/proc/meminfo: memFree=30351812/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=298940 CPUtime=1182.34
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 690271 0 0 0 113598 4636 0 0 25 0 1 0 132230076 306114560 72333 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 74735 72333 605 984 0 73748 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 298940

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14892
/proc/meminfo: memFree=30280472/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=298984 CPUtime=1242.34
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 690309 0 0 0 119405 4829 0 0 25 0 1 0 132230076 306159616 72357 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 74746 72357 605 984 0 73759 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 298984

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14894
/proc/meminfo: memFree=30209872/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=300948 CPUtime=1302.35
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 691010 0 0 0 125228 5007 0 0 25 0 1 0 132230076 308170752 72938 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 75237 72938 605 984 0 74250 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 300948

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14895
/proc/meminfo: memFree=30141248/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=301192 CPUtime=1362.35
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 691719 0 0 0 131046 5189 0 0 25 0 1 0 132230076 308420608 73009 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 75298 73009 605 984 0 74311 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 301192

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14897
/proc/meminfo: memFree=30071636/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=301264 CPUtime=1422.35
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 691982 0 0 0 136869 5366 0 0 25 0 1 0 132230076 308494336 73059 4089446400 4194304 8223781 140735422116512 18446744073709551615 5004488 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 75316 73059 605 984 0 74329 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 301264

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14898
/proc/meminfo: memFree=30003652/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=301264 CPUtime=1482.35
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 700933 0 0 0 142684 5551 0 0 25 0 1 0 132230076 308494336 73066 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 75316 73066 605 984 0 74329 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 301264

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14900
/proc/meminfo: memFree=29937516/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=297168 CPUtime=1542.36
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 703081 0 0 0 148490 5746 0 0 25 0 1 0 132230076 304300032 72042 4089446400 4194304 8223781 140735422116512 18446744073709551615 4999797 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 74292 72042 605 984 0 73305 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 297168

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14902
/proc/meminfo: memFree=29866172/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=298284 CPUtime=1602.35
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 705016 0 0 0 154297 5938 0 0 25 0 1 0 132230076 305442816 72203 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 74571 72203 605 984 0 73584 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 298284

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14903
/proc/meminfo: memFree=29794472/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=298784 CPUtime=1662.35
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 705819 0 0 0 160121 6114 0 0 25 0 1 0 132230076 305954816 72381 4089446400 4194304 8223781 140735422116512 18446744073709551615 4208928 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 74696 72381 605 984 0 73709 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 298784

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14905
/proc/meminfo: memFree=29720412/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=299840 CPUtime=1722.36
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 706415 0 0 0 165971 6265 0 0 25 0 1 0 132230076 307036160 72640 4089446400 4194304 8223781 140735422116512 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 74960 72640 605 984 0 73973 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 299840

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14906
/proc/meminfo: memFree=29644724/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=302476 CPUtime=1782.37
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 706944 0 0 0 171812 6425 0 0 25 0 1 0 132230076 309735424 72979 4089446400 4194304 8223781 140735422116512 18446744073709551615 6162784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 75619 72979 605 984 0 74632 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 302476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 14907
/proc/meminfo: memFree=29624256/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=302476 CPUtime=1800.07
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 706958 0 0 0 173529 6478 0 0 25 0 1 0 132230076 309735424 72980 4089446400 4194304 8223781 140735422116512 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14821/statm: 75619 72980 605 984 0 74632 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 302476

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

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

[startup+1800.11 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 14907
/proc/meminfo: memFree=29624256/32950928 swapFree=67111528/67111528
[pid=14821] ppid=14819 vsize=251828 CPUtime=1800.17
/proc/14821/stat : 14821 (pbscip.linux.x8) R 14819 14821 13958 0 -1 4202496 706977 0 0 0 173539 6478 0 0 25 0 1 0 132230076 257871872 60348 4089446400 4194304 8223781 140735422116512 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14821/statm: 62164 59539 607 984 0 61177 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 251828

Child status: 0
Real time (s): 1800.12
CPU time (s): 1800.19
CPU user time (s): 1735.4
CPU system time (s): 64.7911
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 311624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1735.4
system time used= 64.7912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 706981
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= 1
involuntary context switches= 21328

runsolver used 3.33749 second user time and 6.48001 second system time

The end

Launcher Data 

Begin job on node148 at 2010-06-30 16:49:18
IDJOB=2692897
IDBENCH=78967
IDSOLVER=1204
FILE ID=node148/2692897-1277909358
PBS_JOBID= 11197219
Free space on /tmp= 74172 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692897-1277909358/watcher-2692897-1277909358 -o /tmp/evaluation-result-2692897-1277909358/solver-2692897-1277909358 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692897-1277909358.wbo -t 1800 -m 3800

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

MD5SUM BENCH= ebc456211cf99aa767d1987ef9daf648
RANDOM SEED=838876037

node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31019380 kB
Buffers:        193252 kB
Cached:        1274752 kB
SwapCached:          0 kB
Active:         795652 kB
Inactive:       990220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31019380 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4712 kB
Writeback:           0 kB
AnonPages:      318708 kB
Mapped:          17124 kB
Slab:            80800 kB
PageTables:       5684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   465020 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= 74164 MiB
End job on node148 at 2010-06-30 17:19:20