Trace number 2693910

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1802.06 1802.02

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-elf.rf8.ucl--soft-0-100-0.wbo
MD5SUMe93fbae592ddea3040fe1429b48d9ce6
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 benchmark0.104983
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6059
Total number of constraints16684
Number of soft constraints16684
Number of constraints which are clauses15940
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints744
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 841384
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 841383
Biggest number in a constraint 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 127
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2693910-1277932328.wbo>
0.19/0.20	c original problem has 39427 variables (22743 bin, 0 int, 0 impl, 16684 cont) and 33369 constraints
0.19/0.20	c problem read
0.19/0.20	c presolving settings loaded
0.19/0.20	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
3.89/3.92	o 841383
3.89/3.92	c feasible solution found by trivial heuristic, objective value  8.413830e+05
3.89/3.92	c presolving:
3.89/3.97	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 372 chg sides, 744 chg coeffs, 0 upgd conss, 16684 impls, 0 clqs
3.99/4.01	c (round 2) 0 del vars, 1 del conss, 16684 chg bounds, 372 chg sides, 744 chg coeffs, 0 upgd conss, 16684 impls, 0 clqs
4.39/4.46	c    (4.2s) probing: 101/22743 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.39/4.46	c    (4.2s) probing aborted: 100/100 successive totally useless probings
4.39/4.46	c presolving (3 rounds):
4.39/4.46	c  0 deleted vars, 1 deleted constraints, 16684 tightened bounds, 0 added holes, 372 changed sides, 744 changed coefficients
4.39/4.46	c  16684 implications, 0 cliques
4.39/4.46	c presolved problem has 39427 variables (22743 bin, 0 int, 0 impl, 16684 cont) and 33368 constraints
4.39/4.46	c   16684 constraints of type <indicator>
4.39/4.46	c       1 constraints of type <varbound>
4.39/4.46	c   16683 constraints of type <linear>
4.39/4.46	c transformed objective value is always integral (scale: 1)
4.39/4.46	c Presolving Time: 4.14
4.39/4.46	c - non default parameters ----------------------------------------------------------------------
4.39/4.46	c # SCIP version 1.2.1.2
4.39/4.46	c 
4.39/4.46	c # frequency for displaying node information lines
4.39/4.46	c # [type: int, range: [-1,2147483647], default: 100]
4.39/4.46	c display/freq = 10000
4.39/4.46	c 
4.39/4.46	c # maximal time in seconds to run
4.39/4.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.39/4.46	c limits/time = 1799.81
4.39/4.46	c 
4.39/4.46	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.39/4.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.39/4.46	c limits/memory = 3420
4.39/4.46	c 
4.39/4.46	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.39/4.46	c # [type: int, range: [-1,2147483647], default: 1]
4.39/4.46	c lp/solvefreq = -1
4.39/4.46	c 
4.39/4.46	c # should presolving try to simplify inequalities
4.39/4.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.39/4.46	c constraints/linear/simplifyinequalities = TRUE
4.39/4.46	c 
4.39/4.46	c # should presolving try to simplify knapsacks
4.39/4.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.39/4.46	c constraints/knapsack/simplifyinequalities = TRUE
4.39/4.46	c 
4.39/4.46	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.39/4.46	c # [type: int, range: [-1,2147483647], default: -1]
4.39/4.46	c separating/rapidlearning/freq = 0
4.39/4.46	c 
4.39/4.46	c -----------------------------------------------------------------------------------------------
4.39/4.46	c start solving
4.39/4.47	c 
4.48/4.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.48/4.57	c t 4.3s|     1 |     2 |     0 |     - | 114M|   0 |   - |  39k|  33k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
48.79/48.87	c  48.5s| 10000 | 10001 |     0 |   0.0 | 123M|9999 |   - |  39k|  33k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
106.29/106.35	c   106s| 20000 | 19717 |     0 |   0.0 | 134M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
174.80/174.82	c   174s| 30000 | 29717 |     0 |   0.0 | 138M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
242.50/242.53	c   242s| 40000 | 39717 |     0 |   0.0 | 142M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
309.79/309.80	c   309s| 50000 | 49717 |     0 |   0.0 | 146M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
380.70/380.74	c   380s| 60000 | 59717 |     0 |   0.0 | 150M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
453.80/453.82	c   453s| 70000 | 69717 |     0 |   0.0 | 154M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
522.70/522.73	c   522s| 80000 | 79717 |     0 |   0.0 | 157M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
589.30/589.35	c   588s| 90000 | 89717 |     0 |   0.0 | 161M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
654.30/654.33	c   653s|100000 | 99717 |     0 |   0.0 | 165M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
720.91/720.94	c   720s|110000 |109717 |     0 |   0.0 | 169M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
791.71/791.78	c   790s|120000 |119717 |     0 |   0.0 | 173M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
858.91/859.00	c   857s|130000 |129717 |     0 |   0.0 | 177M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
923.21/923.22	c   922s|140000 |139717 |     0 |   0.0 | 181M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
985.51/985.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
985.51/985.53	c   984s|150000 |149717 |     0 |   0.0 | 185M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1046.21/1046.28	c  1044s|160000 |159717 |     0 |   0.0 | 188M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1114.51/1114.59	c  1113s|170000 |169717 |     0 |   0.0 | 192M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1180.72/1180.77	c  1179s|180000 |179717 |     0 |   0.0 | 196M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1242.42/1242.40	c  1240s|190000 |189717 |     0 |   0.0 | 200M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1302.62/1302.67	c  1300s|200000 |199717 |     0 |   0.0 | 204M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1203 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1363.02/1363.02	c  1361s|210000 |209715 |     0 |   0.0 | 208M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1209 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1427.73/1427.78	c  1425s|220000 |219715 |     0 |   0.0 | 212M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1209 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1491.22/1491.20	c  1489s|230000 |229715 |     0 |   0.0 | 216M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1209 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1551.13/1551.18	c  1548s|240000 |239715 |     0 |   0.0 | 220M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1209 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1609.62/1609.62	c  1607s|250000 |249715 |     0 |   0.0 | 224M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1209 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1666.63/1666.64	c  1664s|260000 |259715 |     0 |   0.0 | 227M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1209 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1726.73/1726.75	c  1724s|270000 |269715 |     0 |   0.0 | 231M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1209 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1788.53/1788.50	c  1785s|280000 |279715 |     0 |   0.0 | 235M|  16k|   - |  39k|  34k|   0 |   0 |   0 |1209 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1796.84
1800.04/1800.00	c Solving Nodes      : 282018
1800.04/1800.00	c Primal Bound       : +8.41383000000000e+05 (2 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	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-2693910-1277932328/watcher-2693910-1277932328 -o /tmp/evaluation-result-2693910-1277932328/solver-2693910-1277932328 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693910-1277932328.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.15 2.19 2.25 4/196 19046
/proc/meminfo: memFree=30710120/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=8408 CPUtime=0
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 1579 0 0 0 0 0 0 0 25 0 1 0 134527275 8609792 1501 4089446400 4194304 7136930 140736139595888 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19046/statm: 2102 1501 275 719 0 1381 0

[startup+0.042447 s]
/proc/loadavg: 2.15 2.19 2.25 4/196 19046
/proc/meminfo: memFree=30710120/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=20088 CPUtime=0.03
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 4496 0 0 0 3 0 0 0 25 0 1 0 134527275 20570112 4418 4089446400 4194304 7136930 140736139595888 18446744073709551615 6272128 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19046/statm: 5022 4418 275 719 0 4301 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20088

[startup+0.100433 s]
/proc/loadavg: 2.15 2.19 2.25 4/196 19046
/proc/meminfo: memFree=30710120/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=33876 CPUtime=0.09
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 7985 0 0 0 9 0 0 0 25 0 1 0 134527275 34689024 7893 4089446400 4194304 7136930 140736139595888 18446744073709551615 5649240 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19046/statm: 8469 7893 275 719 0 7748 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33876

[startup+0.3004 s]
/proc/loadavg: 2.15 2.19 2.25 4/196 19046
/proc/meminfo: memFree=30710120/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=122308 CPUtime=0.28
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 30344 0 0 0 26 2 0 0 25 0 1 0 134527275 125243392 29835 4089446400 4194304 7136930 140736139595888 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 30577 29835 295 719 0 29856 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 122308

[startup+0.700319 s]
/proc/loadavg: 2.15 2.19 2.25 4/196 19046
/proc/meminfo: memFree=30710120/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=141960 CPUtime=0.69
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 34077 0 0 0 66 3 0 0 25 0 1 0 134527275 145367040 33568 4089446400 4194304 7136930 140736139595888 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 35490 33568 323 719 0 34769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 141960

[startup+1.50018 s]
/proc/loadavg: 2.29 2.22 2.26 3/197 19047
/proc/meminfo: memFree=30576380/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=141960 CPUtime=1.49
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 34077 0 0 0 146 3 0 0 25 0 1 0 134527275 145367040 33568 4089446400 4194304 7136930 140736139595888 18446744073709551615 6350739 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 35490 33568 323 719 0 34769 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141960

[startup+3.10091 s]
/proc/loadavg: 2.29 2.22 2.26 3/197 19047
/proc/meminfo: memFree=30575636/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=141960 CPUtime=3.09
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 34077 0 0 0 306 3 0 0 25 0 1 0 134527275 145367040 33568 4089446400 4194304 7136930 140736139595888 18446744073709551615 6350638 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 35490 33568 323 719 0 34769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 141960

[startup+6.30033 s]
/proc/loadavg: 2.27 2.22 2.25 3/197 19048
/proc/meminfo: memFree=30563668/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=152144 CPUtime=6.29
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 37843 0 0 0 624 5 0 0 25 0 1 0 134527275 155795456 36111 4089446400 4194304 7136930 140736139595888 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 38036 36111 387 719 0 37315 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 152144

[startup+12.7002 s]
/proc/loadavg: 2.25 2.22 2.25 9/197 19048
/proc/meminfo: memFree=30558956/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=153324 CPUtime=12.69
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 38128 0 0 0 1263 6 0 0 25 0 1 0 134527275 157003776 36395 4089446400 4194304 7136930 140736139595888 18446744073709551615 4697651 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 38331 36395 386 719 0 37610 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 153324

[startup+25.5009 s]
/proc/loadavg: 2.19 2.20 2.25 3/197 19048
/proc/meminfo: memFree=30548700/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=156964 CPUtime=25.49
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 39027 0 0 0 2540 9 0 0 25 0 1 0 134527275 160731136 37294 4089446400 4194304 7136930 140736139595888 18446744073709551615 4983040 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 39241 37294 386 719 0 38520 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 156964

[startup+51.1004 s]
/proc/loadavg: 2.13 2.19 2.24 3/197 19048
/proc/meminfo: memFree=30528652/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=162140 CPUtime=51.09
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 40346 0 0 0 5094 15 0 0 25 0 1 0 134527275 166031360 38613 4089446400 4194304 7136930 140736139595888 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 40535 38613 386 719 0 39814 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 162140

[startup+102.306 s]
/proc/loadavg: 2.05 2.16 2.23 3/197 19050
/proc/meminfo: memFree=30484348/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=178244 CPUtime=102.3
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 44328 0 0 0 10202 28 0 0 25 0 1 0 134527275 182521856 42595 4089446400 4194304 7136930 140736139595888 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 44561 42595 393 719 0 43840 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 178244

[startup+162.301 s]
/proc/loadavg: 2.02 2.13 2.21 3/197 19052
/proc/meminfo: memFree=30445740/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=180060 CPUtime=162.29
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 44802 0 0 0 16192 37 0 0 25 0 1 0 134527275 184381440 43069 4089446400 4194304 7136930 140736139595888 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 45015 43069 393 719 0 44294 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 180060

[startup+222.301 s]
/proc/loadavg: 2.05 2.11 2.20 3/197 19053
/proc/meminfo: memFree=30405032/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=183944 CPUtime=222.29
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 45816 0 0 0 22183 46 0 0 25 0 1 0 134527275 188358656 44083 4089446400 4194304 7136930 140736139595888 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 45986 44083 393 719 0 45265 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 183944

[startup+282.301 s]
/proc/loadavg: 2.02 2.09 2.18 3/197 19054
/proc/meminfo: memFree=30378944/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=188088 CPUtime=282.29
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 46879 0 0 0 28174 55 0 0 25 0 1 0 134527275 192602112 45146 4089446400 4194304 7136930 140736139595888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 47022 45146 393 719 0 46301 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 188088

[startup+342.301 s]
/proc/loadavg: 2.00 2.07 2.17 3/197 19056
/proc/meminfo: memFree=30353108/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=190424 CPUtime=342.29
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 47493 0 0 0 34166 63 0 0 25 0 1 0 134527275 194994176 45760 4089446400 4194304 7136930 140736139595888 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 47606 45760 393 719 0 46885 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 190424

[startup+402.3 s]
/proc/loadavg: 2.00 2.06 2.16 3/197 19058
/proc/meminfo: memFree=30333860/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=193400 CPUtime=402.3
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 48280 0 0 0 40158 72 0 0 25 0 1 0 134527275 198041600 46547 4089446400 4194304 7136930 140736139595888 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 48350 46547 393 719 0 47629 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 193400

[startup+462.301 s]
/proc/loadavg: 2.00 2.04 2.14 3/197 19060
/proc/meminfo: memFree=30311992/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=198784 CPUtime=462.3
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 49124 0 0 0 46149 81 0 0 25 0 1 0 134527275 203554816 47391 4089446400 4194304 7136930 140736139595888 18446744073709551615 4834655 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 49696 47391 393 719 0 48975 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 198784

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.13 3/197 19061
/proc/meminfo: memFree=30280956/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=202784 CPUtime=522.3
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 50163 0 0 0 52138 92 0 0 25 0 1 0 134527275 207650816 48430 4089446400 4194304 7136930 140736139595888 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 50696 48430 393 719 0 49975 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 202784

[startup+582.301 s]
/proc/loadavg: 2.05 2.04 2.13 3/197 19062
/proc/meminfo: memFree=30233288/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=206412 CPUtime=582.3
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 51099 0 0 0 58129 101 0 0 25 0 1 0 134527275 211365888 49366 4089446400 4194304 7136930 140736139595888 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 51603 49366 393 719 0 50882 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 206412

[startup+642.301 s]
/proc/loadavg: 2.02 2.03 2.11 3/197 19064
/proc/meminfo: memFree=30230760/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=208484 CPUtime=642.31
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 51685 0 0 0 64119 112 0 0 25 0 1 0 134527275 213487616 49952 4089446400 4194304 7136930 140736139595888 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 52121 49952 393 719 0 51400 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 208484

[startup+702.3 s]

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

/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 57181 0 0 0 100061 170 0 0 25 0 1 0 134527275 235180032 55448 4089446400 4194304 7136930 140736139595888 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 57417 55448 393 719 0 56696 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 229668

[startup+1062.3 s]
/proc/loadavg: 1.01 1.44 1.82 2/171 19436
/proc/meminfo: memFree=31023272/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=233160 CPUtime=1062.32
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 58101 0 0 0 106052 180 0 0 25 0 1 0 134527275 238755840 56368 4089446400 4194304 7136930 140736139595888 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 58290 56368 393 719 0 57569 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 233160

[startup+1122.3 s]
/proc/loadavg: 1.07 1.37 1.77 2/171 19437
/proc/meminfo: memFree=31019868/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=236588 CPUtime=1122.31
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 58968 0 0 0 112040 191 0 0 25 0 1 0 134527275 242266112 57235 4089446400 4194304 7136930 140736139595888 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 59147 57235 393 719 0 58426 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 236588

[startup+1182.3 s]
/proc/loadavg: 1.02 1.30 1.72 2/171 19441
/proc/meminfo: memFree=31015108/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=239984 CPUtime=1182.32
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 59879 0 0 0 118032 200 0 0 25 0 1 0 134527275 245743616 58146 4089446400 4194304 7136930 140736139595888 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 59996 58146 393 719 0 59275 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 239984

[startup+1242.3 s]
/proc/loadavg: 1.01 1.24 1.68 2/171 19443
/proc/meminfo: memFree=31011768/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=243996 CPUtime=1242.32
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 60893 0 0 0 124022 210 0 0 25 0 1 0 134527275 249851904 59160 4089446400 4194304 7136930 140736139595888 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 60999 59160 393 719 0 60278 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 243996

[startup+1302.3 s]
/proc/loadavg: 1.00 1.20 1.63 2/171 19445
/proc/meminfo: memFree=31007504/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=252092 CPUtime=1302.33
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 61943 0 0 0 130013 220 0 0 25 0 1 0 134527275 258142208 60210 4089446400 4194304 7136930 140736139595888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 63023 60210 393 719 0 62302 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 252092

[startup+1362.3 s]
/proc/loadavg: 1.00 1.16 1.59 2/171 19447
/proc/meminfo: memFree=31003596/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=255876 CPUtime=1362.32
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 62939 0 0 0 136002 230 0 0 25 0 1 0 134527275 262017024 61206 4089446400 4194304 7136930 140736139595888 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 63969 61206 393 719 0 63248 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 255876

[startup+1422.31 s]
/proc/loadavg: 1.00 1.13 1.55 2/171 19448
/proc/meminfo: memFree=30999572/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=259704 CPUtime=1422.33
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 63904 0 0 0 141992 241 0 0 25 0 1 0 134527275 265936896 62171 4089446400 4194304 7136930 140736139595888 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 64926 62171 393 719 0 64205 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 259704

[startup+1482.3 s]
/proc/loadavg: 1.00 1.10 1.51 2/171 19449
/proc/meminfo: memFree=30995804/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=263164 CPUtime=1482.32
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 64832 0 0 0 147981 251 0 0 25 0 1 0 134527275 269479936 63099 4089446400 4194304 7136930 140736139595888 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 65791 63099 393 719 0 65070 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 263164

[startup+1542.3 s]
/proc/loadavg: 1.00 1.08 1.48 2/171 19451
/proc/meminfo: memFree=30991652/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=267176 CPUtime=1542.32
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 65877 0 0 0 153972 260 0 0 25 0 1 0 134527275 273588224 64144 4089446400 4194304 7136930 140736139595888 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 66794 64144 393 719 0 66073 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 267176

[startup+1602.3 s]
/proc/loadavg: 1.00 1.06 1.44 2/171 19453
/proc/meminfo: memFree=30987508/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=271324 CPUtime=1602.33
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 66935 0 0 0 159965 268 0 0 25 0 1 0 134527275 277835776 65202 4089446400 4194304 7136930 140736139595888 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 67831 65202 393 719 0 67110 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 271324

[startup+1662.3 s]
/proc/loadavg: 1.00 1.05 1.41 2/171 19455
/proc/meminfo: memFree=30983616/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=275088 CPUtime=1662.33
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 67915 0 0 0 165955 278 0 0 25 0 1 0 134527275 281690112 66182 4089446400 4194304 7136930 140736139595888 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 68772 66182 393 719 0 68051 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 275088

[startup+1722.3 s]
/proc/loadavg: 1.03 1.05 1.39 2/171 19456
/proc/meminfo: memFree=30979340/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=279488 CPUtime=1722.33
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 69069 0 0 0 171943 290 0 0 25 0 1 0 134527275 286195712 67336 4089446400 4194304 7136930 140736139595888 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 69872 67336 393 719 0 69151 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 279488

[startup+1782.3 s]
/proc/loadavg: 1.01 1.04 1.36 2/171 19457
/proc/meminfo: memFree=30974332/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=283620 CPUtime=1782.33
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 70148 0 0 0 177934 299 0 0 25 0 1 0 134527275 290426880 68415 4089446400 4194304 7136930 140736139595888 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 70905 68415 393 719 0 70184 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 283620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.01 1.04 1.35 2/171 19458
/proc/meminfo: memFree=30973556/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=284320 CPUtime=1800.04
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 70303 0 0 0 179702 302 0 0 25 0 1 0 134527275 291143680 68570 4089446400 4194304 7136930 140736139595888 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19046/statm: 71080 68570 393 719 0 70359 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 284320

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -19046

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

[startup+1801.4 s]
/proc/loadavg: 1.01 1.04 1.35 2/172 19459
/proc/meminfo: memFree=30973548/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=284320 CPUtime=1801.43
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 70303 0 0 0 179841 302 0 0 25 0 1 0 134527275 291143680 68570 4089446400 4194304 7136930 140736139595888 18446744073709551615 4240875 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19046/statm: 71080 68570 393 719 0 70359 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 284320

[startup+1801.81 s]
/proc/loadavg: 1.01 1.04 1.35 2/172 19459
/proc/meminfo: memFree=30973548/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=284320 CPUtime=1801.84
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 70303 0 0 0 179882 302 0 0 25 0 1 0 134527275 291143680 68570 4089446400 4194304 7136930 140736139595888 18446744073709551615 6350711 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19046/statm: 71080 68570 393 719 0 70359 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 284320

[startup+1802 s]
/proc/loadavg: 1.01 1.04 1.35 2/172 19459
/proc/meminfo: memFree=30973548/32951124 swapFree=67111528/67111528
[pid=19046] ppid=19044 vsize=284320 CPUtime=1802.03
/proc/19046/stat : 19046 (pbscip.linux.x8) R 19044 19046 18494 0 -1 4202496 70303 0 0 0 179901 302 0 0 25 0 1 0 134527275 291143680 68570 4089446400 4194304 7136930 140736139595888 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19046/statm: 71080 68570 393 719 0 70359 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 284320

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.02
CPU time (s): 1802.06
CPU user time (s): 1799.02
CPU system time (s): 3.03654
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 284320

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

runsolver used 2.71459 second user time and 5.52316 second system time

The end

Launcher Data 

Begin job on node140 at 2010-06-30 23:12:08
IDJOB=2693910
IDBENCH=79337
IDSOLVER=1206
FILE ID=node140/2693910-1277932328
PBS_JOBID= 11197387
Free space on /tmp= 74200 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693910-1277932328/watcher-2693910-1277932328 -o /tmp/evaluation-result-2693910-1277932328/solver-2693910-1277932328 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693910-1277932328.wbo -t 1800 -m 3800

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

MD5SUM BENCH= e93fbae592ddea3040fe1429b48d9ce6
RANDOM SEED=1350879364

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30710648 kB
Buffers:        214284 kB
Cached:        1282012 kB
SwapCached:          0 kB
Active:        1349684 kB
Inactive:       746028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30710648 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3972 kB
Writeback:           0 kB
AnonPages:      599892 kB
Mapped:          20296 kB
Slab:            81372 kB
PageTables:       5936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1661184 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= 74196 MiB
End job on node140 at 2010-06-30 23:42:10