Trace number 2692354

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/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag12.ucl--soft-66-100-0.wbo
MD5SUM51de4f9a349da19d6e38b7104085cf7d
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 benchmark38.1792
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables20605
Total number of constraints59851
Number of soft constraints20266
Number of constraints which are clauses58675
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1176
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 1021972
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1021971
Biggest number in a constraint 41
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 134
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-2692354-1277913605.wbo>
0.50/0.51	c original problem has 61137 variables (40871 bin, 0 int, 0 impl, 20266 cont) and 80118 constraints
0.50/0.51	c problem read
0.50/0.51	c presolving settings loaded
0.79/0.86	c presolving:
1.09/1.15	c (round 1) 361 del vars, 196 del conss, 47 chg bounds, 588 chg sides, 1178 chg coeffs, 0 upgd conss, 451283 impls, 0 clqs
1.19/1.20	c (round 2) 400 del vars, 859 del conss, 47 chg bounds, 588 chg sides, 1178 chg coeffs, 0 upgd conss, 451283 impls, 0 clqs
1.19/1.29	c (round 3) 440 del vars, 860 del conss, 20273 chg bounds, 588 chg sides, 1178 chg coeffs, 0 upgd conss, 451283 impls, 0 clqs
1.48/1.56	c (round 4) 441 del vars, 860 del conss, 20273 chg bounds, 588 chg sides, 1178 chg coeffs, 38833 upgd conss, 451283 impls, 0 clqs
13.89/13.92	c    (13.2s) probing: 1000/40470 (2.5%) - 0 fixings, 21 aggregations, 74114 implications, 0 bound changes
25.09/25.13	c    (24.4s) probing: 2000/40470 (4.9%) - 0 fixings, 21 aggregations, 142557 implications, 0 bound changes
36.09/36.18	c    (35.4s) probing: 3000/40470 (7.4%) - 0 fixings, 22 aggregations, 205069 implications, 0 bound changes
45.59/45.62	c    (44.8s) probing: 4000/40470 (9.9%) - 0 fixings, 22 aggregations, 236866 implications, 0 bound changes
46.99/47.03	c    (46.2s) probing: 4131/40470 (10.2%) - 0 fixings, 22 aggregations, 244456 implications, 0 bound changes
46.99/47.03	c    (46.2s) probing aborted: 2000/2000 successive useless probings
46.99/47.03	c (round 5) 463 del vars, 860 del conss, 20273 chg bounds, 588 chg sides, 1178 chg coeffs, 38833 upgd conss, 1576241 impls, 0 clqs
50.79/50.82	c    (50.0s) probing: 4331/40470 (10.7%) - 0 fixings, 22 aggregations, 265101 implications, 0 bound changes
50.79/50.82	c    (50.0s) probing aborted: 2000/2000 successive useless probings
50.79/50.82	c presolving (6 rounds):
50.79/50.82	c  463 deleted vars, 860 deleted constraints, 20273 tightened bounds, 0 added holes, 588 changed sides, 1178 changed coefficients
50.79/50.82	c  1628283 implications, 0 cliques
50.79/50.82	c presolved problem has 60674 variables (40448 bin, 0 int, 0 impl, 20226 cont) and 79258 constraints
50.79/50.82	c   20226 constraints of type <indicator>
50.79/50.82	c      27 constraints of type <varbound>
50.79/50.82	c     782 constraints of type <knapsack>
50.79/50.82	c   20199 constraints of type <linear>
50.79/50.82	c   38024 constraints of type <logicor>
50.79/50.82	c transformed objective value is always integral (scale: 1)
50.79/50.82	c Presolving Time: 49.86
50.79/50.82	c - non default parameters ----------------------------------------------------------------------
50.79/50.82	c # SCIP version 1.2.1.2
50.79/50.82	c 
50.79/50.82	c # frequency for displaying node information lines
50.79/50.82	c # [type: int, range: [-1,2147483647], default: 100]
50.79/50.82	c display/freq = 10000
50.79/50.82	c 
50.79/50.82	c # maximal time in seconds to run
50.79/50.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
50.79/50.82	c limits/time = 1799.49
50.79/50.82	c 
50.79/50.82	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
50.79/50.82	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
50.79/50.82	c limits/memory = 3420
50.79/50.82	c 
50.79/50.82	c # should presolving try to simplify inequalities
50.79/50.82	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
50.79/50.82	c constraints/linear/simplifyinequalities = TRUE
50.79/50.82	c 
50.79/50.82	c # should presolving try to simplify knapsacks
50.79/50.82	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
50.79/50.82	c constraints/knapsack/simplifyinequalities = TRUE
50.79/50.82	c 
50.79/50.82	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
50.79/50.82	c # [type: int, range: [-1,2147483647], default: -1]
50.79/50.82	c separating/rapidlearning/freq = 0
50.79/50.82	c 
50.79/50.82	c -----------------------------------------------------------------------------------------------
50.79/50.82	c start solving
50.79/50.84	c 
51.39/51.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
51.39/51.49	c  50.7s|     1 |     0 |  1691 |     - | 276M|   0 | 809 |  60k|  79k|  60k|  38k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
61.69/61.80	c  60.6s|     1 |     0 |  5112 |     - | 277M|   0 |1347 |  60k|  79k|  60k|  39k| 287 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
65.90/65.91	c  64.6s|     1 |     0 |  6480 |     - | 278M|   0 |1454 |  60k|  79k|  60k|  39k| 772 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
71.19/71.22	c  69.8s|     1 |     0 |  8725 |     - | 279M|   0 |1684 |  60k|  79k|  60k|  39k|1193 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
77.89/77.91	c  76.3s|     1 |     0 | 11355 |     - | 279M|   0 |2014 |  60k|  79k|  60k|  40k|1626 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
90.50/90.50	c  88.1s|     1 |     0 | 14867 |     - | 280M|   0 |2091 |  60k|  79k|  60k|  40k|2060 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
103.49/103.52	c   100s|     1 |     0 | 18000 |     - | 280M|   0 |2441 |  60k|  79k|  60k|  41k|2480 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
127.69/127.78	c   124s|     1 |     2 | 18000 |     - | 281M|   0 |2441 |  60k|  79k|  60k|  41k|2480 |   0 |  29 | 0.000000e+00 |      --      |    Inf 
402.61/402.68	o 1018873
402.61/402.68	c y 396s|    34 |    33 | 45561 | 835.2 | 284M|  19 |   - |  60k|  79k|   0 |   0 |2480 | 142 | 505 | 0.000000e+00 | 1.018873e+06 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.06	c 
1800.04/1800.06	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.06	c Solving Time (sec) : 1771.15
1800.04/1800.06	c Solving Nodes      : 4549
1800.04/1800.06	c Primal Bound       : +1.01887300000000e+06 (99 solutions)
1800.04/1800.06	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.06	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-2692354-1277913605/watcher-2692354-1277913605 -o /tmp/evaluation-result-2692354-1277913605/solver-2692354-1277913605 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692354-1277913605.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.08 2.04 2.06 3/178 17280
/proc/meminfo: memFree=31020144/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=9152 CPUtime=0
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 1603 0 0 0 0 0 0 0 25 0 1 0 132655211 9371648 1523 4089446400 4194304 8223781 140734174280272 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17280/statm: 2326 1531 369 984 0 1339 0

