Trace number 2692470

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.11 1802.03

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf10.ucl--soft-66-100-0.wbo
MD5SUM5805010aa07d3b134ea004b7ad815631
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark7.69083
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables18069
Total number of constraints52475
Number of soft constraints17765
Number of constraints which are clauses51555
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints920
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 896785
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 896784
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692470-1277915873.wbo>
0.39/0.46	c original problem has 53599 variables (35834 bin, 0 int, 0 impl, 17765 cont) and 70241 constraints
0.39/0.46	c problem read
0.39/0.46	c presolving settings loaded
0.69/0.75	c presolving:
0.89/0.98	c (round 1) 294 del vars, 16 del conss, 5 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356621 impls, 0 clqs
1.00/1.02	c (round 2) 301 del vars, 600 del conss, 7 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356621 impls, 0 clqs
1.00/1.05	c (round 3) 314 del vars, 615 del conss, 10 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356701 impls, 0 clqs
1.00/1.08	c (round 4) 327 del vars, 654 del conss, 16 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356745 impls, 0 clqs
1.10/1.10	c (round 5) 338 del vars, 668 del conss, 16 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356765 impls, 0 clqs
1.10/1.18	c (round 6) 347 del vars, 669 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 356765 impls, 0 clqs
1.39/1.41	c (round 7) 348 del vars, 669 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 34082 upgd conss, 356765 impls, 0 clqs
10.49/10.52	c    (9.9s) probing: 1000/35504 (2.8%) - 3 fixings, 10 aggregations, 42806 implications, 0 bound changes
18.19/18.22	c    (17.6s) probing: 2000/35504 (5.6%) - 6 fixings, 17 aggregations, 66504 implications, 0 bound changes
25.00/25.05	c    (24.4s) probing: 3000/35504 (8.4%) - 6 fixings, 18 aggregations, 74213 implications, 0 bound changes
31.69/31.72	c    (31.1s) probing: 4000/35504 (11.3%) - 7 fixings, 19 aggregations, 80838 implications, 0 bound changes
38.40/38.42	c    (37.7s) probing: 5000/35504 (14.1%) - 8 fixings, 20 aggregations, 82637 implications, 0 bound changes
45.00/45.01	c    (44.3s) probing: 6000/35504 (16.9%) - 8 fixings, 21 aggregations, 84020 implications, 0 bound changes
50.80/50.80	c    (50.1s) probing: 6941/35504 (19.5%) - 8 fixings, 21 aggregations, 84684 implications, 0 bound changes
50.80/50.80	c    (50.1s) probing aborted: 100/100 successive totally useless probings
50.80/50.80	c (round 8) 377 del vars, 669 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 34082 upgd conss, 793240 impls, 0 clqs
50.80/50.86	c (round 9) 379 del vars, 695 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 34082 upgd conss, 793254 impls, 0 clqs
51.50/51.58	c    (50.9s) probing: 7000/35504 (19.7%) - 8 fixings, 21 aggregations, 85341 implications, 0 bound changes
57.29/57.35	c    (56.6s) probing: 7851/35504 (22.1%) - 8 fixings, 22 aggregations, 86704 implications, 0 bound changes
57.29/57.35	c    (56.6s) probing aborted: 100/100 successive totally useless probings
57.29/57.36	c presolving (10 rounds):
57.29/57.36	c  382 deleted vars, 697 deleted constraints, 17763 tightened bounds, 0 added holes, 460 changed sides, 926 changed coefficients
57.29/57.36	c  797593 implications, 0 cliques
57.29/57.36	c presolved problem has 53217 variables (35472 bin, 0 int, 0 impl, 17745 cont) and 69544 constraints
57.29/57.36	c   17745 constraints of type <indicator>
57.29/57.36	c       4 constraints of type <varbound>
57.29/57.36	c     616 constraints of type <knapsack>
57.29/57.36	c   17741 constraints of type <linear>
57.29/57.36	c   33438 constraints of type <logicor>
57.29/57.36	c transformed objective value is always integral (scale: 1)
57.29/57.36	c Presolving Time: 56.48
57.29/57.36	c - non default parameters ----------------------------------------------------------------------
57.29/57.36	c # SCIP version 1.2.1.2
57.29/57.36	c 
57.29/57.36	c # frequency for displaying node information lines
57.29/57.36	c # [type: int, range: [-1,2147483647], default: 100]
57.29/57.36	c display/freq = 10000
57.29/57.36	c 
57.29/57.36	c # maximal time in seconds to run
57.29/57.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
57.29/57.36	c limits/time = 1799.54
57.29/57.36	c 
57.29/57.36	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
57.29/57.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
57.29/57.36	c limits/memory = 3420
57.29/57.36	c 
57.29/57.36	c # should presolving try to simplify inequalities
57.29/57.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
57.29/57.36	c constraints/linear/simplifyinequalities = TRUE
57.29/57.36	c 
57.29/57.36	c # should presolving try to simplify knapsacks
57.29/57.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
57.29/57.36	c constraints/knapsack/simplifyinequalities = TRUE
57.29/57.36	c 
57.29/57.36	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
57.29/57.36	c # [type: int, range: [-1,2147483647], default: -1]
57.29/57.36	c separating/rapidlearning/freq = 0
57.29/57.36	c 
57.29/57.36	c -----------------------------------------------------------------------------------------------
57.29/57.36	c start solving
57.29/57.37	c 
57.89/57.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
57.89/57.91	c  57.1s|     1 |     0 |  1745 |     - | 228M|   0 | 756 |  53k|  69k|  53k|  34k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
64.29/64.36	c  63.4s|     1 |     0 |  5293 |     - | 230M|   0 |1076 |  53k|  69k|  53k|  34k| 350 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
68.20/68.22	c  67.1s|     1 |     0 |  6659 |     - | 230M|   0 |1708 |  53k|  69k|  53k|  34k| 726 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
73.69/73.71	c  72.3s|     1 |     0 |  8716 |     - | 231M|   0 |1996 |  53k|  69k|  53k|  35k|1139 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
79.69/79.78	c  78.0s|     1 |     0 | 10673 |     - | 231M|   0 |2281 |  53k|  69k|  53k|  35k|1539 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
89.00/89.06	c  87.0s|     1 |     0 | 14095 |     - | 232M|   0 |2693 |  53k|  69k|  53k|  36k|2006 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
106.70/106.71	c   103s|     1 |     0 | 17491 |     - | 232M|   0 |2689 |  53k|  69k|  53k|  36k|2413 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
117.50/117.58	c   114s|     1 |     2 | 17491 |     - | 233M|   0 |2689 |  53k|  69k|  53k|  36k|2413 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
365.00/365.09	o 895503
365.00/365.09	c y 359s|    30 |    29 | 42755 | 871.2 | 235M|  15 |   - |  53k|  69k|   0 |   0 |2413 |  82 | 608 | 0.000000e+00 | 8.955030e+05 |    Inf 
1800.08/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.05	c 
1800.08/1800.05	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.05	c Solving Time (sec) : 1768.00
1800.08/1800.05	c Solving Nodes      : 7267
1800.08/1800.05	c Primal Bound       : +8.95503000000000e+05 (100 solutions)
1800.08/1800.05	c Dual Bound         : +0.00000000000000e+00
1800.08/1800.05	c Gap                : infinite

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-2692470-1277915873/watcher-2692470-1277915873 -o /tmp/evaluation-result-2692470-1277915873/solver-2692470-1277915873 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692470-1277915873.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14315
/proc/meminfo: memFree=30808464/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=9440 CPUtime=0
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 1654 0 0 0 0 0 0 0 25 0 1 0 132882514 9666560 1573 4089446400 4194304 8223781 140737442507280 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14315/statm: 2360 1573 369 984 0 1373 0

