Trace number 2693270

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.09 1802.05

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: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693270-1277932317.wbo>
0.09/0.19	c original problem has 39427 variables (22743 bin, 0 int, 0 impl, 16684 cont) and 33369 constraints
0.09/0.19	c problem read
0.09/0.19	c presolving settings loaded
3.89/3.91	o 841383
3.89/3.91	c feasible solution found by trivial heuristic, objective value  8.413830e+05
3.89/3.91	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.40/4.45	c    (4.2s) probing: 101/22743 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.40/4.45	c    (4.2s) probing aborted: 100/100 successive totally useless probings
4.40/4.45	c presolving (3 rounds):
4.40/4.45	c  0 deleted vars, 1 deleted constraints, 16684 tightened bounds, 0 added holes, 372 changed sides, 744 changed coefficients
4.40/4.45	c  16684 implications, 0 cliques
4.40/4.45	c presolved problem has 39427 variables (22743 bin, 0 int, 0 impl, 16684 cont) and 33368 constraints
4.40/4.45	c   16684 constraints of type <indicator>
4.40/4.45	c       1 constraints of type <varbound>
4.40/4.45	c   16683 constraints of type <linear>
4.40/4.45	c transformed objective value is always integral (scale: 1)
4.40/4.45	c Presolving Time: 4.14
4.40/4.45	c - non default parameters ----------------------------------------------------------------------
4.40/4.45	c # SCIP version 1.2.1.2
4.40/4.45	c 
4.40/4.45	c # frequency for displaying node information lines
4.40/4.45	c # [type: int, range: [-1,2147483647], default: 100]
4.40/4.45	c display/freq = 10000
4.40/4.45	c 
4.40/4.45	c # maximal time in seconds to run
4.40/4.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.40/4.45	c limits/time = 1799.81
4.40/4.45	c 
4.40/4.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.40/4.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.40/4.45	c limits/memory = 3420
4.40/4.45	c 
4.40/4.45	c # should presolving try to simplify inequalities
4.40/4.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.45	c constraints/linear/simplifyinequalities = TRUE
4.40/4.45	c 
4.40/4.45	c # should presolving try to simplify knapsacks
4.40/4.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.45	c constraints/knapsack/simplifyinequalities = TRUE
4.40/4.45	c 
4.40/4.45	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.40/4.45	c # [type: int, range: [-1,2147483647], default: -1]
4.40/4.45	c separating/rapidlearning/freq = 0
4.40/4.45	c 
4.40/4.45	c -----------------------------------------------------------------------------------------------
4.40/4.45	c start solving
4.40/4.47	c 
4.49/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.49/4.57	c t 4.3s|     1 |     0 |     0 |     - | 124M|   0 |   0 |  39k|  33k|  39k|   0 |   0 |   0 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
4.60/4.60	c   4.4s|     1 |     0 |   198 |     - | 124M|   0 |  41 |  39k|  33k|  39k| 198 | 198 |   0 |   0 | 0.000000e+00 | 8.413830e+05 |    Inf 
4.60/4.63	o 841305
4.60/4.63	c y 4.4s|     1 |     0 |   198 |     - | 124M|   0 |  41 |  39k|  33k|  39k| 198 | 198 |   0 |   0 | 0.000000e+00 | 8.413050e+05 |    Inf 
4.79/4.83	c   4.6s|     1 |     0 |   335 |     - | 125M|   0 |  66 |  39k|  33k|  39k| 413 | 413 |   0 |   0 | 0.000000e+00 | 8.413050e+05 |    Inf 
5.19/5.20	c   5.0s|     1 |     0 |   764 |     - | 125M|   0 | 128 |  39k|  33k|  39k| 648 | 648 |   0 |   0 | 0.000000e+00 | 8.413050e+05 |    Inf 
5.69/5.75	c   5.5s|     1 |     0 |   987 |     - | 126M|   0 | 289 |  39k|  33k|  39k| 879 | 879 |   0 |   0 | 0.000000e+00 | 8.413050e+05 |    Inf 
6.19/6.23	c   6.0s|     1 |     0 |  1280 |     - | 127M|   0 | 395 |  39k|  33k|  39k|1132 |1132 |   0 |   0 | 0.000000e+00 | 8.413050e+05 |    Inf 
6.79/6.81	c   6.6s|     1 |     0 |  1554 |     - | 128M|   0 | 536 |  39k|  33k|  39k|1398 |1398 |   0 |   0 | 0.000000e+00 | 8.413050e+05 |    Inf 
7.59/7.69	c   7.3s|     1 |     2 |  2210 |     - | 129M|   0 | 536 |  39k|  33k|  39k|1398 |1398 |   0 |  33 | 0.000000e+00 | 8.413050e+05 |    Inf 
318.70/318.76	c   290s| 10000 | 10001 |112540 |  11.1 | 287M| 201 |  74 |  39k|  33k|  39k|1677 |  37k|   0 |6336 | 0.000000e+00 | 8.413050e+05 |    Inf 
546.71/546.72	c   501s| 20000 | 20001 |204213 |  10.1 | 393M| 205 |  72 |  39k|  33k|  39k|1675 |  73k|   0 |7147 | 0.000000e+00 | 8.413050e+05 |    Inf 
765.61/765.69	c   705s| 30000 | 30001 |290367 |   9.6 | 499M| 205 | 145 |  39k|  33k|  39k|1302 | 108k|   0 |7590 | 0.000000e+00 | 8.413050e+05 |    Inf 
982.12/982.12	c   908s| 40000 | 40001 |377645 |   9.4 | 606M| 207 |   1 |  39k|  33k|  39k|1302 | 143k|   0 |7643 | 0.000000e+00 | 8.413050e+05 |    Inf 
1197.93/1197.96	c  1109s| 50000 | 50001 |458538 |   9.1 | 712M| 207 |   1 |  39k|  33k|  39k|1302 | 176k|   0 |8588 | 0.000000e+00 | 8.413050e+05 |    Inf 
1412.23/1412.24	c  1309s| 60000 | 60001 |547537 |   9.1 | 818M| 207 |   1 |  39k|  33k|  39k|1302 | 211k|   0 |8886 | 0.000000e+00 | 8.413050e+05 |    Inf 
1615.63/1615.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1615.63/1615.68	c  1498s| 70000 | 70001 |627974 |   8.9 | 925M| 207 |  84 |  39k|  33k|  39k|1677 | 247k|   0 |9244 | 0.000000e+00 | 8.413050e+05 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.03	c 
1800.04/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.03	c Solving Time (sec) : 1669.96
1800.04/1800.03	c Solving Nodes      : 78360
1800.04/1800.03	c Primal Bound       : +8.41305000000000e+05 (102 solutions)
1800.04/1800.03	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.03	c Gap                : infinite

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693270-1277932317/watcher-2693270-1277932317 -o /tmp/evaluation-result-2693270-1277932317/solver-2693270-1277932317 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693270-1277932317.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.74 2.74 2.50 4/178 15430
/proc/meminfo: memFree=31440864/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=11124 CPUtime=0
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 1702 0 0 0 0 0 0 0 25 0 1 0 134529720 11390976 1623 4089446400 4194304 9819077 140734299498768 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15430/statm: 2781 1623 392 1374 0 1402 0