[startup+0.070221 s]
/proc/loadavg: 2.08 2.04 2.06 3/178 17280
/proc/meminfo: memFree=31020144/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=21936 CPUtime=0.06
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 4776 0 0 0 6 0 0 0 25 0 1 0 132655211 22462464 4696 4089446400 4194304 8223781 140734174280272 18446744073709551615 7189709 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17280/statm: 5484 4696 369 984 0 4497 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21936

[startup+0.101214 s]
/proc/loadavg: 2.08 2.04 2.06 3/178 17280
/proc/meminfo: memFree=31020144/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=27864 CPUtime=0.09
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 6290 0 0 0 9 0 0 0 25 0 1 0 132655211 28532736 6210 4089446400 4194304 8223781 140734174280272 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17280/statm: 6966 6210 369 984 0 5979 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27864

[startup+0.301188 s]
/proc/loadavg: 2.08 2.04 2.06 3/178 17280
/proc/meminfo: memFree=31020144/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=60264 CPUtime=0.3
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 14375 0 0 0 29 1 0 0 25 0 1 0 132655211 61710336 14295 4089446400 4194304 8223781 140734174280272 18446744073709551615 6207680 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17280/statm: 15066 14295 369 984 0 14079 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 60264

[startup+0.701034 s]
/proc/loadavg: 2.08 2.04 2.06 3/178 17280
/proc/meminfo: memFree=31020144/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=201084 CPUtime=0.69
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 49550 0 0 0 63 6 0 0 25 0 1 0 132655211 205910016 49039 4089446400 4194304 8223781 140734174280272 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17280/statm: 50271 49039 393 984 0 49284 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 201084

