Trace number 2692368

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.1 1802.04

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-33-100-0.wbo
MD5SUM0213af97bcb368564904cb77675881c0
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 benchmark0.106983
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6059
Total number of constraints16684
Number of soft constraints11088
Number of constraints which are clauses15940
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints744
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 559152
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 559151
Biggest number in a constraint 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 127
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-2692368-1277914083.wbo>
0.09/0.16	c original problem has 28235 variables (17147 bin, 0 int, 0 impl, 11088 cont) and 27773 constraints
0.09/0.16	c problem read
0.09/0.16	c presolving settings loaded
0.29/0.33	c presolving:
0.29/0.39	c (round 1) 32 del vars, 5 del conss, 0 chg bounds, 372 chg sides, 744 chg coeffs, 0 upgd conss, 30050 impls, 0 clqs
0.39/0.40	c (round 2) 34 del vars, 67 del conss, 0 chg bounds, 372 chg sides, 744 chg coeffs, 0 upgd conss, 30050 impls, 0 clqs
0.39/0.44	c (round 3) 36 del vars, 71 del conss, 11086 chg bounds, 372 chg sides, 744 chg coeffs, 0 upgd conss, 30050 impls, 0 clqs
0.49/0.51	c (round 4) 37 del vars, 71 del conss, 11086 chg bounds, 372 chg sides, 744 chg coeffs, 5531 upgd conss, 30050 impls, 0 clqs
1.79/1.88	c    (1.7s) probing: 478/17112 (2.8%) - 0 fixings, 1 aggregations, 300 implications, 0 bound changes
1.79/1.88	c    (1.7s) probing aborted: 100/100 successive totally useless probings
1.79/1.88	c presolving (5 rounds):
1.79/1.88	c  38 deleted vars, 71 deleted constraints, 11086 tightened bounds, 0 added holes, 372 changed sides, 744 changed coefficients
1.79/1.88	c  31133 implications, 0 cliques
1.79/1.88	c presolved problem has 28197 variables (17111 bin, 0 int, 0 impl, 11086 cont) and 27702 constraints
1.79/1.88	c   11086 constraints of type <indicator>
1.79/1.88	c       1 constraints of type <varbound>
1.79/1.88	c     258 constraints of type <knapsack>
1.79/1.88	c   11085 constraints of type <linear>
1.79/1.88	c    5272 constraints of type <logicor>
1.79/1.88	c transformed objective value is always integral (scale: 1)
1.79/1.88	c Presolving Time: 1.59
1.79/1.88	c - non default parameters ----------------------------------------------------------------------
1.79/1.88	c # SCIP version 1.2.1.2
1.79/1.88	c 
1.79/1.88	c # frequency for displaying node information lines
1.79/1.88	c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.88	c display/freq = 10000
1.79/1.88	c 
1.79/1.88	c # maximal time in seconds to run
1.79/1.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.88	c limits/time = 1799.85
1.79/1.88	c 
1.79/1.88	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.88	c limits/memory = 3420
1.79/1.88	c 
1.79/1.88	c # should presolving try to simplify inequalities
1.79/1.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.88	c constraints/linear/simplifyinequalities = TRUE
1.79/1.88	c 
1.79/1.88	c # should presolving try to simplify knapsacks
1.79/1.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.88	c constraints/knapsack/simplifyinequalities = TRUE
1.79/1.88	c 
1.79/1.88	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.79/1.88	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.88	c separating/rapidlearning/freq = 0
1.79/1.88	c 
1.79/1.88	c -----------------------------------------------------------------------------------------------
1.79/1.88	c start solving
1.79/1.89	c 
1.89/2.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.89/2.00	c   1.8s|     1 |     0 |   295 |     - |  96M|   0 | 158 |  28k|  27k|  28k|5528 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.89/2.97	c   2.7s|     1 |     0 |  1044 |     - |  97M|   0 | 220 |  28k|  27k|  28k|5794 | 266 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.99/3.00	o 558955
2.99/3.00	c y 2.8s|     1 |     0 |  1044 |     - |  98M|   0 | 220 |  28k|  27k|  28k|5794 | 266 |   0 |   0 | 0.000000e+00 | 5.589550e+05 |    Inf 
3.69/3.72	c   3.5s|     1 |     0 |  1594 |     - |  98M|   0 | 287 |  28k|  27k|  28k|6209 | 681 |   0 |   0 | 0.000000e+00 | 5.589550e+05 |    Inf 
4.69/4.79	c   4.5s|     1 |     0 |  3009 |     - |  99M|   0 | 327 |  28k|  27k|  28k|6665 |1137 |   0 |   0 | 0.000000e+00 | 5.589550e+05 |    Inf 
5.99/6.10	c   5.8s|     1 |     0 |  4184 |     - | 100M|   0 | 541 |  28k|  27k|  28k|7167 |1639 |   0 |   0 | 0.000000e+00 | 5.589550e+05 |    Inf 
7.09/7.19	c   6.9s|     1 |     0 |  5519 |     - | 100M|   0 | 770 |  28k|  27k|  28k|7628 |2100 |   0 |   0 | 0.000000e+00 | 5.589550e+05 |    Inf 
8.49/8.56	c   8.3s|     1 |     0 |  6973 |     - | 101M|   0 | 992 |  28k|  27k|  28k|8028 |2500 |   0 |   0 | 0.000000e+00 | 5.589550e+05 |    Inf 
9.59/9.60	c   9.3s|     1 |     2 |  6973 |     - | 102M|   0 | 992 |  28k|  27k|  28k|8028 |2500 |   0 |  17 | 0.000000e+00 | 5.589550e+05 |    Inf 
485.60/485.67	c   477s| 10000 |  9975 |318384 |  31.1 | 232M| 253 |  31 |  28k|  27k|  28k|7305 |2500 | 153 |3132 | 0.000000e+00 | 5.589550e+05 |    Inf 
656.21/656.24	c   645s| 20000 | 19969 |375406 |  18.4 | 326M| 265 |  55 |  28k|  27k|  28k|7305 |2500 | 156 |3513 | 0.000000e+00 | 5.589550e+05 |    Inf 
822.12/822.16	c   808s| 30000 | 29969 |431326 |  14.1 | 420M| 289 | 144 |  28k|  27k|  28k|7305 |2962 | 160 |4519 | 0.000000e+00 | 5.589550e+05 |    Inf 
975.23/975.22	c   959s| 40000 | 39967 |478520 |  11.8 | 514M| 299 | 168 |  28k|  27k|  28k|7305 |  11k| 162 |5283 | 0.000000e+00 | 5.589550e+05 |    Inf 
1132.73/1132.77	c  1113s| 50000 | 49967 |530502 |  10.5 | 608M| 299 | 167 |  28k|  27k|  28k|7305 |  22k| 162 |6306 | 0.000000e+00 | 5.589550e+05 |    Inf 
1352.64/1352.66	c  1328s| 60000 | 59965 |618098 |  10.2 | 703M| 405 |  36 |  28k|  27k|  28k|7693 |  49k| 164 |  10k| 0.000000e+00 | 5.589550e+05 |    Inf 
1573.25/1573.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1573.25/1573.30	c  1545s| 70000 | 69957 |686068 |   9.7 | 799M| 503 |  23 |  28k|  27k|  28k|7305 |  79k| 169 |  14k| 0.000000e+00 | 5.589550e+05 |    Inf 
1764.36/1764.33	c  1733s| 80000 | 79955 |762174 |   9.4 | 895M| 503 |   0 |  28k|  27k|  28k|8060 | 106k| 171 |  15k| 0.000000e+00 | 5.589550e+05 |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.01	c 
1800.06/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.01	c Solving Time (sec) : 1768.55
1800.06/1800.01	c Solving Nodes      : 81878
1800.06/1800.01	c Primal Bound       : +5.58955000000000e+05 (100 solutions)
1800.06/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.01	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-2692368-1277914083/watcher-2692368-1277914083 -o /tmp/evaluation-result-2692368-1277914083/solver-2692368-1277914083 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692368-1277914083.wbo -t 1800 -m 3800 

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


