Trace number 2705343

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.3 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.13 1800.07

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf10.ucl--soft-0-100-0.wbo
MD5SUM79618a6a5352afdd0e3f48d1f4de265d
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big 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 benchmark1731.75
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables55066
Total number of constraints160619
Number of soft constraints160619
Number of constraints which are clauses156587
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4032
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 8104936
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 8104935
Biggest number in a constraint 67
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 256
Number of bits of the biggest sum of numbers9
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705343-1278576548.wbo>
1.69/1.77	c original problem has 376304 variables (215685 bin, 0 int, 160619 impl, 0 cont) and 321239 constraints
1.69/1.77	c problem read
1.69/1.78	c presolving settings loaded
394.01/394.00	o 8104935
394.01/394.00	c feasible solution found by trivial heuristic, objective value  8.104935e+06
394.01/394.00	c presolving:
394.30/394.34	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 2021 chg sides, 4042 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
394.60/394.64	c (round 2) 0 del vars, 1 del conss, 160619 chg bounds, 2021 chg sides, 4042 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
399.50/399.56	c    (397.8s) probing: 101/215685 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
399.50/399.56	c    (397.8s) probing aborted: 100/100 successive totally useless probings
399.50/399.59	c presolving (3 rounds):
399.50/399.59	c  0 deleted vars, 1 deleted constraints, 160619 tightened bounds, 0 added holes, 2021 changed sides, 4042 changed coefficients
399.50/399.59	c  317206 implications, 0 cliques
399.50/399.59	c presolved problem has 376304 variables (215685 bin, 0 int, 160619 impl, 0 cont) and 321238 constraints
399.50/399.59	c       1 constraints of type <varbound>
399.50/399.59	c  160618 constraints of type <linear>
399.50/399.59	c  160619 constraints of type <indicator>
399.50/399.59	c transformed objective value is always integral (scale: 1)
399.50/399.59	c Presolving Time: 396.76
399.50/399.59	c - non default parameters ----------------------------------------------------------------------
399.50/399.59	c # SCIP version 1.2.1.3
399.50/399.59	c 
399.50/399.59	c # frequency for displaying node information lines
399.50/399.59	c # [type: int, range: [-1,2147483647], default: 100]
399.50/399.59	c display/freq = 10000
399.50/399.59	c 
399.50/399.59	c # maximal time in seconds to run
399.50/399.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
399.50/399.59	c limits/time = 1788.23
399.50/399.59	c 
399.50/399.59	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
399.50/399.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
399.50/399.59	c limits/memory = 3420
399.50/399.59	c 
399.50/399.59	c # default clock type (1: CPU user seconds, 2: wall clock time)
399.50/399.59	c # [type: int, range: [1,2], default: 1]
399.50/399.59	c timing/clocktype = 2
399.50/399.59	c 
399.50/399.59	c # should presolving try to simplify inequalities
399.50/399.59	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
399.50/399.59	c constraints/linear/simplifyinequalities = TRUE
399.50/399.59	c 
399.50/399.59	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
399.50/399.59	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
399.50/399.59	c constraints/indicator/addCouplingCons = TRUE
399.50/399.59	c 
399.50/399.59	c # should presolving try to simplify knapsacks
399.50/399.59	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
399.50/399.59	c constraints/knapsack/simplifyinequalities = TRUE
399.50/399.59	c 
399.50/399.59	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
399.50/399.59	c # [type: int, range: [-1,2147483647], default: -1]
399.50/399.59	c separating/rapidlearning/freq = 0
399.50/399.59	c 
399.50/399.59	c -----------------------------------------------------------------------------------------------
399.50/399.59	c start solving
399.60/399.68	c 
400.50/400.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
400.50/400.55	c t 399s|     1 |     0 |     0 |     - |1219M|   0 |   0 | 376k| 321k| 376k|   0 |   0 |   0 |   0 | 0.000000e+00 | 8.104935e+06 |    Inf 
400.70/400.72	c   399s|     1 |     0 |   201 |     - |1220M|   0 |   7 | 376k| 321k| 376k| 201 | 201 |   0 |   0 | 0.000000e+00 | 8.104935e+06 |    Inf 
401.70/401.73	c   400s|     1 |     0 |   349 |     - |1221M|   0 |   9 | 376k| 321k| 376k| 408 | 408 |   0 |   0 | 0.000000e+00 | 8.104935e+06 |    Inf 
403.20/403.26	c   401s|     1 |     0 |   531 |     - |1223M|   0 |  10 | 376k| 321k| 376k| 614 | 614 |   0 |   0 | 0.000000e+00 | 8.104935e+06 |    Inf 
405.51/405.53	c   404s|     1 |     0 |   760 |     - |1223M|   0 | 274 | 376k| 321k| 376k| 821 | 821 |   0 |   0 | 0.000000e+00 | 8.104935e+06 |    Inf 
410.00/410.06	c   408s|     1 |     0 |   989 |     - |1228M|   0 | 397 | 376k| 321k| 376k|1033 |1033 |   0 |   0 | 0.000000e+00 | 8.104935e+06 |    Inf 
415.00/415.01	c   413s|     1 |     0 |  1251 |     - |1228M|   0 | 249 | 376k| 321k| 376k|1246 |1246 |   0 |   0 | 0.000000e+00 | 8.104935e+06 |    Inf 
419.40/419.41	c   418s|     1 |     2 |  1251 |     - |1233M|   0 | 249 | 376k| 321k| 376k|1246 |1246 |   0 |  33 | 0.000000e+00 | 8.104935e+06 |    Inf 
1790.05/1790.01	c 
1790.05/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.01	c Solving Time (sec) : 1788.24
1790.05/1790.01	c Solving Nodes      : 545
1790.05/1790.01	c Primal Bound       : +8.10493500000000e+06 (3 solutions)
1790.05/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.05/1790.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-2705343-1278576548/watcher-2705343-1278576548 -o /tmp/evaluation-result-2705343-1278576548/solver-2705343-1278576548 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705343-1278576548.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.00 2.00 1.91 2/173 21272
/proc/meminfo: memFree=29766168/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=12524 CPUtime=0
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 1967 0 0 0 0 0 0 0 21 0 1 0 25869007 12824576 1885 4089446400 4194304 10345943 140735627356448 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21272/statm: 3131 1887 429 1502 0 1624 0