[startup+1.50097 s]
/proc/loadavg: 2.07 2.04 2.06 3/179 17282
/proc/meminfo: memFree=30791832/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=276416 CPUtime=1.48
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 71135 0 0 0 134 14 0 0 25 0 1 0 132655211 283049984 66545 4089446400 4194304 8223781 140734174280272 18446744073709551615 4221404 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 69104 66545 465 984 0 68117 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 276416

[startup+3.10069 s]
/proc/loadavg: 2.07 2.04 2.06 3/179 17282
/proc/meminfo: memFree=30747440/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=297272 CPUtime=3.09
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 78481 0 0 0 291 18 0 0 25 0 1 0 132655211 304406528 71112 4089446400 4194304 8223781 140734174280272 18446744073709551615 5496938 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 74318 71112 488 984 0 73331 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 297272

[startup+6.3011 s]
/proc/loadavg: 2.07 2.04 2.06 3/179 17282
/proc/meminfo: memFree=30730088/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=308300 CPUtime=6.29
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 81230 0 0 0 610 19 0 0 25 0 1 0 132655211 315699200 73861 4089446400 4194304 8223781 140734174280272 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 77075 73861 488 984 0 76088 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 308300

[startup+12.701 s]
/proc/loadavg: 2.06 2.04 2.06 3/179 17282
/proc/meminfo: memFree=30721556/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=312600 CPUtime=12.69
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 82302 0 0 0 1249 20 0 0 25 0 1 0 132655211 320102400 74933 4089446400 4194304 8223781 140734174280272 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 78150 74933 488 984 0 77163 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 312600

[startup+25.5007 s]
/proc/loadavg: 2.05 2.04 2.06 3/179 17283
/proc/meminfo: memFree=30710920/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=322656 CPUtime=25.49
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 84912 0 0 0 2525 24 0 0 25 0 1 0 132655211 330399744 77543 4089446400 4194304 8223781 140734174280272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 80664 77543 493 984 0 79677 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 322656

[startup+51.1011 s]
/proc/loadavg: 2.03 2.03 2.06 3/179 17283
/proc/meminfo: memFree=30695840/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=404188 CPUtime=51.09
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 109248 0 0 0 5077 32 0 0 25 0 1 0 132655211 413888512 95983 4089446400 4194304 8223781 140734174280272 18446744073709551615 6448652 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 101047 95983 549 984 0 100060 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 404188

[startup+102.307 s]
/proc/loadavg: 2.01 2.03 2.05 3/179 17294
/proc/meminfo: memFree=30604912/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=441384 CPUtime=102.3
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 2494024 0 0 0 9959 271 0 0 25 0 1 0 132655211 451977216 102679 4089446400 4194304 8223781 140734174280272 18446744073709551615 6568414 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 110346 102679 588 984 0 109359 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 441384

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 17295
/proc/meminfo: memFree=30598804/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=442228 CPUtime=162.3
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 2803040 0 0 0 15907 323 0 0 25 0 1 0 132655211 452841472 102871 4089446400 4194304 8223781 140734174280272 18446744073709551615 6568209 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 110557 102871 602 984 0 109570 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 442228

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/179 17296
/proc/meminfo: memFree=30594148/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=442336 CPUtime=222.3
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 3114768 0 0 0 21859 371 0 0 25 0 1 0 132655211 452952064 102929 4089446400 4194304 8223781 140734174280272 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 110584 102929 602 984 0 109597 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 442336

[startup+282.301 s]
/proc/loadavg: 2.08 2.03 2.04 3/179 17298
/proc/meminfo: memFree=30589264/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=442272 CPUtime=282.3
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 3545250 0 0 0 27798 432 0 0 25 0 1 0 132655211 452886528 102806 4089446400 4194304 8223781 140734174280272 18446744073709551615 6446935 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 110568 102806 602 984 0 109581 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 442272

