Trace number 2705330

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.08 1800.05

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf10.ucl--soft-0-100-0.wbo
MD5SUM703926ff2f0fefe39204d7923d5e722e
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 benchmark228.704
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables18069
Total number of constraints52475
Number of soft constraints52475
Number of constraints which are clauses51555
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints920
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 2649679
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2649678
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
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.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-2705330-1278576547.wbo>
0.49/0.57	c original problem has 123019 variables (70544 bin, 0 int, 52475 impl, 0 cont) and 104951 constraints
0.49/0.57	c problem read
0.49/0.57	c presolving settings loaded
35.69/35.71	o 2649678
35.69/35.71	c feasible solution found by trivial heuristic, objective value  2.649678e+06
35.69/35.71	c presolving:
35.79/35.81	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 460 chg sides, 920 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
35.89/35.91	c (round 2) 0 del vars, 1 del conss, 52475 chg bounds, 460 chg sides, 920 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
37.49/37.56	c    (37.0s) probing: 101/70544 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
37.49/37.56	c    (37.0s) probing aborted: 100/100 successive totally useless probings
37.49/37.57	c presolving (3 rounds):
37.49/37.57	c  0 deleted vars, 1 deleted constraints, 52475 tightened bounds, 0 added holes, 460 changed sides, 920 changed coefficients
37.49/37.57	c  104030 implications, 0 cliques
37.49/37.57	c presolved problem has 123019 variables (70544 bin, 0 int, 52475 impl, 0 cont) and 104950 constraints
37.49/37.57	c       1 constraints of type <varbound>
37.49/37.57	c   52474 constraints of type <linear>
37.49/37.57	c   52475 constraints of type <indicator>
37.49/37.57	c transformed objective value is always integral (scale: 1)
37.49/37.57	c Presolving Time: 36.65
37.49/37.57	c - non default parameters ----------------------------------------------------------------------
37.49/37.57	c # SCIP version 1.2.1.3
37.49/37.57	c 
37.49/37.57	c # frequency for displaying node information lines
37.49/37.57	c # [type: int, range: [-1,2147483647], default: 100]
37.49/37.57	c display/freq = 10000
37.49/37.57	c 
37.49/37.57	c # maximal time in seconds to run
37.49/37.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.49/37.57	c limits/time = 1789.43
37.49/37.57	c 
37.49/37.57	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
37.49/37.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.49/37.57	c limits/memory = 3420
37.49/37.57	c 
37.49/37.57	c # default clock type (1: CPU user seconds, 2: wall clock time)
37.49/37.57	c # [type: int, range: [1,2], default: 1]
37.49/37.57	c timing/clocktype = 2
37.49/37.57	c 
37.49/37.57	c # should presolving try to simplify inequalities
37.49/37.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.49/37.57	c constraints/linear/simplifyinequalities = TRUE
37.49/37.57	c 
37.49/37.57	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
37.49/37.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.49/37.57	c constraints/indicator/addCouplingCons = TRUE
37.49/37.57	c 
37.49/37.57	c # should presolving try to simplify knapsacks
37.49/37.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.49/37.57	c constraints/knapsack/simplifyinequalities = TRUE
37.49/37.57	c 
37.49/37.57	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
37.49/37.57	c # [type: int, range: [-1,2147483647], default: -1]
37.49/37.57	c separating/rapidlearning/freq = 0
37.49/37.57	c 
37.49/37.57	c -----------------------------------------------------------------------------------------------
37.49/37.57	c start solving
37.59/37.60	c 
37.79/37.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
37.79/37.88	c t37.3s|     1 |     0 |     0 |     - | 398M|   0 |   0 | 123k| 104k| 123k|   0 |   0 |   0 |   0 | 0.000000e+00 | 2.649678e+06 |    Inf 
37.90/37.94	c  37.4s|     1 |     0 |   201 |     - | 398M|   0 |  33 | 123k| 104k| 123k| 201 | 201 |   0 |   0 | 0.000000e+00 | 2.649678e+06 |    Inf 
38.49/38.56	c  38.0s|     1 |     0 |   369 |     - | 398M|   0 |  44 | 123k| 104k| 123k| 418 | 418 |   0 |   0 | 0.000000e+00 | 2.649678e+06 |    Inf 
39.40/39.42	c  38.8s|     1 |     0 |   561 |     - | 399M|   0 |  46 | 123k| 104k| 123k| 649 | 649 |   0 |   0 | 0.000000e+00 | 2.649678e+06 |    Inf 
40.80/40.83	c  40.3s|     1 |     0 |   811 |     - | 400M|   0 | 186 | 123k| 104k| 123k| 874 | 874 |   0 |   0 | 0.000000e+00 | 2.649678e+06 |    Inf 
42.70/42.80	c  42.2s|     1 |     0 |  1079 |     - | 401M|   0 | 339 | 123k| 104k| 123k|1094 |1094 |   0 |   0 | 0.000000e+00 | 2.649678e+06 |    Inf 
44.80/44.82	c  44.2s|     1 |     0 |  1375 |     - | 401M|   0 | 210 | 123k| 104k| 123k|1325 |1325 |   0 |   0 | 0.000000e+00 | 2.649678e+06 |    Inf 
46.19/46.23	c  45.7s|     1 |     2 |  1375 |     - | 402M|   0 | 210 | 123k| 104k| 123k|1325 |1325 |   0 |  33 | 0.000000e+00 | 2.649678e+06 |    Inf 
975.72/975.72	c   975s| 10000 | 10001 |190100 |  18.9 | 718M| 161 | 117 | 123k| 104k| 123k|2207 | 113k|   0 |5593 | 0.000000e+00 | 2.649678e+06 |    Inf 
1768.83/1768.87	c  1768s| 20000 | 20001 |356458 |  17.8 |1033M| 169 | 120 | 123k| 104k| 123k|2187 | 215k|   0 |7102 | 0.000000e+00 | 2.649678e+06 |    Inf 
1790.03/1790.01	c 
1790.03/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.01	c Solving Time (sec) : 1789.44
1790.03/1790.01	c Solving Nodes      : 20289
1790.03/1790.01	c Primal Bound       : +2.64967800000000e+06 (3 solutions)
1790.03/1790.01	c Dual Bound         : +0.00000000000000e+00
1790.03/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-2705330-1278576547/watcher-2705330-1278576547 -o /tmp/evaluation-result-2705330-1278576547/solver-2705330-1278576547 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705330-1278576547.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/176 21943
/proc/meminfo: memFree=29178668/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=12520 CPUtime=0
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 1974 0 0 0 0 0 0 0 20 0 1 0 25868914 12820480 1893 4089446400 4194304 10345943 140736851390736 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21943/statm: 3130 1893 429 1502 0 1623 0

