Trace number 3447318

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
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.06 1800.02

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf6.ucl--soft-33-100-0.wbo
MD5SUM9604cc8b4028b285fc8feb4fe9530b1c
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.027995
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1804
Total number of constraints4931
Number of soft constraints3355
Number of constraints which are clauses4707
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints224
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 169923
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 169922
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 64
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 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-3447318-1307899193.wbo>
0.00/0.04	c original problem has 5159 variables (5159 bin, 0 int, 0 impl, 0 cont) and 4932 constraints
0.00/0.04	c problem read
0.00/0.04	c presolving settings loaded
0.07/0.09	c presolving:
0.09/0.10	c (round 1) 10 del vars, 3 del conss, 0 add conss, 1 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 3968 impls, 0 clqs
0.09/0.10	c (round 2) 10 del vars, 21 del conss, 0 add conss, 1 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 3968 impls, 0 clqs
0.09/0.11	c (round 3) 12 del vars, 23 del conss, 0 add conss, 3354 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 3968 impls, 0 clqs
0.09/0.13	c (round 4) 14 del vars, 23 del conss, 0 add conss, 3354 chg bounds, 112 chg sides, 224 chg coeffs, 1558 upgd conss, 3968 impls, 0 clqs
0.19/0.26	c    (0.3s) probing: 175/5147 (3.4%) - 0 fixings, 0 aggregations, 5 implications, 0 bound changes
0.19/0.26	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.19/0.26	c presolving (5 rounds):
0.19/0.26	c  14 deleted vars, 23 deleted constraints, 0 added constraints, 3354 tightened bounds, 0 added holes, 112 changed sides, 224 changed coefficients
0.19/0.26	c  7358 implications, 0 cliques
0.19/0.26	c presolved problem has 8500 variables (5147 bin, 0 int, 3353 impl, 0 cont) and 8264 constraints
0.19/0.26	c      63 constraints of type <knapsack>
0.19/0.26	c    1023 constraints of type <setppc>
0.19/0.26	c    3353 constraints of type <linear>
0.19/0.26	c    3353 constraints of type <indicator>
0.19/0.26	c     472 constraints of type <logicor>
0.19/0.26	c transformed objective value is always integral (scale: 1)
0.19/0.26	c Presolving Time: 0.21
0.19/0.26	c - non default parameters ----------------------------------------------------------------------
0.19/0.26	c # SCIP version 2.0.1.4
0.19/0.26	c 
0.19/0.26	c # frequency for displaying node information lines
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.26	c display/freq = 10000
0.19/0.26	c 
0.19/0.26	c # maximal time in seconds to run
0.19/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26	c limits/time = 1800
0.19/0.26	c 
0.19/0.26	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26	c limits/memory = 13950
0.19/0.26	c 
0.19/0.26	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.26	c # [type: int, range: [1,2], default: 1]
0.19/0.26	c timing/clocktype = 2
0.19/0.26	c 
0.19/0.26	c # belongs reading time to solving time?
0.19/0.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26	c timing/reading = TRUE
0.19/0.26	c 
0.19/0.26	c # should presolving try to simplify inequalities
0.19/0.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26	c constraints/linear/simplifyinequalities = TRUE
0.19/0.26	c 
0.19/0.26	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26	c constraints/indicator/addCouplingCons = TRUE
0.19/0.26	c 
0.19/0.26	c # should presolving try to simplify knapsacks
0.19/0.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.26	c 
0.19/0.26	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26	c separating/rapidlearning/freq = 0
0.19/0.26	c 
0.19/0.26	c -----------------------------------------------------------------------------------------------
0.19/0.26	c start solving
0.19/0.26	c 
0.99/1.00	o 169811
0.99/1.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.99/1.00	c y 1.0s|     1 |     0 |     0 |     - |  28M|   0 |   - |8500 |  11k|8500 |4911 |   0 |   0 |   0 |      --      | 1.698110e+05 |    Inf 
0.99/1.05	c   1.0s|     1 |     0 |   909 |     - |  28M|   0 | 347 |8500 |  11k|8500 |4911 |   0 |   0 |   0 | 0.000000e+00 | 1.698110e+05 |    Inf 
1.29/1.39	c   1.4s|     1 |     0 |  2101 |     - |  30M|   0 | 575 |8500 |  11k|8500 |5129 | 218 |   0 |   0 | 0.000000e+00 | 1.698110e+05 |    Inf 
1.79/1.85	c   1.9s|     1 |     0 |  3483 |     - |  31M|   0 | 581 |8500 |  11k|8500 |5329 | 418 |   0 |   0 | 0.000000e+00 | 1.698110e+05 |    Inf 
2.09/2.19	c   2.2s|     1 |     0 |  4423 |     - |  32M|   0 | 655 |8500 |  11k|8500 |5517 | 606 |   0 |   0 | 0.000000e+00 | 1.698110e+05 |    Inf 
2.59/2.68	c   2.7s|     1 |     0 |  5083 |     - |  32M|   0 | 780 |8500 |  11k|8500 |5655 | 744 |   0 |   0 | 0.000000e+00 | 1.698110e+05 |    Inf 
4.19/4.27	c   4.3s|     1 |     0 |  7424 |     - |  33M|   0 | 756 |8500 |  11k|8500 |5758 | 847 |   0 |   0 | 0.000000e+00 | 1.698110e+05 |    Inf 
5.09/5.16	c   5.2s|     1 |     0 |  8697 |     - |  34M|   0 | 876 |8500 |  11k|8500 |5915 |1004 |   0 |   0 | 0.000000e+00 | 1.698110e+05 |    Inf 
6.89/6.90	c   6.9s|     1 |     2 |  8697 |     - |  34M|   0 | 876 |8500 |  11k|8500 |5915 |1004 |   0 |  18 | 0.000000e+00 | 1.698110e+05 |    Inf 
115.09/115.11	o 2112
115.09/115.11	c * 115s|  5667 |  5640 |107449 |  17.4 |  72M| 135 |   - |8500 |  11k|8500 |5694 |1336 |  60 |2600 | 0.000000e+00 | 2.112000e+03 |    Inf 
178.50/178.56	o 920
178.50/178.56	c r 179s|  9000 |  8723 |166850 |  17.6 |  84M| 135 |   1 |8500 |  11k|8500 |5737 |7180 |  74 |3319 | 0.000000e+00 | 9.200000e+02 |    Inf 
193.10/193.15	o 880
193.10/193.15	c r 193s|  9337 |  8965 |177298 |  18.1 |  86M| 135 |   1 |8500 |  11k|8500 |5677 |8511 |  77 |3740 | 0.000000e+00 | 8.800000e+02 |    Inf 
204.80/204.80	o 841
204.80/204.80	c * 205s|  9582 |  9125 |186841 |  18.6 |  86M| 135 |   - |8500 |  11k|8500 |5671 |  10k|  85 |3814 | 0.000000e+00 | 8.410000e+02 |    Inf 
226.30/226.36	c   226s| 10000 |  9525 |210691 |  20.2 |  88M| 135 |   1 |8500 |  11k|8500 |5495 |  11k| 103 |4170 | 0.000000e+00 | 8.410000e+02 |    Inf 
306.49/306.52	o 832
306.49/306.52	c * 307s| 11937 | 11274 |289387 |  23.5 |  95M| 135 |   - |8500 |  11k|8500 |5648 |  20k| 250 |4981 | 0.000000e+00 | 8.320000e+02 |    Inf 
306.59/306.63	o 819
306.59/306.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
306.59/306.63	c * 307s| 11938 | 11253 |289429 |  23.5 |  95M| 135 |   - |8500 |  11k|8500 |5650 |  20k| 250 |4981 | 0.000000e+00 | 8.190000e+02 |    Inf 
319.90/319.94	o 763
319.90/319.94	c * 320s| 12144 | 11270 |300026 |  24.0 |  95M| 137 |   - |8500 |  11k|8500 |5657 |  21k| 268 |5110 | 0.000000e+00 | 7.630000e+02 |    Inf 
319.90/319.96	o 754
319.90/319.96	c * 320s| 12145 | 11231 |300031 |  24.0 |  95M| 137 |   - |8500 |  11k|8500 |5656 |  21k| 268 |5110 | 0.000000e+00 | 7.540000e+02 |    Inf 
322.59/322.66	o 732
322.59/322.66	c * 323s| 12188 | 11184 |302443 |  24.1 |  94M| 137 |   - |8500 |  11k|8500 |5648 |  22k| 271 |5117 | 0.000000e+00 | 7.320000e+02 |    Inf 
380.89/380.93	o 720
380.89/380.93	c r 381s| 13043 | 11752 |358931 |  26.9 |  98M| 137 |   1 |8500 |  11k|8500 |5654 |  28k| 400 |5889 | 0.000000e+00 | 7.200000e+02 |    Inf 
819.70/819.76	c   820s| 20000 | 16927 |806118 |  39.9 | 120M| 137 |  31 |8500 |  12k|8500 |5542 |  73k|1996 |9710 | 0.000000e+00 | 7.200000e+02 |    Inf 
1394.62/1394.69	c  1395s| 30000 | 24101 |  1364k|  45.2 | 149M| 139 |   8 |8500 |  12k|8500 |5495 | 138k|3729 |  12k| 0.000000e+00 | 7.200000e+02 |    Inf 
1560.63/1560.60	o 719
1560.63/1560.60	c *1561s| 32855 | 26065 |  1496k|  45.3 | 158M| 141 |   - |8500 |  12k|8500 |5617 | 159k|4241 |  13k| 0.000000e+00 | 7.190000e+02 |    Inf 
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.03/1800.00	c Solving Time (sec) : 1800.00
1800.03/1800.00	c Solving Nodes      : 36952
1800.03/1800.00	c Primal Bound       : +7.19000000000000e+02 (111 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 Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3447318-1307899193/watcher-3447318-1307899193 -o /tmp/evaluation-result-3447318-1307899193/solver-3447318-1307899193 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447318-1307899193.wbo -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 23756
/proc/meminfo: memFree=32410020/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=10132 CPUtime=0 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 1516 0 0 0 0 0 0 0 25 0 1 0 901521933 10375168 1470 33554432000 4194304 9128323 140735698713936 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23756/statm: 2533 1474 399 1205 0 1324 0

[startup+0.082234 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 23756
/proc/meminfo: memFree=32410020/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=38016 CPUtime=0.07 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 8248 0 0 0 7 0 0 0 25 0 1 0 901521933 38928384 8200 33554432000 4194304 9128323 140735698713936 18446744073709551615 4216858 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23756/statm: 9504 8200 474 1205 0 8295 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 38016

[startup+0.101233 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 23756
/proc/meminfo: memFree=32410020/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=41160 CPUtime=0.09 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 8906 0 0 0 9 0 0 0 25 0 1 0 901521933 42147840 8858 33554432000 4194304 9128323 140735698713936 18446744073709551615 5096560 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23756/statm: 10290 8858 526 1205 0 9081 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41160

[startup+0.301195 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 23756
/proc/meminfo: memFree=32410020/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=56396 CPUtime=0.29 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 13178 0 0 0 28 1 0 0 25 0 1 0 901521933 57749504 12725 33554432000 4194304 9128323 140735698713936 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23756/statm: 14099 12725 634 1205 0 12890 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56396

[startup+0.701122 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 23756
/proc/meminfo: memFree=32410020/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=56848 CPUtime=0.69 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 13439 0 0 0 68 1 0 0 25 0 1 0 901521933 58212352 12980 33554432000 4194304 9128323 140735698713936 18446744073709551615 5607839 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23756/statm: 14212 12980 628 1205 0 13003 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56848

[startup+1.50098 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23757
/proc/meminfo: memFree=32355724/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=70516 CPUtime=1.49 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 17110 0 0 0 147 2 0 0 25 0 1 0 901521933 72208384 16399 33554432000 4194304 9128323 140735698713936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23756/statm: 17629 16399 713 1205 0 16420 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70516

[startup+3.1007 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23757
/proc/meminfo: memFree=32343456/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=81224 CPUtime=3.09 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 19888 0 0 0 306 3 0 0 25 0 1 0 901521933 83173376 19082 33554432000 4194304 9128323 140735698713936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23756/statm: 20306 19082 791 1205 0 19097 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81224

[startup+6.30114 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23757
/proc/meminfo: memFree=32296756/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=120456 CPUtime=6.29 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 29879 0 0 0 622 7 0 0 25 0 1 0 901521933 123346944 28608 33554432000 4194304 9128323 140735698713936 18446744073709551615 7192225 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23756/statm: 30114 28608 779 1205 0 28905 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 120456

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23757
/proc/meminfo: memFree=32296684/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=120456 CPUtime=12.69 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 30005 0 0 0 1259 10 0 0 25 0 1 0 901521933 123346944 28666 33554432000 4194304 9128323 140735698713936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23756/statm: 30114 28666 753 1205 0 28905 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 120456

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23758
/proc/meminfo: memFree=32296300/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=120456 CPUtime=25.49 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 30014 0 0 0 2532 17 0 0 25 0 1 0 901521933 123346944 28675 33554432000 4194304 9128323 140735698713936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 30114 28675 762 1205 0 28905 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 120456

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23758
/proc/meminfo: memFree=32293960/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=119044 CPUtime=51.09 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 31747 0 0 0 5082 27 0 0 25 0 1 0 901521933 121901056 28751 33554432000 4194304 9128323 140735698713936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 29761 28751 752 1205 0 28552 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 119044

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23760
/proc/meminfo: memFree=32285988/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=122288 CPUtime=102.3 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 48659 0 0 0 10187 43 0 0 25 0 1 0 901521933 125222912 29504 33554432000 4194304 9128323 140735698713936 18446744073709551615 7216727 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 30572 29504 752 1205 0 29363 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 122288

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23761
/proc/meminfo: memFree=32259372/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=139716 CPUtime=162.29 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 83094 0 0 0 16169 60 0 0 25 0 1 0 901521933 143069184 33921 33554432000 4194304 9128323 140735698713936 18446744073709551615 7346354 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 34929 33921 753 1205 0 33720 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 139716

[startup+222.301 s]
/proc/loadavg: 2.03 2.01 1.92 3/178 23763
/proc/meminfo: memFree=32250504/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=146900 CPUtime=222.3 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 107168 0 0 0 22152 78 0 0 25 0 1 0 901521933 150425600 35668 33554432000 4194304 9128323 140735698713936 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 36725 35668 753 1205 0 35516 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 146900

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 23764
/proc/meminfo: memFree=32242764/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=151248 CPUtime=282.3 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 118438 0 0 0 28138 92 0 0 25 0 1 0 901521933 154877952 36814 33554432000 4194304 9128323 140735698713936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 37812 36814 753 1205 0 36603 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 151248

[startup+342.301 s]
/proc/loadavg: 2.06 2.02 1.93 3/178 23766
/proc/meminfo: memFree=32232904/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=155668 CPUtime=342.29 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 129649 0 0 0 34123 106 0 0 25 0 1 0 901521933 159404032 37902 33554432000 4194304 9128323 140735698713936 18446744073709551615 7025629 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 38917 37902 753 1205 0 37708 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 155668

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 23768
/proc/meminfo: memFree=32225400/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=160744 CPUtime=402.29 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 145905 0 0 0 40108 121 0 0 25 0 1 0 901521933 164601856 39156 33554432000 4194304 9128323 140735698713936 18446744073709551615 6681006 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 40186 39156 753 1205 0 38977 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 160744

[startup+462.301 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 23769
/proc/meminfo: memFree=32218496/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=164208 CPUtime=462.3 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 154270 0 0 0 46095 135 0 0 25 0 1 0 901521933 168148992 40061 33554432000 4194304 9128323 140735698713936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 41052 40061 753 1205 0 39843 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 164208

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23771
/proc/meminfo: memFree=32208756/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=168884 CPUtime=522.3 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 162659 0 0 0 52081 149 0 0 25 0 1 0 901521933 172937216 41209 33554432000 4194304 9128323 140735698713936 18446744073709551615 7342922 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 42221 41209 756 1205 0 41012 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 168884

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23772
/proc/meminfo: memFree=32202108/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=172468 CPUtime=582.3 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 171059 0 0 0 58066 164 0 0 25 0 1 0 901521933 176607232 42094 33554432000 4194304 9128323 140735698713936 18446744073709551615 7025629 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 43117 42094 753 1205 0 41908 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 172468

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 23779
/proc/meminfo: memFree=32176920/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=182804 CPUtime=822.31 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 176269 0 0 0 82011 220 0 0 25 0 1 0 901521933 187191296 44753 33554432000 4194304 9128323 140735698713936 18446744073709551615 7097347 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 45701 44753 753 1205 0 44492 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 182804

[startup+882.3 s]
/proc/loadavg: 2.08 2.02 1.94 3/178 23780
/proc/meminfo: memFree=32167924/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=186968 CPUtime=882.31 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 177246 0 0 0 88000 231 0 0 25 0 1 0 901521933 191455232 45730 33554432000 4194304 9128323 140735698713936 18446744073709551615 7162898 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 46742 45730 753 1205 0 45533 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 186968

[startup+942.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 23782
/proc/meminfo: memFree=32156328/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=192236 CPUtime=942.31 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 178565 0 0 0 93989 242 0 0 25 0 1 0 901521933 196849664 47049 33554432000 4194304 9128323 140735698713936 18446744073709551615 5089491 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 48059 47049 753 1205 0 46850 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 192236

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 23784
/proc/meminfo: memFree=32152784/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=193288 CPUtime=1002.31 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 178860 0 0 0 99977 254 0 0 25 0 1 0 901521933 197926912 47344 33554432000 4194304 9128323 140735698713936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 48322 47344 753 1205 0 47113 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 193288

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23785
/proc/meminfo: memFree=32142444/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=196616 CPUtime=1062.32 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 179667 0 0 0 105964 268 0 0 25 0 1 0 901521933 201334784 48151 33554432000 4194304 9128323 140735698713936 18446744073709551615 5105551 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 49154 48151 753 1205 0 47945 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 196616

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23787
/proc/meminfo: memFree=32131452/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=200556 CPUtime=1122.32 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 180661 0 0 0 111948 284 0 0 25 0 1 0 901521933 205369344 49145 33554432000 4194304 9128323 140735698713936 18446744073709551615 7177479 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 50139 49145 753 1205 0 48930 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 200556

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23788
/proc/meminfo: memFree=32125048/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=202012 CPUtime=1182.32 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 188119 0 0 0 117933 299 0 0 25 0 1 0 901521933 206860288 49576 33554432000 4194304 9128323 140735698713936 18446744073709551615 6856736 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 50503 49576 753 1205 0 49294 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 202012

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23790
/proc/meminfo: memFree=32118156/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=204504 CPUtime=1242.32 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 188678 0 0 0 123921 311 0 0 25 0 1 0 901521933 209412096 50135 33554432000 4194304 9128323 140735698713936 18446744073709551615 7343116 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 51126 50135 753 1205 0 49917 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 204504

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/178 23792
/proc/meminfo: memFree=32108044/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=207880 CPUtime=1302.33 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 189590 0 0 0 129909 324 0 0 25 0 1 0 901521933 212869120 51047 33554432000 4194304 9128323 140735698713936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 51970 51047 753 1205 0 50761 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 207880

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 23793
/proc/meminfo: memFree=32099160/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=211416 CPUtime=1362.32 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 190539 0 0 0 135897 335 0 0 25 0 1 0 901521933 216489984 51929 33554432000 4194304 9128323 140735698713936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 52854 51929 753 1205 0 51645 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 211416

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 23795
/proc/meminfo: memFree=32089796/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=214224 CPUtime=1422.33 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 191245 0 0 0 141886 347 0 0 25 0 1 0 901521933 219365376 52635 33554432000 4194304 9128323 140735698713936 18446744073709551615 5105556 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 53556 52635 753 1205 0 52347 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 214224

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23796
/proc/meminfo: memFree=32082540/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=216444 CPUtime=1482.33 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 191841 0 0 0 147875 358 0 0 25 0 1 0 901521933 221638656 53156 33554432000 4194304 9128323 140735698713936 18446744073709551615 5604739 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 54111 53156 753 1205 0 52902 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 216444

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23798
/proc/meminfo: memFree=32073920/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=219720 CPUtime=1542.33 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 192706 0 0 0 153863 370 0 0 25 0 1 0 901521933 224993280 54021 33554432000 4194304 9128323 140735698713936 18446744073709551615 7192212 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 54930 54021 753 1205 0 53721 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 219720

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23800
/proc/meminfo: memFree=32066796/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=223184 CPUtime=1602.33 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 208358 0 0 0 159850 383 0 0 25 0 1 0 901521933 228540416 54918 33554432000 4194304 9128323 140735698713936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 55796 54918 753 1205 0 54587 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 223184

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23801
/proc/meminfo: memFree=32053840/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=228072 CPUtime=1662.33 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 211987 0 0 0 165838 395 0 0 25 0 1 0 901521933 233545728 56101 33554432000 4194304 9128323 140735698713936 18446744073709551615 7192205 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 57018 56101 753 1205 0 55809 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 228072

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23803
/proc/meminfo: memFree=32046328/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=230104 CPUtime=1722.33 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 212439 0 0 0 171827 406 0 0 25 0 1 0 901521933 235626496 56553 33554432000 4194304 9128323 140735698713936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 57526 56553 753 1205 0 56317 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 230104

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23804
/proc/meminfo: memFree=32037200/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=235016 CPUtime=1782.34 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 220756 0 0 0 177812 422 0 0 25 0 1 0 901521933 240656384 57723 33554432000 4194304 9128323 140735698713936 18446744073709551615 6416613 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23756/statm: 58754 57723 753 1205 0 57545 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 235016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23844
/proc/meminfo: memFree=32186104/32951124 swapFree=67052812/67111528
[pid=23756] ppid=23754 vsize=235016 CPUtime=1800.04 cores=0,2,4,6
/proc/23756/stat : 23756 (scip-2.0.1.4.li) R 23754 23756 21680 0 -1 4202496 220826 0 0 0 179579 425 0 0 25 0 1 0 901521933 240656384 57793 33554432000 4194304 9128323 140735698713936 18446744073709551615 8057664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23756/statm: 58754 57793 753 1205 0 57545 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 235016

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1795.79
CPU system time (s): 4.26435
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 251336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.79
system time used= 4.26435
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2442

runsolver used 2.95755 second user time and 5.70413 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-12 19:19:53
IDJOB=3447318
IDBENCH=79021
IDSOLVER=1944
FILE ID=node103/3447318-1307899193
RUNJOBID= node103-1307897153-22178
PBS_JOBID= 13559599
Free space on /tmp= 74064 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3447318-1307899193/watcher-3447318-1307899193 -o /tmp/evaluation-result-3447318-1307899193/solver-3447318-1307899193 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447318-1307899193.wbo -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9604cc8b4028b285fc8feb4fe9530b1c
RANDOM SEED=603712087

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32410448 kB
Buffers:        107204 kB
Cached:         147800 kB
SwapCached:      22648 kB
Active:         259632 kB
Inactive:        91864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32410448 kB
SwapTotal:    67111528 kB
SwapFree:     67052812 kB
Dirty:           25072 kB
Writeback:           0 kB
AnonPages:       94540 kB
Mapped:          12164 kB
Slab:           125184 kB
PageTables:       4656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   275432 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= 74052 MiB
End job on node103 at 2011-06-12 19:49:55