[startup+342.301 s]
/proc/loadavg: 2.03 2.02 2.03 3/179 17300
/proc/meminfo: memFree=30578164/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=449436 CPUtime=342.3
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 4308959 0 0 0 33696 534 0 0 25 0 1 0 132655211 460222464 104459 4089446400 4194304 8223781 140734174280272 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 112359 104459 605 984 0 111372 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 449436

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 17302
/proc/meminfo: memFree=30578232/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=443616 CPUtime=402.3
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 4779037 0 0 0 39633 597 0 0 25 0 1 0 132655211 454262784 103243 4089446400 4194304 8223781 140734174280272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 110904 103243 605 984 0 109917 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 443616

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.02 3/179 17303
/proc/meminfo: memFree=30559808/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=457836 CPUtime=462.3
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 5222895 0 0 0 45567 663 0 0 25 0 1 0 132655211 468824064 105688 4089446400 4194304 8223781 140734174280272 18446744073709551615 6604282 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 114459 105688 605 984 0 113472 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 457836

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 17304
/proc/meminfo: memFree=30559008/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=450492 CPUtime=522.3
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 5774725 0 0 0 51486 744 0 0 25 0 1 0 132655211 461303808 104959 4089446400 4194304 8223781 140734174280272 18446744073709551615 6446793 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 112623 104959 605 984 0 111636 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 450492

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 17306
/proc/meminfo: memFree=30544556/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=459040 CPUtime=582.31
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 6388488 0 0 0 57399 832 0 0 25 0 1 0 132655211 470056960 106993 4089446400 4194304 8223781 140734174280272 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 114760 106993 605 984 0 113773 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 459040

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17308
/proc/meminfo: memFree=30542260/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=456864 CPUtime=642.31
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 6925051 0 0 0 63326 905 0 0 25 0 1 0 132655211 467828736 106597 4089446400 4194304 8223781 140734174280272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 114216 106597 605 984 0 113229 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 456864

[startup+702.301 s]

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

/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 10201869 0 0 0 98868 1363 0 0 25 0 1 0 132655211 486825984 111044 4089446400 4194304 8223781 140734174280272 18446744073709551615 7257637 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17280/statm: 118854 111044 606 984 0 117867 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 475416

[startup+1062.3 s]
/proc/loadavg: 1.85 1.96 1.98 3/179 17882
/proc/meminfo: memFree=30635824/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=476404 CPUtime=1062.31
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 10668386 0 0 0 104786 1445 0 0 25 0 1 0 132655211 487837696 111227 4089446400 4194304 8223781 140734174280272 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 119101 111227 606 984 0 118114 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 476404

[startup+1122.3 s]
/proc/loadavg: 2.02 1.99 1.99 3/179 17883
/proc/meminfo: memFree=30573552/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=485332 CPUtime=1122.31
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 11117174 0 0 0 110716 1515 0 0 25 0 1 0 132655211 496979968 113449 4089446400 4194304 8223781 140734174280272 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 121333 113449 606 984 0 120346 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 485332