[startup+0 s]
/proc/loadavg: 1.74 1.92 1.97 4/178 25299
/proc/meminfo: memFree=30758092/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=9460 CPUtime=0
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 1658 0 0 0 0 0 0 0 25 0 1 0 167011769 9687040 1577 4089446400 4194304 8223781 140735128533216 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25299/statm: 2365 1577 369 984 0 1378 0

[startup+0.0138509 s]
/proc/loadavg: 1.74 1.92 1.97 4/178 25299
/proc/meminfo: memFree=30758092/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=12416 CPUtime=0.01
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 2396 0 0 0 1 0 0 0 25 0 1 0 167011769 12713984 2315 4089446400 4194304 8223781 140735128533216 18446744073709551615 4683455 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25299/statm: 3104 2315 369 984 0 2117 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12416

[startup+0.100834 s]
/proc/loadavg: 1.74 1.92 1.97 4/178 25299
/proc/meminfo: memFree=30758092/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=33740 CPUtime=0.09
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 7774 0 0 0 9 0 0 0 25 0 1 0 167011769 34549760 7675 4089446400 4194304 8223781 140735128533216 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25299/statm: 8435 7675 369 984 0 7448 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33740

[startup+0.300802 s]
/proc/loadavg: 1.74 1.92 1.97 4/178 25299
/proc/meminfo: memFree=30758092/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=101984 CPUtime=0.29
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 24661 0 0 0 28 1 0 0 25 0 1 0 167011769 104431616 24162 4089446400 4194304 8223781 140735128533216 18446744073709551615 4329697 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 25535 24183 416 984 0 24548 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 101984