[startup+0.050246 s]
/proc/loadavg: 2.74 2.74 2.50 4/178 15430
/proc/meminfo: memFree=31440864/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=25116 CPUtime=0.04
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 5198 0 0 0 4 0 0 0 25 0 1 0 134529720 25718784 5120 4089446400 4194304 9819077 140734299498768 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15430/statm: 6279 5141 392 1374 0 4900 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25116

[startup+0.101241 s]
/proc/loadavg: 2.74 2.74 2.50 4/178 15430
/proc/meminfo: memFree=31440864/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=39472 CPUtime=0.09
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 8832 0 0 0 9 0 0 0 25 0 1 0 134529720 40419328 8738 4089446400 4194304 9819077 140734299498768 18446744073709551615 4681120 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15430/statm: 9868 8739 392 1374 0 8489 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39472

[startup+0.3002 s]
/proc/loadavg: 2.74 2.74 2.50 4/178 15430
/proc/meminfo: memFree=31440864/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=126596 CPUtime=0.29
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 30881 0 0 0 27 2 0 0 25 0 1 0 134529720 129634304 30381 4089446400 4194304 9819077 140734299498768 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 31649 30381 441 1374 0 30270 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 126596

[startup+0.70113 s]
/proc/loadavg: 2.74 2.74 2.50 4/178 15430
/proc/meminfo: memFree=31440864/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=144680 CPUtime=0.69
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 34220 0 0 0 67 2 0 0 25 0 1 0 134529720 148152320 33720 4089446400 4194304 9819077 140734299498768 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 36170 33720 469 1374 0 34791 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 144680