[startup+0.0294399 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 21943
/proc/meminfo: memFree=29178668/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=21328 CPUtime=0.02
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 4166 0 0 0 2 0 0 0 22 0 1 0 25868914 21839872 4085 4089446400 4194304 10345943 140736851390736 18446744073709551615 5753715 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21943/statm: 5332 4085 430 1502 0 3825 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21328

[startup+0.100427 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 21943
/proc/meminfo: memFree=29178668/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=41160 CPUtime=0.09
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 9155 0 0 0 9 0 0 0 22 0 1 0 25868914 42147840 9074 4089446400 4194304 10345943 140736851390736 18446744073709551615 9269981 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21943/statm: 10290 9074 430 1502 0 8783 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41160

[startup+0.300394 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 21943
/proc/meminfo: memFree=29178668/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=95396 CPUtime=0.29
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 22640 0 0 0 26 3 0 0 22 0 1 0 25868914 97685504 22559 4089446400 4194304 10345943 140736851390736 18446744073709551615 4424487 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21943/statm: 23849 22559 430 1502 0 22342 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 95396

[startup+0.700357 s]
/proc/loadavg: 2.00 2.00 1.91 2/176 21943
/proc/meminfo: memFree=29178668/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=272960 CPUtime=0.69
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 67108 0 0 0 62 7 0 0 24 0 1 0 25868914 279511040 66637 4089446400 4194304 10345943 140736851390736 18446744073709551615 4423932 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 68240 66637 478 1502 0 66733 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 272960

[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 1.90 2/174 21961
/proc/meminfo: memFree=28832352/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=405096 CPUtime=1.49
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 98500 0 0 0 138 11 0 0 25 0 1 0 25868914 414818304 98029 4089446400 4194304 10345943 140736851390736 18446744073709551615 9138281 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 101274 98029 509 1502 0 99767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 405096

[startup+3.10087 s]
/proc/loadavg: 1.92 1.98 1.90 2/174 21961
/proc/meminfo: memFree=28801972/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=405096 CPUtime=3.09
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 98500 0 0 0 298 11 0 0 25 0 1 0 25868914 414818304 98029 4089446400 4194304 10345943 140736851390736 18446744073709551615 4246696 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 101274 98029 509 1502 0 99767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 405096

[startup+6.30034 s]
/proc/loadavg: 1.92 1.98 1.90 3/179 21971
/proc/meminfo: memFree=28267168/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=405096 CPUtime=6.29
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 98500 0 0 0 618 11 0 0 25 0 1 0 25868914 414818304 98029 4089446400 4194304 10345943 140736851390736 18446744073709551615 9138556 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 101274 98029 509 1502 0 99767 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 405096

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21972
/proc/meminfo: memFree=28268352/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=405096 CPUtime=12.69
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 98500 0 0 0 1258 11 0 0 25 0 1 0 25868914 414818304 98029 4089446400 4194304 10345943 140736851390736 18446744073709551615 9138526 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 101274 98029 509 1502 0 99767 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 405096

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21972
/proc/meminfo: memFree=28268372/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=405096 CPUtime=25.49
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 98500 0 0 0 2538 11 0 0 25 0 1 0 25868914 414818304 98029 4089446400 4194304 10345943 140736851390736 18446744073709551615 9138589 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 101274 98029 509 1502 0 99767 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 405096

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21973
/proc/meminfo: memFree=27952420/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=731684 CPUtime=51.09
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 185842 0 0 0 5088 21 0 0 25 0 1 0 25868914 749244416 176937 4089446400 4194304 10345943 140736851390736 18446744073709551615 6847584 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 182921 176937 786 1502 0 181414 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 731684

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21974
/proc/meminfo: memFree=27815228/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=731684 CPUtime=102.3
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 186084 0 0 0 10203 27 0 0 25 0 1 0 25868914 749244416 177179 4089446400 4194304 10345943 140736851390736 18446744073709551615 6518663 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 182921 177179 787 1502 0 181414 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 731684

[startup+162.301 s]
/proc/loadavg: 2.07 2.02 1.91 3/179 21976
/proc/meminfo: memFree=27786908/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=731684 CPUtime=162.3
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 186131 0 0 0 16197 33 0 0 25 0 1 0 25868914 749244416 177226 4089446400 4194304 10345943 140736851390736 18446744073709551615 6864730 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 182921 177226 788 1502 0 181414 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 731684

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21977
/proc/meminfo: memFree=27758472/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=731684 CPUtime=222.29
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 186135 0 0 0 22192 37 0 0 25 0 1 0 25868914 749244416 177230 4089446400 4194304 10345943 140736851390736 18446744073709551615 6756379 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 182921 177230 788 1502 0 181414 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 731684

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21979
/proc/meminfo: memFree=27722224/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=731684 CPUtime=282.29
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 186137 0 0 0 28187 42 0 0 25 0 1 0 25868914 749244416 177232 4089446400 4194304 10345943 140736851390736 18446744073709551615 6803098 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 182921 177232 788 1502 0 181414 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 731684

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21981
/proc/meminfo: memFree=27695784/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=731684 CPUtime=342.3
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 186141 0 0 0 34183 47 0 0 25 0 1 0 25868914 749244416 177236 4089446400 4194304 10345943 140736851390736 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 182921 177236 788 1502 0 181414 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 731684

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21982
/proc/meminfo: memFree=27667712/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=731684 CPUtime=402.3
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 186144 0 0 0 40180 50 0 0 25 0 1 0 25868914 749244416 177239 4089446400 4194304 10345943 140736851390736 18446744073709551615 6702728 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 182921 177239 788 1502 0 181414 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 731684

[startup+462.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/179 21984
/proc/meminfo: memFree=27637180/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=733732 CPUtime=462.3
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 186884 0 0 0 46177 53 0 0 25 0 1 0 25868914 751341568 177979 4089446400 4194304 10345943 140736851390736 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 183433 177979 788 1502 0 181926 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 733732

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 21985
/proc/meminfo: memFree=27607644/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=733732 CPUtime=522.3
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 186887 0 0 0 52175 55 0 0 25 0 1 0 25868914 751341568 177982 4089446400 4194304 10345943 140736851390736 18446744073709551615 6777399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 183433 177982 788 1502 0 181926 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 733732

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 21990
/proc/meminfo: memFree=27582164/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=733732 CPUtime=582.3
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 186891 0 0 0 58171 59 0 0 25 0 1 0 25868914 751341568 177986 4089446400 4194304 10345943 140736851390736 18446744073709551615 5619947 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 183433 177986 788 1502 0 181926 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 733732

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21992
/proc/meminfo: memFree=27537436/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=750748 CPUtime=642.31
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 190903 0 0 0 64168 63 0 0 25 0 1 0 25868914 768765952 181998 4089446400 4194304 10345943 140736851390736 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 187687 181998 788 1502 0 186180 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 750748

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21996
/proc/meminfo: memFree=27373180/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=825560 CPUtime=822.31
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 230287 0 0 0 82153 78 0 0 25 0 1 0 25868914 845373440 200954 4089446400 4194304 10345943 140736851390736 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 206390 200954 788 1502 0 204883 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 825560

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 21998
/proc/meminfo: memFree=27322188/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=850752 CPUtime=882.31
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 236343 0 0 0 88148 83 0 0 25 0 1 0 25868914 871170048 207010 4089446400 4194304 10345943 140736851390736 18446744073709551615 5926381 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 212688 207010 788 1502 0 211181 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 850752

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22000
/proc/meminfo: memFree=27269100/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=875904 CPUtime=942.31
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 242636 0 0 0 94144 87 0 0 25 0 1 0 25868914 896925696 213303 4089446400 4194304 10345943 140736851390736 18446744073709551615 6520218 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 218976 213303 788 1502 0 217469 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 875904

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22001
/proc/meminfo: memFree=27207816/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=905096 CPUtime=1002.31
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 249827 0 0 0 100140 91 0 0 25 0 1 0 25868914 926818304 220494 4089446400 4194304 10345943 140736851390736 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 226274 220494 788 1502 0 224767 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 905096

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 22003
/proc/meminfo: memFree=27162404/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=925440 CPUtime=1062.32
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 255241 0 0 0 106136 96 0 0 25 0 1 0 25868914 947650560 225908 4089446400 4194304 10345943 140736851390736 18446744073709551615 6865072 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 231360 225908 788 1502 0 229853 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 925440

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 22004
/proc/meminfo: memFree=27096528/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=952720 CPUtime=1122.31
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 262091 0 0 0 112131 100 0 0 25 0 1 0 25868914 975585280 232758 4089446400 4194304 10345943 140736851390736 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 238180 232758 788 1502 0 236673 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 952720

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22006
/proc/meminfo: memFree=27046164/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=981060 CPUtime=1182.31
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 288595 0 0 0 118124 107 0 0 25 0 1 0 25868914 1004605440 239603 4089446400 4194304 10345943 140736851390736 18446744073709551615 6702848 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 245265 239603 788 1502 0 243758 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 981060

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22008
/proc/meminfo: memFree=26994052/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=1008208 CPUtime=1242.32
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 295346 0 0 0 124119 113 0 0 25 0 1 0 25868914 1032404992 246354 4089446400 4194304 10345943 140736851390736 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 252052 246354 788 1502 0 250545 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1008208

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 22009
/proc/meminfo: memFree=26936120/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=1030592 CPUtime=1302.32
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 300997 0 0 0 130116 116 0 0 25 0 1 0 25868914 1055326208 252005 4089446400 4194304 10345943 140736851390736 18446744073709551615 4469734 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 257648 252005 788 1502 0 256141 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1030592

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22011
/proc/meminfo: memFree=26892072/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=1059020 CPUtime=1362.32
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 307734 0 0 0 136111 121 0 0 25 0 1 0 25868914 1084436480 258742 4089446400 4194304 10345943 140736851390736 18446744073709551615 5926652 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 264755 258742 788 1502 0 263248 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1059020

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22012
/proc/meminfo: memFree=26829056/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=1084344 CPUtime=1422.33
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 314188 0 0 0 142108 125 0 0 25 0 1 0 25868914 1110368256 265196 4089446400 4194304 10345943 140736851390736 18446744073709551615 6119802 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 271086 265196 788 1502 0 269579 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1084344

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22014
/proc/meminfo: memFree=26783132/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=1103792 CPUtime=1482.32
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 319063 0 0 0 148104 128 0 0 25 0 1 0 25868914 1130283008 270071 4089446400 4194304 10345943 140736851390736 18446744073709551615 6777445 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 275948 270071 788 1502 0 274441 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1103792

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22016
/proc/meminfo: memFree=26735856/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=1124308 CPUtime=1542.33
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 323988 0 0 0 154099 134 0 0 25 0 1 0 25868914 1151291392 274996 4089446400 4194304 10345943 140736851390736 18446744073709551615 6003189 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 281077 274996 788 1502 0 279570 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1124308

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22017
/proc/meminfo: memFree=26688576/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=1142652 CPUtime=1602.32
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 328721 0 0 0 160094 138 0 0 25 0 1 0 25868914 1170075648 279729 4089446400 4194304 10345943 140736851390736 18446744073709551615 6518691 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 285663 279729 788 1502 0 284156 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1142652

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22019
/proc/meminfo: memFree=26628652/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=1167208 CPUtime=1662.33
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 334811 0 0 0 166089 144 0 0 25 0 1 0 25868914 1195220992 285819 4089446400 4194304 10345943 140736851390736 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21943/statm: 291802 285819 788 1502 0 290295 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1167208

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22020
/proc/meminfo: memFree=26584976/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=1189680 CPUtime=1722.33
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 340478 0 0 0 172086 147 0 0 25 0 1 0 25868914 1218232320 291486 4089446400 4194304 10345943 140736851390736 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21943/statm: 297420 291486 788 1502 0 295913 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1189680

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22022
/proc/meminfo: memFree=26528028/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=1213172 CPUtime=1782.32
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 346268 0 0 0 178081 151 0 0 25 0 1 0 25868914 1242288128 297276 4089446400 4194304 10345943 140736851390736 18446744073709551615 7537571 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21943/statm: 303293 297276 788 1502 0 301786 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1213172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22022
/proc/meminfo: memFree=26519460/32951124 swapFree=67111528/67111528
[pid=21943] ppid=21941 vsize=1216240 CPUtime=1800.03
/proc/21943/stat : 21943 (pbscip.linux.x8) R 21941 21943 21580 0 -1 4202496 347152 0 0 0 179851 152 0 0 25 0 1 0 25868914 1245429760 298160 4089446400 4194304 10345943 140736851390736 18446744073709551615 4246693 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21943/statm: 304060 298160 788 1502 0 302553 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1216240

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.05
CPU time (s): 1800.08
CPU user time (s): 1798.52
CPU system time (s): 1.56276
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1216240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 1.56276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347152
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= 2
involuntary context switches= 2477

runsolver used 3.2835 second user time and 6.49101 second system time

The end

Launcher Data 

Begin job on node107 at 2010-07-08 10:09:07
IDJOB=2705330
IDBENCH=79108
IDSOLVER=1214
FILE ID=node107/2705330-1278576547
PBS_JOBID= 11240240
Free space on /tmp= 73640 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-ooo.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-2705330-1278576547/watcher-2705330-1278576547 -o /tmp/evaluation-result-2705330-1278576547/solver-2705330-1278576547 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705330-1278576547.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 703926ff2f0fefe39204d7923d5e722e
RANDOM SEED=1165751902

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29179444 kB
Buffers:        148420 kB
Cached:        3399552 kB
SwapCached:          0 kB
Active:         927684 kB
Inactive:      2683968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29179444 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14524 kB
Writeback:           0 kB
AnonPages:       63404 kB
Mapped:          14652 kB
Slab:            97080 kB
PageTables:       4480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   208332 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= 73624 MiB
End job on node107 at 2010-07-08 10:39:09