Trace number 2693116

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.57 1800.55

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j301_4-unsat--soft-66-100-0.wbo
MD5SUM3c0ab74eb8c9db5a91042a699e6b4444
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark0.043992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3844
Total number of constraints11854
Number of soft constraints4065
Number of constraints which are clauses11610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints244
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 205056
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 205055
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 99
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2693116-1277916070.wbo>
0.09/0.11	c original problem has 11974 variables (7909 bin, 0 int, 0 impl, 4065 cont) and 15920 constraints
0.09/0.11	c problem read
0.09/0.11	c presolving settings loaded
0.19/0.21	c presolving:
0.19/0.28	c (round 1) 384 del vars, 1031 del conss, 217 chg bounds, 58 chg sides, 58 chg coeffs, 0 upgd conss, 127843 impls, 0 clqs
0.29/0.31	c (round 2) 991 del vars, 2912 del conss, 479 chg bounds, 58 chg sides, 58 chg coeffs, 0 upgd conss, 130877 impls, 0 clqs
0.29/0.34	c (round 3) 2034 del vars, 4723 del conss, 653 chg bounds, 58 chg sides, 58 chg coeffs, 0 upgd conss, 132305 impls, 0 clqs
0.29/0.36	c (round 4) 3106 del vars, 5671 del conss, 722 chg bounds, 61 chg sides, 61 chg coeffs, 0 upgd conss, 132651 impls, 0 clqs
0.29/0.37	c (round 5) 3812 del vars, 6140 del conss, 770 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 132869 impls, 0 clqs
0.29/0.38	c (round 6) 4164 del vars, 6441 del conss, 809 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 133015 impls, 0 clqs
0.29/0.39	c (round 7) 4370 del vars, 6609 del conss, 826 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 133093 impls, 0 clqs
0.38/0.40	c (round 8) 4488 del vars, 6679 del conss, 833 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 133109 impls, 0 clqs
0.38/0.40	c (round 9) 4529 del vars, 6693 del conss, 833 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 133109 impls, 0 clqs
0.38/0.41	c (round 10) 4542 del vars, 6695 del conss, 833 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 133109 impls, 0 clqs
0.38/0.42	c (round 11) 4543 del vars, 6696 del conss, 3334 chg bounds, 63 chg sides, 63 chg coeffs, 0 upgd conss, 133109 impls, 0 clqs
0.38/0.47	c (round 12) 4544 del vars, 6696 del conss, 3334 chg bounds, 63 chg sides, 63 chg coeffs, 4380 upgd conss, 133109 impls, 0 clqs
0.38/0.48	c (round 13) 4549 del vars, 6722 del conss, 3339 chg bounds, 70 chg sides, 136 chg coeffs, 4380 upgd conss, 134586 impls, 175 clqs
0.38/0.49	c (round 14) 4554 del vars, 6731 del conss, 3339 chg bounds, 116 chg sides, 281 chg coeffs, 4380 upgd conss, 134586 impls, 188 clqs
0.49/0.51	c (round 15) 4558 del vars, 6732 del conss, 3339 chg bounds, 127 chg sides, 316 chg coeffs, 4383 upgd conss, 134586 impls, 188 clqs
0.49/0.53	c (round 16) 4559 del vars, 6732 del conss, 3339 chg bounds, 129 chg sides, 326 chg coeffs, 4383 upgd conss, 134589 impls, 188 clqs
0.89/0.92	c (round 17) 4609 del vars, 6732 del conss, 3339 chg bounds, 129 chg sides, 326 chg coeffs, 4383 upgd conss, 199747 impls, 184 clqs
0.89/0.93	c (round 18) 4613 del vars, 7019 del conss, 3339 chg bounds, 136 chg sides, 357 chg coeffs, 4383 upgd conss, 199831 impls, 185 clqs
0.89/0.94	c (round 19) 4719 del vars, 7143 del conss, 3339 chg bounds, 149 chg sides, 398 chg coeffs, 4383 upgd conss, 199833 impls, 194 clqs
0.89/0.95	c (round 20) 4829 del vars, 7161 del conss, 3339 chg bounds, 151 chg sides, 406 chg coeffs, 4383 upgd conss, 199833 impls, 195 clqs
0.89/0.96	c (round 21) 4844 del vars, 7167 del conss, 3339 chg bounds, 153 chg sides, 410 chg coeffs, 4383 upgd conss, 199833 impls, 195 clqs
0.89/0.96	c (round 22) 4847 del vars, 7173 del conss, 3339 chg bounds, 153 chg sides, 410 chg coeffs, 4383 upgd conss, 199833 impls, 195 clqs
0.89/0.98	c (round 23) 4851 del vars, 7176 del conss, 3346 chg bounds, 153 chg sides, 410 chg coeffs, 4383 upgd conss, 199833 impls, 195 clqs
0.89/1.00	c (round 24) 4854 del vars, 7176 del conss, 3346 chg bounds, 153 chg sides, 410 chg coeffs, 4394 upgd conss, 199833 impls, 195 clqs
1.69/1.70	c    (1.5s) probing: 1000/4918 (20.3%) - 46 fixings, 8 aggregations, 22034 implications, 0 bound changes
2.20/2.22	c    (2.0s) probing: 2000/4918 (40.7%) - 46 fixings, 8 aggregations, 22914 implications, 0 bound changes
2.29/2.38	c    (2.2s) probing: 2367/4918 (48.1%) - 46 fixings, 8 aggregations, 23008 implications, 0 bound changes
2.29/2.38	c    (2.2s) probing aborted: 2000/2000 successive useless probings
2.29/2.39	c (round 25) 4858 del vars, 7176 del conss, 3346 chg bounds, 153 chg sides, 410 chg coeffs, 4394 upgd conss, 227575 impls, 195 clqs
2.39/2.49	c    (2.3s) probing: 2567/4918 (52.2%) - 46 fixings, 8 aggregations, 23011 implications, 0 bound changes
2.39/2.49	c    (2.3s) probing aborted: 2000/2000 successive useless probings
2.39/2.49	c presolving (26 rounds):
2.39/2.49	c  4858 deleted vars, 7176 deleted constraints, 3346 tightened bounds, 0 added holes, 153 changed sides, 418 changed coefficients
2.39/2.49	c  227580 implications, 195 cliques
2.39/2.49	c presolved problem has 7116 variables (4733 bin, 0 int, 0 impl, 2383 cont) and 8796 constraints
2.39/2.49	c    2383 constraints of type <indicator>
2.39/2.49	c     165 constraints of type <varbound>
2.39/2.49	c     120 constraints of type <knapsack>
2.39/2.49	c      50 constraints of type <setppc>
2.39/2.49	c    2218 constraints of type <linear>
2.39/2.49	c    3860 constraints of type <logicor>
2.39/2.49	c transformed objective value is always integral (scale: 1)
2.39/2.49	c Presolving Time: 2.24
2.39/2.49	c - non default parameters ----------------------------------------------------------------------
2.39/2.49	c # SCIP version 1.2.1.2
2.39/2.49	c 
2.39/2.49	c # frequency for displaying node information lines
2.39/2.49	c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.49	c display/freq = 10000
2.39/2.49	c 
2.39/2.49	c # maximal time in seconds to run
2.39/2.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.49	c limits/time = 1799.91
2.39/2.49	c 
2.39/2.49	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.49	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.49	c limits/memory = 3420
2.39/2.49	c 
2.39/2.49	c # should presolving try to simplify inequalities
2.39/2.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.49	c constraints/linear/simplifyinequalities = TRUE
2.39/2.49	c 
2.39/2.49	c # should presolving try to simplify knapsacks
2.39/2.49	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.49	c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.49	c 
2.39/2.49	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.49	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.49	c separating/rapidlearning/freq = 0
2.39/2.49	c 
2.39/2.49	c -----------------------------------------------------------------------------------------------
2.39/2.49	c start solving
2.48/2.50	c 
2.48/2.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.48/2.53	c   2.3s|     1 |     0 |   245 |     - |  44M|   0 | 121 |7116 |8796 |7116 |4004 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.79/2.89	c   2.7s|     1 |     0 |   725 |     - |  45M|   0 | 135 |7116 |8796 |7116 |4643 | 639 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.99/3.06	c   2.8s|     1 |     0 |   858 |     - |  45M|   0 | 112 |7116 |8796 |7116 |4785 | 781 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.19/3.28	c   3.0s|     1 |     0 |   900 |     - |  45M|   0 |  19 |7116 |8796 |7116 |4837 | 833 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.39/3.48	c   3.2s|     1 |     0 |   965 |     - |  45M|   0 | 107 |7116 |8796 |7116 |4854 | 850 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.68/3.75	c   3.5s|     1 |     0 |  1271 |     - |  45M|   0 | 305 |7116 |8796 |7116 |4887 | 883 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.99/4.05	c   3.8s|     1 |     0 |  1670 |     - |  45M|   0 | 350 |7116 |8796 |7116 |5027 |1023 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.29/4.33	c   4.1s|     1 |     0 |  2105 |     - |  45M|   0 | 475 |7116 |8796 |7116 |5170 |1166 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.79/4.80	c   4.5s|     1 |     0 |  2540 |     - |  45M|   0 | 349 |7116 |8796 |7116 |5247 |1243 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.99/6.10	c   5.8s|     1 |     2 |  2540 |     - |  46M|   0 | 349 |7116 |8796 |7116 |5247 |1243 |   0 |  22 | 0.000000e+00 |      --      |    Inf 
89.99/90.04	c  88.3s| 10000 | 10001 | 19137 |   1.7 |  83M| 105 |   0 |7116 |8797 |7116 |4656 |4620 |   1 |4059 | 0.000000e+00 |      --      |    Inf 
146.99/147.00	c   144s| 20000 | 20001 | 24184 |   1.1 | 119M| 109 |   0 |7116 |8797 |7116 |4689 |6209 |   1 |4193 | 0.000000e+00 |      --      |    Inf 
206.69/206.77	c   203s| 30000 | 30001 | 30261 |   0.9 | 155M| 111 |   0 |7116 |8797 |7116 |4671 |8342 |   1 |4203 | 0.000000e+00 |      --      |    Inf 
265.18/265.26	c   261s| 40000 | 40001 | 36012 |   0.8 | 191M| 115 |   0 |7116 |8796 |7116 |4685 |  10k|   1 |4296 | 0.000000e+00 |      --      |    Inf 
323.49/323.50	c   318s| 50000 | 50001 | 43010 |   0.8 | 228M| 115 |   0 |7116 |8796 |7116 |4674 |  12k|   1 |4318 | 0.000000e+00 |      --      |    Inf 
383.18/383.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
383.18/383.29	c   376s| 60000 | 60001 | 50018 |   0.8 | 264M| 115 |   0 |7116 |8796 |7116 |4666 |  15k|   1 |4380 | 0.000000e+00 |      --      |    Inf 
442.49/442.55	c   434s| 70000 | 70001 | 56156 |   0.8 | 300M| 115 |   0 |7116 |8796 |7116 |4678 |  17k|   1 |4410 | 0.000000e+00 |      --      |    Inf 
501.29/501.39	c   492s| 80000 | 80001 | 62778 |   0.8 | 336M| 115 |   0 |7116 |8796 |7116 |4687 |  20k|   1 |4439 | 0.000000e+00 |      --      |    Inf 
560.09/560.19	c   550s| 90000 | 90001 | 68195 |   0.7 | 371M| 115 |   1 |7116 |8796 |7116 |4676 |  22k|   1 |4453 | 0.000000e+00 |      --      |    Inf 
619.09/619.12	c   608s|100000 |100001 | 75046 |   0.7 | 407M| 115 |   0 |7116 |8796 |7116 |4677 |  25k|   1 |4495 | 0.000000e+00 |      --      |    Inf 
678.49/678.54	c   666s|110000 |110001 | 81245 |   0.7 | 443M| 115 |   0 |7116 |8796 |7116 |4669 |  27k|   1 |4541 | 0.000000e+00 |      --      |    Inf 
735.19/735.20	c   721s|120000 |120001 | 85810 |   0.7 | 479M| 151 |   0 |7116 |8796 |7116 |4672 |  29k|   1 |4575 | 0.000000e+00 |      --      |    Inf 
791.69/791.71	c   777s|130000 |130001 | 90630 |   0.7 | 515M| 151 |   0 |7116 |8796 |7116 |4673 |  31k|   1 |4605 | 0.000000e+00 |      --      |    Inf 
848.29/848.35	c   832s|140000 |140001 | 94996 |   0.7 | 551M| 151 |   0 |7116 |8796 |7116 |4670 |  33k|   1 |4611 | 0.000000e+00 |      --      |    Inf 
905.10/905.17	c   887s|150000 |150001 | 98789 |   0.6 | 587M| 151 |   0 |7116 |8796 |7116 |4666 |  34k|   1 |4621 | 0.000000e+00 |      --      |    Inf 
968.40/968.49	c   949s|160000 |160001 |106964 |   0.7 | 624M| 151 |   0 |7116 |8796 |7116 |4655 |  36k|   1 |5496 | 0.000000e+00 |      --      |    Inf 
1028.50/1028.54	c  1008s|170000 |169999 |119492 |   0.7 | 662M| 151 |   0 |7116 |8798 |7116 |4647 |  38k|   3 |6075 | 0.000000e+00 |      --      |    Inf 
1088.20/1088.22	c  1066s|180000 |179999 |129038 |   0.7 | 700M| 151 |   0 |7116 |8798 |7116 |4650 |  40k|   3 |6363 | 0.000000e+00 |      --      |    Inf 
1146.60/1146.60	c  1123s|190000 |189997 |137689 |   0.7 | 738M| 151 |   0 |7116 |8799 |7116 |4658 |  41k|   4 |6587 | 0.000000e+00 |      --      |    Inf 
1207.50/1207.59	c  1182s|200000 |199997 |152659 |   0.8 | 776M| 151 |   0 |7116 |8798 |7116 |4672 |  43k|   4 |7051 | 0.000000e+00 |      --      |    Inf 
1266.20/1266.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1266.20/1266.28	c  1240s|210000 |209997 |160266 |   0.8 | 814M| 151 |   0 |7116 |8797 |7116 |4655 |  44k|   4 |7118 | 0.000000e+00 |      --      |    Inf 
1324.30/1324.38	c  1297s|220000 |219995 |172535 |   0.8 | 853M| 151 |   0 |7116 |8798 |7116 |4660 |  46k|   5 |7276 | 0.000000e+00 |      --      |    Inf 
1383.71/1383.74	c  1355s|230000 |229993 |189089 |   0.8 | 891M| 151 |   0 |7116 |8798 |7116 |4681 |  48k|   6 |7593 | 0.000000e+00 |      --      |    Inf 
1440.91/1440.98	c  1410s|240000 |239993 |199254 |   0.8 | 928M| 151 |   0 |7116 |8798 |7116 |4662 |  49k|   6 |7637 | 0.000000e+00 |      --      |    Inf 
1499.11/1499.17	c  1467s|250000 |249993 |211926 |   0.8 | 966M| 151 |   0 |7116 |8797 |7116 |4688 |  50k|   6 |7695 | 0.000000e+00 |      --      |    Inf 
1556.91/1556.97	c  1524s|260000 |259993 |223802 |   0.9 |1003M| 151 |   0 |7116 |8797 |7116 |4664 |  52k|   6 |7832 | 0.000000e+00 |      --      |    Inf 
1615.10/1615.11	c  1580s|270000 |269993 |235782 |   0.9 |1041M| 151 |   0 |7116 |8797 |7116 |4681 |  53k|   6 |7884 | 0.000000e+00 |      --      |    Inf 
1673.30/1673.30	c  1637s|280000 |279993 |247183 |   0.9 |1079M| 151 |   0 |7116 |8797 |7116 |4671 |  55k|   6 |8154 | 0.000000e+00 |      --      |    Inf 
1731.51/1731.54	c  1694s|290000 |289991 |260895 |   0.9 |1116M| 151 |   0 |7116 |8798 |7116 |4667 |  57k|   7 |8280 | 0.000000e+00 |      --      |    Inf 
1788.62/1788.66	c  1750s|300000 |299991 |268349 |   0.9 |1153M| 151 |   0 |7116 |8798 |7116 |4648 |  58k|   7 |8298 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00	c 
1800.02/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.00	c Solving Time (sec) : 1760.93
1800.02/1800.00	c Solving Nodes      : 302031
1800.02/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.00	c Gap                : infinite
1800.02/1800.00	s UNKNOWN
1800.02/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.00	c Solving Time       :    1760.93
1800.02/1800.00	c Original Problem   :
1800.02/1800.00	c   Problem name     : HOME/instance-2693116-1277916070.wbo
1800.02/1800.00	c   Variables        : 11974 (7909 binary, 0 integer, 0 implicit integer, 4065 continuous)
1800.02/1800.00	c   Constraints      : 15920 initial, 15920 maximal
1800.02/1800.00	c Presolved Problem  :
1800.02/1800.00	c   Problem name     : t_HOME/instance-2693116-1277916070.wbo
1800.02/1800.00	c   Variables        : 7116 (4733 binary, 0 integer, 0 implicit integer, 2383 continuous)
1800.02/1800.00	c   Constraints      : 8796 initial, 8799 maximal
1800.02/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.00	c   trivial          :       0.00         23          0          0          0          0          0          0          0
1800.02/1800.00	c   dualfix          :       0.00       3574          0          0          0          0          0          0          0
1800.02/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.00	c   implics          :       0.03          0          5          0          0          0          0          0          0
1800.02/1800.00	c   probing          :       1.79         46          8          0          0          0          0          0          0
1800.02/1800.00	c   indicator        :       0.03          0          0          0          0          0       1682          0          0
1800.02/1800.00	c   varbound         :       0.00          0          0          0          0          0          7          0          0
1800.02/1800.00	c   knapsack         :       0.01          0          0          0          5          0          9         90        355
1800.02/1800.00	c   setppc           :       0.01          0          0          0          0          0          2          0          0
1800.02/1800.00	c   linear           :       0.23        815        387          0       3341          0       5243         63         63
1800.02/1800.00	c   logicor          :       0.06          0          0          0          0          0        233          0          0
1800.02/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.00	c   integral         :          0          0          0     315257          0          0         28          0          0      42854
1800.02/1800.00	c   indicator        :       2383          0    1188575     293824          0          0      79069          0          0          0
1800.02/1800.00	c   varbound         :        165          8    1188575     293824          0          0        709        385          0          0
1800.02/1800.00	c   knapsack         :        120          8    1188575     293542          0          2     152561         79          0          0
1800.02/1800.00	c   setppc           :         50          8    1188573     293542          0          0       8732          0          0          0
1800.02/1800.00	c   linear           :       2218          8    1188573     293542          0          0      64465      57681          0          0
1800.02/1800.00	c   logicor          :       3860+         8    1016397     280599          0          8    1894105          0          0          0
1800.02/1800.00	c   countsols        :          0          0          0     280599          0          0          0          0          0          0
1800.02/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.00	c   integral         :      48.99       0.00       0.00      48.99       0.00
1800.02/1800.00	c   indicator        :     164.54       0.00      36.21     128.33       0.00
1800.02/1800.00	c   varbound         :       6.16       0.00       2.06       4.10       0.00
1800.02/1800.00	c   knapsack         :       5.86       0.00       3.56       2.30       0.00
1800.02/1800.00	c   setppc           :       1.25       0.00       0.61       0.64       0.00
1800.02/1800.00	c   linear           :     156.22       0.01      24.37     131.84       0.00
1800.02/1800.00	c   logicor          :      59.37       0.00       9.37      50.00       0.00
1800.02/1800.00	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1800.02/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.00	c   vbounds          :      35.54     482660          0      13983
1800.02/1800.00	c   rootredcost      :       0.09          0          0          0
1800.02/1800.00	c   pseudoobj        :      70.33    1179911          0          0
1800.02/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.00	c   propagation      :       0.00          5          5          6        4.3          0        0.0          -
1800.02/1800.00	c   infeasible LP    :       0.00          1          1          1        3.0          0        0.0          0
1800.02/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.00	c   applied globally :          -          -          -          7        4.1          -          -          -
1800.02/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.00	c   cut pool         :       0.00          7          -          -        142          -    (maximal pool size: 997)
1800.02/1800.00	c   redcost          :      48.60     315206          0          0          0          0
1800.02/1800.00	c   impliedbounds    :       0.00          8          0          0        777          0
1800.02/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.00	c   gomory           :       0.32          8          0          0       1893          0
1800.02/1800.00	c   strongcg         :       0.25          8          0          0        962          0
1800.02/1800.00	c   cmir             :       0.30          8          0          0         15          0
1800.02/1800.00	c   flowcover        :       0.78          8          0          0        132          0
1800.02/1800.00	c   clique           :       0.10          8          0          0         39          0
1800.02/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.00	c   mcf              :       0.01          1          0          0          0          0
1800.02/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.00	c Pricers            :       Time      Calls       Vars
1800.02/1800.00	c   problem variables:       0.00          0          0
1800.02/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.00	c   relpscost        :      48.86      21433          0         28          0          0      42854
1800.02/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   inference        :     260.68     280599          0          0          0          0     561198
1800.02/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.00	c   LP solutions     :       0.00          -          0
1800.02/1800.00	c   pseudo solutions :       0.00          -          0
1800.02/1800.00	c   oneopt           :       0.11          0          0
1800.02/1800.00	c   crossover        :       0.05          0          0
1800.02/1800.00	c   guideddiving     :       0.00          0          0
1800.02/1800.00	c   intshifting      :       0.01          8          0
1800.02/1800.00	c   feaspump         :       0.58         16          0
1800.02/1800.00	c   fracdiving       :      11.01       4285          0
1800.02/1800.00	c   veclendiving     :       8.38       4285          0
1800.02/1800.00	c   linesearchdiving :       7.41       4286          0
1800.02/1800.00	c   coefdiving       :       8.20       4286          0
1800.02/1800.00	c   pscostdiving     :       8.24       4286          0
1800.02/1800.00	c   rootsoldiving    :       9.55       4281          0
1800.02/1800.00	c   objpscostdiving  :       9.61       4282          0
1800.02/1800.00	c   trivial          :       0.05          2          0
1800.02/1800.00	c   simplerounding   :       0.07      19566          0
1800.02/1800.00	c   zirounding       :       0.36       1000          0
1800.02/1800.00	c   rounding         :       1.52       1948          0
1800.02/1800.00	c   shifting         :       1.99        619          0
1800.02/1800.00	c   twoopt           :       0.00          0          0
1800.02/1800.00	c   fixandinfer      :       0.00          0          0
1800.02/1800.00	c   intdiving        :       0.00          0          0
1800.02/1800.00	c   actconsdiving    :       0.00          0          0
1800.02/1800.00	c   octane           :       0.00          0          0
1800.02/1800.00	c   rens             :       0.06          1          0
1800.02/1800.00	c   rins             :       0.00          0          0
1800.02/1800.00	c   localbranching   :       0.00          0          0
1800.02/1800.00	c   mutation         :       0.00          0          0
1800.02/1800.00	c   dins             :       0.00          0          0
1800.02/1800.00	c   undercover       :       0.00          0          0
1800.02/1800.00	c   nlp              :       0.02          0          0
1800.02/1800.00	c   trysol           :      11.09       5448          0
1800.02/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.00	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.00	c   dual LP          :     537.69      40247     268532       6.67     499.42
1800.02/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.00	c   diving/probing LP:       0.63        136        695       5.11    1103.17
1800.02/1800.00	c   strong branching :      48.51       8298     106701      12.86    2199.57
1800.02/1800.00	c     (at root node) :          -         22       5417     246.23          -
1800.02/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.00	c B&B Tree           :
1800.02/1800.00	c   number of runs   :          1
1800.02/1800.00	c   nodes            :     302031
1800.02/1800.00	c   nodes (total)    :     302031
1800.02/1800.00	c   nodes left       :     302022
1800.02/1800.00	c   max depth        :        151
1800.02/1800.00	c   max depth (total):        151
1800.02/1800.00	c   backtracks       :       4305 (1.4%)
1800.02/1800.00	c   delayed cutoffs  :          0
1800.02/1800.00	c   repropagations   :         13 (285 domain reductions, 0 cutoffs)
1800.02/1800.00	c   avg switch length:       2.16
1800.02/1800.00	c   switching time   :      39.00
1800.02/1800.00	c Solution           :
1800.02/1800.00	c   Solutions found  :          0 (0 improvements)
1800.02/1800.00	c   Primal Bound     :          -
1800.02/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.00	c   Gap              :   infinite
1800.02/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.00	c   Root Iterations  :       2540
1800.51/1800.54	c Time complete: 1800.55.

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-2693116-1277916070/watcher-2693116-1277916070 -o /tmp/evaluation-result-2693116-1277916070/solver-2693116-1277916070 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693116-1277916070.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: 1.94 2.00 1.99 4/178 12991
/proc/meminfo: memFree=29480796/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=10864 CPUtime=0
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 1640 0 0 0 0 0 0 0 25 0 1 0 132903066 11124736 1560 4089446400 4194304 9819077 140735401887184 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12991/statm: 2716 1560 392 1374 0 1337 0

