Trace number 2703517

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 NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1789.64 1790.2

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb
MD5SUMc68fa68a808b234260c8cfaf77f6d655
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3763
Total number of constraints453
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints453
Minimum length of a constraint2
Maximum length of a constraint138
Number of terms in the objective function 1925
Biggest coefficient in the objective function 3604480000000000
Number of bits for the biggest coefficient in the objective function 52
Sum of the numbers in the objective function 349617145499934465
Number of bits of the sum of numbers in the objective function 59
Biggest number in a constraint 1200000000000000000000
Number of bits of the biggest number in a constraint 71
Biggest sum of numbers in a constraint 4359960937500000284217
Number of bits of the biggest sum of numbers72
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703517-1278560667.opb>
0.00/0.05	c [src/scip/reader_opb.c:3100] Warning: there might be <38> coefficients or weight out of range!
0.00/0.05	c original problem has 3763 variables (3763 bin, 0 int, 0 impl, 0 cont) and 453 constraints
0.00/0.05	c problem read
0.00/0.05	c presolving settings loaded
0.08/0.09	c presolving:
0.09/0.10	c (round 1) 31 del vars, 0 del conss, 0 chg bounds, 575 chg sides, 572 chg coeffs, 0 upgd conss, 82 impls, 0 clqs
0.09/0.12	c (round 2) 31 del vars, 0 del conss, 0 chg bounds, 575 chg sides, 572 chg coeffs, 282 upgd conss, 82 impls, 0 clqs
0.39/0.45	c    (0.4s) probing: 750/3732 (20.1%) - 0 fixings, 2 aggregations, 88 implications, 0 bound changes
0.39/0.45	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.45	c (round 3) 33 del vars, 0 del conss, 0 chg bounds, 575 chg sides, 572 chg coeffs, 282 upgd conss, 1138 impls, 0 clqs
0.39/0.45	c (round 4) 33 del vars, 2 del conss, 0 chg bounds, 575 chg sides, 579 chg coeffs, 282 upgd conss, 1138 impls, 0 clqs
0.49/0.54	c    (0.5s) probing: 1000/3732 (26.8%) - 0 fixings, 2 aggregations, 384 implications, 0 bound changes
0.49/0.55	c    (0.5s) probing: 1060/3732 (28.4%) - 0 fixings, 2 aggregations, 384 implications, 0 bound changes
0.49/0.55	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.49/0.55	c presolving (5 rounds):
0.49/0.55	c  33 deleted vars, 2 deleted constraints, 0 tightened bounds, 0 added holes, 575 changed sides, 579 changed coefficients
0.49/0.55	c  1730 implications, 0 cliques
0.49/0.55	c presolved problem has 3730 variables (3730 bin, 0 int, 0 impl, 0 cont) and 451 constraints
0.49/0.55	c     239 constraints of type <knapsack>
0.49/0.55	c      41 constraints of type <setppc>
0.49/0.55	c     171 constraints of type <linear>
0.49/0.55	c transformed objective value is always integral (scale: 1)
0.49/0.55	c Presolving Time: 0.49
0.49/0.55	c - non default parameters ----------------------------------------------------------------------
0.49/0.55	c # SCIP version 1.2.1.3
0.49/0.55	c 
0.49/0.55	c # frequency for displaying node information lines
0.49/0.55	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.55	c display/freq = 10000
0.49/0.55	c 
0.49/0.55	c # maximal time in seconds to run
0.49/0.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.55	c limits/time = 1789.96
0.49/0.55	c 
0.49/0.55	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.55	c limits/memory = 1620
0.49/0.55	c 
0.49/0.55	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.55	c # [type: int, range: [1,2], default: 1]
0.49/0.55	c timing/clocktype = 2
0.49/0.55	c 
0.49/0.55	c # should presolving try to simplify inequalities
0.49/0.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55	c constraints/linear/simplifyinequalities = TRUE
0.49/0.55	c 
0.49/0.55	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55	c constraints/indicator/addCouplingCons = TRUE
0.49/0.55	c 
0.49/0.55	c # should presolving try to simplify knapsacks
0.49/0.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55	c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.55	c 
0.49/0.55	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.55	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.55	c separating/rapidlearning/freq = 0
0.49/0.55	c 
0.49/0.55	c -----------------------------------------------------------------------------------------------
0.49/0.55	c start solving
0.49/0.56	c 
0.59/0.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.60	c   0.6s|     1 |     2 |   376 |     - |  12M|   0 |   - |3730 | 451 |3730 | 451 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
15.89/15.94	c (node 129) unresolved numerical troubles in LP 683
42.98/43.09	c (node 364) unresolved numerical troubles in LP 1485
43.28/43.31	c (node 365) unresolved numerical troubles in LP 1489
43.48/43.53	c (node 366) unresolved numerical troubles in LP 1493
43.68/43.75	c (node 367) unresolved numerical troubles in LP 1497
43.89/43.97	c (node 368) unresolved numerical troubles in LP 1501
44.07/44.19	c (node 369) unresolved numerical troubles in LP 1505
50.18/50.22	c (node 420) unresolved numerical troubles in LP 1681
50.38/50.44	c (node 421) unresolved numerical troubles in LP 1685
50.59/50.67	c (node 422) unresolved numerical troubles in LP 1689
50.77/50.89	c (node 423) unresolved numerical troubles in LP 1693
110.36/110.48	c (node 1649) unresolved numerical troubles in LP 7629
120.15/120.29	c (node 1898) unresolved numerical troubles in LP 8697
137.15/137.28	c (node 2213) unresolved numerical troubles in LP 10063
137.45/137.54	c (node 2214) unresolved numerical troubles in LP 10067
168.34/168.46	c (node 3095) unresolved numerical troubles in LP 13176
168.54/168.70	c (node 3096) unresolved numerical troubles in LP 13180
168.84/168.93	c (node 3097) unresolved numerical troubles in LP 13184
169.05/169.16	c (node 3098) unresolved numerical troubles in LP 13188
169.25/169.40	c (node 3099) unresolved numerical troubles in LP 13192
179.33/179.42	c (node 3384) unresolved numerical troubles in LP 14349
184.84/184.94	c (node 3491) unresolved numerical troubles in LP 14657
185.03/185.18	c (node 3492) unresolved numerical troubles in LP 14661
185.34/185.42	c (node 3493) unresolved numerical troubles in LP 14665
185.63/185.77	c (node 3495) unresolved numerical troubles in LP 14672
208.93/209.10	c (node 4370) unresolved numerical troubles in LP 17777
214.22/214.39	c (node 4529) unresolved numerical troubles in LP 18191
218.32/218.44	c (node 4686) unresolved numerical troubles in LP 18678
245.22/245.34	c (node 5863) unresolved numerical troubles in LP 22563
266.12/266.25	c (node 6758) unresolved numerical troubles in LP 26372
285.81/285.92	c (node 7586) unresolved numerical troubles in LP 29235
286.01/286.19	c (node 7587) unresolved numerical troubles in LP 29239
293.11/293.26	c (node 7934) unresolved numerical troubles in LP 30421
293.41/293.50	c (node 7937) unresolved numerical troubles in LP 30427
305.60/305.78	c (node 8485) unresolved numerical troubles in LP 32429
320.39/320.58	c (node 9197) unresolved numerical troubles in LP 34710
320.69/320.88	c (node 9198) unresolved numerical troubles in LP 34714
321.00/321.19	c (node 9199) unresolved numerical troubles in LP 34718
321.30/321.49	c (node 9200) unresolved numerical troubles in LP 34722
340.39/340.56	c   341s| 10000 |  8456 |  1261k| 126.2 |  26M|  62 | 165 |3730 |1044 |3730 | 451 |   0 |1487 |  15k| 1.823212e+16 |      --      |    Inf 
344.99/345.15	c (node 10214) unresolved numerical troubles in LP 37818
347.19/347.33	c (node 10296) unresolved numerical troubles in LP 38107
351.28/351.47	c (node 10442) unresolved numerical troubles in LP 38610
355.89/356.01	c (node 10585) unresolved numerical troubles in LP 39151
356.09/356.25	c (node 10586) unresolved numerical troubles in LP 39155
363.68/363.86	c (node 10934) unresolved numerical troubles in LP 40344
377.57/377.73	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
397.47/397.60	c (node 12262) unresolved numerical troubles in LP 45239
397.67/397.87	c (node 12263) unresolved numerical troubles in LP 45243
408.86/409.02	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
411.17/411.34	c (node 12921) unresolved numerical troubles in LP 47482
442.16/442.38	c (node 14321) unresolved numerical troubles in LP 52119
443.76/443.94	c (node 14379) unresolved numerical troubles in LP 52273
445.36/445.51	c (node 14432) unresolved numerical troubles in LP 52407
446.37/446.59	c (node 14466) unresolved numerical troubles in LP 52479
446.76/446.95	c (node 14467) unresolved numerical troubles in LP 52483
448.26/448.46	c (node 14521) unresolved numerical troubles in LP 52633
448.57/448.77	c (node 14522) unresolved numerical troubles in LP 52637
448.86/449.09	c (node 14523) unresolved numerical troubles in LP 52641
449.26/449.40	c (node 14524) unresolved numerical troubles in LP 52645
454.26/454.44	c (node 14653) unresolved numerical troubles in LP 52991
460.96/461.16	c (node 14883) unresolved numerical troubles in LP 53624
466.05/466.21	c (node 15050) unresolved numerical troubles in LP 54067
469.05/469.26	c (node 15119) unresolved numerical troubles in LP 54254
469.35/469.55	c (node 15120) unresolved numerical troubles in LP 54258
482.94/483.17	c (node 15583) unresolved numerical troubles in LP 55546
483.14/483.37	c (node 15584) unresolved numerical troubles in LP 55550
483.35/483.58	c (node 15585) unresolved numerical troubles in LP 55554
487.94/488.18	c (node 15749) unresolved numerical troubles in LP 56040
490.05/490.28	c (node 15807) unresolved numerical troubles in LP 56155
491.75/491.92	c (node 15859) unresolved numerical troubles in LP 56308
492.75/492.92	c (node 15874) unresolved numerical troubles in LP 56346
510.54/510.75	c (node 16589) unresolved numerical troubles in LP 58434
510.84/511.09	c (node 16590) unresolved numerical troubles in LP 58438
511.25/511.43	c (node 16591) unresolved numerical troubles in LP 58442
511.54/511.77	c (node 16592) unresolved numerical troubles in LP 58446
516.94/517.13	c (node 16797) unresolved numerical troubles in LP 59089
519.43/519.64	c (node 16875) unresolved numerical troubles in LP 59348
519.73/519.90	c (node 16877) unresolved numerical troubles in LP 59353
519.94/520.17	c (node 16878) unresolved numerical troubles in LP 59357
520.23/520.43	c (node 16879) unresolved numerical troubles in LP 59361
520.43/520.69	c (node 16880) unresolved numerical troubles in LP 59365
532.73/532.90	c (node 17161) unresolved numerical troubles in LP 60405
536.73/536.96	c (node 17221) unresolved numerical troubles in LP 60634
563.42/563.63	c (node 18173) unresolved numerical troubles in LP 64005
564.22/564.45	c (node 18186) unresolved numerical troubles in LP 64034
568.22/568.48	c (node 18360) unresolved numerical troubles in LP 64685
568.53/568.71	c (node 18361) unresolved numerical troubles in LP 64689
568.72/568.95	c (node 18362) unresolved numerical troubles in LP 64693
569.32/569.50	c (node 18365) unresolved numerical troubles in LP 64703
574.12/574.37	c (node 18562) unresolved numerical troubles in LP 65310
574.42/574.69	c (node 18563) unresolved numerical troubles in LP 65314
587.41/587.68	c (node 18935) unresolved numerical troubles in LP 66613
593.21/593.43	c (node 19105) unresolved numerical troubles in LP 67212
594.82/595.01	c (node 19156) unresolved numerical troubles in LP 67399
609.21/609.46	c (node 19797) unresolved numerical troubles in LP 69667
614.11/614.40	c   614s| 20000 | 16921 |  2413k| 120.7 |  41M|  62 |   - |3730 |1297 |   0 |   0 |   0 |3124 |  24k| 1.962414e+16 |      --      |    Inf 
619.71/619.98	c (node 20161) unresolved numerical troubles in LP 70777
620.12/620.33	c (node 20162) unresolved numerical troubles in LP 70781
629.60/629.86	c (node 20511) unresolved numerical troubles in LP 71826
629.90/630.12	c (node 20512) unresolved numerical troubles in LP 71830
639.20/639.47	c (node 20853) unresolved numerical troubles in LP 72835
639.60/639.83	c (node 20854) unresolved numerical troubles in LP 72839
656.69/656.90	c (node 21495) unresolved numerical troubles in LP 74856
657.00/657.24	c (node 21496) unresolved numerical troubles in LP 74860
657.30/657.55	c (node 21497) unresolved numerical troubles in LP 74864
658.79/659.01	c (node 21551) unresolved numerical troubles in LP 74981
659.09/659.34	c (node 21552) unresolved numerical troubles in LP 74985
665.30/665.59	c (node 21683) unresolved numerical troubles in LP 75442
669.49/669.77	c (node 21743) unresolved numerical troubles in LP 75598
674.09/674.37	c (node 21759) unresolved numerical troubles in LP 75677
674.49/674.71	c (node 21760) unresolved numerical troubles in LP 75681
674.78/675.05	c (node 21761) unresolved numerical troubles in LP 75685
675.09/675.39	c (node 21762) unresolved numerical troubles in LP 75689
675.48/675.73	c (node 21763) unresolved numerical troubles in LP 75693
675.78/676.07	c (node 21764) unresolved numerical troubles in LP 75697
676.19/676.41	c (node 21765) unresolved numerical troubles in LP 75701
676.49/676.75	c (node 21766) unresolved numerical troubles in LP 75705
679.19/679.44	c (node 21780) unresolved numerical troubles in LP 75751
679.49/679.77	c (node 21781) unresolved numerical troubles in LP 75755
679.89/680.11	c (node 21782) unresolved numerical troubles in LP 75759
680.18/680.45	c (node 21783) unresolved numerical troubles in LP 75763
680.49/680.78	c (node 21784) unresolved numerical troubles in LP 75767
680.88/681.12	c (node 21785) unresolved numerical troubles in LP 75771
681.18/681.46	c (node 21786) unresolved numerical troubles in LP 75775
681.48/681.78	c (node 21787) unresolved numerical troubles in LP 75779
681.88/682.16	c (node 21788) unresolved numerical troubles in LP 75783
682.29/682.55	c (node 21789) unresolved numerical troubles in LP 75787
683.09/683.31	c (node 21797) unresolved numerical troubles in LP 75806
683.28/683.54	c (node 21798) unresolved numerical troubles in LP 75810
683.49/683.78	c (node 21799) unresolved numerical troubles in LP 75814
684.89/685.18	c (node 21809) unresolved numerical troubles in LP 75843
685.48/685.78	c (node 21812) unresolved numerical troubles in LP 75853
685.88/686.11	c (node 21813) unresolved numerical troubles in LP 75857
697.19/697.47	c (node 22015) unresolved numerical troubles in LP 76469
697.48/697.78	c (node 22016) unresolved numerical troubles in LP 76473
698.08/698.37	c (node 22018) unresolved numerical troubles in LP 76482
698.38/698.62	c (node 22019) unresolved numerical troubles in LP 76486
698.58/698.86	c (node 22020) unresolved numerical troubles in LP 76490
698.88/699.11	c (node 22021) unresolved numerical troubles in LP 76494
700.58/700.84	c (node 22032) unresolved numerical troubles in LP 76525
700.78/701.07	c (node 22033) unresolved numerical troubles in LP 76529
701.88/702.16	c (node 22037) unresolved numerical troubles in LP 76546
702.27/702.50	c (node 22038) unresolved numerical troubles in LP 76550
702.47/702.74	c (node 22039) unresolved numerical troubles in LP 76554
702.69/702.98	c (node 22040) unresolved numerical troubles in LP 76558
703.48/703.79	c (node 22048) unresolved numerical troubles in LP 76576
703.87/704.11	c (node 22049) unresolved numerical troubles in LP 76580
704.17/704.44	c (node 22050) unresolved numerical troubles in LP 76584
704.79/705.08	c (node 22052) unresolved numerical troubles in LP 76593
705.08/705.40	c (node 22053) unresolved numerical troubles in LP 76597
705.37/705.64	c (node 22054) unresolved numerical troubles in LP 76601
705.58/705.89	c (node 22055) unresolved numerical troubles in LP 76605
705.88/706.15	c (node 22056) unresolved numerical troubles in LP 76609
707.18/707.43	c (node 22066) unresolved numerical troubles in LP 76634
707.47/707.75	c (node 22067) unresolved numerical troubles in LP 76638
707.78/708.08	c (node 22068) unresolved numerical troubles in LP 76642
708.18/708.41	c (node 22069) unresolved numerical troubles in LP 76646
708.47/708.72	c (node 22070) unresolved numerical troubles in LP 76650
708.78/709.04	c (node 22071) unresolved numerical troubles in LP 76654
709.07/709.39	c (node 22072) unresolved numerical troubles in LP 76658
718.27/718.53	c (node 22306) unresolved numerical troubles in LP 77307
718.57/718.88	c (node 22307) unresolved numerical troubles in LP 77311
719.18/719.47	c (node 22314) unresolved numerical troubles in LP 77326
719.58/719.83	c (node 22315) unresolved numerical troubles in LP 77330
719.88/720.18	c (node 22316) unresolved numerical troubles in LP 77334
723.98/724.23	c (node 22417) unresolved numerical troubles in LP 77663
724.87/725.12	c (node 22454) unresolved numerical troubles in LP 77756
726.37/726.61	c (node 22459) unresolved numerical troubles in LP 77780
733.87/734.18	c (node 22562) unresolved numerical troubles in LP 78123
734.27/734.55	c (node 22563) unresolved numerical troubles in LP 78127
734.67/734.91	c (node 22564) unresolved numerical troubles in LP 78131
739.07/739.35	c (node 22723) unresolved numerical troubles in LP 78554
748.97/749.27	c (node 23044) unresolved numerical troubles in LP 79579
749.87/750.15	c (node 23065) unresolved numerical troubles in LP 79639
757.96/758.22	c (node 23361) unresolved numerical troubles in LP 80503
764.27/764.57	c (node 23592) unresolved numerical troubles in LP 81305
764.86/765.16	c (node 23605) unresolved numerical troubles in LP 81344
770.06/770.34	c (node 23835) unresolved numerical troubles in LP 82024
770.36/770.68	c (node 23836) unresolved numerical troubles in LP 82028
770.77/771.02	c (node 23837) unresolved numerical troubles in LP 82032
771.06/771.36	c (node 23838) unresolved numerical troubles in LP 82036
771.36/771.67	c (node 23839) unresolved numerical troubles in LP 82040
771.65/771.94	c (node 23840) unresolved numerical troubles in LP 82044
779.57/779.83	c (node 24177) unresolved numerical troubles in LP 83081
779.86/780.14	c (node 24178) unresolved numerical troubles in LP 83085
795.45/795.78	c (node 24888) unresolved numerical troubles in LP 85344
795.74/796.02	c (node 24889) unresolved numerical troubles in LP 85348
797.15/797.44	c (node 24899) unresolved numerical troubles in LP 85384
797.35/797.68	c (node 24900) unresolved numerical troubles in LP 85388
802.25/802.53	c (node 25065) unresolved numerical troubles in LP 85883
802.55/802.87	c (node 25066) unresolved numerical troubles in LP 85887
802.95/803.22	c (node 25067) unresolved numerical troubles in LP 85891
803.64/803.99	c (node 25076) unresolved numerical troubles in LP 85918
804.04/804.34	c (node 25077) unresolved numerical troubles in LP 85922
804.34/804.69	c (node 25078) unresolved numerical troubles in LP 85926
806.74/807.06	c (node 25120) unresolved numerical troubles in LP 86041
807.24/807.53	c (node 25128) unresolved numerical troubles in LP 86063
807.54/807.88	c (node 25129) unresolved numerical troubles in LP 86067
807.94/808.23	c (node 25130) unresolved numerical troubles in LP 86071
808.24/808.58	c (node 25131) unresolved numerical troubles in LP 86075
808.84/809.11	c (node 25139) unresolved numerical troubles in LP 86098
810.24/810.60	c (node 25150) unresolved numerical troubles in LP 86127
811.55/811.89	c (node 25173) unresolved numerical troubles in LP 86178
811.74/812.09	c (node 25174) unresolved numerical troubles in LP 86182
815.64/815.98	c (node 25281) unresolved numerical troubles in LP 86496
815.95/816.21	c (node 25282) unresolved numerical troubles in LP 86500
817.14/817.47	c (node 25301) unresolved numerical troubles in LP 86539
817.84/818.11	c (node 25303) unresolved numerical troubles in LP 86548
821.24/821.60	c (node 25321) unresolved numerical troubles in LP 86711
821.63/821.92	c (node 25322) unresolved numerical troubles in LP 86715
822.74/823.02	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
825.14/825.45	c (node 25379) unresolved numerical troubles in LP 86872
827.63/827.99	c (node 25476) unresolved numerical troubles in LP 87279
828.24/828.53	c (node 25479) unresolved numerical troubles in LP 87289
832.94/833.23	c (node 25623) unresolved numerical troubles in LP 87786
834.54/834.86	c (node 25658) unresolved numerical troubles in LP 87896
836.43/836.74	c (node 25671) unresolved numerical troubles in LP 87936
838.73/839.03	c (node 25686) unresolved numerical troubles in LP 87989
839.04/839.34	c (node 25687) unresolved numerical troubles in LP 87993
848.22/848.52	c (node 26037) unresolved numerical troubles in LP 89046
856.03/856.40	c (node 26323) unresolved numerical troubles in LP 89982
857.03/857.31	c (node 26352) unresolved numerical troubles in LP 90060
858.73/859.09	c (node 26380) unresolved numerical troubles in LP 90155
859.13/859.44	c (node 26382) unresolved numerical troubles in LP 90161
859.63/859.98	c (node 26388) unresolved numerical troubles in LP 90174
861.03/861.33	c (node 26398) unresolved numerical troubles in LP 90224
865.82/866.16	c (node 26515) unresolved numerical troubles in LP 90584
876.33/876.70	c (node 26768) unresolved numerical troubles in LP 91393
876.72/877.03	c (node 26769) unresolved numerical troubles in LP 91397
877.22/877.52	c (node 26777) unresolved numerical troubles in LP 91411
877.53/877.83	c (node 26778) unresolved numerical troubles in LP 91415
884.22/884.59	c (node 27016) unresolved numerical troubles in LP 92101
888.11/888.43	c (node 27174) unresolved numerical troubles in LP 92557
891.82/892.17	c (node 27203) unresolved numerical troubles in LP 92645
892.82/893.12	c (node 27225) unresolved numerical troubles in LP 92736
901.02/901.30	c (node 27519) unresolved numerical troubles in LP 93569
901.31/901.63	c (node 27520) unresolved numerical troubles in LP 93573
909.11/909.41	c (node 27788) unresolved numerical troubles in LP 94336
910.01/910.34	c (node 27795) unresolved numerical troubles in LP 94368
910.42/910.71	c (node 27796) unresolved numerical troubles in LP 94372
912.82/913.10	c (node 27818) unresolved numerical troubles in LP 94457
933.11/933.46	c (node 28617) unresolved numerical troubles in LP 96819
937.60/937.95	c (node 28757) unresolved numerical troubles in LP 97277
939.71/940.03	c (node 28829) unresolved numerical troubles in LP 97637
944.61/944.91	c (node 29113) unresolved numerical troubles in LP 98385
944.90/945.28	c (node 29114) unresolved numerical troubles in LP 98389
946.90/947.26	c (node 29216) unresolved numerical troubles in LP 98630
947.20/947.50	c (node 29217) unresolved numerical troubles in LP 98634
948.20/948.53	c (node 29255) unresolved numerical troubles in LP 98724
948.50/948.81	c (node 29256) unresolved numerical troubles in LP 98728
966.69/967.08	c   967s| 30000 | 25296 |  4122k| 137.4 |  55M|  62 | 170 |3730 |1335 |3730 | 451 |   0 |4706 |  34k| 1.962414e+16 |      --      |    Inf 
967.20/967.53	c (node 30008) unresolved numerical troubles in LP 100984
967.49/967.84	c (node 30009) unresolved numerical troubles in LP 100988
967.80/968.15	c (node 30010) unresolved numerical troubles in LP 100992
968.09/968.46	c (node 30011) unresolved numerical troubles in LP 100996
968.40/968.77	c (node 30012) unresolved numerical troubles in LP 101000
969.39/969.78	c (node 30015) unresolved numerical troubles in LP 101014
969.80/970.10	c (node 30018) unresolved numerical troubles in LP 101020
973.10/973.50	c (node 30039) unresolved numerical troubles in LP 101088
974.39/974.70	c (node 30043) unresolved numerical troubles in LP 101107
974.59/974.94	c (node 30044) unresolved numerical troubles in LP 101111
977.60/977.99	c (node 30089) unresolved numerical troubles in LP 101198
982.79/983.11	c (node 30190) unresolved numerical troubles in LP 101566
986.29/986.67	c (node 30211) unresolved numerical troubles in LP 101632
986.69/987.01	c (node 30212) unresolved numerical troubles in LP 101636
986.99/987.36	c (node 30213) unresolved numerical troubles in LP 101640
988.09/988.43	c (node 30216) unresolved numerical troubles in LP 101654
988.39/988.77	c (node 30217) unresolved numerical troubles in LP 101658
988.79/989.11	c (node 30218) unresolved numerical troubles in LP 101662
991.49/991.85	c (node 30227) unresolved numerical troubles in LP 101703
992.18/992.52	c (node 30229) unresolved numerical troubles in LP 101712
992.48/992.86	c (node 30230) unresolved numerical troubles in LP 101716
993.09/993.43	c (node 30239) unresolved numerical troubles in LP 101732
993.79/994.11	c (node 30241) unresolved numerical troubles in LP 101741
994.47/994.81	c (node 30243) unresolved numerical troubles in LP 101750
994.77/995.15	c (node 30244) unresolved numerical troubles in LP 101754
1003.98/1004.35	c (node 30375) unresolved numerical troubles in LP 102061
1004.28/1004.68	c (node 30376) unresolved numerical troubles in LP 102065
1005.57/1005.99	c (node 30385) unresolved numerical troubles in LP 102096
1005.98/1006.32	c (node 30386) unresolved numerical troubles in LP 102100
1006.27/1006.66	c (node 30387) unresolved numerical troubles in LP 102104
1006.57/1006.99	c (node 30388) unresolved numerical troubles in LP 102108
1006.97/1007.32	c (node 30389) unresolved numerical troubles in LP 102112
1007.27/1007.66	c (node 30390) unresolved numerical troubles in LP 102116
1007.67/1008.01	c (node 30391) unresolved numerical troubles in LP 102120
1011.27/1011.69	c (node 30403) unresolved numerical troubles in LP 102176
1015.56/1015.97	c (node 30417) unresolved numerical troubles in LP 102240
1015.98/1016.32	c (node 30418) unresolved numerical troubles in LP 102244
1016.27/1016.67	c (node 30419) unresolved numerical troubles in LP 102248
1016.67/1017.02	c (node 30420) unresolved numerical troubles in LP 102252
1017.57/1017.94	c (node 30428) unresolved numerical troubles in LP 102274
1018.18/1018.60	c (node 30430) unresolved numerical troubles in LP 102283
1027.86/1028.22	c (node 30523) unresolved numerical troubles in LP 102579
1028.17/1028.51	c (node 30524) unresolved numerical troubles in LP 102583
1028.47/1028.80	c (node 30525) unresolved numerical troubles in LP 102587
1037.36/1037.71	c (node 30633) unresolved numerical troubles in LP 102881
1041.16/1041.58	c (node 30757) unresolved numerical troubles in LP 103278
1045.06/1045.43	c (node 30891) unresolved numerical troubles in LP 103691
1045.76/1046.10	c (node 30894) unresolved numerical troubles in LP 103701
1054.85/1055.30	c (node 31273) unresolved numerical troubles in LP 105046
1055.25/1055.62	c (node 31274) unresolved numerical troubles in LP 105050
1056.26/1056.62	c (node 31302) unresolved numerical troubles in LP 105138
1057.26/1057.68	c (node 31347) unresolved numerical troubles in LP 105242
1059.25/1059.61	c (node 31414) unresolved numerical troubles in LP 105468
1060.96/1061.35	c (node 31449) unresolved numerical troubles in LP 105556
1063.96/1064.32	c (node 31493) unresolved numerical troubles in LP 105679
1064.76/1065.11	c (node 31502) unresolved numerical troubles in LP 105706
1065.46/1065.80	c (node 31504) unresolved numerical troubles in LP 105715
1065.95/1066.37	c (node 31512) unresolved numerical troubles in LP 105742
1066.26/1066.69	c (node 31513) unresolved numerical troubles in LP 105746
1069.96/1070.38	c (node 31631) unresolved numerical troubles in LP 106213
1072.95/1073.34	c (node 31704) unresolved numerical troubles in LP 106419
1081.65/1082.02	c (node 31971) unresolved numerical troubles in LP 107197
1084.35/1084.77	c (node 32048) unresolved numerical troubles in LP 107465
1086.95/1087.31	c (node 32153) unresolved numerical troubles in LP 107810
1098.04/1098.47	c (node 32622) unresolved numerical troubles in LP 109117
1098.95/1099.33	c (node 32652) unresolved numerical troubles in LP 109204
1105.84/1106.22	c (node 32898) unresolved numerical troubles in LP 109834
1106.15/1106.56	c (node 32899) unresolved numerical troubles in LP 109838
1106.44/1106.89	c (node 32900) unresolved numerical troubles in LP 109842
1106.84/1107.29	c (node 32907) unresolved numerical troubles in LP 109854
1107.25/1107.62	c (node 32908) unresolved numerical troubles in LP 109858
1107.54/1107.96	c (node 32909) unresolved numerical troubles in LP 109862
1107.94/1108.30	c (node 32910) unresolved numerical troubles in LP 109866
1111.24/1111.67	c (node 32964) unresolved numerical troubles in LP 110070
1112.85/1113.22	c (node 32991) unresolved numerical troubles in LP 110121
1122.53/1122.91	c (node 33268) unresolved numerical troubles in LP 110955
1137.53/1138.00	c (node 33781) unresolved numerical troubles in LP 112270
1137.93/1138.34	c (node 33782) unresolved numerical troubles in LP 112274
1148.52/1148.93	c (node 34110) unresolved numerical troubles in LP 113199
1148.82/1149.22	c (node 34111) unresolved numerical troubles in LP 113203
1152.53/1152.96	c (node 34245) unresolved numerical troubles in LP 113598
1152.82/1153.22	c (node 34246) unresolved numerical troubles in LP 113602
1153.03/1153.48	c (node 34247) unresolved numerical troubles in LP 113606
1156.74/1157.13	c (node 34321) unresolved numerical troubles in LP 113796
1157.73/1158.10	c (node 34352) unresolved numerical troubles in LP 113920
1160.73/1161.10	c (node 34457) unresolved numerical troubles in LP 114266
1161.02/1161.44	c (node 34458) unresolved numerical troubles in LP 114270
1161.72/1162.11	c (node 34460) unresolved numerical troubles in LP 114279
1162.02/1162.45	c (node 34461) unresolved numerical troubles in LP 114283
1167.72/1168.11	c (node 34667) unresolved numerical troubles in LP 114850
1168.02/1168.44	c (node 34668) unresolved numerical troubles in LP 114854
1168.32/1168.77	c (node 34669) unresolved numerical troubles in LP 114858
1168.62/1169.10	c (node 34670) unresolved numerical troubles in LP 114862
1170.92/1171.38	c (node 34694) unresolved numerical troubles in LP 114930
1172.62/1173.02	c (node 34721) unresolved numerical troubles in LP 115135
1174.12/1174.53	c (node 34734) unresolved numerical troubles in LP 115181
1183.62/1184.06	c (node 35131) unresolved numerical troubles in LP 116173
1186.01/1186.42	c (node 35231) unresolved numerical troubles in LP 116372
1187.53/1187.90	c (node 35239) unresolved numerical troubles in LP 116400
1190.22/1190.65	c (node 35364) unresolved numerical troubles in LP 116712
1191.52/1191.92	c (node 35368) unresolved numerical troubles in LP 116731
1198.42/1198.86	c (node 35607) unresolved numerical troubles in LP 117247
1199.81/1200.25	c (node 35632) unresolved numerical troubles in LP 117324
1200.41/1200.87	c (node 35636) unresolved numerical troubles in LP 117334
1206.11/1206.58	c (node 35792) unresolved numerical troubles in LP 117728
1206.71/1207.11	c (node 35795) unresolved numerical troubles in LP 117737
1206.90/1207.34	c (node 35796) unresolved numerical troubles in LP 117741
1207.61/1208.06	c (node 35801) unresolved numerical troubles in LP 117755
1208.71/1209.19	c (node 35832) unresolved numerical troubles in LP 117840
1211.01/1211.48	c (node 35916) unresolved numerical troubles in LP 118081
1214.50/1214.92	c (node 35975) unresolved numerical troubles in LP 118284
1214.80/1215.21	c (node 35976) unresolved numerical troubles in LP 118288
1217.40/1217.87	c (node 36101) unresolved numerical troubles in LP 118598
1218.21/1218.63	c (node 36121) unresolved numerical troubles in LP 118664
1219.11/1219.59	c (node 36124) unresolved numerical troubles in LP 118678
1219.42/1219.89	c (node 36125) unresolved numerical troubles in LP 118682
1219.71/1220.18	c (node 36126) unresolved numerical troubles in LP 118686
1220.01/1220.47	c (node 36127) unresolved numerical troubles in LP 118690
1225.60/1226.02	c (node 36331) unresolved numerical troubles in LP 119284
1228.00/1228.49	c (node 36422) unresolved numerical troubles in LP 119561
1232.20/1232.61	c (node 36591) unresolved numerical troubles in LP 120014
1242.51/1243.00	c (node 37012) unresolved numerical troubles in LP 121120
1242.79/1243.28	c (node 37013) unresolved numerical troubles in LP 121124
1245.50/1245.94	c (node 37110) unresolved numerical troubles in LP 121346
1245.80/1246.26	c (node 37111) unresolved numerical troubles in LP 121350
1246.10/1246.58	c (node 37112) unresolved numerical troubles in LP 121354
1250.31/1250.78	c (node 37272) unresolved numerical troubles in LP 121749
1252.59/1253.03	c (node 37381) unresolved numerical troubles in LP 122031
1254.30/1254.77	c (node 37465) unresolved numerical troubles in LP 122230
1263.08/1263.59	c (node 37808) unresolved numerical troubles in LP 123138
1263.49/1263.93	c (node 37809) unresolved numerical troubles in LP 123142
1266.69/1267.18	c (node 37956) unresolved numerical troubles in LP 123459
1271.69/1272.16	c (node 38101) unresolved numerical troubles in LP 123893
1276.88/1277.39	c (node 38304) unresolved numerical troubles in LP 124395
1277.19/1277.62	c (node 38305) unresolved numerical troubles in LP 124399
1279.09/1279.51	c (node 38335) unresolved numerical troubles in LP 124476
1291.88/1292.30	c (node 38849) unresolved numerical troubles in LP 126002
1292.18/1292.64	c (node 38850) unresolved numerical troubles in LP 126006
1292.48/1292.97	c (node 38851) unresolved numerical troubles in LP 126010
1301.98/1302.45	c (node 39181) unresolved numerical troubles in LP 126992
1306.08/1306.59	c (node 39311) unresolved numerical troubles in LP 127332
1307.68/1308.13	c (node 39346) unresolved numerical troubles in LP 127409
1307.97/1308.48	c (node 39347) unresolved numerical troubles in LP 127413
1311.57/1312.05	c (node 39491) unresolved numerical troubles in LP 127971
1312.17/1312.64	c (node 39493) unresolved numerical troubles in LP 127980
1312.47/1312.93	c (node 39494) unresolved numerical troubles in LP 127984
1317.97/1318.41	c (node 39633) unresolved numerical troubles in LP 128345
1318.27/1318.75	c (node 39635) unresolved numerical troubles in LP 128352
1321.37/1321.86	c (node 39721) unresolved numerical troubles in LP 128638
1321.87/1322.32	c (node 39727) unresolved numerical troubles in LP 128648
1323.47/1323.91	c (node 39761) unresolved numerical troubles in LP 128752
1323.67/1324.19	c (node 39762) unresolved numerical troubles in LP 128756
1327.67/1328.15	c (node 39947) unresolved numerical troubles in LP 129218
1330.36/1330.85	c  1331s| 40000 | 33569 |  6053k| 151.3 |  69M|  64 | 165 |3730 |1560 |3730 | 451 |   0 |6683 |  44k| 1.962414e+16 |      --      |    Inf 
1341.06/1341.54	c (node 40301) unresolved numerical troubles in LP 130461
1345.56/1346.02	c (node 40478) unresolved numerical troubles in LP 130942
1347.66/1348.18	c (node 40537) unresolved numerical troubles in LP 131072
1348.66/1349.17	c (node 40588) unresolved numerical troubles in LP 131196
1351.26/1351.78	c (node 40676) unresolved numerical troubles in LP 131500
1352.26/1352.72	c (node 40681) unresolved numerical troubles in LP 131526
1353.56/1354.04	c (node 40692) unresolved numerical troubles in LP 131565
1353.86/1354.39	c (node 40693) unresolved numerical troubles in LP 131569
1355.26/1355.70	c (node 40704) unresolved numerical troubles in LP 131599
1355.46/1355.94	c (node 40705) unresolved numerical troubles in LP 131603
1355.77/1356.28	c (node 40706) unresolved numerical troubles in LP 131607
1356.16/1356.62	c (node 40707) unresolved numerical troubles in LP 131611
1356.46/1356.96	c (node 40708) unresolved numerical troubles in LP 131615
1357.46/1357.91	c (node 40732) unresolved numerical troubles in LP 131685
1358.07/1358.55	c (node 40740) unresolved numerical troubles in LP 131702
1361.65/1362.11	c (node 40895) unresolved numerical troubles in LP 132090
1364.95/1365.40	c (node 41041) unresolved numerical troubles in LP 132470
1365.76/1366.26	c (node 41059) unresolved numerical troubles in LP 132498
1366.06/1366.59	c (node 41060) unresolved numerical troubles in LP 132502
1366.55/1367.00	c (node 41062) unresolved numerical troubles in LP 132508
1384.25/1384.77	c (node 41631) unresolved numerical troubles in LP 134137
1384.55/1385.04	c (node 41632) unresolved numerical troubles in LP 134141
1387.25/1387.71	c (node 41751) unresolved numerical troubles in LP 134424
1391.06/1391.57	c (node 41841) unresolved numerical troubles in LP 134756
1395.15/1395.68	c (node 42036) unresolved numerical troubles in LP 135294
1395.54/1396.02	c (node 42037) unresolved numerical troubles in LP 135298
1397.44/1397.96	c (node 42101) unresolved numerical troubles in LP 135458
1397.95/1398.49	c (node 42108) unresolved numerical troubles in LP 135479
1404.84/1405.35	c (node 42355) unresolved numerical troubles in LP 136100
1408.56/1409.02	c (node 42519) unresolved numerical troubles in LP 136503
1411.04/1411.59	c (node 42554) unresolved numerical troubles in LP 136607
1411.44/1411.95	c (node 42555) unresolved numerical troubles in LP 136611
1413.34/1413.80	c (node 42605) unresolved numerical troubles in LP 136779
1419.84/1420.34	c (node 42915) unresolved numerical troubles in LP 137622
1423.24/1423.72	c (node 43062) unresolved numerical troubles in LP 138017
1429.94/1430.44	c (node 43333) unresolved numerical troubles in LP 138851
1433.64/1434.16	c (node 43491) unresolved numerical troubles in LP 139313
1434.64/1435.14	c (node 43531) unresolved numerical troubles in LP 139380
1439.14/1439.67	c (node 43734) unresolved numerical troubles in LP 139915
1444.84/1445.37	c (node 43971) unresolved numerical troubles in LP 140546
1454.43/1454.92	c (node 44358) unresolved numerical troubles in LP 141631
1457.23/1457.72	c (node 44481) unresolved numerical troubles in LP 141926
1470.53/1471.01	c (node 45150) unresolved numerical troubles in LP 143593
1475.02/1475.54	c (node 45333) unresolved numerical troubles in LP 144042
1475.32/1475.87	c (node 45334) unresolved numerical troubles in LP 144046
1481.33/1481.83	c (node 45560) unresolved numerical troubles in LP 144585
1481.63/1482.16	c (node 45561) unresolved numerical troubles in LP 144589
1487.52/1488.09	c (node 45872) unresolved numerical troubles in LP 145342
1488.22/1488.74	c (node 45874) unresolved numerical troubles in LP 145351
1489.42/1489.91	c (node 45894) unresolved numerical troubles in LP 145417
1490.32/1490.88	c (node 45921) unresolved numerical troubles in LP 145499
1499.32/1499.81	c (node 46147) unresolved numerical troubles in LP 146253
1507.32/1507.89	c (node 46511) unresolved numerical troubles in LP 147323
1510.01/1510.51	c (node 46631) unresolved numerical troubles in LP 147685
1510.72/1511.22	c (node 46650) unresolved numerical troubles in LP 147740
1512.71/1513.20	c (node 46688) unresolved numerical troubles in LP 147865
1514.41/1514.90	c (node 46761) unresolved numerical troubles in LP 148094
1517.11/1517.64	c (node 46853) unresolved numerical troubles in LP 148366
1519.31/1519.88	c (node 46961) unresolved numerical troubles in LP 148607
1519.62/1520.20	c (node 46962) unresolved numerical troubles in LP 148611
1519.91/1520.45	c (node 46963) unresolved numerical troubles in LP 148615
1520.72/1521.24	c (node 46981) unresolved numerical troubles in LP 148663
1521.71/1522.22	c (node 46999) unresolved numerical troubles in LP 148708
1522.11/1522.64	c (node 47000) unresolved numerical troubles in LP 148712
1524.71/1525.25	c (node 47111) unresolved numerical troubles in LP 148974
1526.32/1526.86	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1531.71/1532.20	c (node 47441) unresolved numerical troubles in LP 149945
1540.10/1540.67	c (node 47871) unresolved numerical troubles in LP 151191
1540.40/1540.95	c (node 47872) unresolved numerical troubles in LP 151195
1540.70/1541.24	c (node 47873) unresolved numerical troubles in LP 151199
1541.00/1541.52	c (node 47874) unresolved numerical troubles in LP 151203
1542.10/1542.68	c (node 47923) unresolved numerical troubles in LP 151351
1542.50/1543.02	c (node 47924) unresolved numerical troubles in LP 151355
1542.81/1543.36	c (node 47925) unresolved numerical troubles in LP 151359
1543.60/1544.11	c (node 47930) unresolved numerical troubles in LP 151405
1544.31/1544.87	c (node 47939) unresolved numerical troubles in LP 151478
1544.70/1545.23	c (node 47940) unresolved numerical troubles in LP 151482
1545.01/1545.57	c (node 47941) unresolved numerical troubles in LP 151486
1545.40/1545.91	c (node 47942) unresolved numerical troubles in LP 151490
1548.00/1548.59	c (node 48061) unresolved numerical troubles in LP 151794
1548.31/1548.87	c (node 48062) unresolved numerical troubles in LP 151798
1551.90/1552.40	c (node 48210) unresolved numerical troubles in LP 152195
1552.50/1553.05	c (node 48212) unresolved numerical troubles in LP 152204
1555.10/1555.64	c (node 48378) unresolved numerical troubles in LP 152569
1557.30/1557.81	c (node 48463) unresolved numerical troubles in LP 152867
1560.31/1560.84	c (node 48567) unresolved numerical troubles in LP 153121
1571.30/1571.89	c (node 49083) unresolved numerical troubles in LP 154680
1571.70/1572.26	c (node 49087) unresolved numerical troubles in LP 154688
1589.90/1590.40	c (node 49761) unresolved numerical troubles in LP 156733
1594.09/1594.69	c (node 49960) unresolved numerical troubles in LP 157238
1596.99/1597.51	c  1597s| 50000 | 41810 |  7335k| 146.7 |  83M|  64 | 168 |3730 |1600 |3730 | 451 |   0 |8324 |  49k| 2.197862e+16 |      --      |    Inf 
1608.69/1609.22	c (node 50563) unresolved numerical troubles in LP 159218
1616.19/1616.74	c (node 50797) unresolved numerical troubles in LP 159854
1626.08/1626.63	c (node 51200) unresolved numerical troubles in LP 161161
1629.37/1629.98	c (node 51381) unresolved numerical troubles in LP 161594
1635.77/1636.38	c (node 51684) unresolved numerical troubles in LP 162433
1636.07/1636.64	c (node 51685) unresolved numerical troubles in LP 162437
1640.88/1641.41	c (node 51931) unresolved numerical troubles in LP 163180
1654.98/1655.54	c (node 52608) unresolved numerical troubles in LP 165310
1655.17/1655.70	c (node 52609) unresolved numerical troubles in LP 165313
1656.68/1657.23	c (node 52684) unresolved numerical troubles in LP 165511
1656.97/1657.58	c (node 52685) unresolved numerical troubles in LP 165515
1661.27/1661.83	c (node 52830) unresolved numerical troubles in LP 165990
1661.58/1662.14	c (node 52831) unresolved numerical troubles in LP 165994
1665.37/1665.93	c (node 52953) unresolved numerical troubles in LP 166332
1666.27/1666.80	c (node 52978) unresolved numerical troubles in LP 166395
1666.46/1667.04	c (node 52979) unresolved numerical troubles in LP 166399
1667.17/1667.70	c (node 52988) unresolved numerical troubles in LP 166418
1667.87/1668.44	c (node 52997) unresolved numerical troubles in LP 166436
1668.67/1669.20	c (node 53006) unresolved numerical troubles in LP 166462
1684.86/1685.48	c (node 53705) unresolved numerical troubles in LP 168349
1686.56/1687.19	c (node 53716) unresolved numerical troubles in LP 168378
1688.66/1689.24	c (node 53738) unresolved numerical troubles in LP 168443
1693.86/1694.40	c (node 53895) unresolved numerical troubles in LP 169047
1698.56/1699.10	c (node 54092) unresolved numerical troubles in LP 169537
1711.55/1712.19	c (node 54406) unresolved numerical troubles in LP 170281
1711.96/1712.50	c (node 54407) unresolved numerical troubles in LP 170285
1714.06/1714.63	c (node 54514) unresolved numerical troubles in LP 170575
1720.86/1721.45	c (node 54689) unresolved numerical troubles in LP 171156
1723.35/1723.94	c (node 54749) unresolved numerical troubles in LP 171362
1727.25/1727.82	c (node 54883) unresolved numerical troubles in LP 171770
1745.54/1746.10	c (node 55735) unresolved numerical troubles in LP 173961
1745.75/1746.39	c (node 55736) unresolved numerical troubles in LP 173965
1746.05/1746.68	c (node 55737) unresolved numerical troubles in LP 173969
1749.14/1749.77	c (node 55813) unresolved numerical troubles in LP 174213
1751.44/1752.00	c (node 55907) unresolved numerical troubles in LP 174455
1754.34/1754.98	c (node 56023) unresolved numerical troubles in LP 174777
1758.35/1758.99	c (node 56162) unresolved numerical troubles in LP 175233
1758.74/1759.33	c (node 56163) unresolved numerical troubles in LP 175237
1760.04/1760.61	c (node 56167) unresolved numerical troubles in LP 175256
1770.84/1771.45	c (node 56610) unresolved numerical troubles in LP 176552
1777.44/1778.02	c (node 56918) unresolved numerical troubles in LP 177648
1777.64/1778.24	c (node 56919) unresolved numerical troubles in LP 177652
1789.43/1790.01	c 
1789.43/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.43/1790.01	c Solving Time (sec) : 1789.96
1789.43/1790.01	c Solving Nodes      : 57407
1789.43/1790.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.43/1790.01	c Dual Bound         : +2.31412053333514e+16
1789.43/1790.01	c Gap                : infinite
1789.43/1790.01	s UNKNOWN
1789.43/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.43/1790.01	c Solving Time       :    1789.96
1789.43/1790.01	c Original Problem   :
1789.43/1790.01	c   Problem name     : HOME/instance-2703517-1278560667.opb
1789.43/1790.01	c   Variables        : 3763 (3763 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.43/1790.01	c   Constraints      : 453 initial, 453 maximal
1789.43/1790.01	c Presolved Problem  :
1789.43/1790.01	c   Problem name     : t_HOME/instance-2703517-1278560667.opb
1789.43/1790.01	c   Variables        : 3730 (3730 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.43/1790.01	c   Constraints      : 451 initial, 1697 maximal
1789.43/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.43/1790.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.43/1790.01	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1789.43/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.43/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.43/1790.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.43/1790.01	c   probing          :       0.41          0          2          0          0          0          0          0          0
1789.43/1790.01	c   knapsack         :       0.02          0          0          0          0          0          2          0          7
1789.43/1790.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1789.43/1790.01	c   linear           :       0.03          0         31          0          0          0          0        575        572
1789.43/1790.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.43/1790.01	c   root node        :          -          7          -          -          7          -          -          -          -
1789.43/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.43/1790.01	c   integral         :          0          0          0      55706          0          7       9482          0          0      98414
1789.43/1790.01	c   knapsack         :        239          0     319212          0       3744        439      22026          0          0          0
1789.43/1790.01	c   setppc           :         41          0     318773          0       3744          0       7742          0          0          0
1789.43/1790.01	c   linear           :        171          0     318773          0         90       1241     285680          0          0          0
1789.43/1790.01	c   logicor          :          0+         0     147935          0          0        408     159482          0          0          0
1789.43/1790.01	c   countsols        :          0          0          0          0       3744          0          0          0          0          0
1789.43/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.43/1790.01	c   integral         :     223.85       0.00       0.00     223.85       0.00
1789.43/1790.01	c   knapsack         :      10.15       0.00       7.41       0.00       2.74
1789.43/1790.01	c   setppc           :       0.96       0.00       0.89       0.00       0.07
1789.43/1790.01	c   linear           :      44.20       0.00      44.19       0.00       0.00
1789.43/1790.01	c   logicor          :       5.36       0.00       5.36       0.00       0.00
1789.43/1790.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.43/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.43/1790.01	c   vbounds          :       0.24          2          0          0
1789.43/1790.01	c   rootredcost      :       0.23          0          0          0
1789.43/1790.01	c   pseudoobj        :      50.38     317222          0          0
1789.43/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.43/1790.01	c   propagation      :       0.19       2088       2001       6170       15.3        205        9.7          -
1789.43/1790.01	c   infeasible LP    :       5.32       5839       2636       6087       12.5        373        7.1          0
1789.43/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.43/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.43/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.43/1790.01	c   applied globally :          -          -          -       9594       11.9          -          -          -
1789.43/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.43/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.43/1790.01	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1789.43/1790.01	c   redcost          :      26.49      55649          0          0          0          0
1789.43/1790.01	c   impliedbounds    :       0.00          0          0          0          0          0
1789.43/1790.01	c   intobj           :       0.00          0          0          0          0          0
1789.43/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1789.43/1790.01	c   gomory           :       0.00          0          0          0          0          0
1789.43/1790.01	c   strongcg         :       0.00          0          0          0          0          0
1789.43/1790.01	c   cmir             :       0.00          0          0          0          0          0
1789.43/1790.01	c   flowcover        :       0.00          0          0          0          0          0
1789.43/1790.01	c   clique           :       0.00          0          0          0          0          0
1789.43/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1789.43/1790.01	c   mcf              :       0.00          0          0          0          0          0
1789.43/1790.01	c   rapidlearning    :       0.00          0          0          0          0          0
1789.43/1790.01	c Pricers            :       Time      Calls       Vars
1789.43/1790.01	c   problem variables:       0.00          0          0
1789.43/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.43/1790.01	c   relpscost        :     223.68      55706          7       9482          0          0      98414
1789.43/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1789.43/1790.01	c   inference        :       5.75       3744          0          0          0          0       7488
1789.43/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1789.43/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1789.43/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.43/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.43/1790.01	c   random           :       0.00          0          0          0          0          0          0
1789.43/1790.01	c Primal Heuristics  :       Time      Calls      Found
1789.43/1790.01	c   LP solutions     :       0.00          -          0
1789.43/1790.01	c   pseudo solutions :       0.00          -          0
1789.43/1790.01	c   oneopt           :       0.12          0          0
1789.43/1790.01	c   crossover        :       0.05          0          0
1789.43/1790.01	c   linesearchdiving :      72.55       1151          0
1789.43/1790.01	c   pscostdiving     :     103.24       1151          0
1789.43/1790.01	c   fracdiving       :      67.10       1151          0
1789.43/1790.01	c   objpscostdiving  :      22.70        576          0
1789.43/1790.01	c   trivial          :       0.01          2          0
1789.43/1790.01	c   simplerounding   :       0.07          0          0
1789.43/1790.01	c   zirounding       :       0.18       1000          0
1789.43/1790.01	c   rounding         :       0.50       3260          0
1789.43/1790.01	c   shifting         :      10.46        957          0
1789.43/1790.01	c   intshifting      :       0.00          0          0
1789.43/1790.01	c   twoopt           :       0.00          0          0
1789.43/1790.01	c   fixandinfer      :       0.00          0          0
1789.43/1790.01	c   feaspump         :       6.35        310          0
1789.43/1790.01	c   coefdiving       :      69.54       1152          0
1789.43/1790.01	c   veclendiving     :      79.85        856          0
1789.43/1790.01	c   intdiving        :       0.00          0          0
1789.43/1790.01	c   actconsdiving    :       0.00          0          0
1789.43/1790.01	c   rootsoldiving    :      10.27        212          0
1789.43/1790.01	c   guideddiving     :       0.00          0          0
1789.43/1790.01	c   octane           :       0.00          0          0
1789.43/1790.01	c   rens             :       0.00          0          0
1789.43/1790.01	c   rins             :       0.00          0          0
1789.43/1790.01	c   localbranching   :       0.00          0          0
1789.43/1790.01	c   mutation         :       0.00          0          0
1789.43/1790.01	c   dins             :       0.00          0          0
1789.43/1790.01	c   undercover       :       0.00          0          0
1789.43/1790.01	c   nlp              :       0.05          0          0
1789.43/1790.01	c   trysol           :       0.05          0          0
1789.43/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.43/1790.01	c   primal LP        :     152.96       2311     949081     410.68    6204.66
1789.43/1790.01	c   dual LP          :     764.05      74000    6224595      84.12    8146.84
1789.43/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1789.43/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1789.43/1790.01	c   diving/probing LP:     247.05     102719    1268338      12.35    5133.97
1789.43/1790.01	c   strong branching :     216.59      54067     549893      10.17    2538.82
1789.43/1790.01	c     (at root node) :          -          0          0       0.00          -
1789.43/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1789.43/1790.01	c B&B Tree           :
1789.43/1790.01	c   number of runs   :          1
1789.43/1790.01	c   nodes            :      57407
1789.43/1790.01	c   nodes (total)    :      57407
1789.43/1790.01	c   nodes left       :      47954
1789.43/1790.01	c   max depth        :         64
1789.43/1790.01	c   max depth (total):         64
1789.43/1790.01	c   backtracks       :       9128 (15.9%)
1789.43/1790.01	c   delayed cutoffs  :        542
1789.43/1790.01	c   repropagations   :       9253 (15372 domain reductions, 19 cutoffs)
1789.43/1790.01	c   avg switch length:       7.42
1789.43/1790.01	c   switching time   :      12.51
1789.43/1790.01	c Solution           :
1789.43/1790.01	c   Solutions found  :          0 (0 improvements)
1789.43/1790.01	c   Primal Bound     :          -
1789.43/1790.01	c   Dual Bound       : +2.31412053333514e+16
1789.43/1790.01	c   Gap              :   infinite
1789.43/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1789.43/1790.01	c   Root Iterations  :        376
1789.53/1790.19	c Time complete: 1789.63.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703517-1278560667/watcher-2703517-1278560667 -o /tmp/evaluation-result-2703517-1278560667/solver-2703517-1278560667 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703517-1278560667.opb -t 1800 -m 1800 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.89 1.02 0.99 3/105 27680
/proc/meminfo: memFree=1867724/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=7904 CPUtime=0
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 1123 0 0 0 0 0 0 0 25 0 1 0 24275329 8093696 1035 1992294400 4194304 8395647 140736596325072 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27680/statm: 1976 1043 365 1026 0 946 0

[startup+0.092534 s]
/proc/loadavg: 0.89 1.02 0.99 3/105 27680
/proc/meminfo: memFree=1867724/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=22948 CPUtime=0.08
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 5109 0 0 0 7 1 0 0 25 0 1 0 24275329 23498752 4666 1992294400 4194304 8395647 140736596325072 18446744073709551615 4601491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 5737 4666 444 1026 0 4707 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22948

[startup+0.100534 s]
/proc/loadavg: 0.89 1.02 0.99 3/105 27680
/proc/meminfo: memFree=1867724/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=22948 CPUtime=0.09
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 5158 0 0 0 8 1 0 0 25 0 1 0 24275329 23498752 4715 1992294400 4194304 8395647 140736596325072 18446744073709551615 4967875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 5737 4715 471 1026 0 4707 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22948

[startup+0.300555 s]
/proc/loadavg: 0.89 1.02 0.99 3/105 27680
/proc/meminfo: memFree=1867724/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=29016 CPUtime=0.29
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 6711 0 0 0 28 1 0 0 25 0 1 0 24275329 29712384 6268 1992294400 4194304 8395647 140736596325072 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 7254 6268 501 1026 0 6224 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29016

[startup+0.700598 s]
/proc/loadavg: 0.89 1.02 0.99 3/105 27680
/proc/meminfo: memFree=1867724/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=33736 CPUtime=0.69
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 7965 0 0 0 67 2 0 0 25 0 1 0 24275329 34545664 7499 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 8434 7499 585 1026 0 7404 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33736

[startup+1.50068 s]
/proc/loadavg: 0.89 1.02 0.99 2/106 27681
/proc/meminfo: memFree=1839940/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=33736 CPUtime=1.49
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 7970 0 0 0 145 4 0 0 25 0 1 0 24275329 34545664 7504 1992294400 4194304 8395647 140736596325072 18446744073709551615 6723810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 8434 7504 590 1026 0 7404 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33736

[startup+3.10085 s]
/proc/loadavg: 0.89 1.02 0.99 2/106 27681
/proc/meminfo: memFree=1839816/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=33736 CPUtime=3.09
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 7973 0 0 0 300 9 0 0 25 0 1 0 24275329 34545664 7507 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 8434 7507 591 1026 0 7404 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33736

[startup+6.30119 s]
/proc/loadavg: 0.90 1.02 0.99 2/106 27681
/proc/meminfo: memFree=1839196/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=33736 CPUtime=6.29
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 8017 0 0 0 611 18 0 0 25 0 1 0 24275329 34545664 7551 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 8434 7551 596 1026 0 7404 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33736

[startup+12.7009 s]
/proc/loadavg: 0.91 1.02 0.99 2/106 27681
/proc/meminfo: memFree=1838948/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=33736 CPUtime=12.69
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 8065 0 0 0 1228 41 0 0 25 0 1 0 24275329 34545664 7599 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 8434 7599 599 1026 0 7404 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33736

[startup+25.5002 s]
/proc/loadavg: 1.01 1.04 0.99 2/106 27681
/proc/meminfo: memFree=1838948/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=33872 CPUtime=25.49
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 8077 0 0 0 2458 91 0 0 25 0 1 0 24275329 34684928 7611 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 8468 7611 599 1026 0 7438 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33872

[startup+51.101 s]
/proc/loadavg: 1.00 1.03 0.99 2/106 27683
/proc/meminfo: memFree=1838700/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=34076 CPUtime=51.08
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 8144 0 0 0 4930 178 0 0 25 0 1 0 24275329 34893824 7678 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 8519 7678 599 1026 0 7489 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34076

[startup+102.307 s]
/proc/loadavg: 1.06 1.04 1.00 2/106 27683
/proc/meminfo: memFree=1836468/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=36408 CPUtime=102.27
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 8728 0 0 0 9912 315 0 0 25 0 1 0 24275329 37281792 8262 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 9102 8262 599 1026 0 8072 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36408

[startup+162.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/106 27685
/proc/meminfo: memFree=1834236/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=38596 CPUtime=162.24
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 9275 0 0 0 15722 502 0 0 25 0 1 0 24275329 39522304 8809 1992294400 4194304 8395647 140736596325072 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 9649 8809 599 1026 0 8619 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 38596

[startup+222.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/106 27687
/proc/meminfo: memFree=1830268/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=42476 CPUtime=222.23
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 10361 0 0 0 21573 650 0 0 25 0 1 0 24275329 43495424 9895 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 10619 9895 698 1026 0 9589 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 42476

[startup+282.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/106 27689
/proc/meminfo: memFree=1827416/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=45448 CPUtime=282.21
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 11106 0 0 0 27459 762 0 0 25 0 1 0 24275329 46538752 10640 1992294400 4194304 8395647 140736596325072 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 11362 10640 698 1026 0 10332 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 45448

[startup+342.301 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 27689
/proc/meminfo: memFree=1822704/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=50012 CPUtime=342.19
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 12262 0 0 0 33328 891 0 0 25 0 1 0 24275329 51212288 11796 1992294400 4194304 8395647 140736596325072 18446744073709551615 6622255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 12503 11796 698 1026 0 11473 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 50012

[startup+402.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 27691
/proc/meminfo: memFree=1818240/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=54588 CPUtime=402.17
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 13373 0 0 0 39194 1023 0 0 25 0 1 0 24275329 55898112 12907 1992294400 4194304 8395647 140736596325072 18446744073709551615 6586709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 13647 12907 699 1026 0 12617 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 54588

[startup+462.301 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 27693
/proc/meminfo: memFree=1814520/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=58144 CPUtime=462.15
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 14296 0 0 0 45051 1164 0 0 25 0 1 0 24275329 59539456 13830 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 14536 13830 699 1026 0 13506 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 58144

[startup+522.301 s]
/proc/loadavg: 1.13 1.07 1.01 2/106 27695
/proc/meminfo: memFree=1812412/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=60212 CPUtime=522.13
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 14795 0 0 0 50880 1333 0 0 25 0 1 0 24275329 61657088 14329 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 15053 14329 699 1026 0 14023 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 60212

[startup+582.301 s]
/proc/loadavg: 1.12 1.07 1.00 2/106 27697
/proc/meminfo: memFree=1808568/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=63912 CPUtime=582.12
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 15747 0 0 0 56721 1491 0 0 25 0 1 0 24275329 65445888 15281 1992294400 4194304 8395647 140736596325072 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 15978 15281 699 1026 0 14948 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 63912

[startup+642.301 s]
/proc/loadavg: 1.16 1.09 1.01 2/106 27697
/proc/meminfo: memFree=1805840/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=66492 CPUtime=642.1
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 16396 0 0 0 62560 1650 0 0 25 0 1 0 24275329 68087808 15930 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 16623 15930 699 1026 0 15593 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 66492

[startup+702.3 s]

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

/proc/meminfo: memFree=1789844/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=81156 CPUtime=1001.97
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 20073 0 0 0 97421 2776 0 0 25 0 1 0 24275329 83103744 19607 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 20289 19607 699 1026 0 19259 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 81156

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 27718
/proc/meminfo: memFree=1788356/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=83024 CPUtime=1061.95
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 20567 0 0 0 103214 2981 0 0 25 0 1 0 24275329 85016576 20101 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 20756 20101 699 1026 0 19726 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 83024

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 27720
/proc/meminfo: memFree=1785876/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=85544 CPUtime=1121.94
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 21182 0 0 0 109033 3161 0 0 25 0 1 0 24275329 87597056 20716 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 21386 20716 699 1026 0 20356 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 85544

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 27722
/proc/meminfo: memFree=1782776/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=88500 CPUtime=1181.92
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 21941 0 0 0 114842 3350 0 0 25 0 1 0 24275329 90624000 21475 1992294400 4194304 8395647 140736596325072 18446744073709551615 6721238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 22125 21475 699 1026 0 21095 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 88500

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 27722
/proc/meminfo: memFree=1779056/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=91928 CPUtime=1241.9
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 22806 0 0 0 120658 3532 0 0 25 0 1 0 24275329 94134272 22340 1992294400 4194304 8395647 140736596325072 18446744073709551615 6723944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 22982 22340 699 1026 0 21952 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 91928

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27724
/proc/meminfo: memFree=1774592/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=96272 CPUtime=1301.88
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 23893 0 0 0 126489 3699 0 0 25 0 1 0 24275329 98582528 23427 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 24068 23427 699 1026 0 23038 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 96272

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27726
/proc/meminfo: memFree=1771492/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=99384 CPUtime=1361.86
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 24667 0 0 0 132303 3883 0 0 25 0 1 0 24275329 101769216 24201 1992294400 4194304 8395647 140736596325072 18446744073709551615 6573998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 24846 24201 699 1026 0 23816 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 99384

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27728
/proc/meminfo: memFree=1768640/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=102092 CPUtime=1421.85
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 25358 0 0 0 138121 4064 0 0 25 0 1 0 24275329 104542208 24892 1992294400 4194304 8395647 140736596325072 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 25523 24892 699 1026 0 24493 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 102092

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27730
/proc/meminfo: memFree=1764300/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=106428 CPUtime=1481.82
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 26434 0 0 0 143961 4221 0 0 25 0 1 0 24275329 108982272 25968 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 26607 25968 699 1026 0 25577 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 106428

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27730
/proc/meminfo: memFree=1761076/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=109456 CPUtime=1541.8
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 27215 0 0 0 149807 4373 0 0 25 0 1 0 24275329 112082944 26749 1992294400 4194304 8395647 140736596325072 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 27364 26749 699 1026 0 26334 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 109456

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27732
/proc/meminfo: memFree=1757232/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=113280 CPUtime=1601.79
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 28165 0 0 0 155643 4536 0 0 25 0 1 0 24275329 115998720 27699 1992294400 4194304 8395647 140736596325072 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 28320 27699 699 1026 0 27290 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 113280

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27734
/proc/meminfo: memFree=1754628/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=115800 CPUtime=1661.77
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 28797 0 0 0 161497 4680 0 0 25 0 1 0 24275329 118579200 28331 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 28950 28331 699 1026 0 27920 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 115800

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27736
/proc/meminfo: memFree=1751900/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=118484 CPUtime=1721.75
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 29469 0 0 0 167281 4894 0 0 25 0 1 0 24275329 121327616 29003 1992294400 4194304 8395647 140736596325072 18446744073709551615 6575390 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 29621 29003 699 1026 0 28591 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 118484

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27738
/proc/meminfo: memFree=1747932/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=122160 CPUtime=1781.73
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 30387 0 0 0 173113 5060 0 0 25 0 1 0 24275329 125091840 29921 1992294400 4194304 8395647 140736596325072 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 30540 29921 699 1026 0 29510 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 122160

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27738
/proc/meminfo: memFree=1747932/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=123120 CPUtime=1784.93
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 30626 0 0 0 173427 5066 0 0 25 0 1 0 24275329 126074880 30160 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 30780 30160 699 1026 0 29750 0
Current children cumulated CPU time (s) 1784.93
Current children cumulated vsize (KiB) 123120

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27738
/proc/meminfo: memFree=1746940/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=123120 CPUtime=1788.13
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 30640 0 0 0 173737 5076 0 0 25 0 1 0 24275329 126074880 30174 1992294400 4194304 8395647 140736596325072 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 30780 30174 699 1026 0 29750 0
Current children cumulated CPU time (s) 1788.13
Current children cumulated vsize (KiB) 123120

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27738
/proc/meminfo: memFree=1746940/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=123120 CPUtime=1788.94
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 30640 0 0 0 173816 5078 0 0 25 0 1 0 24275329 126074880 30174 1992294400 4194304 8395647 140736596325072 18446744073709551615 6654263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 30780 30174 699 1026 0 29750 0
Current children cumulated CPU time (s) 1788.94
Current children cumulated vsize (KiB) 123120

[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27738
/proc/meminfo: memFree=1746940/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=123120 CPUtime=1789.34
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 30640 0 0 0 173855 5079 0 0 25 0 1 0 24275329 126074880 30174 1992294400 4194304 8395647 140736596325072 18446744073709551615 6622098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27680/statm: 30780 30174 699 1026 0 29750 0
Current children cumulated CPU time (s) 1789.34
Current children cumulated vsize (KiB) 123120

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27738
/proc/meminfo: memFree=1746940/2059040 swapFree=4139772/4192956
[pid=27680] ppid=27678 vsize=123120 CPUtime=1789.53
/proc/27680/stat : 27680 (pbscip.linux.x8) R 27678 27680 27655 0 -1 4202496 30645 0 0 0 173874 5079 0 0 18 0 1 0 24275329 126074880 30179 1992294400 4194304 8395647 140736596325072 18446744073709551615 4653781 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27680/statm: 30780 30179 704 1026 0 29750 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (KiB) 123120

Child status: 0
Real time (s): 1790.2
CPU time (s): 1789.64
CPU user time (s): 1738.83
CPU system time (s): 50.8053
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 123120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738.83
system time used= 50.8053
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30652
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2718

runsolver used 2.97255 second user time and 8.45371 second system time

The end

Launcher Data 

Begin job on node081 at 2010-07-08 05:44:27
IDJOB=2703517
IDBENCH=2526
IDSOLVER=1213
FILE ID=node081/2703517-1278560667
PBS_JOBID= 11239535
Free space on /tmp= 121884 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb
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-2703517-1278560667/watcher-2703517-1278560667 -o /tmp/evaluation-result-2703517-1278560667/solver-2703517-1278560667 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703517-1278560667.opb -t 1800 -m 1800

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

MD5SUM BENCH= c68fa68a808b234260c8cfaf77f6d655
RANDOM SEED=1448219149

node081.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.38
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1868252 kB
Buffers:         11928 kB
Cached:          95496 kB
SwapCached:       6268 kB
Active:          76816 kB
Inactive:        43716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1868252 kB
SwapTotal:     4192956 kB
SwapFree:      4139772 kB
Dirty:           10764 kB
Writeback:           0 kB
AnonPages:       11360 kB
Mapped:          11892 kB
Slab:            48448 kB
PageTables:       4092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183728 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121872 MiB
End job on node081 at 2010-07-08 06:14:17