[startup+0.079527 s]
/proc/loadavg: 2.00 2.00 1.91 2/173 21272
/proc/meminfo: memFree=29766168/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=35552 CPUtime=0.07
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 7768 0 0 0 7 0 0 0 21 0 1 0 25869007 36405248 7672 4089446400 4194304 10345943 140735627356448 18446744073709551615 4424632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21272/statm: 8888 7672 430 1502 0 7381 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 35552

[startup+0.100534 s]
/proc/loadavg: 2.00 2.00 1.91 2/173 21272
/proc/meminfo: memFree=29766168/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=41076 CPUtime=0.09
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 9144 0 0 0 9 0 0 0 21 0 1 0 25869007 42061824 9048 4089446400 4194304 10345943 140735627356448 18446744073709551615 8522349 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21272/statm: 10302 9050 430 1502 0 8795 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41076

[startup+0.300482 s]
/proc/loadavg: 2.00 2.00 1.91 2/173 21272
/proc/meminfo: memFree=29766168/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=95412 CPUtime=0.29
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 22694 0 0 0 27 2 0 0 21 0 1 0 25869007 97701888 22598 4089446400 4194304 10345943 140735627356448 18446744073709551615 9053666 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21272/statm: 23853 22599 430 1502 0 22346 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 95412

[startup+0.700414 s]
/proc/loadavg: 2.00 2.00 1.91 2/173 21272
/proc/meminfo: memFree=29766168/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=203124 CPUtime=0.69
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 49640 0 0 0 64 5 0 0 22 0 1 0 25869007 207998976 49544 4089446400 4194304 10345943 140735627356448 18446744073709551615 4424487 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21272/statm: 50781 49544 430 1502 0 49274 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 203124

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21273
/proc/meminfo: memFree=29489420/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=415260 CPUtime=1.49
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 102648 0 0 0 139 10 0 0 25 0 1 0 25869007 425226240 102552 4089446400 4194304 10345943 140735627356448 18446744073709551615 9134648 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21272/statm: 103815 102552 430 1502 0 102308 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 415260