[startup+0.700712 s]
/proc/loadavg: 1.74 1.92 1.97 4/178 25299
/proc/meminfo: memFree=30758092/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=120224 CPUtime=0.69
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 31823 0 0 0 64 5 0 0 25 0 1 0 167011769 123109376 28440 4089446400 4194304 8223781 140735128533216 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 30056 28440 500 984 0 29069 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 120224

[startup+1.50057 s]
/proc/loadavg: 1.76 1.92 1.97 3/179 25300
/proc/meminfo: memFree=30645120/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=120484 CPUtime=1.49
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 31893 0 0 0 144 5 0 0 25 0 1 0 167011769 123375616 28504 4089446400 4194304 8223781 140735128533216 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 30121 28504 494 984 0 29134 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 120484

[startup+3.10027 s]
/proc/loadavg: 1.76 1.92 1.97 3/179 25300
/proc/meminfo: memFree=30625252/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=150420 CPUtime=3.09
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 45283 0 0 0 301 8 0 0 25 0 1 0 167011769 154030080 34936 4089446400 4194304 8223781 140735128533216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 37605 34936 605 984 0 36618 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 150420

[startup+6.30069 s]
/proc/loadavg: 1.76 1.92 1.97 3/179 25300
/proc/meminfo: memFree=30614952/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=156816 CPUtime=6.29
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 49147 0 0 0 619 10 0 0 25 0 1 0 167011769 160579584 36465 4089446400 4194304 8223781 140735128533216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 39204 36465 593 984 0 38217 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 156816

[startup+12.7005 s]
/proc/loadavg: 1.80 1.93 1.97 3/179 25300
/proc/meminfo: memFree=30604296/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=164064 CPUtime=12.7
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 145952 0 0 0 1247 23 0 0 25 0 1 0 167011769 168001536 38052 4089446400 4194304 8223781 140735128533216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 41016 38052 606 984 0 40029 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 164064