[startup+0.0677661 s]
/proc/loadavg: 1.94 2.00 1.99 4/178 12991
/proc/meminfo: memFree=29480796/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=23344 CPUtime=0.06
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 4761 0 0 0 6 0 0 0 25 0 1 0 132903066 23904256 4681 4089446400 4194304 9819077 140735401887184 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12991/statm: 5836 4681 392 1374 0 4457 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23344

[startup+0.100762 s]
/proc/loadavg: 1.94 2.00 1.99 4/178 12991
/proc/meminfo: memFree=29480796/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=28332 CPUtime=0.09
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 6003 0 0 0 9 0 0 0 25 0 1 0 132903066 29011968 5923 4089446400 4194304 9819077 140735401887184 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12991/statm: 7083 5923 392 1374 0 5704 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28332

[startup+0.300728 s]
/proc/loadavg: 1.94 2.00 1.99 4/178 12991
/proc/meminfo: memFree=29480796/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=64812 CPUtime=0.29
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 15448 0 0 0 27 2 0 0 25 0 1 0 132903066 66367488 14727 4089446400 4194304 9819077 140735401887184 18446744073709551615 4332879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12991/statm: 16203 14727 502 1374 0 14824 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64812

[startup+0.70066 s]
/proc/loadavg: 1.94 2.00 1.99 4/178 12991
/proc/meminfo: memFree=29480796/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=68712 CPUtime=0.69
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 24727 0 0 0 62 7 0 0 25 0 1 0 132903066 70361088 15772 4089446400 4194304 9819077 140735401887184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12991/statm: 17178 15772 543 1374 0 15799 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68712

