Trace number 2692663

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.07 1802.03

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-0-100-0.wbo
MD5SUMc93eadfd598977d622635d98b523c998
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark0.051992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6466
Total number of constraints19939
Number of soft constraints19939
Number of constraints which are clauses19731
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints208
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 1003722
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1003721
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 112
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: 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-2692663-1277932903.wbo>
0.19/0.21	c original problem has 46344 variables (26405 bin, 0 int, 0 impl, 19939 cont) and 39879 constraints
0.19/0.21	c problem read
0.19/0.21	c presolving settings loaded
5.49/5.52	o 1003721
5.49/5.52	c feasible solution found by trivial heuristic, objective value  1.003721e+06
5.49/5.52	c presolving:
10.39/10.42	c    (10.2s) probing: 1000/26405 (3.8%) - 0 fixings, 0 aggregations, 280 implications, 0 bound changes
15.19/15.22	c    (14.9s) probing: 2000/26405 (7.6%) - 0 fixings, 0 aggregations, 454 implications, 0 bound changes
15.19/15.23	c    (14.9s) probing: 2001/26405 (7.6%) - 0 fixings, 0 aggregations, 454 implications, 0 bound changes
15.19/15.23	c    (14.9s) probing aborted: 2000/2000 successive useless probings
15.19/15.23	c (round 1) 0 del vars, 1 del conss, 19939 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20620 impls, 0 clqs
15.29/15.32	c (round 2) 0 del vars, 1 del conss, 19939 chg bounds, 0 chg sides, 0 chg coeffs, 356 upgd conss, 20620 impls, 0 clqs
15.99/16.03	c    (15.7s) probing: 2144/26405 (8.1%) - 0 fixings, 0 aggregations, 517 implications, 0 bound changes
15.99/16.03	c    (15.7s) probing aborted: 100/100 successive totally useless probings
15.99/16.03	c presolving (3 rounds):
15.99/16.03	c  0 deleted vars, 1 deleted constraints, 19939 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
15.99/16.03	c  20875 implications, 0 cliques
15.99/16.03	c presolved problem has 46344 variables (26405 bin, 0 int, 0 impl, 19939 cont) and 39878 constraints
15.99/16.03	c   19939 constraints of type <indicator>
15.99/16.03	c     356 constraints of type <varbound>
15.99/16.03	c   19583 constraints of type <linear>
15.99/16.03	c transformed objective value is always integral (scale: 1)
15.99/16.03	c Presolving Time: 15.62
15.99/16.03	c - non default parameters ----------------------------------------------------------------------
15.99/16.03	c # SCIP version 1.2.1.2
15.99/16.03	c 
15.99/16.03	c # frequency for displaying node information lines
15.99/16.03	c # [type: int, range: [-1,2147483647], default: 100]
15.99/16.03	c display/freq = 10000
15.99/16.03	c 
15.99/16.03	c # maximal time in seconds to run
15.99/16.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.99/16.03	c limits/time = 1799.8
15.99/16.03	c 
15.99/16.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.99/16.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.99/16.03	c limits/memory = 3420
15.99/16.03	c 
15.99/16.03	c # should presolving try to simplify inequalities
15.99/16.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.99/16.03	c constraints/linear/simplifyinequalities = TRUE
15.99/16.03	c 
15.99/16.03	c # should presolving try to simplify knapsacks
15.99/16.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.99/16.03	c constraints/knapsack/simplifyinequalities = TRUE
15.99/16.03	c 
15.99/16.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
15.99/16.03	c # [type: int, range: [-1,2147483647], default: -1]
15.99/16.03	c separating/rapidlearning/freq = 0
15.99/16.03	c 
15.99/16.03	c -----------------------------------------------------------------------------------------------
15.99/16.03	c start solving
15.99/16.04	c 
16.09/16.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.09/16.18	c t15.9s|     1 |     0 |     0 |     - | 147M|   0 |   0 |  46k|  39k|  46k|   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.18/16.22	c  15.9s|     1 |     0 |   121 |     - | 147M|   0 |   0 |  46k|  39k|  46k| 209 | 209 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.18/16.26	c  15.9s|     1 |     0 |   308 |     - | 147M|   0 |   0 |  46k|  39k|  46k| 409 | 409 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.28/16.30	c  16.0s|     1 |     0 |   479 |     - | 147M|   0 |   0 |  46k|  39k|  46k| 609 | 609 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.28/16.33	c  16.0s|     1 |     0 |   645 |     - | 147M|   0 |   0 |  46k|  39k|  46k| 809 | 809 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.28/16.37	c  16.1s|     1 |     0 |   804 |     - | 147M|   0 |   0 |  46k|  39k|  46k|1009 |1009 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.39/16.41	c  16.1s|     1 |     0 |   955 |     - | 148M|   0 |   0 |  46k|  39k|  46k|1209 |1209 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.39/16.45	c  16.1s|     1 |     0 |  1101 |     - | 148M|   0 |   0 |  46k|  39k|  46k|1409 |1409 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.39/16.49	c  16.2s|     1 |     0 |  1248 |     - | 148M|   0 |   0 |  46k|  39k|  46k|1610 |1610 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.49/16.53	c  16.2s|     1 |     0 |  1411 |     - | 148M|   0 |   0 |  46k|  39k|  46k|1811 |1811 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.49/16.57	c  16.3s|     1 |     0 |  1576 |     - | 148M|   0 |   0 |  46k|  39k|  46k|2013 |2013 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.60/16.62	c  16.3s|     1 |     0 |  1744 |     - | 148M|   0 |   0 |  46k|  39k|  46k|2216 |2216 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.60/16.66	c  16.3s|     1 |     0 |  1909 |     - | 148M|   0 |   0 |  46k|  39k|  46k|2417 |2417 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
16.69/16.71	c  16.4s|     1 |     0 |  2079 |     - | 148M|   0 |   1 |  46k|  39k|  46k|2621 |2621 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
17.39/17.48	c  17.1s|     1 |     0 |  2289 |     - | 148M|   0 |  32 |  46k|  39k|  46k|2825 |2825 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
18.29/18.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.29/18.34	c  18.0s|     1 |     0 |  2551 |     - | 149M|   0 | 300 |  46k|  39k|  46k|3036 |3036 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
18.99/19.08	c  18.7s|     1 |     0 |  2759 |     - | 151M|   0 |  24 |  46k|  39k|  46k|3254 |3254 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
19.99/20.07	c  19.7s|     1 |     0 |  2949 |     - | 151M|   0 |   3 |  46k|  39k|  46k|3459 |3459 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
20.69/20.80	c  20.4s|     1 |     2 |  5422 |     - | 152M|   0 |   3 |  46k|  39k|  46k|3459 |3459 |   0 |   3 | 0.000000e+00 | 1.003721e+06 |    Inf 
875.31/875.36	c   848s| 10000 | 10001 |419629 |  41.7 | 286M|  89 |  42 |  46k|  39k|  46k|6162 | 353k|   0 |  24k| 0.000000e+00 | 1.003721e+06 |    Inf 
1346.32/1346.31	c  1308s| 20000 | 20001 |720274 |  35.9 | 420M| 107 |   1 |  46k|  39k|  46k|5504 | 569k|   0 |  28k| 0.000000e+00 | 1.003721e+06 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1750.67
1800.03/1800.00	c Solving Nodes      : 29203
1800.03/1800.00	c Primal Bound       : +1.00372100000000e+06 (2 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	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-2692663-1277932903/watcher-2692663-1277932903 -o /tmp/evaluation-result-2692663-1277932903/solver-2692663-1277932903 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692663-1277932903.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.19 2.20 2.11 4/178 18261
/proc/meminfo: memFree=31045828/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=9548 CPUtime=0
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 1680 0 0 0 0 0 0 0 25 0 1 0 134584955 9777152 1600 4089446400 4194304 8223781 140733401890576 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18261/statm: 2387 1600 369 984 0 1400 0

[startup+0.101546 s]
/proc/loadavg: 2.19 2.20 2.11 4/178 18261
/proc/meminfo: memFree=31045828/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=38064 CPUtime=0.09
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 8829 0 0 0 9 0 0 0 25 0 1 0 134584955 38977536 8749 4089446400 4194304 8223781 140733401890576 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18261/statm: 9516 8749 369 984 0 8529 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38064

[startup+0.200544 s]
/proc/loadavg: 2.19 2.20 2.11 4/178 18261
/proc/meminfo: memFree=31045828/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=64972 CPUtime=0.19
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 15557 0 0 0 18 1 0 0 25 0 1 0 134584955 66531328 15455 4089446400 4194304 8223781 140733401890576 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18261/statm: 16243 15482 369 984 0 15256 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 64972

[startup+0.300514 s]
/proc/loadavg: 2.19 2.20 2.11 4/178 18261
/proc/meminfo: memFree=31045828/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=128256 CPUtime=0.29
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 31559 0 0 0 26 3 0 0 25 0 1 0 134584955 131334144 31057 4089446400 4194304 8223781 140733401890576 18446744073709551615 4384358 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 32064 31057 387 984 0 31077 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 128256

[startup+0.700444 s]
/proc/loadavg: 2.19 2.20 2.11 4/178 18261
/proc/meminfo: memFree=31045828/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=164540 CPUtime=0.69
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 39378 0 0 0 65 4 0 0 25 0 1 0 134584955 168488960 38849 4089446400 4194304 8223781 140733401890576 18446744073709551615 7257502 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 41135 38849 422 984 0 40148 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 164540

[startup+1.50031 s]
/proc/loadavg: 2.19 2.20 2.11 3/179 18262
/proc/meminfo: memFree=30890948/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=164540 CPUtime=1.49
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 39378 0 0 0 145 4 0 0 25 0 1 0 134584955 168488960 38849 4089446400 4194304 8223781 140733401890576 18446744073709551615 7257502 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 41135 38849 422 984 0 40148 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 164540

[startup+3.10102 s]
/proc/loadavg: 2.19 2.20 2.11 3/179 18262
/proc/meminfo: memFree=30890080/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=164540 CPUtime=3.09
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 39378 0 0 0 305 4 0 0 25 0 1 0 134584955 168488960 38849 4089446400 4194304 8223781 140733401890576 18446744073709551615 7257414 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 41135 38849 422 984 0 40148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 164540

[startup+6.30046 s]
/proc/loadavg: 2.17 2.20 2.11 3/179 18262
/proc/meminfo: memFree=30889708/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=173376 CPUtime=6.29
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 42519 0 0 0 623 6 0 0 25 0 1 0 134584955 177537024 41182 4089446400 4194304 8223781 140733401890576 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 43344 41182 485 984 0 42357 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 173376

[startup+12.7003 s]
/proc/loadavg: 2.16 2.19 2.11 3/179 18262
/proc/meminfo: memFree=30880448/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=174152 CPUtime=12.69
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 42718 0 0 0 1262 7 0 0 25 0 1 0 134584955 178331648 41374 4089446400 4194304 8223781 140733401890576 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 43538 41374 478 984 0 42551 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 174152

[startup+25.5011 s]
/proc/loadavg: 2.12 2.18 2.10 3/179 18262
/proc/meminfo: memFree=30841352/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=217888 CPUtime=25.49
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 231719 0 0 0 2518 31 0 0 25 0 1 0 134584955 223117312 50930 4089446400 4194304 8223781 140733401890576 18446744073709551615 6372002 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 54472 50930 583 984 0 53485 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 217888

[startup+51.1006 s]
/proc/loadavg: 2.08 2.17 2.10 3/179 18262
/proc/meminfo: memFree=30834940/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=220100 CPUtime=51.09
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 1213519 0 0 0 4975 134 0 0 25 0 1 0 134584955 225382400 51409 4089446400 4194304 8223781 140733401890576 18446744073709551615 6505967 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 55025 51409 583 984 0 54038 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 220100

[startup+102.301 s]
/proc/loadavg: 2.07 2.15 2.10 3/179 18264
/proc/meminfo: memFree=30823740/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=225636 CPUtime=102.3
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 3039988 0 0 0 9911 319 0 0 25 0 1 0 134584955 231051264 52731 4089446400 4194304 8223781 140733401890576 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 56409 52731 583 984 0 55422 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 225636

[startup+162.301 s]
/proc/loadavg: 2.02 2.12 2.09 3/179 18266
/proc/meminfo: memFree=30807448/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=232624 CPUtime=162.29
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 4986710 0 0 0 15708 521 0 0 25 0 1 0 134584955 238206976 54447 4089446400 4194304 8223781 140733401890576 18446744073709551615 6448683 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 58156 54447 583 984 0 57169 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 232624

[startup+222.307 s]
/proc/loadavg: 2.01 2.10 2.08 3/179 18268
/proc/meminfo: memFree=30790160/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=241584 CPUtime=222.3
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 6933013 0 0 0 21506 724 0 0 25 0 1 0 134584955 247382016 56698 4089446400 4194304 8223781 140733401890576 18446744073709551615 6567883 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 60396 56698 583 984 0 59409 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 241584

[startup+282.301 s]
/proc/loadavg: 2.00 2.08 2.08 3/179 18269
/proc/meminfo: memFree=30768796/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=251984 CPUtime=282.3
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 8903756 0 0 0 27297 933 0 0 25 0 1 0 134584955 258031616 59274 4089446400 4194304 8223781 140733401890576 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 62996 59274 583 984 0 62009 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 251984

[startup+342.301 s]
/proc/loadavg: 2.00 2.06 2.07 3/179 18270
/proc/meminfo: memFree=30751016/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=258032 CPUtime=342.29
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 10893714 0 0 0 33088 1141 0 0 25 0 1 0 134584955 264224768 60795 4089446400 4194304 8223781 140733401890576 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 64508 60795 583 984 0 63521 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 258032

[startup+402.301 s]
/proc/loadavg: 2.00 2.05 2.06 3/179 18272
/proc/meminfo: memFree=30731124/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=266916 CPUtime=402.3
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 13001976 0 0 0 38868 1362 0 0 25 0 1 0 134584955 273321984 62917 4089446400 4194304 8223781 140733401890576 18446744073709551615 6505904 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 66729 62917 583 984 0 65742 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 266916

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/179 18274
/proc/meminfo: memFree=30710872/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=274820 CPUtime=462.3
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 14934633 0 0 0 44663 1567 0 0 25 0 1 0 134584955 281415680 64933 4089446400 4194304 8223781 140733401890576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 68705 64933 583 984 0 67718 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 274820

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.05 3/179 18275
/proc/meminfo: memFree=30696568/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=285536 CPUtime=522.3
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 16566286 0 0 0 50490 1740 0 0 25 0 1 0 134584955 292388864 67593 4089446400 4194304 8223781 140733401890576 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 71384 67593 584 984 0 70397 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 285536

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 18277
/proc/meminfo: memFree=30679796/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=298124 CPUtime=582.3
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 18187840 0 0 0 56303 1927 0 0 25 0 1 0 134584955 305278976 70664 4089446400 4194304 8223781 140733401890576 18446744073709551615 6448683 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 74531 70664 583 984 0 73544 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 298124

[startup+642.301 s]
/proc/loadavg: 2.10 2.04 2.05 3/179 18281
/proc/meminfo: memFree=30660000/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=310452 CPUtime=642.3
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 19668121 0 0 0 62136 2094 0 0 25 0 1 0 134584955 317902848 73879 4089446400 4194304 8223781 140733401890576 18446744073709551615 6482738 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 77613 73879 583 984 0 76626 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 310452

[startup+702.3 s]

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

/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 29838885 0 0 0 103018 3214 0 0 25 0 1 0 134584955 422580224 99423 4089446400 4194304 8223781 140733401890576 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 103169 99423 583 984 0 102182 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 412676

[startup+1122.3 s]
/proc/loadavg: 1.02 1.48 1.80 2/171 18317
/proc/meminfo: memFree=30854360/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=430484 CPUtime=1122.31
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 30985076 0 0 0 108885 3346 0 0 25 0 1 0 134584955 440815616 103740 4089446400 4194304 8223781 140733401890576 18446744073709551615 6436202 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 107621 103740 583 984 0 106634 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 430484

[startup+1182.3 s]
/proc/loadavg: 1.09 1.41 1.76 2/171 18318
/proc/meminfo: memFree=30835860/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=447208 CPUtime=1182.31
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 32033511 0 0 0 114764 3467 0 0 25 0 1 0 134584955 457940992 108099 4089446400 4194304 8223781 140733401890576 18446744073709551615 6446940 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 111802 108099 583 984 0 110815 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 447208

[startup+1242.3 s]
/proc/loadavg: 1.03 1.33 1.71 2/171 18319
/proc/meminfo: memFree=30817488/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=465572 CPUtime=1242.32
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 33224353 0 0 0 120628 3604 0 0 25 0 1 0 134584955 476745728 112669 4089446400 4194304 8223781 140733401890576 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 116393 112669 583 984 0 115406 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 465572

[startup+1302.3 s]
/proc/loadavg: 1.01 1.27 1.66 2/171 18321
/proc/meminfo: memFree=30799856/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=483068 CPUtime=1302.32
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 34256980 0 0 0 126509 3723 0 0 25 0 1 0 134584955 494661632 117040 4089446400 4194304 8223781 140733401890576 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 120767 117040 589 984 0 119780 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 483068

[startup+1362.3 s]
/proc/loadavg: 1.00 1.22 1.62 2/171 18323
/proc/meminfo: memFree=30780860/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=501836 CPUtime=1362.33
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 35423265 0 0 0 132379 3854 0 0 25 0 1 0 134584955 513880064 121782 4089446400 4194304 8223781 140733401890576 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 125459 121782 583 984 0 124472 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 501836

[startup+1422.3 s]
/proc/loadavg: 1.00 1.18 1.57 2/171 18325
/proc/meminfo: memFree=30762604/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=520572 CPUtime=1422.32
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 36542068 0 0 0 138250 3982 0 0 25 0 1 0 134584955 533065728 126380 4089446400 4194304 8223781 140733401890576 18446744073709551615 6089673 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 130143 126380 583 984 0 129156 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 520572

[startup+1482.3 s]
/proc/loadavg: 1.00 1.14 1.53 2/171 18326
/proc/meminfo: memFree=30742748/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=540436 CPUtime=1482.32
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 37811321 0 0 0 144106 4126 0 0 25 0 1 0 134584955 553406464 131435 4089446400 4194304 8223781 140733401890576 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 135109 131435 583 984 0 134122 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 540436

[startup+1542.31 s]
/proc/loadavg: 1.00 1.11 1.50 2/171 18327
/proc/meminfo: memFree=30730448/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=553300 CPUtime=1542.34
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 39424695 0 0 0 149930 4304 0 0 25 0 1 0 134584955 566579200 134554 4089446400 4194304 8223781 140733401890576 18446744073709551615 6505967 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 138325 134554 583 984 0 137338 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 553300

[startup+1602.3 s]
/proc/loadavg: 1.00 1.09 1.46 2/171 18329
/proc/meminfo: memFree=30716044/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=567136 CPUtime=1602.32
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 40787547 0 0 0 155777 4455 0 0 25 0 1 0 134584955 580747264 138134 4089446400 4194304 8223781 140733401890576 18446744073709551615 7257627 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 141784 138134 583 984 0 140797 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 567136

[startup+1662.3 s]
/proc/loadavg: 1.00 1.07 1.43 2/171 18331
/proc/meminfo: memFree=30699404/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=583616 CPUtime=1662.33
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 41973688 0 0 0 161648 4585 0 0 25 0 1 0 134584955 597622784 142199 4089446400 4194304 8223781 140733401890576 18446744073709551615 6447023 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 145904 142199 583 984 0 144917 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 583616

[startup+1722.3 s]
/proc/loadavg: 1.00 1.06 1.40 2/171 18332
/proc/meminfo: memFree=30681524/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=601716 CPUtime=1722.33
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 43137598 0 0 0 167515 4718 0 0 25 0 1 0 134584955 616157184 146690 4089446400 4194304 8223781 140733401890576 18446744073709551615 6446793 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 150429 146690 583 984 0 149442 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 601716

[startup+1782.3 s]
/proc/loadavg: 1.00 1.04 1.37 2/171 18334
/proc/meminfo: memFree=30666876/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=616088 CPUtime=1782.33
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 44562031 0 0 0 173359 4874 0 0 25 0 1 0 134584955 630874112 150272 4089446400 4194304 8223781 140733401890576 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 154022 150272 583 984 0 153035 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 616088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.04 1.36 2/171 18335
/proc/meminfo: memFree=30662400/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=620124 CPUtime=1800.03
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 44953380 0 0 0 175086 4917 0 0 25 0 1 0 134584955 635006976 151346 4089446400 4194304 8223781 140733401890576 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18261/statm: 155031 151346 583 984 0 154044 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 620124

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -18261

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.04 1.36 2/172 18336
/proc/meminfo: memFree=30662392/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=620124 CPUtime=1800.73
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 44953380 0 0 0 175156 4917 0 0 25 0 1 0 134584955 635006976 151346 4089446400 4194304 8223781 140733401890576 18446744073709551615 4241122 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18261/statm: 155031 151346 583 984 0 154044 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 620124

[startup+1801.5 s]
/proc/loadavg: 1.00 1.04 1.36 2/172 18336
/proc/meminfo: memFree=30662392/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=620124 CPUtime=1801.53
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 44953380 0 0 0 175236 4917 0 0 25 0 1 0 134584955 635006976 151346 4089446400 4194304 8223781 140733401890576 18446744073709551615 7257560 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18261/statm: 155031 151346 583 984 0 154044 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 620124

[startup+1801.91 s]
/proc/loadavg: 1.00 1.04 1.36 2/172 18336
/proc/meminfo: memFree=30662392/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=620124 CPUtime=1801.93
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 44953380 0 0 0 175276 4917 0 0 25 0 1 0 134584955 635006976 151346 4089446400 4194304 8223781 140733401890576 18446744073709551615 7257248 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18261/statm: 155031 151346 583 984 0 154044 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 620124

[startup+1802 s]
/proc/loadavg: 1.00 1.04 1.36 2/172 18336
/proc/meminfo: memFree=30662392/32951124 swapFree=67111528/67111528
[pid=18261] ppid=18259 vsize=620124 CPUtime=1802.03
/proc/18261/stat : 18261 (pbscip.linux.x8) R 18259 18261 17776 0 -1 4202496 44953380 0 0 0 175286 4917 0 0 25 0 1 0 134584955 635006976 151346 4089446400 4194304 8223781 140733401890576 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18261/statm: 155031 151346 583 984 0 154044 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 620124

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.07
CPU user time (s): 1752.87
CPU system time (s): 49.1995
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 620892

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

runsolver used 2.85857 second user time and 5.99609 second system time

The end

Launcher Data 

Begin job on node144 at 2010-06-30 23:21:44
IDJOB=2692663
IDBENCH=79347
IDSOLVER=1204
FILE ID=node144/2692663-1277932903
PBS_JOBID= 11197435
Free space on /tmp= 74176 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB10/oliveras/j60/normalized-j602_7-unsat--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692663-1277932903/watcher-2692663-1277932903 -o /tmp/evaluation-result-2692663-1277932903/solver-2692663-1277932903 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692663-1277932903.wbo -t 1800 -m 3800

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

MD5SUM BENCH= c93eadfd598977d622635d98b523c998
RANDOM SEED=698422751

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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	: 5332.75
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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	: 5230.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31046356 kB
Buffers:        217860 kB
Cached:        1262664 kB
SwapCached:          0 kB
Active:         797924 kB
Inactive:       959436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31046356 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5604 kB
Writeback:           0 kB
AnonPages:      276296 kB
Mapped:          16288 kB
Slab:            82948 kB
PageTables:       5048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   427160 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= 74172 MiB
End job on node144 at 2010-06-30 23:51:46