[startup+25.5011 s]
/proc/loadavg: 1.83 1.93 1.97 3/179 25301
/proc/meminfo: memFree=30597176/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=163904 CPUtime=25.49
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 325334 0 0 0 2503 46 0 0 25 0 1 0 167011769 167837696 38029 4089446400 4194304 8223781 140735128533216 18446744073709551615 6514412 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 40976 38029 606 984 0 39989 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 163904

[startup+51.1004 s]
/proc/loadavg: 1.89 1.93 1.97 3/179 25301
/proc/meminfo: memFree=30584112/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=164048 CPUtime=51.1
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 668249 0 0 0 5017 93 0 0 25 0 1 0 167011769 167985152 38064 4089446400 4194304 8223781 140735128533216 18446744073709551615 6568263 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 41012 38064 606 984 0 40025 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 164048

[startup+102.307 s]
/proc/loadavg: 2.03 1.96 1.98 3/179 25303
/proc/meminfo: memFree=30546244/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=172644 CPUtime=102.3
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 1212951 0 0 0 10062 168 0 0 25 0 1 0 167011769 176787456 40561 4089446400 4194304 8223781 140735128533216 18446744073709551615 6569372 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 43161 40561 609 984 0 42174 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 172644

[startup+162.301 s]
/proc/loadavg: 2.01 1.96 1.98 3/179 25304
/proc/meminfo: memFree=30508508/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=185144 CPUtime=162.3
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 1920764 0 0 0 15966 264 0 0 25 0 1 0 167011769 189587456 43320 4089446400 4194304 8223781 140735128533216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 46286 43320 610 984 0 45299 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 185144