[startup+1.50099 s]
/proc/loadavg: 2.74 2.74 2.50 3/179 15431
/proc/meminfo: memFree=31307060/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=144680 CPUtime=1.49
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 34220 0 0 0 147 2 0 0 25 0 1 0 134529720 148152320 33720 4089446400 4194304 9819077 140734299498768 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 36170 33720 469 1374 0 34791 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 144680

[startup+3.10071 s]
/proc/loadavg: 2.74 2.74 2.50 3/179 15431
/proc/meminfo: memFree=31307060/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=144680 CPUtime=3.09
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 34220 0 0 0 307 2 0 0 25 0 1 0 134529720 148152320 33720 4089446400 4194304 9819077 140734299498768 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 36170 33720 469 1374 0 34791 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144680

[startup+6.30114 s]
/proc/loadavg: 2.68 2.73 2.50 3/179 15431
/proc/meminfo: memFree=31271880/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=188280 CPUtime=6.3
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 53111 0 0 0 623 7 0 0 25 0 1 0 134529720 192798720 43412 4089446400 4194304 9819077 140734299498768 18446744073709551615 5755324 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 47070 43412 673 1374 0 45691 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 188280

[startup+12.701 s]
/proc/loadavg: 2.63 2.71 2.49 3/179 15431
/proc/meminfo: memFree=31264164/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=195676 CPUtime=12.69
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 737191 0 0 0 1191 78 0 0 25 0 1 0 134529720 200372224 44558 4089446400 4194304 9819077 140734299498768 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 48919 44558 699 1374 0 47540 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 195676

[startup+25.5008 s]
/proc/loadavg: 2.49 2.68 2.48 3/179 15431
/proc/meminfo: memFree=31259480/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=194608 CPUtime=25.49
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 2546563 0 0 0 2283 266 0 0 25 0 1 0 134529720 199278592 44924 4089446400 4194304 9819077 140734299498768 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 48652 44924 700 1374 0 47273 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 194608

[startup+51.1002 s]
/proc/loadavg: 2.32 2.62 2.47 3/179 15432
/proc/meminfo: memFree=31226592/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=228944 CPUtime=51.09
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 5384151 0 0 0 4532 577 0 0 25 0 1 0 134529720 234438656 52809 4089446400 4194304 9819077 140734299498768 18446744073709551615 6512973 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 57236 52809 702 1374 0 55857 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 228944

[startup+102.306 s]
/proc/loadavg: 2.14 2.52 2.44 3/179 15433
/proc/meminfo: memFree=31185020/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=254792 CPUtime=102.3
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 10246920 0 0 0 9109 1121 0 0 25 0 1 0 134529720 260907008 59921 4089446400 4194304 9819077 140734299498768 18446744073709551615 6003303 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 63698 59921 702 1374 0 62319 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 254792

