Trace number 2692327

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.28 1800.24

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
MD5SUM7333324480eb5267e10bc3c9063685b0
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark33.4349
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 constraints2707
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 137245
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137244
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 745
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-2692327-1277926298.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.13	o 137244
0.09/0.13	c feasible solution found by trivial heuristic, objective value  1.372440e+05
0.09/0.13	c presolving:
0.09/0.14	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.15	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.19/0.21	c    (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21	c presolving (3 rounds):
0.19/0.21	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21	c  2707 implications, 0 cliques
0.19/0.21	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.21	c    2707 constraints of type <indicator>
0.19/0.21	c    2707 constraints of type <linear>
0.19/0.21	c transformed objective value is always integral (scale: 1)
0.19/0.21	c Presolving Time: 0.15
0.19/0.21	c - non default parameters ----------------------------------------------------------------------
0.19/0.21	c # SCIP version 1.2.1.2
0.19/0.21	c 
0.19/0.21	c # frequency for displaying node information lines
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21	c display/freq = 10000
0.19/0.21	c 
0.19/0.21	c # maximal time in seconds to run
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/time = 1799.97
0.19/0.21	c 
0.19/0.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/memory = 3420
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify inequalities
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/linear/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify knapsacks
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c separating/rapidlearning/freq = 0
0.19/0.21	c 
0.19/0.21	c -----------------------------------------------------------------------------------------------
0.19/0.21	c start solving
0.19/0.21	c 
0.19/0.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.22	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    22 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    43 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    65 |     - |  19M|   0 |  19 |5645 |5414 |5645 |  89 |  89 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |    85 |     - |  19M|   0 |  30 |5645 |5414 |5645 | 113 | 113 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |    98 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 127 | 127 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.29/0.30	c   0.2s|     1 |     0 |   106 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |   0 | 0.000000e+00 | 1.372440e+05 |    Inf 
0.39/0.45	c   0.4s|     1 |     2 |   185 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |  32 | 0.000000e+00 | 1.372440e+05 |    Inf 
33.79/33.83	c  33.5s| 10000 | 10001 | 54669 |   5.5 |  52M| 133 |   0 |5645 |5414 |5645 | 212 |  12k|   0 |1730 | 0.000000e+00 | 1.372440e+05 |    Inf 
57.29/57.36	c  56.9s| 20000 | 20001 | 82371 |   4.1 |  74M| 155 |   0 |5645 |5414 |5645 | 212 |  17k|   0 |1747 | 0.000000e+00 | 1.372440e+05 |    Inf 
79.99/80.03	c  79.3s| 30000 | 30001 |102351 |   3.4 |  96M| 169 |   0 |5645 |5414 |5645 | 193 |  21k|   0 |1855 | 0.000000e+00 | 1.372440e+05 |    Inf 
102.89/102.92	c   102s| 40000 | 40001 |130855 |   3.3 | 117M| 169 |   0 |5645 |5414 |5645 | 191 |  27k|   0 |2115 | 0.000000e+00 | 1.372440e+05 |    Inf 
126.69/126.76	c   126s| 50000 | 50001 |157188 |   3.1 | 139M| 169 |   0 |5645 |5414 |5645 | 203 |  33k|   0 |2370 | 0.000000e+00 | 1.372440e+05 |    Inf 
150.49/150.52	c   149s| 60000 | 60001 |182709 |   3.0 | 161M| 169 |   0 |5645 |5414 |5645 | 201 |  38k|   0 |2642 | 0.000000e+00 | 1.372440e+05 |    Inf 
173.40/173.47	c   172s| 70000 | 70001 |204359 |   2.9 | 182M| 169 |   0 |5645 |5414 |5645 | 172 |  43k|   0 |2821 | 0.000000e+00 | 1.372440e+05 |    Inf 
194.00/194.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
194.00/194.09	c   192s| 80000 | 80001 |220951 |   2.8 | 204M| 181 |   0 |5645 |5414 |5645 | 197 |  47k|   0 |2966 | 0.000000e+00 | 1.372440e+05 |    Inf 
214.89/214.92	c   213s| 90000 | 90001 |242564 |   2.7 | 226M| 181 |   0 |5645 |5414 |5645 | 184 |  53k|   0 |3225 | 0.000000e+00 | 1.372440e+05 |    Inf 
235.20/235.23	c   233s|100000 |100001 |261118 |   2.6 | 247M| 181 |   0 |5645 |5414 |5645 | 208 |  58k|   0 |3380 | 0.000000e+00 | 1.372440e+05 |    Inf 
254.19/254.25	o 587
254.19/254.25	c * 252s|109166 |101241 |278543 |   2.6 | 252M| 181 |   - |5645 |5414 |5645 | 180 |  63k|   0 |3548 | 0.000000e+00 | 5.870000e+02 |    Inf 
256.50/256.52	c   254s|110000 |102063 |280833 |   2.6 | 255M| 181 |   0 |5645 |5444 |5645 | 214 |  63k|  30 |3554 | 0.000000e+00 | 5.870000e+02 |    Inf 
260.60/260.61	o 580
260.60/260.61	c * 258s|111374 |102993 |285717 |   2.6 | 258M| 181 |   - |5645 |5503 |5645 | 210 |  65k|  89 |3591 | 0.000000e+00 | 5.800000e+02 |    Inf 
278.89/279.00	o 561
278.89/279.00	c * 277s|117142 |107088 |312317 |   2.7 | 272M| 181 |   - |5645 |5974 |5645 | 224 |  75k| 560 |3755 | 0.000000e+00 | 5.610000e+02 |    Inf 
279.41/279.41	o 560
279.41/279.41	c * 277s|117265 |107127 |312820 |   2.7 | 272M| 181 |   - |5645 |5977 |5645 | 248 |  75k| 563 |3763 | 0.000000e+00 | 5.600000e+02 |    Inf 
288.29/288.36	c   286s|120000 |109713 |328102 |   2.7 | 279M| 181 |   4 |5645 |6206 |5645 | 176 |  80k| 799 |3858 | 0.000000e+00 | 5.600000e+02 |    Inf 
318.40/318.47	c   316s|130000 |119523 |380831 |   2.9 | 304M| 181 |   0 |5645 |6226 |5645 | 163 |  96k|1118 |4178 | 0.000000e+00 | 5.600000e+02 |    Inf 
347.90/347.95	c   345s|140000 |129350 |423591 |   3.0 | 329M| 181 |   0 |5645 |6083 |5645 | 160 | 110k|1399 |4433 | 0.000000e+00 | 5.600000e+02 |    Inf 
377.50/377.51	o 543
377.50/377.51	c * 375s|149357 |137048 |475659 |   3.2 | 349M| 181 |   - |5645 |5846 |5645 | 221 | 122k|1555 |4715 | 0.000000e+00 | 5.430000e+02 |    Inf 
377.50/377.52	o 531
377.50/377.52	c * 375s|149358 |135709 |475659 |   3.2 | 347M| 181 |   - |5645 |5846 |5645 | 221 | 122k|1555 |4715 | 0.000000e+00 | 5.310000e+02 |    Inf 
379.70/379.72	c   377s|150000 |136341 |479992 |   3.2 | 348M| 181 |   0 |5645 |5831 |5645 | 194 | 123k|1573 |4756 | 0.000000e+00 | 5.310000e+02 |    Inf 
414.50/414.53	c   411s|160000 |146192 |545756 |   3.4 | 378M| 181 |   0 |5645 |5908 |5645 | 170 | 138k|2013 |5041 | 0.000000e+00 | 5.310000e+02 |    Inf 
444.80/444.80	o 524
444.80/444.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
444.80/444.80	c * 441s|168441 |153592 |609244 |   3.6 | 400M| 181 |   - |5645 |5754 |5645 | 185 | 153k|2631 |5415 | 0.000000e+00 | 5.240000e+02 |    Inf 
450.30/450.32	c   447s|170000 |155057 |621074 |   3.7 | 405M| 181 |   4 |5645 |5746 |5645 | 185 | 156k|2788 |5448 | 0.000000e+00 | 5.240000e+02 |    Inf 
455.41/455.45	o 501
455.41/455.45	c * 452s|171419 |153188 |631111 |   3.7 | 403M| 181 |   - |5645 |5843 |5645 | 226 | 160k|3048 |5517 | 0.000000e+00 | 5.010000e+02 |    Inf 
465.80/465.84	o 500
465.80/465.84	c * 462s|174297 |155641 |651623 |   3.7 | 413M| 181 |   - |5645 |5872 |5645 | 193 | 164k|3557 |5553 | 0.000000e+00 | 5.000000e+02 |    Inf 
486.90/486.93	c   483s|180000 |160726 |697793 |   3.9 | 431M| 181 |   0 |5645 |6424 |5645 | 185 | 174k|5065 |5714 | 0.000000e+00 | 5.000000e+02 |    Inf 
488.20/488.23	o 491
488.20/488.23	c * 484s|180333 |159586 |700941 |   3.9 | 428M| 181 |   - |5645 |6423 |5645 | 167 | 175k|5175 |5726 | 0.000000e+00 | 4.910000e+02 |    Inf 
488.20/488.24	o 489
488.20/488.24	c * 484s|180334 |159296 |700941 |   3.9 | 427M| 181 |   - |5645 |6423 |5645 | 167 | 175k|5175 |5726 | 0.000000e+00 | 4.890000e+02 |    Inf 
493.91/493.94	o 488
493.91/493.94	c * 490s|181839 |160474 |713836 |   3.9 | 431M| 181 |   - |5645 |6176 |5645 | 171 | 177k|5621 |5743 | 0.000000e+00 | 4.880000e+02 |    Inf 
514.61/514.67	o 481
514.61/514.67	c * 511s|187456 |164300 |762758 |   4.1 | 443M| 181 |   - |5645 |5923 |5645 | 169 | 188k|6582 |5986 | 0.000000e+00 | 4.810000e+02 |    Inf 
524.10/524.13	c   520s|190000 |166741 |784596 |   4.1 | 450M| 181 |   0 |5645 |5854 |5645 | 230 | 192k|6793 |6090 | 0.000000e+00 | 4.810000e+02 |    Inf 
529.60/529.62	o 476
529.60/529.62	c * 525s|191551 |167225 |794657 |   4.1 | 453M| 181 |   - |5645 |5770 |5645 | 180 | 195k|6900 |6117 | 0.000000e+00 | 4.760000e+02 |    Inf 
545.30/545.36	o 465
545.30/545.36	c * 541s|195563 |168276 |828575 |   4.2 | 458M| 181 |   - |5645 |6078 |5645 | 200 | 202k|8145 |6203 | 0.000000e+00 | 4.650000e+02 |    Inf 
549.81/549.84	o 462
549.81/549.84	c * 545s|196833 |168840 |835355 |   4.2 | 460M| 181 |   - |5645 |5911 |5645 | 230 | 204k|8245 |6254 | 0.000000e+00 | 4.620000e+02 |    Inf 
553.00/553.09	o 451
553.00/553.09	c * 549s|197654 |166967 |841332 |   4.3 | 455M| 181 |   - |5645 |5893 |5645 | 180 | 206k|8389 |6270 | 0.000000e+00 | 4.510000e+02 |    Inf 
553.10/553.10	o 440
553.10/553.10	c * 549s|197655 |164100 |841332 |   4.3 | 446M| 181 |   - |5645 |5893 |5645 | 180 | 206k|8389 |6270 | 0.000000e+00 | 4.400000e+02 |    Inf 
558.81/558.85	o 429
558.81/558.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
558.81/558.85	c * 554s|199026 |162311 |855096 |   4.3 | 440M| 181 |   - |5645 |6002 |5645 | 177 | 208k|8692 |6299 | 0.000000e+00 | 4.290000e+02 |    Inf 
558.90/558.94	o 426
558.90/558.94	c * 554s|199043 |161489 |855305 |   4.3 | 437M| 181 |   - |5645 |6006 |5645 | 182 | 208k|8696 |6299 | 0.000000e+00 | 4.260000e+02 |    Inf 
558.90/558.95	o 425
558.90/558.95	c * 554s|199044 |161189 |855305 |   4.3 | 436M| 181 |   - |5645 |6006 |5645 | 182 | 208k|8696 |6299 | 0.000000e+00 | 4.250000e+02 |    Inf 
562.50/562.54	c   558s|200000 |162103 |862138 |   4.3 | 440M| 181 |   0 |5645 |6001 |5645 | 164 | 210k|8786 |6318 | 0.000000e+00 | 4.250000e+02 |    Inf 
568.80/568.85	o 406
568.80/568.85	c * 564s|201565 |157318 |876217 |   4.3 | 426M| 181 |   - |5645 |6213 |5645 | 176 | 214k|9311 |6379 | 0.000000e+00 | 4.060000e+02 |    Inf 
578.40/578.43	o 402
578.40/578.43	c * 574s|204042 |158254 |895221 |   4.4 | 429M| 181 |   - |5645 |6042 |5645 | 191 | 218k|9635 |6438 | 0.000000e+00 | 4.020000e+02 |    Inf 
579.50/579.55	o 395
579.50/579.55	c * 575s|204276 |156196 |897733 |   4.4 | 425M| 181 |   - |5645 |6105 |5645 | 189 | 219k|9713 |6438 | 0.000000e+00 | 3.950000e+02 |    Inf 
594.11/594.10	o 389
594.11/594.10	c * 589s|208070 |157238 |927269 |   4.5 | 432M| 181 |   - |5645 |6135 |5645 | 196 | 227k|  10k|6548 | 0.000000e+00 | 3.890000e+02 |    Inf 
594.11/594.11	o 388
594.11/594.11	c * 589s|208071 |156891 |927269 |   4.5 | 431M| 181 |   - |5645 |6135 |5645 | 196 | 227k|  10k|6548 | 0.000000e+00 | 3.880000e+02 |    Inf 
599.41/599.50	o 376
599.41/599.50	c * 595s|209414 |153194 |938782 |   4.5 | 423M| 181 |   - |5645 |6154 |5645 | 179 | 230k|  10k|6568 | 0.000000e+00 | 3.760000e+02 |    Inf 
602.01/602.04	c   597s|210000 |153704 |942827 |   4.5 | 426M| 181 |   0 |5645 |6065 |5645 | 210 | 232k|  11k|6584 | 0.000000e+00 | 3.760000e+02 |    Inf 
609.50/609.59	o 371
609.50/609.59	c * 605s|211822 |153284 |958431 |   4.5 | 429M| 181 |   - |5645 |6093 |5645 | 179 | 237k|  11k|6643 | 0.000000e+00 | 3.710000e+02 |    Inf 
609.60/609.60	o 369
609.60/609.60	c * 605s|211823 |152427 |958431 |   4.5 | 426M| 181 |   - |5645 |6093 |5645 | 179 | 237k|  11k|6643 | 0.000000e+00 | 3.690000e+02 |    Inf 
612.00/612.09	o 367
612.00/612.09	c * 607s|212485 |152087 |963655 |   4.5 | 427M| 181 |   - |5645 |6265 |5645 | 180 | 239k|  11k|6646 | 0.000000e+00 | 3.670000e+02 |    Inf 
612.51/612.60	o 361
612.51/612.60	c * 608s|212585 |149640 |964807 |   4.5 | 422M| 181 |   - |5645 |6256 |5645 | 176 | 239k|  11k|6646 | 0.000000e+00 | 3.610000e+02 |    Inf 
612.61/612.68	o 340
612.61/612.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
612.61/612.68	c * 608s|212592 |140372 |964982 |   4.5 | 398M| 181 |   - |5645 |6252 |5645 | 193 | 239k|  11k|6646 | 0.000000e+00 | 3.400000e+02 |    Inf 
617.70/617.70	o 338
617.70/617.70	c * 613s|213700 |140334 |976302 |   4.6 | 401M| 181 |   - |5645 |6406 |5645 | 176 | 242k|  12k|6689 | 0.000000e+00 | 3.380000e+02 |    Inf 
617.70/617.71	o 332
617.70/617.71	c * 613s|213701 |137387 |976302 |   4.6 | 393M| 181 |   - |5645 |6406 |5645 | 176 | 242k|  12k|6689 | 0.000000e+00 | 3.320000e+02 |    Inf 
620.50/620.54	o 325
620.50/620.54	c * 615s|214332 |134353 |983130 |   4.6 | 385M| 181 |   - |5645 |6542 |5645 | 180 | 243k|  12k|6699 | 0.000000e+00 | 3.250000e+02 |    Inf 
620.50/620.56	o 319
620.50/620.56	c * 616s|214333 |131223 |983130 |   4.6 | 377M| 181 |   - |5645 |6542 |5645 | 180 | 243k|  12k|6699 | 0.000000e+00 | 3.190000e+02 |    Inf 
621.10/621.11	o 317
621.10/621.11	c * 616s|214442 |130298 |984364 |   4.6 | 374M| 181 |   - |5645 |6561 |5645 | 181 | 243k|  12k|6700 | 0.000000e+00 | 3.170000e+02 |    Inf 
621.10/621.12	o 311
621.10/621.12	c * 616s|214443 |127256 |984364 |   4.6 | 366M| 181 |   - |5645 |6561 |5645 | 181 | 243k|  12k|6700 | 0.000000e+00 | 3.110000e+02 |    Inf 
627.90/627.92	o 301
627.90/627.92	c * 623s|216012 |123276 |997062 |   4.6 | 360M| 181 |   - |5645 |6424 |5645 | 188 | 247k|  13k|6748 | 0.000000e+00 | 3.010000e+02 |    Inf 
627.90/627.93	o 295
627.90/627.93	c * 623s|216013 |119975 |997062 |   4.6 | 351M| 181 |   - |5645 |6424 |5645 | 188 | 247k|  13k|6748 | 0.000000e+00 | 2.950000e+02 |    Inf 
628.01/628.01	o 289
628.01/628.01	c * 623s|216023 |116715 |997248 |   4.6 | 343M| 181 |   - |5645 |6421 |5645 | 197 | 247k|  13k|6748 | 0.000000e+00 | 2.890000e+02 |    Inf 
628.01/628.03	o 283
628.01/628.03	c * 623s|216024 |113115 |997248 |   4.6 | 333M| 181 |   - |5645 |6421 |5645 | 197 | 247k|  13k|6748 | 0.000000e+00 | 2.830000e+02 |    Inf 
628.31/628.31	o 278
628.31/628.31	c * 623s|216074 |110338 |997895 |   4.6 | 327M| 181 |   - |5645 |6447 |5645 | 191 | 247k|  13k|6748 | 0.000000e+00 | 2.780000e+02 |    Inf 
628.31/628.33	o 272
628.31/628.33	c * 623s|216075 |106892 |997895 |   4.6 | 318M| 181 |   - |5645 |6447 |5645 | 191 | 247k|  13k|6748 | 0.000000e+00 | 2.720000e+02 |    Inf 
634.61/634.60	o 266
634.61/634.60	c * 629s|217481 |104453 |  1011k|   4.6 | 315M| 181 |   - |5645 |6584 |5645 | 179 | 251k|  13k|6772 | 0.000000e+00 | 2.660000e+02 |    Inf 
637.71/637.72	o 265
637.71/637.72	c * 632s|218221 |104577 |  1017k|   4.7 | 317M| 181 |   - |5645 |6625 |5645 | 201 | 252k|  14k|6795 | 0.000000e+00 | 2.650000e+02 |    Inf 
638.21/638.20	o 258
638.21/638.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
638.21/638.20	c * 633s|218314 |100585 |  1018k|   4.7 | 307M| 181 |   - |5645 |6636 |5645 | 188 | 252k|  14k|6800 | 0.000000e+00 | 2.580000e+02 |    Inf 
638.31/638.34	o 251
638.31/638.34	c * 633s|218336 | 96680 |  1018k|   4.7 | 297M| 181 |   - |5645 |6643 |5645 | 184 | 252k|  14k|6802 | 0.000000e+00 | 2.510000e+02 |    Inf 
638.41/638.47	o 247
638.41/638.47	c * 633s|218357 | 94486 |  1018k|   4.7 | 292M| 181 |   - |5645 |6639 |5645 | 183 | 252k|  14k|6802 | 0.000000e+00 | 2.470000e+02 |    Inf 
638.50/638.53	o 231
638.50/638.53	c * 633s|218364 | 85322 |  1018k|   4.7 | 268M| 181 |   - |5645 |6653 |5645 | 189 | 252k|  14k|6802 | 0.000000e+00 | 2.310000e+02 |    Inf 
645.61/645.70	c   640s|220000 | 86558 |  1033k|   4.7 | 276M| 181 |   0 |5645 |6908 |5645 | 194 | 256k|  15k|6832 | 0.000000e+00 | 2.310000e+02 |    Inf 
646.40/646.43	o 227
646.40/646.43	c * 641s|220207 | 84439 |  1034k|   4.7 | 272M| 181 |   - |5645 |6906 |5645 | 199 | 257k|  15k|6832 | 0.000000e+00 | 2.270000e+02 |    Inf 
646.40/646.44	o 226
646.40/646.44	c * 641s|220208 | 83772 |  1034k|   4.7 | 270M| 181 |   - |5645 |6905 |5645 | 199 | 257k|  15k|6832 | 0.000000e+00 | 2.260000e+02 |    Inf 
649.30/649.38	o 221
649.30/649.38	c * 644s|220946 | 81442 |  1039k|   4.7 | 266M| 181 |   - |5645 |6771 |5645 | 178 | 258k|  15k|6843 | 0.000000e+00 | 2.210000e+02 |    Inf 
649.61/649.65	o 217
649.61/649.65	c * 644s|220996 | 79375 |  1039k|   4.7 | 261M| 181 |   - |5645 |6784 |5645 | 185 | 258k|  15k|6848 | 0.000000e+00 | 2.170000e+02 |    Inf 
649.61/649.66	o 215
649.61/649.66	c * 644s|220997 | 78227 |  1039k|   4.7 | 257M| 181 |   - |5645 |6784 |5645 | 185 | 258k|  15k|6848 | 0.000000e+00 | 2.150000e+02 |    Inf 
649.90/649.99	o 214
649.90/649.99	c * 645s|221051 | 77604 |  1040k|   4.7 | 256M| 181 |   - |5645 |6813 |5645 | 201 | 258k|  15k|6854 | 0.000000e+00 | 2.140000e+02 |    Inf 
650.01/650.09	o 191
650.01/650.09	c * 645s|221060 | 64869 |  1040k|   4.7 | 220M| 181 |   - |5645 |6816 |5645 | 195 | 258k|  15k|6854 | 0.000000e+00 | 1.910000e+02 |    Inf 
650.20/650.26	o 185
650.20/650.26	c * 645s|221082 | 61398 |  1041k|   4.7 | 211M| 181 |   - |5645 |6825 |5645 | 173 | 258k|  15k|6856 | 0.000000e+00 | 1.850000e+02 |    Inf 
650.20/650.28	o 179
650.20/650.28	c * 645s|221083 | 58234 |  1041k|   4.7 | 202M| 181 |   - |5645 |6825 |5645 | 173 | 258k|  15k|6856 | 0.000000e+00 | 1.790000e+02 |    Inf 
650.40/650.40	o 175
650.40/650.40	c * 645s|221095 | 56173 |  1041k|   4.7 | 195M| 181 |   - |5645 |6812 |5645 | 191 | 258k|  15k|6858 | 0.000000e+00 | 1.750000e+02 |    Inf 
650.60/650.66	o 168
650.60/650.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
650.60/650.66	c * 645s|221128 | 52738 |  1041k|   4.7 | 186M| 181 |   - |5645 |6844 |5645 | 179 | 258k|  15k|6865 | 0.000000e+00 | 1.680000e+02 |    Inf 
658.10/658.12	o 157
658.10/658.12	c * 653s|222526 | 45710 |  1059k|   4.8 | 176M| 181 |   - |5645 |7064 |5645 | 201 | 262k|  16k|6900 | 0.000000e+00 | 1.570000e+02 |    Inf 
659.71/659.73	o 156
659.71/659.73	c * 654s|222855 | 45525 |  1062k|   4.8 | 178M| 181 |   - |5645 |7233 |5645 | 149 | 262k|  16k|6902 | 0.000000e+00 | 1.560000e+02 |    Inf 
659.71/659.75	o 151
659.71/659.75	c * 654s|222858 | 42755 |  1062k|   4.8 | 168M| 181 |   - |5645 |7233 |5645 | 149 | 262k|  16k|6902 | 0.000000e+00 | 1.510000e+02 |    Inf 
659.71/659.77	o 146
659.71/659.77	c * 654s|222859 | 39645 |  1062k|   4.8 | 160M| 181 |   - |5645 |7233 |5645 | 149 | 262k|  16k|6902 | 0.000000e+00 | 1.460000e+02 |    Inf 
660.51/660.55	o 137
660.51/660.55	c * 655s|223000 | 35980 |  1064k|   4.8 | 150M| 181 |   - |5645 |7313 |5645 | 208 | 263k|  16k|6906 | 0.000000e+00 | 1.370000e+02 |    Inf 
660.80/660.81	o 128
660.80/660.81	c * 655s|223037 | 31534 |  1064k|   4.8 | 138M| 181 |   - |5645 |7271 |5645 | 163 | 263k|  16k|6909 | 0.000000e+00 | 1.280000e+02 |    Inf 
660.80/660.83	o 118
660.80/660.83	c * 655s|223038 | 28105 |  1064k|   4.8 | 125M| 181 |   - |5645 |7271 |5645 | 163 | 263k|  16k|6909 | 0.000000e+00 | 1.180000e+02 |    Inf 
660.80/660.87	o 113
660.80/660.87	c * 655s|223040 | 24057 |  1064k|   4.8 | 114M| 181 |   - |5645 |7267 |5645 | 147 | 263k|  16k|6909 | 0.000000e+00 | 1.130000e+02 |    Inf 
661.51/661.57	o 105
661.51/661.57	c * 656s|223151 | 20484 |  1065k|   4.8 | 101M| 181 |   - |5645 |6865 |5645 | 200 | 263k|  16k|6923 | 0.000000e+00 | 1.050000e+02 |    Inf 
661.61/661.60	o 101
661.61/661.60	c * 656s|223158 | 19185 |  1065k|   4.8 |  98M| 181 |   - |5645 |6861 |5645 | 199 | 263k|  16k|6923 | 0.000000e+00 | 1.010000e+02 |    Inf 
661.61/661.62	o 98
661.61/661.62	c * 656s|223161 | 18543 |  1065k|   4.8 |  96M| 181 |   - |5645 |6859 |5645 | 200 | 263k|  16k|6923 | 0.000000e+00 | 9.800000e+01 |    Inf 
661.61/661.63	o 97
661.61/661.63	c * 656s|223162 | 18163 |  1065k|   4.8 |  95M| 181 |   - |5645 |6859 |5645 | 200 | 263k|  16k|6923 | 0.000000e+00 | 9.700000e+01 |    Inf 
664.31/664.38	o 87
664.31/664.38	c * 659s|223721 | 14982 |  1069k|   4.8 |  87M| 181 |   - |5645 |6111 |5645 | 147 | 264k|  17k|6938 | 0.000000e+00 | 8.700000e+01 |    Inf 
666.00/666.02	o 83
666.00/666.02	c * 661s|224162 | 14674 |  1070k|   4.8 |  87M| 181 |   - |5645 |5911 |5645 | 148 | 265k|  17k|6943 | 0.000000e+00 | 8.300000e+01 |    Inf 
666.00/666.03	o 81
666.00/666.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
666.00/666.03	c * 661s|224163 | 14530 |  1070k|   4.8 |  87M| 181 |   - |5645 |5911 |5645 | 148 | 265k|  17k|6943 | 0.000000e+00 | 8.100000e+01 |    Inf 
666.00/666.08	o 78
666.00/666.08	c * 661s|224166 | 14304 |  1070k|   4.8 |  86M| 181 |   - |5645 |5709 |5645 | 148 | 265k|  17k|6943 | 0.000000e+00 | 7.800000e+01 |    Inf 
666.11/666.12	o 76
666.11/666.12	c * 661s|224167 |  4574 |  1070k|   4.8 |  50M| 181 |   - |5645 |5709 |5645 | 148 | 265k|  17k|6943 | 0.000000e+00 | 7.600000e+01 |    Inf 
678.11/678.10	o 73
678.11/678.10	c * 672s|227296 |  4611 |  1090k|   4.8 |  59M| 181 |   - |5645 |6487 |5645 | 199 | 271k|  21k|7008 | 0.000000e+00 | 7.300000e+01 |    Inf 
687.31/687.32	c   682s|230000 |  4901 |  1103k|   4.8 |  64M| 181 |   - |5645 |6403 |   0 |   0 | 275k|  24k|7054 | 0.000000e+00 | 7.300000e+01 |    Inf 
693.81/693.89	o 70
693.81/693.89	c * 688s|231894 |  4794 |  1111k|   4.8 |  67M| 181 |   - |5645 |6408 |5645 | 172 | 279k|  27k|7066 | 0.000000e+00 | 7.000000e+01 |    Inf 
718.40/718.49	c   712s|240000 |  5125 |  1152k|   4.8 |  74M| 181 |   - |5645 |6530 |   0 |   0 | 292k|  39k|7141 | 0.000000e+00 | 7.000000e+01 |    Inf 
752.80/752.84	c   746s|250000 |  5915 |  1215k|   4.9 |  87M| 181 |   6 |5645 |8572 |5645 | 212 | 310k|  53k|7253 | 0.000000e+00 | 7.000000e+01 |    Inf 
786.91/786.99	c   780s|260000 |  6496 |  1268k|   4.9 |  99M| 181 |   1 |5645 |9008 |5645 | 194 | 327k|  67k|7317 | 0.000000e+00 | 7.000000e+01 |    Inf 
818.71/818.72	c   812s|270000 |  6779 |  1310k|   4.9 | 106M| 181 |   - |5645 |  10k|   0 |   0 | 340k|  80k|7361 | 0.000000e+00 | 7.000000e+01 |    Inf 
851.80/851.87	c   844s|280000 |  7083 |  1356k|   4.8 | 115M| 181 |   1 |5645 |8852 |5645 | 161 | 355k|  95k|7410 | 0.000000e+00 | 7.000000e+01 |    Inf 
874.21/874.25	o 53
874.21/874.25	c * 867s|286737 |  6753 |  1394k|   4.9 | 117M| 181 |   - |5645 |  10k|5645 | 181 | 367k| 104k|7458 | 0.000000e+00 | 5.300000e+01 |    Inf 
879.21/879.28	o 51
879.21/879.28	c * 872s|288274 |  6496 |  1402k|   4.9 | 116M| 181 |   - |5645 |9195 |5645 | 176 | 370k| 106k|7460 | 0.000000e+00 | 5.100000e+01 |    Inf 
884.61/884.67	c   877s|290000 |  6319 |  1407k|   4.9 | 115M| 181 |  15 |5645 |6651 |5645 | 168 | 371k| 108k|7484 | 0.000000e+00 | 5.100000e+01 |    Inf 
911.91/911.97	c   904s|300000 |  6390 |  1436k|   4.8 | 121M| 181 |   1 |5645 |9139 |5645 | 179 | 379k| 120k|7515 | 0.000000e+00 | 5.100000e+01 |    Inf 
938.61/938.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
938.61/938.60	c   930s|310000 |  6406 |  1457k|   4.7 | 124M| 181 |  12 |5645 |8401 |5645 | 171 | 383k| 133k|7541 | 0.000000e+00 | 5.100000e+01 |    Inf 
965.72/965.71	c   957s|320000 |  6258 |  1487k|   4.6 | 126M| 181 |   1 |5645 |8075 |5645 | 154 | 390k| 146k|7583 | 0.000000e+00 | 5.100000e+01 |    Inf 
982.32/982.34	o 34
982.32/982.34	c * 974s|326861 |  5477 |  1503k|   4.6 | 119M| 181 |   - |5645 |  10k|5645 | 176 | 392k| 154k|7594 | 0.000000e+00 | 3.400000e+01 |    Inf 
990.31/990.30	c   981s|330000 |  5547 |  1511k|   4.6 | 119M| 181 |   1 |5645 |8941 |5645 | 178 | 394k| 157k|7612 | 0.000000e+00 | 3.400000e+01 |    Inf 
993.11/993.12	o 28
993.11/993.12	c * 984s|331236 |  5045 |  1513k|   4.6 | 114M| 181 |   - |5645 |9500 |5645 | 167 | 394k| 159k|7612 | 0.000000e+00 | 2.800000e+01 |    Inf 
1013.61/1013.65	c  1004s|340000 |  5096 |  1537k|   4.5 | 116M| 181 |  15 |5645 |  10k|5645 | 173 | 397k| 170k|7633 | 0.000000e+00 | 2.800000e+01 |    Inf 
1019.31/1019.32	o 27
1019.31/1019.32	c *1009s|342362 |  5051 |  1544k|   4.5 | 116M| 181 |   - |5645 |9701 |5645 | 165 | 398k| 173k|7634 | 0.000000e+00 | 2.700000e+01 |    Inf 
1024.81/1024.82	o 24
1024.81/1024.82	c *1015s|344593 |  4968 |  1552k|   4.5 | 113M| 181 |   - |5645 |8691 |5645 | 148 | 399k| 176k|7645 | 0.000000e+00 | 2.400000e+01 |    Inf 
1024.81/1024.87	o 23
1024.81/1024.87	c *1015s|344605 |  4957 |  1552k|   4.5 | 113M| 181 |   - |5645 |8507 |5645 | 153 | 399k| 176k|7645 | 0.000000e+00 | 2.300000e+01 |    Inf 
1034.02/1034.08	o 16
1034.02/1034.08	c *1024s|349005 |  4831 |  1562k|   4.5 | 107M| 181 |   - |5645 |9913 |5645 | 148 | 401k| 182k|7667 | 0.000000e+00 | 1.600000e+01 |    Inf 
1036.01/1036.05	c  1025s|350000 |  4834 |  1564k|   4.5 | 107M| 181 |   1 |5645 |9810 |5645 | 166 | 401k| 183k|7667 | 0.000000e+00 | 1.600000e+01 |    Inf 
1056.61/1056.63	c  1045s|360000 |  4919 |  1589k|   4.4 | 110M| 181 |   - |5645 |  11k|   0 |   0 | 406k| 196k|7689 | 0.000000e+00 | 1.600000e+01 |    Inf 
1067.02/1067.08	o 9
1067.02/1067.08	c *1055s|365298 |  4111 |  1600k|   4.4 |  94M| 181 |   - |5645 |  12k|5645 | 153 | 408k| 203k|7707 | 0.000000e+00 | 9.000000e+00 |    Inf 
1067.11/1067.14	o 6
1067.11/1067.14	c *1056s|365312 |  3960 |  1600k|   4.4 |  91M| 181 |   - |5645 |  11k|5645 | 178 | 408k| 203k|7707 | 0.000000e+00 | 6.000000e+00 |    Inf 
1076.02/1076.02	c  1064s|370000 |  3839 |  1608k|   4.3 |  89M| 181 |   - |5645 |8346 |   0 |   0 | 409k| 209k|7718 | 0.000000e+00 | 6.000000e+00 |    Inf 
1097.11/1097.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1097.11/1097.11	c  1084s|380000 |  3645 |  1643k|   4.3 |  87M| 181 |   - |5645 |9064 |5645 | 194 | 418k| 222k|7778 | 0.000000e+00 | 6.000000e+00 |    Inf 
1118.51/1118.52	c  1105s|390000 |  3538 |  1683k|   4.3 |  88M| 181 |   - |5645 |  12k|   0 |   0 | 426k| 235k|7824 | 0.000000e+00 | 6.000000e+00 |    Inf 
1138.91/1138.94	o 2
1138.91/1138.94	c *1125s|399295 |  3003 |  1711k|   4.3 |  83M| 181 |   - |5645 |  17k|5645 | 195 | 431k| 247k|7858 | 0.000000e+00 | 2.000000e+00 |    Inf 
1140.62/1140.66	c  1126s|400000 |  3002 |  1713k|   4.3 |  83M| 181 |   1 |5645 |  16k|5645 | 180 | 432k| 248k|7866 | 0.000000e+00 | 2.000000e+00 |    Inf 
1166.02/1166.09	c  1151s|410000 |  2944 |  1753k|   4.3 |  82M| 181 |   - |5645 |  14k|   0 |   0 | 441k| 262k|7923 | 0.000000e+00 | 2.000000e+00 |    Inf 
1187.92/1187.96	c  1172s|420000 |  2886 |  1784k|   4.2 |  83M| 181 |   1 |5645 |  16k|5645 | 168 | 447k| 274k|7969 | 0.000000e+00 | 2.000000e+00 |    Inf 
1213.12/1213.18	c  1197s|430000 |  2920 |  1823k|   4.2 |  85M| 181 |   - |5645 |  20k|   0 |   0 | 457k| 287k|8002 | 0.000000e+00 | 2.000000e+00 |    Inf 
1242.02/1242.06	c  1225s|440000 |  2966 |  1869k|   4.2 |  86M| 181 |  12 |5645 |  23k|5645 | 196 | 470k| 300k|8065 | 0.000000e+00 | 2.000000e+00 |    Inf 
1274.52/1274.54	c  1257s|450000 |  3003 |  1918k|   4.3 |  89M| 181 |  15 |5645 |  28k|5645 | 217 | 484k| 313k|8127 | 0.000000e+00 | 2.000000e+00 |    Inf 
1307.42/1307.42	c  1289s|460000 |  3064 |  1967k|   4.3 |  89M| 181 |   - |5645 |  28k|   0 |   0 | 498k| 326k|8174 | 0.000000e+00 | 2.000000e+00 |    Inf 
1339.22/1339.28	c  1320s|470000 |  3095 |  2007k|   4.3 |  91M| 181 |   - |5645 |  29k|   0 |   0 | 508k| 339k|8236 | 0.000000e+00 | 2.000000e+00 |    Inf 
1372.92/1372.93	c  1353s|480000 |  3140 |  2052k|   4.3 |  92M| 181 |   - |5645 |  31k|   0 |   0 | 520k| 352k|8275 | 0.000000e+00 | 2.000000e+00 |    Inf 
1409.22/1409.25	c  1389s|490000 |  3440 |  2097k|   4.3 |  95M| 181 |   8 |5645 |  34k|5645 | 161 | 533k| 365k|8350 | 0.000000e+00 | 2.000000e+00 |    Inf 
1447.22/1447.28	c  1426s|500000 |  3688 |  2145k|   4.3 |  98M| 181 |   - |5645 |  37k|   0 |   0 | 548k| 378k|8384 | 0.000000e+00 | 2.000000e+00 |    Inf 
1485.42/1485.40	c  1463s|510000 |  3675 |  2190k|   4.3 |  98M| 181 |   - |5645 |  35k|   0 |   0 | 561k| 392k|8444 | 0.000000e+00 | 2.000000e+00 |    Inf 
1524.82/1524.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1524.82/1524.82	c  1502s|520000 |  3746 |  2239k|   4.3 |  99M| 181 |   - |5645 |  36k|   0 |   0 | 576k| 406k|8505 | 0.000000e+00 | 2.000000e+00 |    Inf 
1562.52/1562.51	c  1539s|530000 |  3687 |  2283k|   4.3 | 100M| 181 |   - |5645 |  36k|   0 |   0 | 587k| 420k|8547 | 0.000000e+00 | 2.000000e+00 |    Inf 
1599.22/1599.24	c  1575s|540000 |  3692 |  2329k|   4.3 |  99M| 181 |   - |5645 |  34k|   0 |   0 | 600k| 434k|8590 | 0.000000e+00 | 2.000000e+00 |    Inf 
1635.63/1635.63	c  1611s|550000 |  3651 |  2378k|   4.3 | 100M| 181 |   - |5645 |  35k|   0 |   0 | 614k| 447k|8656 | 0.000000e+00 | 2.000000e+00 |    Inf 
1669.22/1669.26	c  1644s|560000 |  3570 |  2417k|   4.3 |  99M| 181 |   - |5645 |  33k|   0 |   0 | 623k| 461k|8692 | 0.000000e+00 | 2.000000e+00 |    Inf 
1704.83/1704.85	c  1679s|570000 |  3487 |  2460k|   4.3 |  98M| 181 |  15 |5645 |  33k|5645 | 189 | 634k| 475k|8758 | 0.000000e+00 | 2.000000e+00 |    Inf 
1736.63/1736.68	c  1710s|580000 |  3333 |  2497k|   4.3 |  96M| 181 |   - |5645 |  30k|   0 |   0 | 641k| 489k|8801 | 0.000000e+00 | 2.000000e+00 |    Inf 
1770.12/1770.19	c  1743s|590000 |  3319 |  2548k|   4.3 |  96M| 181 |   1 |5645 |  30k|5645 | 175 | 654k| 503k|8834 | 0.000000e+00 | 2.000000e+00 |    Inf 
1798.33/1798.38	c  1771s|600000 |  3330 |  2581k|   4.3 |  95M| 181 |   - |5645 |  27k|   0 |   0 | 660k| 516k|8876 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1772.13
1800.03/1800.00	c Solving Nodes      : 600612
1800.03/1800.00	c Primal Bound       : +2.00000000000000e+00 (262 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.08	s SATISFIABLE
1800.03/1800.08	v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.03/1800.08	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.03/1800.08	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 
1800.03/1800.08	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.03/1800.08	v -x146 -x145 x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.03/1800.08	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
1800.03/1800.08	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.03/1800.08	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 
1800.03/1800.08	v -x54 -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.03/1800.08	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.03/1800.08	v -x1 
1800.03/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.08	c Solving Time       :    1772.13
1800.03/1800.08	c Original Problem   :
1800.03/1800.08	c   Problem name     : HOME/instance-2692327-1277926298.wbo
1800.03/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.08	c   Constraints      : 5415 initial, 5415 maximal
1800.03/1800.08	c Presolved Problem  :
1800.03/1800.08	c   Problem name     : t_HOME/instance-2692327-1277926298.wbo
1800.03/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.08	c   Constraints      : 5414 initial, 38037 maximal
1800.03/1800.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.08	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.03/1800.08	c   indicator        :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.08	c   linear           :       0.02          0          0          0       2707          0          1          0          0
1800.03/1800.08	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.08	c   root node        :          -       2673          -          -       5346          -          -          -          -
1800.03/1800.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.08	c   integral         :          0          0          0     524873          0          0         77          0          0     465844
1800.03/1800.08	c   indicator        :       2707          0    2673254     291457          0       1130   14828118          0          0          0
1800.03/1800.08	c   linear           :       2707          6    2690567     291661          0     137895   11392291     661256          0          0
1800.03/1800.08	c   logicor          :          0+         0     824140          0          0      29800     845462          0          0          0
1800.03/1800.08	c   bounddisjunction :          0+         0      28866          0          0          0        985          0          0          0
1800.03/1800.08	c   countsols        :          0          0          0     193258          0          0          0          0          0          0
1800.03/1800.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.08	c   integral         :      17.05       0.00       0.00      17.05       0.00
1800.03/1800.08	c   indicator        :     108.58       0.01      46.87      61.70       0.00
1800.03/1800.08	c   linear           :     179.61       0.02     137.50      42.09       0.00
1800.03/1800.08	c   logicor          :     192.75       0.00     192.75       0.00       0.00
1800.03/1800.08	c   bounddisjunction :       0.06       0.00       0.06       0.00       0.00
1800.03/1800.08	c   countsols        :       0.05       0.00       0.00       0.05       0.00
1800.03/1800.08	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.08	c   vbounds          :       0.30          2          0          0
1800.03/1800.08	c   rootredcost      :       0.35         91          0       2673
1800.03/1800.08	c   pseudoobj        :     152.14    2720521      28317    8970075
1800.03/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.08	c   propagation      :      14.39     196012     195818    1227977       30.3      13922       14.2          -
1800.03/1800.08	c   infeasible LP    :       3.02       7826       7826      59718       42.6        105       18.6          0
1800.03/1800.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.08	c   pseudo solution  :       0.17        756        756       2758       12.4        339        6.0          -
1800.03/1800.08	c   applied globally :          -          -          -     516848       23.5          -          -          -
1800.03/1800.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.08	c   cut pool         :       0.00          3          -          -         30          -    (maximal pool size: 86)
1800.03/1800.08	c   redcost          :      57.28     532721          0    5525712          0          0
1800.03/1800.08	c   impliedbounds    :       0.00          4          0          0          0          0
1800.03/1800.08	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.08	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.08	c   gomory           :       0.02          4          0          0         86          0
1800.03/1800.08	c   strongcg         :       0.00          4          0          0          0          0
1800.03/1800.08	c   cmir             :       0.00          4          0          0          0          0
1800.03/1800.08	c   flowcover        :       0.03          4          0          0          0          0
1800.03/1800.08	c   clique           :       0.00          1          0          0          0          0
1800.03/1800.08	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.08	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.08	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.08	c Pricers            :       Time      Calls       Vars
1800.03/1800.08	c   problem variables:       0.00          0          0
1800.03/1800.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.08	c   relpscost        :      16.69     232987          0         77          0          0     465844
1800.03/1800.08	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   inference        :      54.37     193167          0          0          0          0     386334
1800.03/1800.08	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.08	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.08	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.08	c   LP solutions     :       0.64          -         91
1800.03/1800.08	c   pseudo solutions :       0.00          -          0
1800.03/1800.08	c   feaspump         :       0.00          0          0
1800.03/1800.08	c   oneopt           :       0.50         71          0
1800.03/1800.08	c   intshifting      :       0.06         10          0
1800.03/1800.08	c   crossover        :       3.34        115          0
1800.03/1800.08	c   guideddiving     :       7.84       4413          0
1800.03/1800.08	c   veclendiving     :       8.79       5749          0
1800.03/1800.08	c   coefdiving       :       8.47       5750          0
1800.03/1800.08	c   pscostdiving     :       9.00       5750          0
1800.03/1800.08	c   fracdiving       :       9.27       5750          0
1800.03/1800.08	c   linesearchdiving :       8.65       5750          0
1800.03/1800.08	c   objpscostdiving  :       8.83       5532          0
1800.03/1800.08	c   rootsoldiving    :       9.09       5549          0
1800.03/1800.08	c   trivial          :       0.08          2          2
1800.03/1800.08	c   simplerounding   :       0.58     235782          0
1800.03/1800.08	c   zirounding       :       0.43       1000          0
1800.03/1800.08	c   rounding         :       3.28       6856          0
1800.03/1800.08	c   shifting         :       2.36       2150          0
1800.03/1800.08	c   twoopt           :       0.00          0          0
1800.03/1800.08	c   fixandinfer      :       0.00          0          0
1800.03/1800.08	c   intdiving        :       0.00          0          0
1800.03/1800.08	c   actconsdiving    :       0.00          0          0
1800.03/1800.08	c   octane           :       0.00          0          0
1800.03/1800.08	c   rens             :       0.03          1          0
1800.03/1800.08	c   rins             :       0.00          0          0
1800.03/1800.08	c   localbranching   :       0.00          0          0
1800.03/1800.08	c   mutation         :       0.00          0          0
1800.03/1800.08	c   dins             :       0.00          0          0
1800.03/1800.08	c   undercover       :       0.00          0          0
1800.03/1800.08	c   nlp              :       0.10          0          0
1800.03/1800.08	c   trysol           :       2.38      11463        169
1800.03/1800.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.08	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.08	c   dual LP          :     444.70     362328    2580450       7.12    5802.68
1800.03/1800.08	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.08	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.08	c   diving/probing LP:       0.48        618       2701       4.37    5627.08
1800.03/1800.08	c   strong branching :      14.74       8876      80107       9.03    5434.67
1800.03/1800.08	c     (at root node) :          -         32       1061      33.16          -
1800.03/1800.08	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.08	c B&B Tree           :
1800.03/1800.08	c   number of runs   :          1
1800.03/1800.08	c   nodes            :     600612
1800.03/1800.08	c   nodes (total)    :     600612
1800.03/1800.08	c   nodes left       :       3330
1800.03/1800.08	c   max depth        :        181
1800.03/1800.08	c   max depth (total):        181
1800.03/1800.08	c   backtracks       :      44783 (7.5%)
1800.03/1800.08	c   delayed cutoffs  :      34193
1800.03/1800.08	c   repropagations   :    1056541 (5733731 domain reductions, 31222 cutoffs)
1800.03/1800.08	c   avg switch length:       5.50
1800.03/1800.08	c   switching time   :     199.26
1800.03/1800.08	c Solution           :
1800.03/1800.08	c   Solutions found  :        262 (92 improvements)
1800.03/1800.08	c   First Solution   : +1.37244000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.08	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 399295 nodes, 1124.67 seconds, depth 47, found by <relaxation>)
1800.03/1800.08	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.08	c   Gap              :   infinite
1800.03/1800.08	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.08	c   Root Iterations  :        106
1800.23/1800.24	c Time complete: 1800.27.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692327-1277926298/watcher-2692327-1277926298 -o /tmp/evaluation-result-2692327-1277926298/solver-2692327-1277926298 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692327-1277926298.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.06 2.05 2.01 4/176 15136
/proc/meminfo: memFree=29936860/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=9400 CPUtime=0
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 1648 0 0 0 0 0 0 0 25 0 1 0 133926425 9625600 1568 4089446400 4194304 8223781 140735189531968 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15136/statm: 2350 1568 369 984 0 1363 0

[startup+0.0654899 s]
/proc/loadavg: 2.06 2.05 2.01 4/176 15136
/proc/meminfo: memFree=29936860/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=34808 CPUtime=0.05
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 8014 0 0 0 5 0 0 0 25 0 1 0 133926425 35643392 7570 4089446400 4194304 8223781 140735189531968 18446744073709551615 4561351 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 8702 7570 422 984 0 7715 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 34808

[startup+0.100485 s]
/proc/loadavg: 2.06 2.05 2.01 4/176 15136
/proc/meminfo: memFree=29936860/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=35136 CPUtime=0.09
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 8088 0 0 0 9 0 0 0 25 0 1 0 133926425 35979264 7644 4089446400 4194304 8223781 140735189531968 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 8784 7644 422 984 0 7797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35136

[startup+0.300452 s]
/proc/loadavg: 2.06 2.05 2.01 4/176 15136
/proc/meminfo: memFree=29936860/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=42932 CPUtime=0.29
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 10623 0 0 0 27 2 0 0 18 0 1 0 133926425 43962368 9576 4089446400 4194304 8223781 140735189531968 18446744073709551615 5744292 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 10733 9576 561 984 0 9746 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42932

[startup+0.700379 s]
/proc/loadavg: 2.06 2.05 2.01 4/176 15136
/proc/meminfo: memFree=29936860/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=43076 CPUtime=0.69
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 15655 0 0 0 66 3 0 0 18 0 1 0 133926425 44109824 9710 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 10769 9710 575 984 0 9782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43076

[startup+1.50024 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 15137
/proc/meminfo: memFree=29897048/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=43396 CPUtime=1.49
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 15810 0 0 0 146 3 0 0 19 0 1 0 133926425 44437504 9864 4089446400 4194304 8223781 140735189531968 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 10849 9864 578 984 0 9862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43396

[startup+3.10097 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 15137
/proc/meminfo: memFree=29893204/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=50480 CPUtime=3.09
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 21866 0 0 0 303 6 0 0 23 0 1 0 133926425 51691520 11535 4089446400 4194304 8223781 140735189531968 18446744073709551615 4561458 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 12620 11535 581 984 0 11633 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50480

[startup+6.30041 s]
/proc/loadavg: 2.05 2.04 2.01 3/177 15137
/proc/meminfo: memFree=29883284/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=53140 CPUtime=6.29
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 27554 0 0 0 621 8 0 0 25 0 1 0 133926425 54415360 12163 4089446400 4194304 8223781 140735189531968 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 13285 12163 581 984 0 12298 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53140

[startup+12.7003 s]
/proc/loadavg: 2.05 2.04 2.01 3/177 15137
/proc/meminfo: memFree=29872628/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=59540 CPUtime=12.69
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 34239 0 0 0 1255 14 0 0 25 0 1 0 133926425 60968960 13760 4089446400 4194304 8223781 140735189531968 18446744073709551615 6456389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 14885 13760 581 984 0 13898 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59540

[startup+25.5011 s]
/proc/loadavg: 2.04 2.04 2.01 3/177 15138
/proc/meminfo: memFree=29843764/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=71592 CPUtime=25.49
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 47381 0 0 0 2525 24 0 0 25 0 1 0 133926425 73310208 16718 4089446400 4194304 8223781 140735189531968 18446744073709551615 4651583 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 17898 16718 581 984 0 16911 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71592

[startup+51.1006 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 15139
/proc/meminfo: memFree=29779252/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=96392 CPUtime=51.09
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 58717 0 0 0 5066 43 0 0 25 0 1 0 133926425 98705408 22976 4089446400 4194304 8223781 140735189531968 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 24098 22976 581 984 0 23111 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 96392

[startup+102.307 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 15143
/proc/meminfo: memFree=29642420/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=146464 CPUtime=102.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 76490 0 0 0 10145 85 0 0 25 0 1 0 133926425 149979136 35579 4089446400 4194304 8223781 140735189531968 18446744073709551615 6505963 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 36616 35579 581 984 0 35629 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 146464

[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 15144
/proc/meminfo: memFree=29493088/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=200952 CPUtime=162.29
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 95369 0 0 0 16096 133 0 0 25 0 1 0 133926425 205774848 49344 4089446400 4194304 8223781 140735189531968 18446744073709551615 6448670 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15136/statm: 50238 49344 581 984 0 49251 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 200952

[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 15146
/proc/meminfo: memFree=29363344/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=266804 CPUtime=222.29
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 112461 0 0 0 22050 179 0 0 25 0 1 0 133926425 273207296 65320 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 66701 65320 581 984 0 65714 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 266804

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 15148
/proc/meminfo: memFree=29239316/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=314420 CPUtime=282.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 172639 0 0 0 28000 230 0 0 25 0 1 0 133926425 321966080 77270 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 78605 77270 585 984 0 77618 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 314420

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15150
/proc/meminfo: memFree=29092824/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=366016 CPUtime=342.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 205615 0 0 0 33960 270 0 0 25 0 1 0 133926425 374800384 90003 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 91504 90003 585 984 0 90517 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 366016

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15151
/proc/meminfo: memFree=28942728/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=409596 CPUtime=402.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 243552 0 0 0 39913 317 0 0 25 0 1 0 133926425 419426304 100980 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 102399 100980 585 984 0 101412 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 409596

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15152
/proc/meminfo: memFree=28815084/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=465536 CPUtime=462.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 289412 0 0 0 45864 366 0 0 25 0 1 0 133926425 476708864 114778 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 116384 114778 585 984 0 115397 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 465536

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15154
/proc/meminfo: memFree=28693008/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=514624 CPUtime=522.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 342925 0 0 0 51812 418 0 0 25 0 1 0 133926425 526974976 126695 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 128656 126695 585 984 0 127669 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 514624

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15156
/proc/meminfo: memFree=28578020/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=554816 CPUtime=582.3
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 420789 0 0 0 57759 471 0 0 25 0 1 0 133926425 568131584 136477 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 138704 136477 585 984 0 137717 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 554816

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15158
/proc/meminfo: memFree=28457552/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=598544 CPUtime=642.31
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 497747 0 0 0 63708 523 0 0 25 0 1 0 133926425 612909056 146866 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 149636 146866 585 984 0 148649 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 598544

[startup+702.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15164
/proc/meminfo: memFree=28030908/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=718320 CPUtime=882.31
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 647887 0 0 0 87462 769 0 0 25 0 1 0 133926425 735559680 174297 4089446400 4194304 8223781 140735189531968 18446744073709551615 4218744 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 179580 174297 594 984 0 178593 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 718320

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15166
/proc/meminfo: memFree=27951880/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=736328 CPUtime=942.31
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 667964 0 0 0 93395 836 0 0 25 0 1 0 133926425 753999872 178344 4089446400 4194304 8223781 140735189531968 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15136/statm: 184082 178344 594 984 0 183095 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 736328

[startup+1002.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/195 15234
/proc/meminfo: memFree=30455880/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=748008 CPUtime=1002.31
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 710799 0 0 0 99280 951 0 0 25 0 1 0 133926425 765960192 180665 4089446400 4194304 8223781 140735189531968 18446744073709551615 6003322 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 187002 180665 595 984 0 186015 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 748008

[startup+1062.3 s]
/proc/loadavg: 2.17 2.04 2.01 3/195 15235
/proc/meminfo: memFree=30414728/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=750828 CPUtime=1062.31
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 781056 0 0 0 105088 1143 0 0 25 0 1 0 133926425 768847872 181308 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 187707 181308 595 984 0 186720 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 750828

[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/195 15237
/proc/meminfo: memFree=30375612/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=748132 CPUtime=1122.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 819357 0 0 0 110866 1366 0 0 25 0 1 0 133926425 766087168 180678 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 187033 180678 595 984 0 186046 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 748132

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 8/195 15239
/proc/meminfo: memFree=30331684/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=750064 CPUtime=1182.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 853594 0 0 0 116689 1543 0 0 25 0 1 0 133926425 768065536 181149 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 187516 181149 595 984 0 186529 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 750064

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/195 15241
/proc/meminfo: memFree=30291804/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=750948 CPUtime=1242.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 858249 0 0 0 122525 1707 0 0 25 0 1 0 133926425 768970752 181366 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 187737 181366 595 984 0 186750 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 750948

[startup+1302.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/195 15242
/proc/meminfo: memFree=30269820/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=753348 CPUtime=1302.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 863291 0 0 0 128406 1826 0 0 25 0 1 0 133926425 771428352 181930 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 188337 181930 595 984 0 187350 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 753348

[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/195 15243
/proc/meminfo: memFree=30251664/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=754084 CPUtime=1362.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 863471 0 0 0 134287 1945 0 0 25 0 1 0 133926425 772182016 182110 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 188521 182110 595 984 0 187534 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 754084

[startup+1422.31 s]
/proc/loadavg: 2.02 2.04 2.01 3/195 15245
/proc/meminfo: memFree=30204984/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=756088 CPUtime=1422.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 863978 0 0 0 140156 2076 0 0 25 0 1 0 133926425 774234112 182617 4089446400 4194304 8223781 140735189531968 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189022 182617 595 984 0 188035 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 756088

[startup+1482.3 s]
/proc/loadavg: 2.25 2.13 2.04 3/195 15247
/proc/meminfo: memFree=30168124/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=756588 CPUtime=1482.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 868896 0 0 0 146040 2192 0 0 25 0 1 0 133926425 774746112 182761 4089446400 4194304 8223781 140735189531968 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189147 182761 595 984 0 188160 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 756588

[startup+1542.3 s]
/proc/loadavg: 2.08 2.10 2.03 3/195 15249
/proc/meminfo: memFree=30127664/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=756728 CPUtime=1542.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 868934 0 0 0 151950 2282 0 0 25 0 1 0 133926425 774889472 182799 4089446400 4194304 8223781 140735189531968 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189182 182799 595 984 0 188195 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 756728

[startup+1602.3 s]
/proc/loadavg: 2.25 2.13 2.04 3/195 15250
/proc/meminfo: memFree=30098732/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=757180 CPUtime=1602.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 869030 0 0 0 157849 2383 0 0 25 0 1 0 133926425 775352320 182895 4089446400 4194304 8223781 140735189531968 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189295 182895 595 984 0 188308 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 757180

[startup+1662.3 s]
/proc/loadavg: 2.09 2.11 2.04 3/195 15251
/proc/meminfo: memFree=30054440/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=757288 CPUtime=1662.33
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 869063 0 0 0 163720 2513 0 0 25 0 1 0 133926425 775462912 182928 4089446400 4194304 8223781 140735189531968 18446744073709551615 5957160 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189322 182928 595 984 0 188335 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 757288

[startup+1722.3 s]
/proc/loadavg: 2.03 2.08 2.03 3/195 15253
/proc/meminfo: memFree=30012396/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=757324 CPUtime=1722.33
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 869077 0 0 0 169615 2618 0 0 25 0 1 0 133926425 775499776 182942 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189331 182942 595 984 0 188344 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 757324

[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.03 3/195 15264
/proc/meminfo: memFree=29969744/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=757576 CPUtime=1782.32
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 869125 0 0 0 175484 2748 0 0 25 0 1 0 133926425 775757824 182990 4089446400 4194304 8223781 140735189531968 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189394 182990 595 984 0 188407 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 757576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.06 2.02 3/195 15264
/proc/meminfo: memFree=29957284/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=757664 CPUtime=1800.03
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 869167 0 0 0 177216 2787 0 0 25 0 1 0 133926425 775847936 183032 4089446400 4194304 8223781 140735189531968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15136/statm: 189416 183032 595 984 0 188429 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 757664

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

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

[startup+1800.2 s]
/proc/loadavg: 2.01 2.06 2.02 3/195 15264
/proc/meminfo: memFree=29957284/32951132 swapFree=67111528/67111528
[pid=15136] ppid=15134 vsize=510524 CPUtime=1800.23
/proc/15136/stat : 15136 (pbscip.linux.x8) R 15134 15136 13279 0 -1 4202496 869169 0 0 0 177234 2789 0 0 18 0 1 0 133926425 522776576 121265 4089446400 4194304 8223781 140735189531968 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15136/statm: 127631 121265 597 984 0 126644 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 510524

Child status: 0
Real time (s): 1800.24
CPU time (s): 1800.28
CPU user time (s): 1772.37
CPU system time (s): 27.9118
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 774172

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

runsolver used 2.92455 second user time and 5.81611 second system time

The end

Launcher Data 

Begin job on node131 at 2010-06-30 21:31:38
IDJOB=2692327
IDBENCH=79268
IDSOLVER=1204
FILE ID=node131/2692327-1277926298
PBS_JOBID= 11197290
Free space on /tmp= 74136 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/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--soft-0-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-2692327-1277926298/watcher-2692327-1277926298 -o /tmp/evaluation-result-2692327-1277926298/solver-2692327-1277926298 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692327-1277926298.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 7333324480eb5267e10bc3c9063685b0
RANDOM SEED=513052644

node131.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	: 5332.82
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.82
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.76
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.83
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29937264 kB
Buffers:        211120 kB
Cached:        1141264 kB
SwapCached:          0 kB
Active:        2043884 kB
Inactive:       823064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29937264 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4700 kB
Writeback:           0 kB
AnonPages:     1514552 kB
Mapped:          16264 kB
Slab:            81036 kB
PageTables:       7852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1684440 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74136 MiB
End job on node131 at 2010-06-30 22:01:40