Trace number 2693260

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.08 1802.05

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo
MD5SUM65e5bfc23cfeb9f0d41691b20b2e7f01
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.76158
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4622
Total number of constraints12569
Number of soft constraints12569
Number of constraints which are clauses11753
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints816
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 636317
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 636316
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 130
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: Clp 1.11.1] [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-2693260-1277932005.wbo>
0.09/0.15	c original problem has 29760 variables (17191 bin, 0 int, 0 impl, 12569 cont) and 25139 constraints
0.09/0.15	c problem read
0.09/0.15	c presolving settings loaded
2.09/2.13	o 636316
2.09/2.13	c feasible solution found by trivial heuristic, objective value  6.363160e+05
2.09/2.13	c presolving:
2.09/2.17	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 408 chg sides, 816 chg coeffs, 0 upgd conss, 12569 impls, 0 clqs
2.19/2.21	c (round 2) 0 del vars, 1 del conss, 12569 chg bounds, 408 chg sides, 816 chg coeffs, 0 upgd conss, 12569 impls, 0 clqs
2.48/2.52	c    (2.3s) probing: 101/17191 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.48/2.52	c    (2.3s) probing aborted: 100/100 successive totally useless probings
2.48/2.52	c presolving (3 rounds):
2.48/2.52	c  0 deleted vars, 1 deleted constraints, 12569 tightened bounds, 0 added holes, 408 changed sides, 816 changed coefficients
2.48/2.52	c  12569 implications, 0 cliques
2.48/2.52	c presolved problem has 29760 variables (17191 bin, 0 int, 0 impl, 12569 cont) and 25138 constraints
2.48/2.52	c   12569 constraints of type <indicator>
2.48/2.52	c       1 constraints of type <varbound>
2.48/2.52	c   12568 constraints of type <linear>
2.48/2.52	c transformed objective value is always integral (scale: 1)
2.48/2.52	c Presolving Time: 2.28
2.48/2.52	c - non default parameters ----------------------------------------------------------------------
2.48/2.52	c # SCIP version 1.2.1.2
2.48/2.52	c 
2.48/2.52	c # frequency for displaying node information lines
2.48/2.52	c # [type: int, range: [-1,2147483647], default: 100]
2.48/2.52	c display/freq = 10000
2.48/2.52	c 
2.48/2.52	c # maximal time in seconds to run
2.48/2.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.48/2.52	c limits/time = 1799.86
2.48/2.52	c 
2.48/2.52	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.48/2.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.48/2.52	c limits/memory = 3420
2.48/2.52	c 
2.48/2.52	c # should presolving try to simplify inequalities
2.48/2.52	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.48/2.52	c constraints/linear/simplifyinequalities = TRUE
2.48/2.52	c 
2.48/2.52	c # should presolving try to simplify knapsacks
2.48/2.52	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.48/2.52	c constraints/knapsack/simplifyinequalities = TRUE
2.48/2.52	c 
2.48/2.52	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.48/2.52	c # [type: int, range: [-1,2147483647], default: -1]
2.48/2.52	c separating/rapidlearning/freq = 0
2.48/2.52	c 
2.48/2.52	c -----------------------------------------------------------------------------------------------
2.48/2.52	c start solving
2.48/2.53	c 
2.59/2.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.59/2.61	c t 2.4s|     1 |     0 |     0 |     - |  93M|   0 |   0 |  29k|  25k|  29k|   0 |   0 |   0 |   0 | 0.000000e+00 | 6.363160e+05 |    Inf 
2.59/2.63	c   2.5s|     1 |     0 |   201 |     - |  93M|   0 |  17 |  29k|  25k|  29k| 201 | 201 |   0 |   0 | 0.000000e+00 | 6.363160e+05 |    Inf 
2.59/2.65	o 636291
2.59/2.65	c y 2.5s|     1 |     0 |   201 |     - |  94M|   0 |  17 |  29k|  25k|  29k| 201 | 201 |   0 |   0 | 0.000000e+00 | 6.362910e+05 |    Inf 
2.68/2.75	c   2.6s|     1 |     0 |   315 |     - |  94M|   0 |  18 |  29k|  25k|  29k| 409 | 409 |   0 |   0 | 0.000000e+00 | 6.362910e+05 |    Inf 
2.89/2.94	c   2.8s|     1 |     0 |   696 |     - |  94M|   0 |  74 |  29k|  25k|  29k| 621 | 621 |   0 |   0 | 0.000000e+00 | 6.362910e+05 |    Inf 
3.19/3.21	c   3.0s|     1 |     0 |   957 |     - |  95M|   0 | 232 |  29k|  25k|  29k| 846 | 846 |   0 |   0 | 0.000000e+00 | 6.362910e+05 |    Inf 
3.59/3.60	c   3.4s|     1 |     0 |  1244 |     - |  96M|   0 | 338 |  29k|  25k|  29k|1095 |1095 |   0 |   0 | 0.000000e+00 | 6.362910e+05 |    Inf 
4.09/4.12	c   3.9s|     1 |     0 |  1678 |     - |  96M|   0 | 628 |  29k|  25k|  29k|1413 |1413 |   0 |   0 | 0.000000e+00 | 6.362910e+05 |    Inf 
4.79/4.88	c   4.6s|     1 |     2 |  2318 |     - |  97M|   0 | 628 |  29k|  25k|  29k|1413 |1413 |   0 |  33 | 0.000000e+00 | 6.362910e+05 |    Inf 
229.58/229.64	c   217s| 10000 |  9997 | 57612 |   5.6 | 215M| 377 |   8 |  29k|  25k|  29k|1335 |8288 |   2 |6970 | 0.000000e+00 | 6.362910e+05 |    Inf 
351.28/351.35	c   335s| 20000 | 19997 | 93856 |   4.6 | 297M| 377 |  94 |  29k|  25k|  29k|1485 |  18k|   2 |7130 | 0.000000e+00 | 6.362910e+05 |    Inf 
466.49/466.59	c   447s| 30000 | 29997 |132127 |   4.3 | 379M| 377 |  55 |  29k|  25k|  29k|1335 |  24k|   2 |7327 | 0.000000e+00 | 6.362910e+05 |    Inf 
592.19/592.25	c   568s| 40000 | 39997 |165780 |   4.1 | 461M| 377 | 167 |  29k|  25k|  29k|1471 |  36k|   2 |7464 | 0.000000e+00 | 6.362910e+05 |    Inf 
744.00/744.03	c   713s| 50000 | 49995 |193677 |   3.8 | 544M| 379 |   0 |  29k|  25k|  29k|1583 |  49k|   4 |7537 | 0.000000e+00 | 6.362910e+05 |    Inf 
901.20/901.26	c   864s| 60000 | 59995 |220012 |   3.6 | 627M| 381 |   0 |  29k|  25k|  29k|1599 |  63k|   4 |7562 | 0.000000e+00 | 6.362910e+05 |    Inf 
1061.20/1061.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1061.20/1061.22	c  1018s| 70000 | 69995 |245968 |   3.5 | 710M| 381 | 119 |  29k|  25k|  29k|1470 |  76k|   4 |7602 | 0.000000e+00 | 6.362910e+05 |    Inf 
1225.81/1225.88	c  1177s| 80000 | 79995 |270939 |   3.4 | 794M| 383 |   0 |  29k|  25k|  29k|1583 |  88k|   4 |7939 | 0.000000e+00 | 6.362910e+05 |    Inf 
1395.21/1395.21	c  1341s| 90000 | 89995 |296067 |   3.3 | 877M| 383 |   0 |  29k|  25k|  29k|1595 | 101k|   4 |8428 | 0.000000e+00 | 6.362910e+05 |    Inf 
1563.31/1563.36	c  1504s|100000 | 99995 |321264 |   3.2 | 960M| 383 |  34 |  29k|  25k|  29k|1469 | 114k|   5 |8873 | 0.000000e+00 | 6.362910e+05 |    Inf 
1731.81/1731.83	c  1667s|110000 |109995 |346590 |   3.1 |1043M| 383 |   0 |  29k|  25k|  29k|1584 | 126k|   5 |9297 | 0.000000e+00 | 6.362910e+05 |    Inf 
1800.02/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.03	c 
1800.02/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.03	c Solving Time (sec) : 1733.10
1800.02/1800.03	c Solving Nodes      : 114019
1800.02/1800.03	c Primal Bound       : +6.36291000000000e+05 (102 solutions)
1800.02/1800.03	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.03	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-2693260-1277932005/watcher-2693260-1277932005 -o /tmp/evaluation-result-2693260-1277932005/solver-2693260-1277932005 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693260-1277932005.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.50 2.15 2.11 4/196 26796
/proc/meminfo: memFree=30946204/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=11120 CPUtime=0
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 1686 0 0 0 0 0 0 0 25 0 1 0 166792232 11386880 1607 4089446400 4194304 9819077 140737364934112 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26796/statm: 2780 1624 392 1374 0 1401 0

[startup+0.0456981 s]
/proc/loadavg: 2.50 2.15 2.11 4/196 26796
/proc/meminfo: memFree=30946204/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=24152 CPUtime=0.04
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 4958 0 0 0 4 0 0 0 25 0 1 0 166792232 24731648 4879 4089446400 4194304 9819077 140737364934112 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26796/statm: 6038 4879 392 1374 0 4659 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 24152

[startup+0.100687 s]
/proc/loadavg: 2.50 2.15 2.11 4/196 26796
/proc/meminfo: memFree=30946204/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=38620 CPUtime=0.09
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 8606 0 0 0 9 0 0 0 25 0 1 0 166792232 39546880 8527 4089446400 4194304 9819077 140737364934112 18446744073709551615 8081440 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26796/statm: 9655 8527 392 1374 0 8276 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38620

[startup+0.30065 s]
/proc/loadavg: 2.50 2.15 2.11 4/196 26796
/proc/meminfo: memFree=30946204/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=112092 CPUtime=0.29
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 26419 0 0 0 28 1 0 0 25 0 1 0 166792232 114782208 25949 4089446400 4194304 9819077 140737364934112 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/26796/statm: 28023 25949 469 1374 0 26644 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112092

[startup+0.700582 s]
/proc/loadavg: 2.50 2.15 2.11 4/196 26796
/proc/meminfo: memFree=30946204/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=112092 CPUtime=0.68
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 26419 0 0 0 67 1 0 0 25 0 1 0 166792232 114782208 25949 4089446400 4194304 9819077 140737364934112 18446744073709551615 8678878 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26796/statm: 28023 25949 469 1374 0 26644 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 112092

[startup+1.50044 s]
/proc/loadavg: 2.46 2.15 2.11 3/197 26797
/proc/meminfo: memFree=30843772/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=112092 CPUtime=1.48
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 26419 0 0 0 147 1 0 0 25 0 1 0 166792232 114782208 25949 4089446400 4194304 9819077 140737364934112 18446744073709551615 8679181 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26796/statm: 28023 25949 469 1374 0 26644 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 112092

[startup+3.10016 s]
/proc/loadavg: 2.46 2.15 2.11 3/197 26797
/proc/meminfo: memFree=30843276/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=145156 CPUtime=3.08
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 38280 0 0 0 304 4 0 0 25 0 1 0 166792232 148639744 33054 4089446400 4194304 9819077 140737364934112 18446744073709551615 5744314 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26796/statm: 36289 33054 673 1374 0 34910 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 145156

[startup+6.3006 s]
/proc/loadavg: 2.42 2.15 2.11 3/197 26797
/proc/meminfo: memFree=30808256/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=152492 CPUtime=6.29
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 273495 0 0 0 598 31 0 0 25 0 1 0 166792232 156151808 34184 4089446400 4194304 9819077 140737364934112 18446744073709551615 6670376 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26796/statm: 38123 34184 699 1374 0 36744 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 152492

[startup+12.7005 s]
/proc/loadavg: 2.39 2.14 2.11 3/197 26798
/proc/meminfo: memFree=30803584/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=151336 CPUtime=12.68
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 1063302 0 0 0 1160 108 0 0 25 0 1 0 166792232 154968064 34710 4089446400 4194304 9819077 140737364934112 18446744073709551615 6367494 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26796/statm: 37834 34710 699 1374 0 36455 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 151336

[startup+25.5002 s]
/proc/loadavg: 2.30 2.14 2.11 3/197 26798
/proc/meminfo: memFree=30788424/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=157252 CPUtime=25.49
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 2372185 0 0 0 2292 257 0 0 25 0 1 0 166792232 161026048 36037 4089446400 4194304 9819077 140737364934112 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26796/statm: 39313 36037 700 1374 0 37934 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 157252

[startup+51.1007 s]
/proc/loadavg: 2.71 2.24 2.14 3/197 26799
/proc/meminfo: memFree=30768096/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=164072 CPUtime=51.09
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 5422858 0 0 0 4518 591 0 0 25 0 1 0 166792232 168009728 37641 4089446400 4194304 9819077 140737364934112 18446744073709551615 5893871 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26796/statm: 41018 37641 715 1374 0 39639 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 164072

[startup+102.307 s]
/proc/loadavg: 2.61 2.30 2.17 3/197 26800
/proc/meminfo: memFree=30710040/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=193496 CPUtime=102.3
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 9058788 0 0 0 9237 993 0 0 25 0 1 0 166792232 198139904 45791 4089446400 4194304 9819077 140737364934112 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26796/statm: 48374 45791 716 1374 0 46995 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 193496

[startup+162.3 s]
/proc/loadavg: 2.32 2.27 2.17 3/179 27004
/proc/meminfo: memFree=31356080/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=223676 CPUtime=162.28
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 10110869 0 0 0 15094 1134 0 0 25 0 1 0 166792232 229044224 53077 4089446400 4194304 9819077 140737364934112 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 55919 53077 721 1374 0 54540 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 223676

[startup+222.301 s]
/proc/loadavg: 2.12 2.22 2.15 3/179 27006
/proc/meminfo: memFree=31287884/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=262020 CPUtime=222.28
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 11054449 0 0 0 20955 1273 0 0 25 0 1 0 166792232 268308480 62721 4089446400 4194304 9819077 140737364934112 18446744073709551615 6089682 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 65505 62721 721 1374 0 64126 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 262020

[startup+282.3 s]
/proc/loadavg: 2.04 2.18 2.14 3/179 27008
/proc/meminfo: memFree=31220640/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=303612 CPUtime=282.28
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 11921289 0 0 0 26827 1401 0 0 25 0 1 0 166792232 310898688 72915 4089446400 4194304 9819077 140737364934112 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 75903 72915 721 1374 0 74524 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 303612

[startup+342.301 s]
/proc/loadavg: 2.01 2.14 2.13 3/179 27010
/proc/meminfo: memFree=31154636/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=344128 CPUtime=342.28
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 12985490 0 0 0 32675 1553 0 0 25 0 1 0 166792232 352387072 83023 4089446400 4194304 9819077 140737364934112 18446744073709551615 8679253 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 86032 83025 721 1374 0 84653 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 344128

[startup+402.3 s]
/proc/loadavg: 2.04 2.13 2.12 3/179 27011
/proc/meminfo: memFree=31088372/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=383968 CPUtime=402.29
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 14262149 0 0 0 38497 1732 0 0 25 0 1 0 166792232 393183232 92959 4089446400 4194304 9819077 140737364934112 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 95992 92959 721 1374 0 94613 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 383968

[startup+462.301 s]
/proc/loadavg: 2.01 2.10 2.11 3/179 27012
/proc/meminfo: memFree=31021640/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=425940 CPUtime=462.29
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 15821491 0 0 0 44293 1936 0 0 25 0 1 0 166792232 436162560 103533 4089446400 4194304 9819077 140737364934112 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 106485 103533 721 1374 0 105106 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 425940

[startup+522.301 s]
/proc/loadavg: 2.00 2.08 2.10 3/179 27014
/proc/meminfo: memFree=30958108/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=467000 CPUtime=522.29
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 17401711 0 0 0 50084 2145 0 0 25 0 1 0 166792232 478208000 113719 4089446400 4194304 9819077 140737364934112 18446744073709551615 4561249 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 116750 113719 721 1374 0 115371 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 467000

[startup+582.301 s]
/proc/loadavg: 2.00 2.06 2.09 3/179 27016
/proc/meminfo: memFree=30896080/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=503472 CPUtime=582.29
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 19215663 0 0 0 55843 2386 0 0 25 0 1 0 166792232 515555328 123038 4089446400 4194304 9819077 140737364934112 18446744073709551615 6361147 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 125868 123038 721 1374 0 124489 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 503472

[startup+642.301 s]
/proc/loadavg: 2.00 2.05 2.08 3/179 27018
/proc/meminfo: memFree=30837376/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=539232 CPUtime=642.3
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 21232218 0 0 0 61589 2641 0 0 25 0 1 0 166792232 552173568 131838 4089446400 4194304 9819077 140737364934112 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 134808 131838 721 1374 0 133429 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 539232

[startup+702.301 s]

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

/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 32270106 0 0 0 96185 4045 0 0 25 0 1 0 166792232 746246144 178912 4089446400 4194304 9819077 140737364934112 18446744073709551615 7815988 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 182189 178912 721 1374 0 180810 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 728756

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/179 27028
/proc/meminfo: memFree=30451956/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=758896 CPUtime=1062.3
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 33969484 0 0 0 101965 4265 0 0 25 0 1 0 166792232 777109504 186523 4089446400 4194304 9819077 140737364934112 18446744073709551615 6361859 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 189724 186523 721 1374 0 188345 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 758896

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/179 27030
/proc/meminfo: memFree=30395132/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=789504 CPUtime=1122.3
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 35672723 0 0 0 107749 4481 0 0 25 0 1 0 166792232 808452096 194079 4089446400 4194304 9819077 140737364934112 18446744073709551615 6628358 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 197376 194079 721 1374 0 195997 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 789504

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/179 27032
/proc/meminfo: memFree=30344116/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=818104 CPUtime=1182.31
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 37305339 0 0 0 113541 4690 0 0 25 0 1 0 166792232 837738496 201253 4089446400 4194304 9819077 140737364934112 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 204526 201253 721 1374 0 203147 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 818104

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 27034
/proc/meminfo: memFree=30289380/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=848048 CPUtime=1242.3
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 38996362 0 0 0 119316 4914 0 0 25 0 1 0 166792232 868401152 208641 4089446400 4194304 9819077 140737364934112 18446744073709551615 4834591 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 212012 208641 721 1374 0 210633 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 848048

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 27035
/proc/meminfo: memFree=30237144/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=876304 CPUtime=1302.31
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 40505741 0 0 0 125118 5113 0 0 25 0 1 0 166792232 897335296 215831 4089446400 4194304 9819077 140737364934112 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 219076 215831 721 1374 0 217697 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 876304

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 27036
/proc/meminfo: memFree=30183416/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=906080 CPUtime=1362.31
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 42030302 0 0 0 130926 5305 0 0 25 0 1 0 166792232 927825920 223330 4089446400 4194304 9819077 140737364934112 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 226520 223330 721 1374 0 225141 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 906080

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 27038
/proc/meminfo: memFree=30129436/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=935320 CPUtime=1422.32
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 43715638 0 0 0 136709 5523 0 0 25 0 1 0 166792232 957767680 230590 4089446400 4194304 9819077 140737364934112 18446744073709551615 6590607 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 233830 230605 721 1374 0 232451 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 935320

[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.02 3/179 27040
/proc/meminfo: memFree=30077188/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=965148 CPUtime=1482.31
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 44952775 0 0 0 142548 5683 0 0 25 0 1 0 166792232 988311552 238132 4089446400 4194304 9819077 140737364934112 18446744073709551615 6667314 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 241287 238132 722 1374 0 239908 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 965148

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.01 3/179 27042
/proc/meminfo: memFree=30021464/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=993636 CPUtime=1542.32
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 46174072 0 0 0 148382 5850 0 0 25 0 1 0 166792232 1017483264 245359 4089446400 4194304 9819077 140737364934112 18446744073709551615 6361077 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 248409 245359 722 1374 0 247030 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 993636

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.01 3/179 27043
/proc/meminfo: memFree=29918748/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=1023696 CPUtime=1602.31
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 47737795 0 0 0 154181 6050 0 0 25 0 1 0 166792232 1048264704 252679 4089446400 4194304 9819077 140737364934112 18446744073709551615 4965317 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 255924 252679 722 1374 0 254545 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 1023696

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27045
/proc/meminfo: memFree=29916980/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=1051540 CPUtime=1662.32
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 49090347 0 0 0 160002 6230 0 0 25 0 1 0 166792232 1076776960 259848 4089446400 4194304 9819077 140737364934112 18446744073709551615 6003108 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 262885 259848 722 1374 0 261506 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1051540

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27046
/proc/meminfo: memFree=29863888/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=1081328 CPUtime=1722.32
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 50442705 0 0 0 165822 6410 0 0 25 0 1 0 166792232 1107279872 267130 4089446400 4194304 9819077 140737364934112 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 270332 267130 722 1374 0 268953 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1081328

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27048
/proc/meminfo: memFree=29807424/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=1110244 CPUtime=1782.32
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 52098943 0 0 0 171615 6617 0 0 25 0 1 0 166792232 1136889856 274350 4089446400 4194304 9819077 140737364934112 18446744073709551615 6003250 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 277561 274350 722 1374 0 276182 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1110244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27048
/proc/meminfo: memFree=29792532/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=1118320 CPUtime=1800.02
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 52599137 0 0 0 173321 6681 0 0 25 0 1 0 166792232 1145159680 276412 4089446400 4194304 9819077 140737364934112 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26796/statm: 279580 276412 722 1374 0 278201 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1118320

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -26796

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27049
/proc/meminfo: memFree=29792524/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=1118320 CPUtime=1801.42
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 52599882 0 0 0 173461 6681 0 0 25 0 1 0 166792232 1145159680 276413 4089446400 4194304 9819077 140737364934112 18446744073709551615 8678903 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26796/statm: 279580 276413 722 1374 0 278201 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 1118320

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27049
/proc/meminfo: memFree=29790788/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=1118320 CPUtime=1801.82
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 52599882 0 0 0 173501 6681 0 0 25 0 1 0 166792232 1145159680 276413 4089446400 4194304 9819077 140737364934112 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26796/statm: 279580 276413 722 1374 0 278201 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 1118320

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27049
/proc/meminfo: memFree=29790788/32950940 swapFree=67111528/67111528
[pid=26796] ppid=26794 vsize=1118320 CPUtime=1802.02
/proc/26796/stat : 26796 (pbscip.linux.x8) R 26794 26796 26353 0 -1 4202496 52599882 0 0 0 173521 6681 0 0 25 0 1 0 166792232 1145159680 276413 4089446400 4194304 9819077 140737364934112 18446744073709551615 4241129 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26796/statm: 279580 276413 722 1374 0 278201 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 1118320

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.08
CPU user time (s): 1735.22
CPU system time (s): 66.8598
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1119724

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

runsolver used 2.98955 second user time and 6.33804 second system time

The end

Launcher Data 

Begin job on node117 at 2010-06-30 23:06:45
IDJOB=2693260
IDBENCH=79332
IDSOLVER=1205
FILE ID=node117/2693260-1277932005
PBS_JOBID= 11197388
Free space on /tmp= 74212 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693260-1277932005/watcher-2693260-1277932005 -o /tmp/evaluation-result-2693260-1277932005/solver-2693260-1277932005 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693260-1277932005.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 65e5bfc23cfeb9f0d41691b20b2e7f01
RANDOM SEED=1180063061

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      30946732 kB
Buffers:        212780 kB
Cached:         856968 kB
SwapCached:          0 kB
Active:        1251936 kB
Inactive:       608644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      30946732 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6672 kB
Writeback:           0 kB
AnonPages:      790744 kB
Mapped:          20304 kB
Slab:            79476 kB
PageTables:       6328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:  1660380 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 node117 at 2010-06-30 23:36:47