[startup+162.301 s]
/proc/loadavg: 2.05 2.43 2.41 4/179 15435
/proc/meminfo: memFree=31147160/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=281220 CPUtime=162.29
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 14455031 0 0 0 14609 1620 0 0 25 0 1 0 134529720 287969280 66518 4089446400 4194304 9819077 140734299498768 18446744073709551615 6003872 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 70305 66518 702 1374 0 68926 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 281220

[startup+222.301 s]
/proc/loadavg: 2.02 2.35 2.38 3/179 15437
/proc/meminfo: memFree=31105948/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=308596 CPUtime=222.3
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 18417887 0 0 0 20132 2098 0 0 25 0 1 0 134529720 316002304 73274 4089446400 4194304 9819077 140734299498768 18446744073709551615 5435464 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 77149 73274 702 1374 0 75770 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 308596

[startup+282.3 s]
/proc/loadavg: 2.00 2.28 2.36 3/179 15439
/proc/meminfo: memFree=31064000/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=333384 CPUtime=282.3
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 22600522 0 0 0 25632 2598 0 0 25 0 1 0 134529720 341385216 79465 4089446400 4194304 9819077 140734299498768 18446744073709551615 6513018 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 83346 79465 702 1374 0 81967 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 333384

[startup+342.301 s]
/proc/loadavg: 2.00 2.23 2.33 3/179 15440
/proc/meminfo: memFree=31019192/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=358196 CPUtime=342.3
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 26546951 0 0 0 31160 3070 0 0 25 0 1 0 134529720 366792704 85803 4089446400 4194304 9819077 140734299498768 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 89549 85803 702 1374 0 88170 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 358196

[startup+402.3 s]
/proc/loadavg: 2.00 2.18 2.31 3/179 15441
/proc/meminfo: memFree=30987084/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=387540 CPUtime=402.3
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 30481034 0 0 0 36688 3542 0 0 25 0 1 0 134529720 396840960 93112 4089446400 4194304 9819077 140734299498768 18446744073709551615 4983075 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 96885 93112 702 1374 0 95506 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 387540

[startup+462.301 s]
/proc/loadavg: 2.00 2.15 2.29 3/179 15443
/proc/meminfo: memFree=30944004/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=414840 CPUtime=462.3
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 34434917 0 0 0 42230 4000 0 0 25 0 1 0 134529720 424796160 100000 4089446400 4194304 9819077 140734299498768 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 103710 100000 702 1374 0 102331 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 414840

[startup+522.301 s]
/proc/loadavg: 2.00 2.12 2.26 3/179 15445
/proc/meminfo: memFree=30904412/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=441588 CPUtime=522.3
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 37846769 0 0 0 47821 4409 0 0 25 0 1 0 134529720 452186112 106676 4089446400 4194304 9819077 140734299498768 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 110397 106676 702 1374 0 109018 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 441588

[startup+582.3 s]
/proc/loadavg: 2.00 2.09 2.25 3/179 15447
/proc/meminfo: memFree=30850424/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=471252 CPUtime=582.31
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 41030639 0 0 0 53423 4808 0 0 25 0 1 0 134529720 482562048 114069 4089446400 4194304 9819077 140734299498768 18446744073709551615 6176678 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 117813 114069 702 1374 0 116434 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 471252

[startup+642.301 s]
/proc/loadavg: 2.00 2.07 2.23 3/179 15448
/proc/meminfo: memFree=30799184/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=499444 CPUtime=642.31
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 44185536 0 0 0 59035 5196 0 0 25 0 1 0 134529720 511430656 121164 4089446400 4194304 9819077 140734299498768 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 124861 121164 702 1374 0 123482 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 499444

[startup+702.3 s]

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