[startup+1182.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 17885
/proc/meminfo: memFree=30576480/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=482220 CPUtime=1182.31
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 11569063 0 0 0 116641 1590 0 0 25 0 1 0 132655211 493793280 112919 4089446400 4194304 8223781 140734174280272 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 120555 112919 606 984 0 119568 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 482220

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 17887
/proc/meminfo: memFree=30568640/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=485072 CPUtime=1242.31
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 11901352 0 0 0 122579 1652 0 0 25 0 1 0 132655211 496713728 113412 4089446400 4194304 8223781 140734174280272 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 121268 113412 606 984 0 120281 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 485072

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 17889
/proc/meminfo: memFree=30557816/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=490652 CPUtime=1302.32
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 12351382 0 0 0 128498 1734 0 0 25 0 1 0 132655211 502427648 115088 4089446400 4194304 8223781 140734174280272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 122663 115088 629 984 0 121676 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 490652

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 17890
/proc/meminfo: memFree=30544552/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=496332 CPUtime=1362.32
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 13244115 0 0 0 134361 1871 0 0 25 0 1 0 132655211 508243968 116327 4089446400 4194304 8223781 140734174280272 18446744073709551615 6505765 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 124083 116327 607 984 0 123096 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 496332

[startup+1422.31 s]
/proc/loadavg: 2.06 2.00 1.99 3/179 17891
/proc/meminfo: memFree=30484512/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=518276 CPUtime=1422.32
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 14095158 0 0 0 140233 1999 0 0 25 0 1 0 132655211 530714624 121558 4089446400 4194304 8223781 140734174280272 18446744073709551615 6446791 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 129569 121558 608 984 0 128582 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 518276

[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 1.99 3/179 17893
/proc/meminfo: memFree=30448276/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=536160 CPUtime=1482.32
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 14706720 0 0 0 146130 2102 0 0 25 0 1 0 132655211 549027840 126089 4089446400 4194304 8223781 140734174280272 18446744073709551615 6248442 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 134040 126089 613 984 0 133053 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 536160

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 17895
/proc/meminfo: memFree=30395048/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=565732 CPUtime=1542.32
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 15631702 0 0 0 151999 2233 0 0 25 0 1 0 132655211 579309568 133402 4089446400 4194304 8223781 140734174280272 18446744073709551615 6592514 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 141433 133404 636 984 0 140446 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 565732

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 17897
/proc/meminfo: memFree=30363896/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=584808 CPUtime=1602.32
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 16684833 0 0 0 157845 2387 0 0 25 0 1 0 132655211 598843392 137964 4089446400 4194304 8223781 140734174280272 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 146202 137964 645 984 0 145215 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 584808

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 17898
/proc/meminfo: memFree=30318480/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=604728 CPUtime=1662.32
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 17587203 0 0 0 163716 2516 0 0 25 0 1 0 132655211 619241472 142749 4089446400 4194304 8223781 140734174280272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 151182 142749 623 984 0 150195 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 604728

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 17899
/proc/meminfo: memFree=30292280/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=620384 CPUtime=1722.33
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 18630990 0 0 0 169565 2668 0 0 25 0 1 0 132655211 635273216 146367 4089446400 4194304 8223781 140734174280272 18446744073709551615 4561451 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 155096 146367 614 984 0 154109 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 620384

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17901
/proc/meminfo: memFree=30258400/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=637352 CPUtime=1782.33
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 19657862 0 0 0 175427 2806 0 0 25 0 1 0 132655211 652648448 150713 4089446400 4194304 8223781 140734174280272 18446744073709551615 6514495 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 159338 150713 618 984 0 158351 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 637352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17902
/proc/meminfo: memFree=30251452/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=640532 CPUtime=1800.04
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 19948519 0 0 0 177159 2845 0 0 25 0 1 0 132655211 655904768 151581 4089446400 4194304 8223781 140734174280272 18446744073709551615 6599078 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17280/statm: 160133 151581 635 984 0 159146 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 640532

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17280

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

[startup+1801.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 17903
/proc/meminfo: memFree=30251320/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=636716 CPUtime=1801.43
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 19950056 0 0 0 177298 2845 0 0 25 0 1 0 132655211 651997184 151341 4089446400 4194304 8223781 140734174280272 18446744073709551615 7257637 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17280/statm: 159179 151341 635 984 0 158192 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 636716

[startup+1801.81 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 17903
/proc/meminfo: memFree=30250576/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=636716 CPUtime=1801.83
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 19950056 0 0 0 177338 2845 0 0 25 0 1 0 132655211 651997184 151341 4089446400 4194304 8223781 140734174280272 18446744073709551615 7257495 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17280/statm: 159179 151341 635 984 0 158192 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 636716

[startup+1802 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 17903
/proc/meminfo: memFree=30250576/32951124 swapFree=67111528/67111528
[pid=17280] ppid=17278 vsize=636716 CPUtime=1802.03
/proc/17280/stat : 17280 (pbscip.linux.x8) R 17278 17280 16149 0 -1 4202496 19950056 0 0 0 177358 2845 0 0 25 0 1 0 132655211 651997184 151341 4089446400 4194304 8223781 140734174280272 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17280/statm: 159179 151341 635 984 0 158192 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 636716

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

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

runsolver used 3.25251 second user time and 5.8941 second system time

The end

Launcher Data 

Begin job on node146 at 2010-06-30 18:00:06
IDJOB=2692354
IDBENCH=79019
IDSOLVER=1204
FILE ID=node146/2692354-1277913605
PBS_JOBID= 11197249
Free space on /tmp= 74172 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.tag12.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-2692354-1277913605/watcher-2692354-1277913605 -o /tmp/evaluation-result-2692354-1277913605/solver-2692354-1277913605 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692354-1277913605.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 51de4f9a349da19d6e38b7104085cf7d
RANDOM SEED=279457034

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31020672 kB
Buffers:        202480 kB
Cached:        1333092 kB
SwapCached:          0 kB
Active:         668768 kB
Inactive:      1114244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31020672 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6296 kB
Writeback:           0 kB
AnonPages:      247752 kB
Mapped:          16128 kB
Slab:            82972 kB
PageTables:       5556 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   398056 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= 74164 MiB
End job on node146 at 2010-06-30 18:30:08