[startup+222.301 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 25306
/proc/meminfo: memFree=30466784/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=196064 CPUtime=222.29
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 2606601 0 0 0 21878 351 0 0 25 0 1 0 167011769 200769536 46098 4089446400 4194304 8223781 140735128533216 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 49016 46098 610 984 0 48029 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 196064

[startup+282.3 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 25307
/proc/meminfo: memFree=30417528/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=213696 CPUtime=282.3
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 3479747 0 0 0 27765 465 0 0 25 0 1 0 167011769 218824704 50834 4089446400 4194304 8223781 140735128533216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 53424 50834 610 984 0 52437 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 213696

[startup+342.3 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 25312
/proc/meminfo: memFree=30364668/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=237504 CPUtime=342.3
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 4286081 0 0 0 33661 569 0 0 25 0 1 0 167011769 243204096 56855 4089446400 4194304 8223781 140735128533216 18446744073709551615 5507187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 59376 56855 610 984 0 58389 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 237504

[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 25314
/proc/meminfo: memFree=30314228/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=259852 CPUtime=402.3
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 5072921 0 0 0 39568 662 0 0 25 0 1 0 167011769 266088448 62437 4089446400 4194304 8223781 140735128533216 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 64963 62437 610 984 0 63976 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 259852

[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 25315
/proc/meminfo: memFree=30261724/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=281804 CPUtime=462.31
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 5954885 0 0 0 45460 771 0 0 25 0 1 0 167011769 288567296 67951 4089446400 4194304 8223781 140735128533216 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 70451 67951 610 984 0 69464 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 281804

[startup+522.301 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 25317
/proc/meminfo: memFree=30205260/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=306508 CPUtime=522.31
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 6829385 0 0 0 51353 878 0 0 25 0 1 0 167011769 313864192 74097 4089446400 4194304 8223781 140735128533216 18446744073709551615 6448679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 76627 74097 610 984 0 75640 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 306508

[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 25318
/proc/meminfo: memFree=30144336/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=339776 CPUtime=582.31
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 7549351 0 0 0 57262 969 0 0 25 0 1 0 167011769 347930624 82467 4089446400 4194304 8223781 140735128533216 18446744073709551615 6248428 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 84944 82467 610 984 0 83957 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 339776

[startup+642.301 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 25348
/proc/meminfo: memFree=30975648/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=372544 CPUtime=642.32
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 8182867 0 0 0 63182 1050 0 0 25 0 1 0 167011769 381485056 90640 4089446400 4194304 8223781 140735128533216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 93136 90640 610 984 0 92149 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 372544

[startup+702.3 s]

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

/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 13340166 0 0 0 98546 1686 0 0 25 0 1 0 167011769 593960960 142712 4089446400 4194304 8223781 140735128533216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 145010 142712 610 984 0 144023 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 580040

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/179 25359
/proc/meminfo: memFree=30659212/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=614288 CPUtime=1062.33
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 14311994 0 0 0 104424 1809 0 0 25 0 1 0 167011769 629030912 151160 4089446400 4194304 8223781 140735128533216 18446744073709551615 4429733 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 153572 151160 610 984 0 152585 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 614288

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/179 25361
/proc/meminfo: memFree=30623340/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=651596 CPUtime=1122.33
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 15102779 0 0 0 110320 1913 0 0 25 0 1 0 167011769 667234304 160542 4089446400 4194304 8223781 140735128533216 18446744073709551615 6372008 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 162899 160542 610 984 0 161912 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 651596

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/179 25362
/proc/meminfo: memFree=30588212/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=689224 CPUtime=1182.33
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 15966438 0 0 0 116213 2020 0 0 25 0 1 0 167011769 705765376 169967 4089446400 4194304 8223781 140735128533216 18446744073709551615 5813304 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 172306 169967 610 984 0 171319 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 689224

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/179 25364
/proc/meminfo: memFree=30561752/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=708676 CPUtime=1242.33
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 17471300 0 0 0 122047 2186 0 0 25 0 1 0 167011769 725684224 174873 4089446400 4194304 8223781 140735128533216 18446744073709551615 6003003 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 177169 174873 610 984 0 176182 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 708676

[startup+1302.3 s]
/proc/loadavg: 2.04 2.00 1.99 3/179 25366
/proc/meminfo: memFree=30537656/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=732456 CPUtime=1302.33
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 18645272 0 0 0 127910 2323 0 0 25 0 1 0 167011769 750034944 180908 4089446400 4194304 8223781 140735128533216 18446744073709551615 6089682 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 183114 180908 610 984 0 182127 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 732456

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/179 25367
/proc/meminfo: memFree=30504376/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=761204 CPUtime=1362.34
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 19580611 0 0 0 133798 2436 0 0 25 0 1 0 167011769 779472896 188002 4089446400 4194304 8223781 140735128533216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 190301 188002 610 984 0 189314 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 761204

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 25369
/proc/meminfo: memFree=30476436/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=788928 CPUtime=1422.35
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 20374353 0 0 0 139706 2529 0 0 25 0 1 0 167011769 807862272 195016 4089446400 4194304 8223781 140735128533216 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 197232 195016 610 984 0 196245 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 788928

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 25370
/proc/meminfo: memFree=30449872/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=815540 CPUtime=1482.34
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 21330860 0 0 0 145592 2642 0 0 25 0 1 0 167011769 835112960 201087 4089446400 4194304 8223781 140735128533216 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 203885 201087 610 984 0 202898 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 815540

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 25372
/proc/meminfo: memFree=30421304/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=840644 CPUtime=1542.34
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 22261072 0 0 0 151480 2754 0 0 25 0 1 0 167011769 860819456 207435 4089446400 4194304 8223781 140735128533216 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 210161 207435 610 984 0 209174 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 840644

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 25374
/proc/meminfo: memFree=30393864/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=865716 CPUtime=1602.34
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 23114395 0 0 0 157375 2859 0 0 25 0 1 0 167011769 886493184 213702 4089446400 4194304 8223781 140735128533216 18446744073709551615 4414774 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 216429 213702 610 984 0 215442 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 865716

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 25375
/proc/meminfo: memFree=30366036/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=893976 CPUtime=1662.34
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 23808245 0 0 0 163292 2942 0 0 25 0 1 0 167011769 915431424 220781 4089446400 4194304 8223781 140735128533216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 223494 220781 610 984 0 222507 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 893976

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 1.99 3/179 25377
/proc/meminfo: memFree=30329404/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=926972 CPUtime=1722.34
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 24519955 0 0 0 169204 3030 0 0 25 0 1 0 167011769 949219328 229051 4089446400 4194304 8223781 140735128533216 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 231743 229051 610 984 0 230756 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 926972

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/179 25378
/proc/meminfo: memFree=30284848/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=956968 CPUtime=1782.35
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 25137734 0 0 0 175124 3111 0 0 25 0 1 0 167011769 979935232 236587 4089446400 4194304 8223781 140735128533216 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 239242 236587 610 984 0 238255 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 956968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.01 1.99 3/179 25379
/proc/meminfo: memFree=30269096/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=967216 CPUtime=1800.06
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 25346496 0 0 0 176870 3136 0 0 25 0 1 0 167011769 990429184 239205 4089446400 4194304 8223781 140735128533216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25299/statm: 241804 239205 610 984 0 240817 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 967216

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -25299

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

[startup+1801.4 s]
/proc/loadavg: 2.02 2.01 1.99 3/180 25380
/proc/meminfo: memFree=30264252/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=967216 CPUtime=1801.45
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 25346636 0 0 0 177009 3136 0 0 25 0 1 0 167011769 990429184 239205 4089446400 4194304 8223781 140735128533216 18446744073709551615 7257324 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25299/statm: 241804 239205 610 984 0 240817 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 967216

[startup+1801.81 s]
/proc/loadavg: 2.02 2.01 1.99 3/180 25380
/proc/meminfo: memFree=30264236/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=967216 CPUtime=1801.85
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 25346636 0 0 0 177049 3136 0 0 25 0 1 0 167011769 990429184 239205 4089446400 4194304 8223781 140735128533216 18446744073709551615 4241139 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25299/statm: 241804 239205 610 984 0 240817 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 967216

[startup+1802 s]
/proc/loadavg: 2.02 2.01 1.99 3/180 25380
/proc/meminfo: memFree=30264236/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=967216 CPUtime=1802.05
/proc/25299/stat : 25299 (pbscip.linux.x8) R 25297 25299 25088 0 -1 4202496 25346636 0 0 0 177069 3136 0 0 25 0 1 0 167011769 990429184 239205 4089446400 4194304 8223781 140735128533216 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25299/statm: 241804 239205 610 984 0 240817 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 967216

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.1
CPU user time (s): 1770.7
CPU system time (s): 31.4032
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 967760

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

runsolver used 2.70959 second user time and 6.91995 second system time

The end

Launcher Data 

Begin job on node113 at 2010-06-30 18:08:03
IDJOB=2692368
IDBENCH=79026
IDSOLVER=1204
FILE ID=node113/2692368-1277914083
PBS_JOBID= 11197327
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-elf.rf8.ucl--soft-33-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-2692368-1277914083/watcher-2692368-1277914083 -o /tmp/evaluation-result-2692368-1277914083/solver-2692368-1277914083 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692368-1277914083.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 0213af97bcb368564904cb77675881c0
RANDOM SEED=1754459090

node113.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.812
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.62
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.812
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.812
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.812
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.812
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.74
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.812
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.812
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.812
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:     32950928 kB
MemFree:      30758620 kB
Buffers:        197836 kB
Cached:        1040800 kB
SwapCached:          0 kB
Active:        1355696 kB
Inactive:       690092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30758620 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5176 kB
Writeback:           0 kB
AnonPages:      807296 kB
Mapped:          17744 kB
Slab:            79352 kB
PageTables:       6628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   959652 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 node113 at 2010-06-30 18:38:05