[startup+0.0665579 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14315
/proc/meminfo: memFree=30808464/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=21976 CPUtime=0.06
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 4786 0 0 0 5 1 0 0 25 0 1 0 132882514 22503424 4705 4089446400 4194304 8223781 140737442507280 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14315/statm: 5494 4705 369 984 0 4507 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21976

[startup+0.100551 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14315
/proc/meminfo: memFree=30808464/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=28052 CPUtime=0.09
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 6330 0 0 0 8 1 0 0 25 0 1 0 132882514 28725248 6249 4089446400 4194304 8223781 140737442507280 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14315/statm: 7013 6249 369 984 0 6026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28052

[startup+0.30052 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14315
/proc/meminfo: memFree=30808464/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=59232 CPUtime=0.29
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 14113 0 0 0 28 1 0 0 25 0 1 0 132882514 60653568 14032 4089446400 4194304 8223781 140737442507280 18446744073709551615 6640019 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14315/statm: 14808 14032 369 984 0 13821 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59232

[startup+0.700434 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14315
/proc/meminfo: memFree=30808464/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=185092 CPUtime=0.69
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 45389 0 0 0 64 5 0 0 25 0 1 0 132882514 189534208 44909 4089446400 4194304 8223781 140737442507280 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14315/statm: 46273 44933 411 984 0 45286 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 185092

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14316
/proc/meminfo: memFree=30598644/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=244688 CPUtime=1.49
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 66001 0 0 0 133 16 0 0 25 0 1 0 132882514 250560512 58312 4089446400 4194304 8223781 140737442507280 18446744073709551615 4644815 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14315/statm: 61172 58312 483 984 0 60185 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 244688

[startup+3.10095 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14316
/proc/meminfo: memFree=30570248/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=251628 CPUtime=3.09
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 68189 0 0 0 293 16 0 0 25 0 1 0 132882514 257667072 60500 4089446400 4194304 8223781 140737442507280 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14315/statm: 62907 60500 486 984 0 61920 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 251628

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14316
/proc/meminfo: memFree=30559432/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=257416 CPUtime=6.29
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 69653 0 0 0 612 17 0 0 25 0 1 0 132882514 263593984 61964 4089446400 4194304 8223781 140737442507280 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14315/statm: 64354 61964 486 984 0 63367 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 257416

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14316
/proc/meminfo: memFree=30548904/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=261924 CPUtime=12.69
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 70736 0 0 0 1251 18 0 0 25 0 1 0 132882514 268210176 63047 4089446400 4194304 8223781 140737442507280 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14315/statm: 65481 63047 491 984 0 64494 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 261924

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14317
/proc/meminfo: memFree=30535224/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=268408 CPUtime=25.5
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 72351 0 0 0 2529 21 0 0 25 0 1 0 132882514 274849792 64662 4089446400 4194304 8223781 140737442507280 18446744073709551615 5500824 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14315/statm: 67102 64662 491 984 0 66115 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 268408

[startup+51.1004 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 14317
/proc/meminfo: memFree=30516264/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=271912 CPUtime=51.1
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 75614 0 0 0 5082 28 0 0 25 0 1 0 132882514 278437888 65533 4089446400 4194304 8223781 140737442507280 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14315/statm: 67978 65533 491 984 0 66991 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 271912

[startup+102.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14319
/proc/meminfo: memFree=30406580/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=365248 CPUtime=102.3
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 2750358 0 0 0 9946 284 0 0 25 0 1 0 132882514 374013952 85074 4089446400 4194304 8223781 140737442507280 18446744073709551615 6568506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14315/statm: 91312 85074 590 984 0 90325 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 365248

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14320
/proc/meminfo: memFree=30368316/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=365744 CPUtime=162.3
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 3001256 0 0 0 15902 328 0 0 25 0 1 0 132882514 374521856 85224 4089446400 4194304 8223781 140737442507280 18446744073709551615 6567796 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14315/statm: 91436 85224 601 984 0 90449 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 365744

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14322
/proc/meminfo: memFree=30319764/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=375360 CPUtime=222.3
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 3885996 0 0 0 21786 444 0 0 25 0 1 0 132882514 384368640 87394 4089446400 4194304 8223781 140737442507280 18446744073709551615 6439944 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14315/statm: 93840 87394 605 984 0 92853 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 375360

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14323
/proc/meminfo: memFree=30285476/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=369596 CPUtime=282.3
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 4252125 0 0 0 27729 501 0 0 25 0 1 0 132882514 378466304 86160 4089446400 4194304 8223781 140737442507280 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14315/statm: 92399 86160 605 984 0 91412 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 369596

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14325
/proc/meminfo: memFree=30246460/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=369640 CPUtime=342.3
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 4628097 0 0 0 33675 555 0 0 25 0 1 0 132882514 378511360 86132 4089446400 4194304 8223781 140737442507280 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14315/statm: 92410 86132 605 984 0 91423 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 369640

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14327
/proc/meminfo: memFree=30206080/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=368996 CPUtime=402.31
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 5126017 0 0 0 39607 624 0 0 25 0 1 0 132882514 377851904 86141 4089446400 4194304 8223781 140737442507280 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14315/statm: 92249 86141 605 984 0 91262 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 368996

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14328
/proc/meminfo: memFree=30164576/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=374956 CPUtime=462.31
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 5635378 0 0 0 45535 696 0 0 25 0 1 0 132882514 383954944 87646 4089446400 4194304 8223781 140737442507280 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14315/statm: 93739 87646 605 984 0 92752 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 374956

[startup+522.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 14330
/proc/meminfo: memFree=30126060/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=375688 CPUtime=522.31
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 6314117 0 0 0 51446 785 0 0 25 0 1 0 132882514 384704512 87714 4089446400 4194304 8223781 140737442507280 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14315/statm: 93922 87714 605 984 0 92935 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 375688

[startup+582.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 14331
/proc/meminfo: memFree=30082316/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=380196 CPUtime=582.32
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 6807290 0 0 0 57375 857 0 0 25 0 1 0 132882514 389320704 88891 4089446400 4194304 8223781 140737442507280 18446744073709551615 5346809 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14315/statm: 95049 88891 605 984 0 94062 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 380196

[startup+642.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 14333
/proc/meminfo: memFree=30045032/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=382808 CPUtime=642.32
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 7381945 0 0 0 63298 934 0 0 25 0 1 0 132882514 391995392 89542 4089446400 4194304 8223781 140737442507280 18446744073709551615 5893851 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14315/statm: 95702 89542 605 984 0 94715 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 382808

[startup+702.301 s]

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

/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 10123276 0 0 0 98858 1375 0 0 25 0 1 0 132882514 406986752 93199 4089446400 4194304 8223781 140737442507280 18446744073709551615 7074048 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14315/statm: 99362 93199 640 984 0 98375 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 397448

[startup+1062.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 14602
/proc/meminfo: memFree=30994992/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=398596 CPUtime=1062.34
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 10630799 0 0 0 104765 1469 0 0 25 0 1 0 132882514 408162304 93513 4089446400 4194304 8223781 140737442507280 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14315/statm: 99649 93513 638 984 0 98662 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 398596

[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 14604
/proc/meminfo: memFree=30959900/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=402208 CPUtime=1122.34
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 11242494 0 0 0 110665 1569 0 0 25 0 1 0 132882514 411860992 95156 4089446400 4194304 8223781 140737442507280 18446744073709551615 6606325 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14315/statm: 100552 95156 619 984 0 99565 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 402208

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14605
/proc/meminfo: memFree=30915264/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=431704 CPUtime=1182.35
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 12167374 0 0 0 116523 1712 0 0 25 0 1 0 132882514 442064896 101856 4089446400 4194304 8223781 140737442507280 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14315/statm: 107926 101856 663 984 0 106939 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 431704

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14607
/proc/meminfo: memFree=30875792/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=451124 CPUtime=1242.35
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 13154233 0 0 0 122378 1857 0 0 25 0 1 0 132882514 461950976 106553 4089446400 4194304 8223781 140737442507280 18446744073709551615 6300858 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14315/statm: 112781 106553 620 984 0 111794 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 451124

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14609
/proc/meminfo: memFree=30832840/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=469284 CPUtime=1302.36
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 14102454 0 0 0 128233 2003 0 0 25 0 1 0 132882514 480546816 110700 4089446400 4194304 8223781 140737442507280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14315/statm: 117321 110700 625 984 0 116334 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 469284

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14610
/proc/meminfo: memFree=30778132/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=494152 CPUtime=1362.35
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 15020495 0 0 0 134098 2137 0 0 25 0 1 0 132882514 506011648 117191 4089446400 4194304 8223781 140737442507280 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14315/statm: 123538 117191 624 984 0 122551 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 494152

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14621
/proc/meminfo: memFree=30732348/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=511280 CPUtime=1422.36
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 15967628 0 0 0 139964 2272 0 0 25 0 1 0 132882514 523550720 121331 4089446400 4194304 8223781 140737442507280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14315/statm: 127820 121331 616 984 0 126833 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 511280

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14622
/proc/meminfo: memFree=30696100/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=527836 CPUtime=1482.36
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 17027857 0 0 0 145811 2425 0 0 25 0 1 0 132882514 540504064 125387 4089446400 4194304 8223781 140737442507280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14315/statm: 131959 125387 620 984 0 130972 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 527836

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 14624
/proc/meminfo: memFree=30652024/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=548464 CPUtime=1542.36
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 17995748 0 0 0 151673 2563 0 0 25 0 1 0 132882514 561627136 130462 4089446400 4194304 8223781 140737442507280 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14315/statm: 137116 130462 619 984 0 136129 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 548464

[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 14626
/proc/meminfo: memFree=30614416/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=562828 CPUtime=1602.36
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 19047168 0 0 0 157517 2719 0 0 25 0 1 0 132882514 576335872 134256 4089446400 4194304 8223781 140737442507280 18446744073709551615 6326787 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14315/statm: 140707 134256 616 984 0 139720 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 562828

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 14627
/proc/meminfo: memFree=30582744/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=569492 CPUtime=1662.36
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 20069981 0 0 0 163375 2861 0 0 25 0 1 0 132882514 583159808 136626 4089446400 4194304 8223781 140737442507280 18446744073709551615 6521198 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14315/statm: 142447 136628 628 984 0 141460 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 569492

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14629
/proc/meminfo: memFree=30547116/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=586260 CPUtime=1722.37
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 21101656 0 0 0 169220 3017 0 0 25 0 1 0 132882514 600330240 139852 4089446400 4194304 8223781 140737442507280 18446744073709551615 6446940 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14315/statm: 146565 139852 646 984 0 145578 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 586260

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14630
/proc/meminfo: memFree=30515572/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=596148 CPUtime=1782.37
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 21789368 0 0 0 175109 3128 0 0 25 0 1 0 132882514 610455552 142324 4089446400 4194304 8223781 140737442507280 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14315/statm: 149037 142324 625 984 0 148050 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 596148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14631
/proc/meminfo: memFree=30505028/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=598456 CPUtime=1800.08
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 22076927 0 0 0 176840 3168 0 0 25 0 1 0 132882514 612818944 143043 4089446400 4194304 8223781 140737442507280 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14315/statm: 149614 143043 636 984 0 148627 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 598456

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14315

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14632
/proc/meminfo: memFree=30505020/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=594816 CPUtime=1801.47
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 22078097 0 0 0 176979 3168 0 0 25 0 1 0 132882514 609091584 142723 4089446400 4194304 8223781 140737442507280 18446744073709551615 4241122 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14315/statm: 148704 142723 636 984 0 147717 0
Current children cumulated CPU time (s) 1801.47
Current children cumulated vsize (KiB) 594816

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14632
/proc/meminfo: memFree=30505020/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=594816 CPUtime=1801.88
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 22078097 0 0 0 177020 3168 0 0 25 0 1 0 132882514 609091584 142723 4089446400 4194304 8223781 140737442507280 18446744073709551615 4240875 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14315/statm: 148704 142723 636 984 0 147717 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 594816

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14632
/proc/meminfo: memFree=30505020/32951124 swapFree=67111528/67111528
[pid=14315] ppid=14313 vsize=594816 CPUtime=1802.07
/proc/14315/stat : 14315 (pbscip.linux.x8) R 14313 14315 13645 0 -1 4202496 22078097 0 0 0 177039 3168 0 0 25 0 1 0 132882514 609091584 142723 4089446400 4194304 8223781 140737442507280 18446744073709551615 7257287 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14315/statm: 148704 142723 636 984 0 147717 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 594816

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.11
CPU user time (s): 1770.4
CPU system time (s): 31.7082
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 712148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.4
system time used= 31.7082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22078097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 5326

runsolver used 2.72458 second user time and 6.62899 second system time

The end

Launcher Data 

Begin job on node143 at 2010-06-30 18:37:54
IDJOB=2692470
IDBENCH=79062
IDSOLVER=1204
FILE ID=node143/2692470-1277915873
PBS_JOBID= 11197283
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692470-1277915873/watcher-2692470-1277915873 -o /tmp/evaluation-result-2692470-1277915873/solver-2692470-1277915873 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692470-1277915873.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 5805010aa07d3b134ea004b7ad815631
RANDOM SEED=1732627740

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30808868 kB
Buffers:        201668 kB
Cached:         970936 kB
SwapCached:          0 kB
Active:        1242252 kB
Inactive:       755732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30808868 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6240 kB
Writeback:           0 kB
AnonPages:      825596 kB
Mapped:          16432 kB
Slab:            79268 kB
PageTables:       6372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   974652 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 node143 at 2010-06-30 19:07:56