[startup+1.50052 s]
/proc/loadavg: 1.94 2.00 1.99 4/179 12992
/proc/meminfo: memFree=29415688/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=71220 CPUtime=1.49
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 32010 0 0 0 139 10 0 0 25 0 1 0 132903066 72929280 16373 4089446400 4194304 9819077 140735401887184 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12991/statm: 17805 16373 543 1374 0 16426 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71220

[startup+3.10026 s]
/proc/loadavg: 1.94 2.00 1.99 3/179 12992
/proc/meminfo: memFree=29414448/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=87640 CPUtime=3.09
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 37299 0 0 0 295 14 0 0 25 0 1 0 132903066 89743360 19700 4089446400 4194304 9819077 140735401887184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12991/statm: 21910 19700 706 1374 0 20531 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87640

[startup+6.30071 s]
/proc/loadavg: 1.94 2.00 1.99 3/179 12992
/proc/meminfo: memFree=29391260/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=94180 CPUtime=6.29
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 61309 0 0 0 612 17 0 0 25 0 1 0 132903066 96440320 21801 4089446400 4194304 9819077 140735401887184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12991/statm: 23545 21801 732 1374 0 22166 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94180

[startup+12.7006 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 12992
/proc/meminfo: memFree=29383128/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=90684 CPUtime=12.68
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 135585 0 0 0 1239 29 0 0 25 0 1 0 132903066 92860416 21243 4089446400 4194304 9819077 140735401887184 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12991/statm: 22671 21243 732 1374 0 21292 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 90684

[startup+25.5005 s]
/proc/loadavg: 1.96 2.00 1.99 3/179 12992
/proc/meminfo: memFree=29365872/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=96036 CPUtime=25.49
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 310221 0 0 0 2491 58 0 0 25 0 1 0 132903066 98340864 21380 4089446400 4194304 9819077 140735401887184 18446744073709551615 7227167 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12991/statm: 24009 21380 737 1374 0 22630 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 96036

[startup+51.1002 s]
/proc/loadavg: 1.97 2.00 1.99 3/179 12994
/proc/meminfo: memFree=29324620/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=101420 CPUtime=51.08
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 553602 0 0 0 5004 104 0 0 25 0 1 0 132903066 103854080 23535 4089446400 4194304 9819077 140735401887184 18446744073709551615 7233896 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12991/statm: 25355 23535 737 1374 0 23976 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 101420

[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 2/176 13094
/proc/meminfo: memFree=31444264/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=136800 CPUtime=102.29
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 848719 0 0 0 10056 173 0 0 25 0 1 0 132903066 140083200 31869 4089446400 4194304 9819077 140735401887184 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12991/statm: 34200 31869 737 1374 0 32821 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 136800

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13248
/proc/meminfo: memFree=31322324/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=173968 CPUtime=162.29
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 1025686 0 0 0 15961 268 0 0 25 0 1 0 132903066 178143232 41189 4089446400 4194304 9819077 140735401887184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 43492 41189 737 1374 0 42113 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 173968

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13250
/proc/meminfo: memFree=31269768/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=210960 CPUtime=222.28
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 1182010 0 0 0 21865 363 0 0 25 0 1 0 132903066 216023040 50506 4089446400 4194304 9819077 140735401887184 18446744073709551615 6670007 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 52740 50506 737 1374 0 51361 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 210960

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13252
/proc/meminfo: memFree=31216552/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=247408 CPUtime=282.29
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 1389880 0 0 0 27758 471 0 0 25 0 1 0 132903066 253345792 59650 4089446400 4194304 9819077 140735401887184 18446744073709551615 4965872 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 61852 59650 737 1374 0 60473 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 247408

[startup+342.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13254
/proc/meminfo: memFree=31159720/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=284112 CPUtime=342.29
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 1644416 0 0 0 33641 588 0 0 25 0 1 0 132903066 290930688 68848 4089446400 4194304 9819077 140735401887184 18446744073709551615 6723464 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 71028 68848 737 1374 0 69649 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 284112

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13254
/proc/meminfo: memFree=31098820/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=323376 CPUtime=402.29
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 1993059 0 0 0 39510 719 0 0 25 0 1 0 132903066 331137024 78706 4089446400 4194304 9819077 140735401887184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 80844 78706 737 1374 0 79465 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 323376

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13256
/proc/meminfo: memFree=31039356/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=359824 CPUtime=462.29
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 2328174 0 0 0 45382 847 0 0 25 0 1 0 132903066 368459776 87348 4089446400 4194304 9819077 140735401887184 18446744073709551615 6519255 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 89956 87348 737 1374 0 88577 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 359824

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13258
/proc/meminfo: memFree=30977204/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=395500 CPUtime=522.29
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 2577632 0 0 0 51267 962 0 0 25 0 1 0 132903066 404992000 96332 4089446400 4194304 9819077 140735401887184 18446744073709551615 6589066 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 98875 96332 737 1374 0 97496 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 395500

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13260
/proc/meminfo: memFree=30910088/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=432844 CPUtime=582.29
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 2763493 0 0 0 57165 1064 0 0 25 0 1 0 132903066 443232256 105684 4089446400 4194304 9819077 140735401887184 18446744073709551615 6597925 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 108211 105684 737 1374 0 106832 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 432844

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13262
/proc/meminfo: memFree=30846180/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=468232 CPUtime=642.29
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 2962335 0 0 0 63059 1170 0 0 25 0 1 0 132903066 479469568 114593 4089446400 4194304 9819077 140735401887184 18446744073709551615 7816363 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 117058 114593 737 1374 0 115679 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 468232

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 13270
/proc/meminfo: memFree=30432388/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=686664 CPUtime=1002.3
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 5104777 0 0 0 98195 2035 0 0 25 0 1 0 132903066 703143936 169417 4089446400 4194304 9819077 140735401887184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 171666 169417 737 1374 0 170287 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 686664

[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 13272
/proc/meminfo: memFree=30367376/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=723920 CPUtime=1062.29
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 5453715 0 0 0 104056 2173 0 0 25 0 1 0 132903066 741294080 178845 4089446400 4194304 9819077 140735401887184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 180980 178845 737 1374 0 179601 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 723920

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13274
/proc/meminfo: memFree=30290952/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=764396 CPUtime=1122.3
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 5740904 0 0 0 109919 2311 0 0 25 0 1 0 132903066 782741504 188924 4089446400 4194304 9819077 140735401887184 18446744073709551615 4651293 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 191099 188924 737 1374 0 189720 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 764396

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13276
/proc/meminfo: memFree=30216632/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=807000 CPUtime=1182.3
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 6137625 0 0 0 115762 2468 0 0 25 0 1 0 132903066 826368000 199678 4089446400 4194304 9819077 140735401887184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 201750 199678 737 1374 0 200371 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 807000

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13287
/proc/meminfo: memFree=30145764/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=848236 CPUtime=1242.3
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 6329703 0 0 0 121641 2589 0 0 25 0 1 0 132903066 868593664 208928 4089446400 4194304 9819077 140735401887184 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 212059 208928 737 1374 0 210680 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 848236

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13287
/proc/meminfo: memFree=30071724/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=888724 CPUtime=1302.31
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 6492828 0 0 0 127524 2707 0 0 25 0 1 0 132903066 910053376 219100 4089446400 4194304 9819077 140735401887184 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 222181 219100 737 1374 0 220802 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 888724

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13289
/proc/meminfo: memFree=29998416/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=924144 CPUtime=1362.3
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 6871692 0 0 0 133368 2862 0 0 25 0 1 0 132903066 946323456 228009 4089446400 4194304 9819077 140735401887184 18446744073709551615 6003759 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 231036 228009 737 1374 0 229657 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 924144

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13291
/proc/meminfo: memFree=29930656/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=965352 CPUtime=1422.31
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 7126218 0 0 0 139233 2998 0 0 25 0 1 0 132903066 988520448 238299 4089446400 4194304 9819077 140735401887184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 241338 238299 737 1374 0 239959 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 965352

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13293
/proc/meminfo: memFree=29864720/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=1006476 CPUtime=1482.3
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 7449312 0 0 0 145087 3143 0 0 25 0 1 0 132903066 1030631424 248710 4089446400 4194304 9819077 140735401887184 18446744073709551615 8653479 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 251619 248710 737 1374 0 250240 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 1006476

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13295
/proc/meminfo: memFree=29798688/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=1043408 CPUtime=1542.31
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 7788003 0 0 0 150934 3297 0 0 25 0 1 0 132903066 1068449792 257924 4089446400 4194304 9819077 140735401887184 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 260852 257924 737 1374 0 259473 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 1043408

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 13295
/proc/meminfo: memFree=29728112/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=1080872 CPUtime=1602.31
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 8079677 0 0 0 156793 3438 0 0 25 0 1 0 132903066 1106812928 267353 4089446400 4194304 9819077 140735401887184 18446744073709551615 5892349 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 270218 267353 737 1374 0 268839 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 1080872

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13297
/proc/meminfo: memFree=29660244/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=1121228 CPUtime=1662.31
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 8437054 0 0 0 162653 3578 0 0 25 0 1 0 132903066 1148137472 277465 4089446400 4194304 9819077 140735401887184 18446744073709551615 6590687 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 280307 277471 737 1374 0 278928 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 1121228

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13299
/proc/meminfo: memFree=29595976/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=1155812 CPUtime=1722.31
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 8703749 0 0 0 168517 3714 0 0 25 0 1 0 132903066 1183551488 286040 4089446400 4194304 9819077 140735401887184 18446744073709551615 6361630 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 288953 286040 737 1374 0 287574 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 1155812

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13301
/proc/meminfo: memFree=29519564/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=1199436 CPUtime=1782.31
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 8974236 0 0 0 174372 3859 0 0 25 0 1 0 132903066 1228222464 297005 4089446400 4194304 9819077 140735401887184 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 299859 297005 737 1374 0 298480 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 1199436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13301
/proc/meminfo: memFree=29495620/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=1211156 CPUtime=1800.02
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 9047577 0 0 0 176102 3900 0 0 25 0 1 0 132903066 1240223744 299926 4089446400 4194304 9819077 140735401887184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12991/statm: 302789 299926 737 1374 0 301410 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1211156

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.00 2.00 2.00 3/179 13301
/proc/meminfo: memFree=29495620/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=1156356 CPUtime=1800.21
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 9047578 0 0 0 176121 3900 0 0 18 0 1 0 132903066 1184108544 286241 4089446400 4194304 9819077 140735401887184 18446744073709551615 6180602 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12991/statm: 289089 286241 738 1374 0 287710 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 1156356

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13301
/proc/meminfo: memFree=29495620/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=611148 CPUtime=1800.41
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 9047578 0 0 0 176139 3902 0 0 18 0 1 0 132903066 625815552 149939 4089446400 4194304 9819077 140735401887184 18446744073709551615 6179960 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12991/statm: 152787 149939 738 1374 0 151408 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 611148

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13301
/proc/meminfo: memFree=29495620/32951124 swapFree=67111528/67111528
[pid=12991] ppid=12989 vsize=248556 CPUtime=1800.51
/proc/12991/stat : 12991 (pbscip.linux.x8) R 12989 12991 12635 0 -1 4202496 9047578 0 0 0 176147 3904 0 0 18 0 1 0 132903066 254521344 59302 4089446400 4194304 9819077 140735401887184 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12991/statm: 62139 59302 738 1374 0 60760 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 248556

Child status: 0
Real time (s): 1800.55
CPU time (s): 1800.57
CPU user time (s): 1761.51
CPU system time (s): 39.0581
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1211264

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

runsolver used 3.45747 second user time and 6.24505 second system time

The end

Launcher Data 

Begin job on node130 at 2010-06-30 18:41:10
IDJOB=2693116
IDBENCH=79064
IDSOLVER=1205
FILE ID=node130/2693116-1277916070
PBS_JOBID= 11197328
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j301_4-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693116-1277916070/watcher-2693116-1277916070 -o /tmp/evaluation-result-2693116-1277916070/solver-2693116-1277916070 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693116-1277916070.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 3c0ab74eb8c9db5a91042a699e6b4444
RANDOM SEED=1126876351

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29481324 kB
Buffers:        202732 kB
Cached:         974072 kB
SwapCached:          0 kB
Active:        2621932 kB
Inactive:       701208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29481324 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6640 kB
Writeback:           0 kB
AnonPages:     2146884 kB
Mapped:          17988 kB
Slab:            78816 kB
PageTables:       8372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2295344 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node130 at 2010-06-30 19:11:12