/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 63290780 0 0 0 92677 7555 0 0 25 0 1 0 134529720 688975872 164638 4089446400 4194304 9819077 140734299498768 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 168207 164638 702 1374 0 166828 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 672828

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.13 3/179 15459
/proc/meminfo: memFree=30471876/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=703412 CPUtime=1062.31
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 66383087 0 0 0 98288 7943 0 0 25 0 1 0 134529720 720293888 172277 4089446400 4194304 9819077 140734299498768 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 175853 172277 702 1374 0 174474 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 703412

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.13 3/179 15461
/proc/meminfo: memFree=30426444/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=729340 CPUtime=1122.32
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 70181939 0 0 0 103830 8402 0 0 25 0 1 0 134529720 746844160 178678 4089446400 4194304 9819077 140734299498768 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 182335 178678 702 1374 0 180956 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 729340

[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.12 3/179 15466
/proc/meminfo: memFree=30374768/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=758964 CPUtime=1182.32
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 73487898 0 0 0 109417 8815 0 0 25 0 1 0 134529720 777179136 186176 4089446400 4194304 9819077 140734299498768 18446744073709551615 6628210 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 189741 186176 702 1374 0 188362 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 758964

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.10 3/179 15467
/proc/meminfo: memFree=30328176/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=789168 CPUtime=1242.32
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 76665211 0 0 0 115026 9206 0 0 25 0 1 0 134529720 808108032 193606 4089446400 4194304 9819077 140734299498768 18446744073709551615 7301986 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 197292 193606 702 1374 0 195913 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 789168

[startup+1302.3 s]
/proc/loadavg: 1.37 1.83 2.03 2/171 15490
/proc/meminfo: memFree=30812200/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=817336 CPUtime=1302.32
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 80023198 0 0 0 120614 9618 0 0 25 0 1 0 134529720 836952064 200713 4089446400 4194304 9819077 140734299498768 18446744073709551615 7816636 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 204334 200713 702 1374 0 202955 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 817336

[startup+1362.3 s]
/proc/loadavg: 1.13 1.67 1.97 2/171 15492
/proc/meminfo: memFree=30784000/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=845548 CPUtime=1362.33
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 83328265 0 0 0 126203 10030 0 0 25 0 1 0 134529720 865841152 207846 4089446400 4194304 9819077 140734299498768 18446744073709551615 6513142 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 211387 207846 702 1374 0 210008 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 845548

[startup+1422.31 s]
/proc/loadavg: 1.05 1.55 1.90 2/171 15494
/proc/meminfo: memFree=30752560/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=877652 CPUtime=1422.34
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 86518271 0 0 0 131815 10419 0 0 25 0 1 0 134529720 898715648 215776 4089446400 4194304 9819077 140734299498768 18446744073709551615 6581282 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 219413 215776 702 1374 0 218034 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 877652

[startup+1482.3 s]
/proc/loadavg: 1.02 1.45 1.84 2/171 15496
/proc/meminfo: memFree=30722392/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=908004 CPUtime=1482.33
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 89732909 0 0 0 137406 10827 0 0 25 0 1 0 134529720 929796096 223408 4089446400 4194304 9819077 140734299498768 18446744073709551615 4241189 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 227001 223408 702 1374 0 225622 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 908004

[startup+1542.3 s]
/proc/loadavg: 1.00 1.36 1.79 2/171 15497
/proc/meminfo: memFree=30692336/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=938992 CPUtime=1542.33
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 93050324 0 0 0 143003 11230 0 0 25 0 1 0 134529720 961527808 230633 4089446400 4194304 9819077 140734299498768 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 234748 230633 702 1374 0 233369 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 938992

[startup+1602.3 s]
/proc/loadavg: 1.00 1.29 1.73 2/171 15498
/proc/meminfo: memFree=30660944/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=971280 CPUtime=1602.33
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 96237732 0 0 0 148615 11618 0 0 25 0 1 0 134529720 994590720 238721 4089446400 4194304 9819077 140734299498768 18446744073709551615 6671123 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 242820 238721 702 1374 0 241441 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 971280

[startup+1662.3 s]
/proc/loadavg: 1.00 1.24 1.69 2/171 15500
/proc/meminfo: memFree=30633476/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=997908 CPUtime=1662.33
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 99794308 0 0 0 154181 12052 0 0 25 0 1 0 134529720 1021857792 245481 4089446400 4194304 9819077 140734299498768 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 249477 245481 702 1374 0 248098 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 997908

[startup+1722.3 s]
/proc/loadavg: 1.04 1.21 1.65 2/171 15502
/proc/meminfo: memFree=30604652/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=1025616 CPUtime=1722.34
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 103245921 0 0 0 159756 12478 0 0 25 0 1 0 134529720 1050230784 252402 4089446400 4194304 9819077 140734299498768 18446744073709551615 6628152 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 256404 252402 702 1374 0 255025 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1025616

[startup+1782.3 s]
/proc/loadavg: 1.01 1.17 1.60 2/171 15504
/proc/meminfo: memFree=30575336/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=1056516 CPUtime=1782.33
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 106443985 0 0 0 165359 12874 0 0 25 0 1 0 134529720 1081872384 260134 4089446400 4194304 9819077 140734299498768 18446744073709551615 6628233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 264129 260134 702 1374 0 262750 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1056516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.01 1.15 1.59 2/171 15504
/proc/meminfo: memFree=30566512/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=1064620 CPUtime=1800.04
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 107374809 0 0 0 167012 12992 0 0 25 0 1 0 134529720 1090170880 262157 4089446400 4194304 9819077 140734299498768 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15430/statm: 266155 262157 702 1374 0 264776 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1064620

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -15430

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

[startup+1801.4 s]
/proc/loadavg: 1.01 1.15 1.59 2/172 15505
/proc/meminfo: memFree=30566380/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=1064620 CPUtime=1801.44
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 107375539 0 0 0 167151 12993 0 0 25 0 1 0 134529720 1090170880 262157 4089446400 4194304 9819077 140734299498768 18446744073709551615 4241142 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15430/statm: 266155 262157 702 1374 0 264776 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 1064620

[startup+1801.81 s]
/proc/loadavg: 1.01 1.15 1.59 2/172 15505
/proc/meminfo: memFree=30566380/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=1064620 CPUtime=1801.84
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 107375539 0 0 0 167191 12993 0 0 25 0 1 0 134529720 1090170880 262157 4089446400 4194304 9819077 140734299498768 18446744073709551615 8679111 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15430/statm: 266155 262157 702 1374 0 264776 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1064620

[startup+1802 s]
/proc/loadavg: 1.01 1.15 1.59 2/172 15505
/proc/meminfo: memFree=30566380/32951124 swapFree=67111528/67111528
[pid=15430] ppid=15428 vsize=1064620 CPUtime=1802.04
/proc/15430/stat : 15430 (pbscip.linux.x8) R 15428 15430 14937 0 -1 4202496 107375539 0 0 0 167211 12993 0 0 25 0 1 0 134529720 1090170880 262157 4089446400 4194304 9819077 140734299498768 18446744073709551615 8679111 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15430/statm: 266155 262157 702 1374 0 264776 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1064620

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.09
CPU user time (s): 1672.12
CPU system time (s): 129.969
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1064652

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

runsolver used 2.6366 second user time and 6.68898 second system time

The end

Launcher Data 

Begin job on node103 at 2010-06-30 23:11:57
IDJOB=2693270
IDBENCH=79337
IDSOLVER=1205
FILE ID=node103/2693270-1277932317
PBS_JOBID= 11197433
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= e93fbae592ddea3040fe1429b48d9ce6
RANDOM SEED=238007837

node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.817
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:      31441392 kB
Buffers:        216956 kB
Cached:         917132 kB
SwapCached:          0 kB
Active:         703140 kB
Inactive:       664432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31441392 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6636 kB
Writeback:           0 kB
AnonPages:      233224 kB
Mapped:          16068 kB
Slab:            79304 kB
PageTables:       5132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   381564 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= 74204 MiB
End job on node103 at 2010-06-30 23:41:59