[startup+3.10093 s]
/proc/loadavg: 1.92 1.98 1.91 2/174 21275
/proc/meminfo: memFree=29002224/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=1097308 CPUtime=3.09
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 272187 0 0 0 281 28 0 0 25 0 1 0 25869007 1123643392 271701 4089446400 4194304 10345943 140735627356448 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21272/statm: 274327 271701 494 1502 0 272820 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1097308

[startup+6.30032 s]
/proc/loadavg: 1.92 1.98 1.91 3/179 21283
/proc/meminfo: memFree=28080328/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=1194784 CPUtime=6.29
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 294933 0 0 0 599 30 0 0 25 0 1 0 25869007 1223458816 294447 4089446400 4194304 10345943 140735627356448 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21272/statm: 298696 294447 509 1502 0 297189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1194784

[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 21283
/proc/meminfo: memFree=28080220/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=1194784 CPUtime=12.69
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 294933 0 0 0 1239 30 0 0 25 0 1 0 25869007 1223458816 294447 4089446400 4194304 10345943 140735627356448 18446744073709551615 9138661 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21272/statm: 298696 294447 509 1502 0 297189 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1194784

[startup+25.5008 s]
/proc/loadavg: 1.94 1.98 1.91 3/179 21284
/proc/meminfo: memFree=28081112/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=1194784 CPUtime=25.49
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 294933 0 0 0 2519 30 0 0 25 0 1 0 25869007 1223458816 294447 4089446400 4194304 10345943 140735627356448 18446744073709551615 9138564 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21272/statm: 298696 294447 509 1502 0 297189 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1194784

[startup+51.101 s]
/proc/loadavg: 1.96 1.98 1.91 3/179 21284
/proc/meminfo: memFree=28080976/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=1194784 CPUtime=51.09
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 294933 0 0 0 5079 30 0 0 25 0 1 0 25869007 1223458816 294447 4089446400 4194304 10345943 140735627356448 18446744073709551615 9138512 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 298696 294447 509 1502 0 297189 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1194784

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 21286
/proc/meminfo: memFree=27944076/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=1194784 CPUtime=102.29
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 294933 0 0 0 10199 30 0 0 25 0 1 0 25869007 1223458816 294447 4089446400 4194304 10345943 140735627356448 18446744073709551615 9138400 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 298696 294447 509 1502 0 297189 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1194784

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 21287
/proc/meminfo: memFree=27915624/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=1194784 CPUtime=162.29
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 294933 0 0 0 16199 30 0 0 25 0 1 0 25869007 1223458816 294447 4089446400 4194304 10345943 140735627356448 18446744073709551615 9138519 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 298696 294447 509 1502 0 297189 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1194784

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 21289
/proc/meminfo: memFree=27883704/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=1194784 CPUtime=222.29
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 294933 0 0 0 22199 30 0 0 25 0 1 0 25869007 1223458816 294447 4089446400 4194304 10345943 140735627356448 18446744073709551615 4246696 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 298696 294447 509 1502 0 297189 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1194784

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 21290
/proc/meminfo: memFree=27857240/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=1194784 CPUtime=282.29
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 294933 0 0 0 28199 30 0 0 25 0 1 0 25869007 1223458816 294447 4089446400 4194304 10345943 140735627356448 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 298696 294447 509 1502 0 297189 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1194784

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 21292
/proc/meminfo: memFree=27827684/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=1194784 CPUtime=342.3
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 294933 0 0 0 34200 30 0 0 25 0 1 0 25869007 1223458816 294447 4089446400 4194304 10345943 140735627356448 18446744073709551615 9138519 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 298696 294447 509 1502 0 297189 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1194784

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 21294
/proc/meminfo: memFree=27494664/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=1568916 CPUtime=402.3
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 382293 0 0 0 40191 39 0 0 25 0 1 0 25869007 1606569984 373498 4089446400 4194304 10345943 140735627356448 18446744073709551615 5852534 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 392229 373498 934 1502 0 390722 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1568916

[startup+462.3 s]
/proc/loadavg: 2.07 2.00 1.91 3/179 21295
/proc/meminfo: memFree=26856520/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=462.3
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546879 0 0 0 46172 58 0 0 25 0 1 0 25869007 2211328000 522961 4089446400 4194304 10345943 140735627356448 18446744073709551615 6866204 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 522961 856 1502 0 538368 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2159500

[startup+522.3 s]
/proc/loadavg: 2.03 2.00 1.91 3/179 21297
/proc/meminfo: memFree=26830180/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=522.31
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546879 0 0 0 52169 62 0 0 25 0 1 0 25869007 2211328000 522961 4089446400 4194304 10345943 140735627356448 18446744073709551615 6923626 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 522961 856 1502 0 538368 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2159500

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21301
/proc/meminfo: memFree=26800600/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=582.31
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546879 0 0 0 58168 63 0 0 25 0 1 0 25869007 2211328000 522961 4089446400 4194304 10345943 140735627356448 18446744073709551615 6785237 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 522961 856 1502 0 538368 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2159500

[startup+642.301 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 21303
/proc/meminfo: memFree=26772780/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=642.31
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546880 0 0 0 64166 65 0 0 25 0 1 0 25869007 2211328000 522962 4089446400 4194304 10345943 140735627356448 18446744073709551615 6702751 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 522962 856 1502 0 538368 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 2159500

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21308
/proc/meminfo: memFree=26686936/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=822.31
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546880 0 0 0 82161 70 0 0 25 0 1 0 25869007 2211328000 522962 4089446400 4194304 10345943 140735627356448 18446744073709551615 6866087 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 522962 856 1502 0 538368 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 2159500

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21309
/proc/meminfo: memFree=26660720/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=882.31
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546880 0 0 0 88160 71 0 0 25 0 1 0 25869007 2211328000 522962 4089446400 4194304 10345943 140735627356448 18446744073709551615 6702867 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 522962 856 1502 0 538368 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2159500

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21311
/proc/meminfo: memFree=26631656/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=942.32
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546880 0 0 0 94160 72 0 0 25 0 1 0 25869007 2211328000 522962 4089446400 4194304 10345943 140735627356448 18446744073709551615 6119446 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 522962 856 1502 0 538368 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2159500

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21313
/proc/meminfo: memFree=26606544/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1002.33
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546996 0 0 0 100158 75 0 0 25 0 1 0 25869007 2211328000 523078 4089446400 4194304 10345943 140735627356448 18446744073709551615 6920760 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523078 868 1502 0 538368 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2159500

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 21314
/proc/meminfo: memFree=26581324/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1062.32
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546996 0 0 0 106154 78 0 0 25 0 1 0 25869007 2211328000 523078 4089446400 4194304 10345943 140735627356448 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523078 868 1502 0 538368 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2159500

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 21316
/proc/meminfo: memFree=26550376/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1122.32
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546996 0 0 0 112153 79 0 0 25 0 1 0 25869007 2211328000 523078 4089446400 4194304 10345943 140735627356448 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523078 868 1502 0 538368 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2159500

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21317
/proc/meminfo: memFree=26524784/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1182.32
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546996 0 0 0 118151 81 0 0 25 0 1 0 25869007 2211328000 523078 4089446400 4194304 10345943 140735627356448 18446744073709551615 6715804 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523078 868 1502 0 538368 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2159500

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21319
/proc/meminfo: memFree=26493352/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1242.33
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546996 0 0 0 124150 83 0 0 25 0 1 0 25869007 2211328000 523078 4089446400 4194304 10345943 140735627356448 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523078 868 1502 0 538368 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2159500

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21321
/proc/meminfo: memFree=26460940/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1302.33
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546996 0 0 0 130148 85 0 0 25 0 1 0 25869007 2211328000 523078 4089446400 4194304 10345943 140735627356448 18446744073709551615 6520144 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523078 868 1502 0 538368 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2159500

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21322
/proc/meminfo: memFree=26440912/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1362.34
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546997 0 0 0 136147 87 0 0 25 0 1 0 25869007 2211328000 523079 4089446400 4194304 10345943 140735627356448 18446744073709551615 6307366 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523079 868 1502 0 538368 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2159500

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21324
/proc/meminfo: memFree=26409992/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1422.34
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546997 0 0 0 142146 88 0 0 25 0 1 0 25869007 2211328000 523079 4089446400 4194304 10345943 140735627356448 18446744073709551615 6777390 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523079 868 1502 0 538368 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2159500

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21325
/proc/meminfo: memFree=26382660/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1482.34
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546997 0 0 0 148144 90 0 0 25 0 1 0 25869007 2211328000 523079 4089446400 4194304 10345943 140735627356448 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523079 868 1502 0 538368 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2159500

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21327
/proc/meminfo: memFree=26358928/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1542.34
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546997 0 0 0 154142 92 0 0 25 0 1 0 25869007 2211328000 523079 4089446400 4194304 10345943 140735627356448 18446744073709551615 6702914 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523079 868 1502 0 538368 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2159500

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21329
/proc/meminfo: memFree=26331208/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1602.34
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546997 0 0 0 160140 94 0 0 25 0 1 0 25869007 2211328000 523079 4089446400 4194304 10345943 140735627356448 18446744073709551615 6777648 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523079 868 1502 0 538368 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2159500

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/179 21330
/proc/meminfo: memFree=26300652/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1662.35
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546997 0 0 0 166139 96 0 0 25 0 1 0 25869007 2211328000 523079 4089446400 4194304 10345943 140735627356448 18446744073709551615 6777168 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523079 868 1502 0 538368 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2159500

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 21332
/proc/meminfo: memFree=26274792/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1722.34
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546997 0 0 0 172137 97 0 0 25 0 1 0 25869007 2211328000 523079 4089446400 4194304 10345943 140735627356448 18446744073709551615 6518604 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523079 868 1502 0 538368 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2159500

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 21333
/proc/meminfo: memFree=26247216/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1782.35
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546997 0 0 0 178135 100 0 0 25 0 1 0 25869007 2211328000 523079 4089446400 4194304 10345943 140735627356448 18446744073709551615 4881841 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523079 868 1502 0 538368 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2159500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 21334
/proc/meminfo: memFree=26244704/32950928 swapFree=67111528/67111528
[pid=21272] ppid=21270 vsize=2159500 CPUtime=1800.05
/proc/21272/stat : 21272 (pbscip.linux.x8) R 21270 21272 20903 0 -1 4202496 546997 0 0 0 179905 100 0 0 25 0 1 0 25869007 2211328000 523079 4089446400 4194304 10345943 140735627356448 18446744073709551615 4246696 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21272/statm: 539875 523079 868 1502 0 538368 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2159500

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.07
CPU time (s): 1800.13
CPU user time (s): 1799.06
CPU system time (s): 1.07384
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2219892

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

runsolver used 3.48147 second user time and 6.03308 second system time

The end

Launcher Data 

Begin job on node113 at 2010-07-08 10:09:08
IDJOB=2705343
IDBENCH=79112
IDSOLVER=1214
FILE ID=node113/2705343-1278576548
PBS_JOBID= 11240227
Free space on /tmp= 73744 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-elf.rf10.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-2705343-1278576548/watcher-2705343-1278576548 -o /tmp/evaluation-result-2705343-1278576548/solver-2705343-1278576548 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705343-1278576548.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 79618a6a5352afdd0e3f48d1f4de265d
RANDOM SEED=257366996

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.843
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.68
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.843
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.843
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.843
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.73
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.843
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.843
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.76
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.843
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.93
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.843
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29766448 kB
Buffers:        153172 kB
Cached:        2817532 kB
SwapCached:          0 kB
Active:        1669112 kB
Inactive:      1363632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29766448 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18720 kB
Writeback:           0 kB
AnonPages:       62840 kB
Mapped:          14620 kB
Slab:            86600 kB
PageTables:       4680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186872 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= 73716 MiB
End job on node113 at 2010-07-08 10:39:10