Trace number 2693252

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.14 1802.15

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-0-100-0.wbo
MD5SUM97fed4a2133bff4e993c45ab3a9ac729
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.107982
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5985
Total number of constraints15365
Number of soft constraints15365
Number of constraints which are clauses14013
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1352
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 779706
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 779705
Biggest number in a constraint 165
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 546
Number of bits of the biggest sum of numbers10
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-2693252-1277931984.wbo>
0.17/0.19	c original problem has 36715 variables (21350 bin, 0 int, 0 impl, 15365 cont) and 30731 constraints
0.17/0.19	c problem read
0.17/0.19	c presolving settings loaded
3.09/3.17	o 779705
3.09/3.17	c feasible solution found by trivial heuristic, objective value  7.797050e+05
3.09/3.17	c presolving:
3.20/3.22	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 676 chg sides, 1352 chg coeffs, 0 upgd conss, 15365 impls, 0 clqs
3.20/3.26	c (round 2) 0 del vars, 1 del conss, 15365 chg bounds, 676 chg sides, 1352 chg coeffs, 0 upgd conss, 15365 impls, 0 clqs
3.59/3.67	c    (3.4s) probing: 101/21350 (0.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.59/3.67	c    (3.4s) probing aborted: 100/100 successive totally useless probings
3.59/3.67	c presolving (3 rounds):
3.59/3.67	c  0 deleted vars, 1 deleted constraints, 15365 tightened bounds, 0 added holes, 676 changed sides, 1352 changed coefficients
3.59/3.67	c  15365 implications, 0 cliques
3.59/3.67	c presolved problem has 36715 variables (21350 bin, 0 int, 0 impl, 15365 cont) and 30730 constraints
3.59/3.67	c   15365 constraints of type <indicator>
3.59/3.67	c       1 constraints of type <varbound>
3.59/3.67	c   15364 constraints of type <linear>
3.59/3.67	c transformed objective value is always integral (scale: 1)
3.59/3.67	c Presolving Time: 3.32
3.59/3.67	c - non default parameters ----------------------------------------------------------------------
3.59/3.67	c # SCIP version 1.2.1.2
3.59/3.67	c 
3.59/3.67	c # frequency for displaying node information lines
3.59/3.67	c # [type: int, range: [-1,2147483647], default: 100]
3.59/3.67	c display/freq = 10000
3.59/3.67	c 
3.59/3.67	c # maximal time in seconds to run
3.59/3.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.59/3.67	c limits/time = 1799.82
3.59/3.67	c 
3.59/3.67	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.59/3.67	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.59/3.67	c limits/memory = 3420
3.59/3.67	c 
3.59/3.67	c # should presolving try to simplify inequalities
3.59/3.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.59/3.67	c constraints/linear/simplifyinequalities = TRUE
3.59/3.67	c 
3.59/3.67	c # should presolving try to simplify knapsacks
3.59/3.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.59/3.67	c constraints/knapsack/simplifyinequalities = TRUE
3.59/3.67	c 
3.59/3.67	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.59/3.67	c # [type: int, range: [-1,2147483647], default: -1]
3.59/3.67	c separating/rapidlearning/freq = 0
3.59/3.67	c 
3.59/3.67	c -----------------------------------------------------------------------------------------------
3.59/3.67	c start solving
3.59/3.68	c 
3.69/3.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.69/3.78	c t 3.5s|     1 |     0 |     0 |     - | 115M|   0 |   0 |  36k|  30k|  36k|   0 |   0 |   0 |   0 | 0.000000e+00 | 7.797050e+05 |    Inf 
3.80/3.80	c   3.5s|     1 |     0 |   201 |     - | 115M|   0 |   0 |  36k|  30k|  36k| 201 | 201 |   0 |   0 | 0.000000e+00 | 7.797050e+05 |    Inf 
3.80/3.82	c   3.5s|     1 |     0 |   336 |     - | 115M|   0 |   0 |  36k|  30k|  36k| 401 | 401 |   0 |   0 | 0.000000e+00 | 7.797050e+05 |    Inf 
3.80/3.84	c   3.6s|     1 |     0 |   541 |     - | 116M|   0 |  25 |  36k|  30k|  36k| 601 | 601 |   0 |   0 | 0.000000e+00 | 7.797050e+05 |    Inf 
3.80/3.87	o 779647
3.80/3.87	c y 3.6s|     1 |     0 |   541 |     - | 116M|   0 |  25 |  36k|  30k|  36k| 601 | 601 |   0 |   0 | 0.000000e+00 | 7.796470e+05 |    Inf 
3.99/4.08	c   3.8s|     1 |     0 |   717 |     - | 117M|   0 |  31 |  36k|  30k|  36k| 806 | 806 |   0 |   0 | 0.000000e+00 | 7.796470e+05 |    Inf 
4.30/4.40	c   4.1s|     1 |     0 |  1116 |     - | 117M|   0 | 143 |  36k|  30k|  36k|1014 |1014 |   0 |   0 | 0.000000e+00 | 7.796470e+05 |    Inf 
4.79/4.89	c   4.6s|     1 |     0 |  1355 |     - | 118M|   0 | 427 |  36k|  30k|  36k|1245 |1245 |   0 |   0 | 0.000000e+00 | 7.796470e+05 |    Inf 
5.39/5.46	c   5.1s|     1 |     0 |  1775 |     - | 119M|   0 | 389 |  36k|  30k|  36k|1548 |1548 |   0 |   0 | 0.000000e+00 | 7.796470e+05 |    Inf 
5.99/6.08	c   5.7s|     1 |     2 |  2111 |     - | 120M|   0 | 389 |  36k|  30k|  36k|1548 |1548 |   0 |  33 | 0.000000e+00 | 7.796470e+05 |    Inf 
354.69/354.71	c   344s| 10000 | 10001 |157834 |  15.6 | 261M| 251 |  52 |  36k|  30k|  36k|1537 |1548 |   0 |3943 | 0.000000e+00 | 7.796470e+05 |    Inf 
555.50/555.51	c   535s| 20000 | 20001 |222211 |  11.0 | 362M| 459 |   2 |  36k|  30k|  36k|1537 |  12k|   0 |5925 | 0.000000e+00 | 7.796470e+05 |    Inf 
739.40/739.44	c   707s| 30000 | 30001 |291606 |   9.7 | 463M| 459 | 134 |  36k|  30k|  36k|1883 |  26k|   0 |7005 | 0.000000e+00 | 7.796470e+05 |    Inf 
919.71/919.70	c   875s| 40000 | 40001 |358465 |   8.9 | 564M| 459 |  99 |  36k|  30k|  36k|1881 |  40k|   0 |7855 | 0.000000e+00 | 7.796470e+05 |    Inf 
1100.11/1100.15	c  1043s| 50000 | 50001 |424576 |   8.5 | 664M| 459 |  57 |  36k|  30k|  36k|1879 |  54k|   0 |8498 | 0.000000e+00 | 7.796470e+05 |    Inf 
1277.28/1277.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1277.28/1277.35	c  1208s| 60000 | 60001 |490282 |   8.1 | 765M| 459 | 208 |  36k|  30k|  36k|1880 |  69k|   0 |9169 | 0.000000e+00 | 7.796470e+05 |    Inf 
1445.09/1445.19	c  1364s| 70000 | 70001 |554570 |   7.9 | 866M| 461 | 159 |  36k|  30k|  36k|1879 |  82k|   0 |9226 | 0.000000e+00 | 7.796470e+05 |    Inf 
1614.49/1614.54	c  1522s| 80000 | 80001 |617739 |   7.7 | 967M| 463 | 168 |  36k|  30k|  36k|1880 |  95k|   0 |9254 | 0.000000e+00 | 7.796470e+05 |    Inf 
1782.88/1782.99	c  1678s| 90000 | 90001 |682056 |   7.6 |1068M| 463 | 226 |  36k|  30k|  36k|1880 | 109k|   0 |9266 | 0.000000e+00 | 7.796470e+05 |    Inf 
1800.10/1800.10	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.11	c 
1800.10/1800.11	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.11	c Solving Time (sec) : 1694.34
1800.10/1800.11	c Solving Nodes      : 91034
1800.10/1800.11	c Primal Bound       : +7.79647000000000e+05 (102 solutions)
1800.10/1800.11	c Dual Bound         : +0.00000000000000e+00
1800.10/1800.11	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-2693252-1277931984/watcher-2693252-1277931984 -o /tmp/evaluation-result-2693252-1277931984/solver-2693252-1277931984 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693252-1277931984.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.38 2.66 2.48 4/176 17021
/proc/meminfo: memFree=30693164/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=10976 CPUtime=0
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 1669 0 0 0 0 0 0 0 25 0 1 0 134494704 11239424 1589 4089446400 4194304 9819077 140735057709632 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17021/statm: 2744 1590 392 1374 0 1365 0

[startup+0.056455 s]
/proc/loadavg: 2.38 2.66 2.48 4/176 17021
/proc/meminfo: memFree=30693164/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=30420 CPUtime=0.06
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 6534 0 0 0 6 0 0 0 25 0 1 0 134494704 31150080 6454 4089446400 4194304 9819077 140735057709632 18446744073709551615 4327658 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17021/statm: 7605 6454 392 1374 0 6226 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 30420

[startup+0.179078 s]
/proc/loadavg: 2.38 2.66 2.48 4/176 17021
/proc/meminfo: memFree=30693164/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=55748 CPUtime=0.17
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 12882 0 0 0 16 1 0 0 25 0 1 0 134494704 57085952 12802 4089446400 4194304 9819077 140735057709632 18446744073709551615 8654629 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17021/statm: 13937 12802 392 1374 0 12558 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 55748

[startup+0.301055 s]
/proc/loadavg: 2.38 2.66 2.48 4/176 17021
/proc/meminfo: memFree=30693164/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=122028 CPUtime=0.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 29789 0 0 0 25 4 0 0 25 0 1 0 134494704 124956672 29285 4089446400 4194304 9819077 140735057709632 18446744073709551615 4563759 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17021/statm: 30507 29285 452 1374 0 29128 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 122028

[startup+0.700985 s]
/proc/loadavg: 2.38 2.66 2.48 4/176 17021
/proc/meminfo: memFree=30693164/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=134436 CPUtime=0.69
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 31855 0 0 0 65 4 0 0 25 0 1 0 134494704 137662464 31351 4089446400 4194304 9819077 140735057709632 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17021/statm: 33609 31351 469 1374 0 32230 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134436

[startup+1.50083 s]
/proc/loadavg: 2.38 2.66 2.48 3/177 17022
/proc/meminfo: memFree=30567056/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=134436 CPUtime=1.49
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 31855 0 0 0 145 4 0 0 25 0 1 0 134494704 137662464 31351 4089446400 4194304 9819077 140735057709632 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17021/statm: 33609 31351 469 1374 0 32230 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 134436

[startup+3.10057 s]
/proc/loadavg: 2.38 2.66 2.48 3/177 17022
/proc/meminfo: memFree=30564208/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=134436 CPUtime=3.09
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 31855 0 0 0 305 4 0 0 25 0 1 0 134494704 137662464 31351 4089446400 4194304 9819077 140735057709632 18446744073709551615 8679233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17021/statm: 33609 31351 469 1374 0 32230 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134436

[startup+6.30102 s]
/proc/loadavg: 2.35 2.64 2.48 3/177 17022
/proc/meminfo: memFree=30520504/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=180744 CPUtime=6.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 105058 0 0 0 607 22 0 0 22 0 1 0 134494704 185081856 41360 4089446400 4194304 9819077 140735057709632 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17021/statm: 45186 41360 699 1374 0 43807 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 180744

[startup+12.7009 s]
/proc/loadavg: 2.32 2.63 2.48 3/177 17022
/proc/meminfo: memFree=30498188/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=181788 CPUtime=12.69
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 522052 0 0 0 1197 72 0 0 25 0 1 0 134494704 186150912 41451 4089446400 4194304 9819077 140735057709632 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17021/statm: 45447 41451 699 1374 0 44068 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 181788

[startup+25.5007 s]
/proc/loadavg: 2.32 2.62 2.47 3/177 17022
/proc/meminfo: memFree=30457864/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=178692 CPUtime=25.49
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 1133859 0 0 0 2399 150 0 0 25 0 1 0 134494704 182980608 41450 4089446400 4194304 9819077 140735057709632 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17021/statm: 44673 41450 699 1374 0 43294 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 178692

[startup+51.1003 s]
/proc/loadavg: 2.21 2.57 2.46 3/177 17024
/proc/meminfo: memFree=30372832/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=194696 CPUtime=51.09
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 2098788 0 0 0 4836 273 0 0 25 0 1 0 134494704 199368704 45186 4089446400 4194304 9819077 140735057709632 18446744073709551615 5893827 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17021/statm: 48674 45186 701 1374 0 47295 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 194696

[startup+102.306 s]
/proc/loadavg: 2.09 2.48 2.43 3/177 17024
/proc/meminfo: memFree=30179724/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=232596 CPUtime=102.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 3083292 0 0 0 9815 414 0 0 25 0 1 0 134494704 238178304 54555 4089446400 4194304 9819077 140735057709632 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17021/statm: 58149 54555 701 1374 0 56770 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 232596

[startup+162.301 s]
/proc/loadavg: 2.03 2.39 2.40 3/177 17026
/proc/meminfo: memFree=29980152/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=244428 CPUtime=162.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 4240540 0 0 0 15654 575 0 0 25 0 1 0 134494704 250294272 57456 4089446400 4194304 9819077 140735057709632 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 61107 57456 701 1374 0 59728 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 244428

[startup+222.301 s]
/proc/loadavg: 2.01 2.32 2.38 3/177 17028
/proc/meminfo: memFree=29771984/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=259656 CPUtime=222.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 5252106 0 0 0 21507 722 0 0 25 0 1 0 134494704 265887744 61416 4089446400 4194304 9819077 140735057709632 18446744073709551615 7286958 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 64914 61416 701 1374 0 63535 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 259656

[startup+282.3 s]
/proc/loadavg: 2.00 2.26 2.35 3/177 17030
/proc/meminfo: memFree=29552076/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=280988 CPUtime=282.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 6376158 0 0 0 27348 881 0 0 25 0 1 0 134494704 287731712 66652 4089446400 4194304 9819077 140735057709632 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 70247 66652 701 1374 0 68868 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 280988

[startup+342.301 s]
/proc/loadavg: 2.00 2.21 2.33 3/177 17032
/proc/meminfo: memFree=29321860/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=308884 CPUtime=342.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 7249773 0 0 0 33216 1013 0 0 25 0 1 0 134494704 316297216 73681 4089446400 4194304 9819077 140735057709632 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 77221 73682 701 1374 0 75842 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 308884

[startup+402.3 s]
/proc/loadavg: 2.00 2.17 2.30 3/177 17032
/proc/meminfo: memFree=29081976/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=353056 CPUtime=402.3
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 8217933 0 0 0 39068 1162 0 0 25 0 1 0 134494704 361529344 84009 4089446400 4194304 9819077 140735057709632 18446744073709551615 6361766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 88264 84009 702 1374 0 86885 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 353056

[startup+462.301 s]
/proc/loadavg: 2.06 2.15 2.28 3/177 17034
/proc/meminfo: memFree=28864676/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=372592 CPUtime=462.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 10983221 0 0 0 44721 1508 0 0 25 0 1 0 134494704 381534208 89629 4089446400 4194304 9819077 140735057709632 18446744073709551615 5893827 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 93148 89629 702 1374 0 91769 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 372592

[startup+522.301 s]
/proc/loadavg: 2.02 2.12 2.26 3/177 17036
/proc/meminfo: memFree=28660648/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=401408 CPUtime=522.3
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 13700428 0 0 0 50378 1852 0 0 25 0 1 0 134494704 411041792 96859 4089446400 4194304 9819077 140735057709632 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 100352 96859 702 1374 0 98973 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 401408

[startup+582.3 s]
/proc/loadavg: 2.00 2.09 2.25 3/177 17038
/proc/meminfo: memFree=28447432/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=432552 CPUtime=582.3
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 16768589 0 0 0 56000 2230 0 0 25 0 1 0 134494704 442933248 104597 4089446400 4194304 9819077 140735057709632 18446744073709551615 6628276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 108138 104597 702 1374 0 106759 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 432552

[startup+642.301 s]
/proc/loadavg: 2.00 2.08 2.23 3/177 17040
/proc/meminfo: memFree=28248604/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=465956 CPUtime=642.31
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 19744597 0 0 0 61622 2609 0 0 25 0 1 0 134494704 477138944 112854 4089446400 4194304 9819077 140735057709632 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 116489 112854 702 1374 0 115110 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 465956

[startup+702.3 s]

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

/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 41924891 0 0 0 100799 5431 0 0 25 0 1 0 134494704 710926336 170207 4089446400 4194304 9819077 140735057709632 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 173566 170207 702 1374 0 172187 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 694264

[startup+1122.3 s]
/proc/loadavg: 1.72 1.94 2.10 2/172 17112
/proc/meminfo: memFree=30796696/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=727332 CPUtime=1122.3
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 45125314 0 0 0 106388 5842 0 0 25 0 1 0 134494704 744787968 178370 4089446400 4194304 9819077 140735057709632 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 181833 178370 702 1374 0 180454 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 727332

[startup+1182.3 s]
/proc/loadavg: 1.26 1.77 2.03 2/172 17303
/proc/meminfo: memFree=30765688/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=759876 CPUtime=1182.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 48447988 0 0 0 111944 6285 0 0 25 0 1 0 134494704 778113024 186525 4089446400 4194304 9819077 140735057709632 18446744073709551615 8679253 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 189969 186525 702 1374 0 188590 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 759876

[startup+1242.3 s]
/proc/loadavg: 1.09 1.62 1.96 2/172 17494
/proc/meminfo: memFree=30729096/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=794532 CPUtime=1242.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 51338441 0 0 0 117539 6690 0 0 25 0 1 0 134494704 813600768 195172 4089446400 4194304 9819077 140735057709632 18446744073709551615 4561060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 198633 195172 702 1374 0 197254 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 794532

[startup+1302.3 s]
/proc/loadavg: 1.03 1.51 1.90 2/169 17582
/proc/meminfo: memFree=30694456/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=830576 CPUtime=1302.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 54128714 0 0 0 123154 7075 0 0 25 0 1 0 134494704 850509824 204169 4089446400 4194304 9819077 140735057709632 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 207644 204169 702 1374 0 206265 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 830576

[startup+1362.3 s]
/proc/loadavg: 1.01 1.41 1.84 2/169 17584
/proc/meminfo: memFree=30660596/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=864204 CPUtime=1362.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 57118279 0 0 0 128741 7488 0 0 25 0 1 0 134494704 884944896 212614 4089446400 4194304 9819077 140735057709632 18446744073709551615 6361878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 216051 212614 702 1374 0 214672 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 864204

[startup+1422.31 s]
/proc/loadavg: 1.00 1.33 1.78 2/169 17586
/proc/meminfo: memFree=30627348/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=901240 CPUtime=1422.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 60092665 0 0 0 134322 7907 0 0 25 0 1 0 134494704 922869760 221308 4089446400 4194304 9819077 140735057709632 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 225310 221308 702 1374 0 223931 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 901240

[startup+1482.3 s]
/proc/loadavg: 1.00 1.27 1.73 2/169 17588
/proc/meminfo: memFree=30588140/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=939272 CPUtime=1482.28
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 63072389 0 0 0 139901 8327 0 0 25 0 1 0 134494704 961814528 230832 4089446400 4194304 9819077 140735057709632 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 234818 230832 702 1374 0 233439 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 939272

[startup+1542.3 s]
/proc/loadavg: 1.00 1.22 1.68 2/169 17590
/proc/meminfo: memFree=30553888/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=972548 CPUtime=1542.28
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 66073291 0 0 0 145485 8743 0 0 25 0 1 0 134494704 995889152 239078 4089446400 4194304 9819077 140735057709632 18446744073709551615 6590687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 243137 239091 702 1374 0 241758 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 972548

[startup+1602.3 s]
/proc/loadavg: 1.00 1.18 1.64 2/169 17593
/proc/meminfo: memFree=30519544/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=1008444 CPUtime=1602.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 69060020 0 0 0 151071 9158 0 0 25 0 1 0 134494704 1032646656 248159 4089446400 4194304 9819077 140735057709632 18446744073709551615 6581302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 252111 248159 702 1374 0 250732 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 1008444

[startup+1662.3 s]
/proc/loadavg: 1.04 1.16 1.60 2/169 17595
/proc/meminfo: memFree=30485356/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=1041736 CPUtime=1662.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 72101479 0 0 0 156639 9590 0 0 25 0 1 0 134494704 1066737664 256470 4089446400 4194304 9819077 140735057709632 18446744073709551615 6669992 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 260434 256470 702 1374 0 259055 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 1041736

[startup+1722.3 s]
/proc/loadavg: 1.01 1.12 1.56 2/169 17597
/proc/meminfo: memFree=30450992/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=1076912 CPUtime=1722.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 75130755 0 0 0 162211 10018 0 0 25 0 1 0 134494704 1102757888 265337 4089446400 4194304 9819077 140735057709632 18446744073709551615 6089682 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 269228 265337 702 1374 0 267849 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 1076912

[startup+1782.3 s]
/proc/loadavg: 1.00 1.10 1.52 2/169 17599
/proc/meminfo: memFree=30413780/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=1112564 CPUtime=1782.29
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 78144157 0 0 0 167794 10435 0 0 25 0 1 0 134494704 1139265536 274247 4089446400 4194304 9819077 140735057709632 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 278141 274247 702 1374 0 276762 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 1112564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 1.00 1.09 1.51 2/169 17599
/proc/meminfo: memFree=30403604/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=1122500 CPUtime=1800.1
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 79042257 0 0 0 169450 10560 0 0 25 0 1 0 134494704 1149440000 276774 4089446400 4194304 9819077 140735057709632 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17021/statm: 280625 276774 702 1374 0 279246 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1122500

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17021

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.09 1.51 2/170 17600
/proc/meminfo: memFree=30403596/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=1122500 CPUtime=1801.39
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 79042947 0 0 0 169579 10560 0 0 25 0 1 0 134494704 1149440000 276774 4089446400 4194304 9819077 140735057709632 18446744073709551615 4241129 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17021/statm: 280625 276774 702 1374 0 279246 0
Current children cumulated CPU time (s) 1801.39
Current children cumulated vsize (KiB) 1122500

[startup+1801.81 s]
/proc/loadavg: 1.00 1.09 1.51 2/170 17600
/proc/meminfo: memFree=30403596/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=1122500 CPUtime=1801.8
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 79042947 0 0 0 169620 10560 0 0 25 0 1 0 134494704 1149440000 276774 4089446400 4194304 9819077 140735057709632 18446744073709551615 6180533 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17021/statm: 280625 276774 702 1374 0 279246 0
Current children cumulated CPU time (s) 1801.8
Current children cumulated vsize (KiB) 1122500

[startup+1802 s]
/proc/loadavg: 1.00 1.09 1.51 2/170 17600
/proc/meminfo: memFree=30403596/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=1122500 CPUtime=1801.99
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 79042947 0 0 0 169639 10560 0 0 25 0 1 0 134494704 1149440000 276774 4089446400 4194304 9819077 140735057709632 18446744073709551615 4240875 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17021/statm: 280625 276774 702 1374 0 279246 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 1122500

[startup+1802.1 s]
/proc/loadavg: 1.00 1.09 1.51 2/170 17600
/proc/meminfo: memFree=30403596/32951132 swapFree=67111528/67111528
[pid=17021] ppid=17019 vsize=1122500 CPUtime=1802.09
/proc/17021/stat : 17021 (pbscip.linux.x8) R 17019 17021 16368 0 -1 4202496 79042947 0 0 0 169649 10560 0 0 25 0 1 0 134494704 1149440000 276774 4089446400 4194304 9819077 140735057709632 18446744073709551615 8679124 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17021/statm: 280625 276774 702 1374 0 279246 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 1122500

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.15
CPU time (s): 1802.14
CPU user time (s): 1696.5
CPU system time (s): 105.641
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 1122824

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

runsolver used 3.23251 second user time and 6.01809 second system time

The end

Launcher Data 

Begin job on node128 at 2010-06-30 23:06:24
IDJOB=2693252
IDBENCH=79330
IDSOLVER=1205
FILE ID=node128/2693252-1277931984
PBS_JOBID= 11197398
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-22s.smv--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-2693252-1277931984/watcher-2693252-1277931984 -o /tmp/evaluation-result-2693252-1277931984/solver-2693252-1277931984 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693252-1277931984.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 97fed4a2133bff4e993c45ab3a9ac729
RANDOM SEED=2116360705

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.853
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:     32951132 kB
MemFree:      30693692 kB
Buffers:        218232 kB
Cached:        1020384 kB
SwapCached:          0 kB
Active:        1301292 kB
Inactive:       813584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30693692 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6628 kB
Writeback:           0 kB
AnonPages:      876348 kB
Mapped:          16488 kB
Slab:            79756 kB
PageTables:       6136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1050512 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 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 node128 at 2010-06-30 23:36:26