Trace number 2705378

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.1 1800.06

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB10/oliveras/j120/
normalized-j12041_4-unsat--soft-0-100-0.wbo
MD5SUM14c1785b94a37a1f4c31a89d52f68595
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1532.52
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables28072
Total number of constraints97590
Number of soft constraints97590
Number of constraints which are clauses97130
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints460
Minimum length of a constraint1
Maximum length of a constraint36
Top cost 4929864
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4929863
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 231
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2705378-1278576550.wbo>
0.99/1.04	c original problem has 223252 variables (125662 bin, 0 int, 97590 impl, 0 cont) and 195181 constraints
0.99/1.04	c problem read
0.99/1.04	c presolving settings loaded
118.80/118.86	o 4929863
118.80/118.86	c feasible solution found by trivial heuristic, objective value  4.929863e+06
118.80/118.86	c presolving:
121.89/121.96	c    (120.9s) probing: 101/125662 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
121.89/121.96	c    (120.9s) probing aborted: 100/100 successive totally useless probings
121.89/121.96	c (round 1) 0 del vars, 1 del conss, 97590 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
122.49/122.52	c (round 2) 0 del vars, 1 del conss, 97590 chg bounds, 0 chg sides, 0 chg coeffs, 864 upgd conss, 0 impls, 0 clqs
122.89/122.97	c    (121.9s) probing: 111/125662 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
122.89/122.97	c    (121.9s) probing aborted: 100/100 successive totally useless probings
122.89/122.98	c presolving (3 rounds):
122.89/122.98	c  0 deleted vars, 1 deleted constraints, 97590 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
122.89/122.98	c  198176 implications, 0 cliques
122.89/122.98	c presolved problem has 223252 variables (125662 bin, 0 int, 97590 impl, 0 cont) and 195180 constraints
122.89/122.98	c     864 constraints of type <varbound>
122.89/122.98	c   96726 constraints of type <linear>
122.89/122.98	c   97590 constraints of type <indicator>
122.89/122.98	c transformed objective value is always integral (scale: 1)
122.89/122.98	c Presolving Time: 121.30
122.89/122.98	c - non default parameters ----------------------------------------------------------------------
122.89/122.98	c # SCIP version 1.2.1.3
122.89/122.98	c 
122.89/122.98	c # frequency for displaying node information lines
122.89/122.98	c # [type: int, range: [-1,2147483647], default: 100]
122.89/122.98	c display/freq = 10000
122.89/122.98	c 
122.89/122.98	c # maximal time in seconds to run
122.89/122.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
122.89/122.98	c limits/time = 1788.96
122.89/122.98	c 
122.89/122.98	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
122.89/122.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
122.89/122.98	c limits/memory = 3420
122.89/122.98	c 
122.89/122.98	c # default clock type (1: CPU user seconds, 2: wall clock time)
122.89/122.98	c # [type: int, range: [1,2], default: 1]
122.89/122.98	c timing/clocktype = 2
122.89/122.98	c 
122.89/122.98	c # should presolving try to simplify inequalities
122.89/122.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
122.89/122.98	c constraints/linear/simplifyinequalities = TRUE
122.89/122.98	c 
122.89/122.98	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
122.89/122.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
122.89/122.98	c constraints/indicator/addCouplingCons = TRUE
122.89/122.98	c 
122.89/122.98	c # should presolving try to simplify knapsacks
122.89/122.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
122.89/122.98	c constraints/knapsack/simplifyinequalities = TRUE
122.89/122.98	c 
122.89/122.98	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
122.89/122.98	c # [type: int, range: [-1,2147483647], default: -1]
122.89/122.98	c separating/rapidlearning/freq = 0
122.89/122.98	c 
122.89/122.98	c -----------------------------------------------------------------------------------------------
122.89/122.98	c start solving
122.99/123.04	c 
123.50/123.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
123.50/123.56	c t 123s|     1 |     0 |     0 |     - | 727M|   0 |   0 | 223k| 195k| 223k|   0 |   0 |   0 |   0 | 0.000000e+00 | 4.929863e+06 |    Inf 
123.60/123.68	c   123s|     1 |     0 |   241 |     - | 728M|   0 |   0 | 223k| 195k| 223k| 493 | 493 |   0 |   0 | 0.000000e+00 | 4.929863e+06 |    Inf 
123.69/123.77	c   123s|     1 |     0 |   441 |     - | 728M|   0 |   0 | 223k| 195k| 223k| 693 | 693 |   0 |   0 | 0.000000e+00 | 4.929863e+06 |    Inf 
123.79/123.86	c   123s|     1 |     0 |   641 |     - | 728M|   0 |   0 | 223k| 195k| 223k| 893 | 893 |   0 |   0 | 0.000000e+00 | 4.929863e+06 |    Inf 
123.89/123.96	c   123s|     1 |     0 |   841 |     - | 728M|   0 |   0 | 223k| 195k| 223k|1093 |1093 |   0 |   0 | 0.000000e+00 | 4.929863e+06 |    Inf 
123.99/124.06	c   123s|     1 |     0 |  1030 |     - | 728M|   0 |   0 | 223k| 195k| 223k|1282 |1282 |   0 |   0 | 0.000000e+00 | 4.929863e+06 |    Inf 
124.09/124.18	c   123s|     1 |     2 |  1030 |     - | 728M|   0 |   0 | 223k| 195k| 223k|1282 |1282 |   0 |   0 | 0.000000e+00 | 4.929863e+06 |    Inf 
889.51/889.55	o 4885628
889.51/889.55	c y 889s|  6315 |  6314 |  1201 |   0.0 |1093M|6313 |   - | 223k| 195k|   0 |   0 |1489 |   0 |   2 | 0.000000e+00 | 4.885628e+06 |    Inf 
1356.92/1356.91	c  1356s| 10000 | 10001 |  1402 |   0.0 |1308M|6313 |   0 | 223k| 195k| 223k|1287 |1686 |   0 |  10 | 0.000000e+00 | 4.885628e+06 |    Inf 
1790.03/1790.05	c 
1790.03/1790.05	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.05	c Solving Time (sec) : 1789.00
1790.03/1790.05	c Solving Nodes      : 13438
1790.03/1790.05	c Primal Bound       : +4.88562800000000e+06 (5 solutions)
1790.03/1790.05	c Dual Bound         : +0.00000000000000e+00
1790.03/1790.05	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-2705378-1278576550/watcher-2705378-1278576550 -o /tmp/evaluation-result-2705378-1278576550/solver-2705378-1278576550 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705378-1278576550.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: 1.92 1.98 1.90 2/173 25162
/proc/meminfo: memFree=29712180/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=12516 CPUtime=0
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 1971 0 0 0 0 0 0 0 21 0 1 0 25867959 12816384 1889 4089446400 4194304 10345943 140733350217120 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25162/statm: 3129 1894 429 1502 0 1622 0

[startup+0.066172 s]
/proc/loadavg: 1.92 1.98 1.90 2/173 25162
/proc/meminfo: memFree=29712180/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=34220 CPUtime=0.06
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 7387 0 0 0 5 1 0 0 21 0 1 0 25867959 35041280 7305 4089446400 4194304 10345943 140733350217120 18446744073709551615 4423932 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25162/statm: 8555 7305 430 1502 0 7048 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 34220

[startup+0.101165 s]
/proc/loadavg: 1.92 1.98 1.90 2/173 25162
/proc/meminfo: memFree=29712180/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=45360 CPUtime=0.09
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 10177 0 0 0 8 1 0 0 21 0 1 0 25867959 46448640 10095 4089446400 4194304 10345943 140733350217120 18446744073709551615 9191984 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25162/statm: 11340 10095 430 1502 0 9833 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45360

[startup+0.301091 s]
/proc/loadavg: 1.92 1.98 1.90 2/173 25162
/proc/meminfo: memFree=29712180/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=99532 CPUtime=0.29
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 23721 0 0 0 27 2 0 0 21 0 1 0 25867959 101920768 23639 4089446400 4194304 10345943 140733350217120 18446744073709551615 6328972 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25162/statm: 24883 23639 430 1502 0 23376 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 99532

[startup+0.701055 s]
/proc/loadavg: 1.92 1.98 1.90 2/173 25162
/proc/meminfo: memFree=29712180/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=204572 CPUtime=0.69
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 49991 0 0 0 64 5 0 0 22 0 1 0 25867959 209481728 49909 4089446400 4194304 10345943 140733350217120 18446744073709551615 6073677 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25162/statm: 51143 49909 430 1502 0 49636 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 204572

[startup+1.50088 s]
/proc/loadavg: 1.92 1.98 1.90 2/174 25163
/proc/meminfo: memFree=29432924/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=591704 CPUtime=1.49
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 146431 0 0 0 132 17 0 0 25 0 1 0 25867959 605904896 145959 4089446400 4194304 10345943 140733350217120 18446744073709551615 6328957 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 147926 145959 478 1502 0 146419 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 591704

[startup+3.10062 s]
/proc/loadavg: 1.92 1.98 1.90 3/179 25173
/proc/meminfo: memFree=28933644/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=721472 CPUtime=3.09
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 177093 0 0 0 289 20 0 0 25 0 1 0 25867959 738787328 176621 4089446400 4194304 10345943 140733350217120 18446744073709551615 4246426 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 180368 176621 509 1502 0 178861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 721472

[startup+6.30105 s]
/proc/loadavg: 1.93 1.98 1.90 3/179 25173
/proc/meminfo: memFree=28537960/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=721472 CPUtime=6.29
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 177093 0 0 0 609 20 0 0 25 0 1 0 25867959 738787328 176621 4089446400 4194304 10345943 140733350217120 18446744073709551615 9138594 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 180368 176621 509 1502 0 178861 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 721472

[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.90 3/179 25173
/proc/meminfo: memFree=28539084/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=721472 CPUtime=12.69
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 177093 0 0 0 1249 20 0 0 25 0 1 0 25867959 738787328 176621 4089446400 4194304 10345943 140733350217120 18446744073709551615 4246683 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 180368 176621 509 1502 0 178861 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 721472

[startup+25.5007 s]
/proc/loadavg: 1.95 1.98 1.91 3/179 25173
/proc/meminfo: memFree=28539964/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=721472 CPUtime=25.49
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 177093 0 0 0 2529 20 0 0 25 0 1 0 25867959 738787328 176621 4089446400 4194304 10345943 140733350217120 18446744073709551615 9138564 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 180368 176621 509 1502 0 178861 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 721472

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.91 3/179 25175
/proc/meminfo: memFree=28539724/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=721472 CPUtime=51.09
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 177093 0 0 0 5089 20 0 0 25 0 1 0 25867959 738787328 176621 4089446400 4194304 10345943 140733350217120 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 180368 176621 509 1502 0 178861 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 721472

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 25175
/proc/meminfo: memFree=28407900/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=721472 CPUtime=102.3
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 177093 0 0 0 10210 20 0 0 25 0 1 0 25867959 738787328 176621 4089446400 4194304 10345943 140733350217120 18446744073709551615 9138347 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 180368 176621 509 1502 0 178861 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 721472

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 25177
/proc/meminfo: memFree=28186900/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=924440 CPUtime=162.29
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 270719 0 0 0 16199 30 0 0 25 0 1 0 25867959 946626560 225688 4089446400 4194304 10345943 140733350217120 18446744073709551615 4686927 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 231110 225688 706 1502 0 229603 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 924440

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 25179
/proc/meminfo: memFree=28126360/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=951520 CPUtime=222.3
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 317700 0 0 0 22193 37 0 0 25 0 1 0 25867959 974356480 232478 4089446400 4194304 10345943 140733350217120 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 237880 232478 706 1502 0 236373 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 951520

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 25181
/proc/meminfo: memFree=28076228/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=979088 CPUtime=282.3
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 324475 0 0 0 28192 38 0 0 25 0 1 0 25867959 1002586112 239253 4089446400 4194304 10345943 140733350217120 18446744073709551615 6777168 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 244772 239253 706 1502 0 243265 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 979088

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 25183
/proc/meminfo: memFree=28021272/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1008228 CPUtime=342.3
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 371926 0 0 0 34186 44 0 0 25 0 1 0 25867959 1032425472 246513 4089446400 4194304 10345943 140733350217120 18446744073709551615 6119400 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 252057 246513 706 1502 0 250550 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1008228

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 25183
/proc/meminfo: memFree=27963336/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1040648 CPUtime=402.3
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 379601 0 0 0 40185 45 0 0 25 0 1 0 25867959 1065623552 254188 4089446400 4194304 10345943 140733350217120 18446744073709551615 5614700 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 260162 254188 708 1502 0 258655 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1040648

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 25185
/proc/meminfo: memFree=27904152/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1071008 CPUtime=462.31
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 387465 0 0 0 46184 47 0 0 25 0 1 0 25867959 1096712192 262052 4089446400 4194304 10345943 140733350217120 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 267752 262052 708 1502 0 266245 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1071008

[startup+522.301 s]
/proc/loadavg: 2.07 2.00 1.91 3/179 25187
/proc/meminfo: memFree=27852660/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1100792 CPUtime=522.3
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 434644 0 0 0 52176 54 0 0 25 0 1 0 25867959 1127211008 269409 4089446400 4194304 10345943 140733350217120 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 275198 269409 708 1502 0 273691 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1100792

[startup+582.301 s]
/proc/loadavg: 2.03 2.00 1.91 3/179 25192
/proc/meminfo: memFree=27787484/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1137756 CPUtime=582.3
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 444075 0 0 0 58175 55 0 0 25 0 1 0 25867959 1165062144 278840 4089446400 4194304 10345943 140733350217120 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 284439 278840 708 1502 0 282932 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1137756

[startup+642.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 25194
/proc/meminfo: memFree=27738448/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1162724 CPUtime=642.31
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 450157 0 0 0 64174 57 0 0 25 0 1 0 25867959 1190629376 284922 4089446400 4194304 10345943 140733350217120 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 290681 284922 708 1502 0 289174 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1162724

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25198
/proc/meminfo: memFree=27564016/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1255568 CPUtime=822.31
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 474051 0 0 0 82171 60 0 0 25 0 1 0 25867959 1285701632 308816 4089446400 4194304 10345943 140733350217120 18446744073709551615 8933733 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 313892 308816 716 1502 0 312385 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1255568

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25200
/proc/meminfo: memFree=27510912/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1285008 CPUtime=882.3
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 519266 0 0 0 88165 65 0 0 25 0 1 0 25867959 1315848192 316178 4089446400 4194304 10345943 140733350217120 18446744073709551615 5926458 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 321252 316178 716 1502 0 319745 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 1285008

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25202
/proc/meminfo: memFree=27466368/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1308740 CPUtime=942.31
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 620956 0 0 0 94152 79 0 0 25 0 1 0 25867959 1340149760 321150 4089446400 4194304 10345943 140733350217120 18446744073709551615 4687791 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 327185 321150 726 1502 0 325678 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1308740

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25202
/proc/meminfo: memFree=27411668/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1337344 CPUtime=1002.32
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 724799 0 0 0 100141 91 0 0 25 0 1 0 25867959 1369440256 328418 4089446400 4194304 10345943 140733350217120 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 334336 328418 726 1502 0 332829 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1337344

[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 25204
/proc/meminfo: memFree=27359816/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1365072 CPUtime=1062.31
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 731694 0 0 0 106140 91 0 0 25 0 1 0 25867959 1397833728 335313 4089446400 4194304 10345943 140733350217120 18446744073709551615 6786033 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 341268 335313 726 1502 0 339761 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1365072

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 25206
/proc/meminfo: memFree=27304112/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1395788 CPUtime=1122.31
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 777048 0 0 0 112134 97 0 0 25 0 1 0 25867959 1429286912 343033 4089446400 4194304 10345943 140733350217120 18446744073709551615 4882034 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 348947 343033 726 1502 0 347440 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1395788

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 25208
/proc/meminfo: memFree=27242336/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1430716 CPUtime=1182.32
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 881532 0 0 0 118122 110 0 0 25 0 1 0 25867959 1465053184 352582 4089446400 4194304 10345943 140733350217120 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 357679 352582 726 1502 0 356172 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1430716

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25210
/proc/meminfo: memFree=27188132/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1457208 CPUtime=1242.32
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 888082 0 0 0 124122 110 0 0 25 0 1 0 25867959 1492180992 359132 4089446400 4194304 10345943 140733350217120 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 364302 359132 726 1502 0 362795 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1457208

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25210
/proc/meminfo: memFree=27133172/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1491216 CPUtime=1302.32
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 896177 0 0 0 130121 111 0 0 25 0 1 0 25867959 1527005184 367227 4089446400 4194304 10345943 140733350217120 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 372804 367227 726 1502 0 371297 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1491216

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25212
/proc/meminfo: memFree=27081444/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1518272 CPUtime=1362.32
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 902406 0 0 0 136120 112 0 0 25 0 1 0 25867959 1554710528 373456 4089446400 4194304 10345943 140733350217120 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 379568 373456 726 1502 0 378061 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1518272

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25214
/proc/meminfo: memFree=27025840/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1544768 CPUtime=1422.33
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 909032 0 0 0 142119 114 0 0 25 0 1 0 25867959 1581842432 380082 4089446400 4194304 10345943 140733350217120 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 386192 380082 726 1502 0 384685 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1544768

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25216
/proc/meminfo: memFree=26972872/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1571052 CPUtime=1482.32
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 916216 0 0 0 148117 115 0 0 25 0 1 0 25867959 1608757248 387266 4089446400 4194304 10345943 140733350217120 18446744073709551615 5614772 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 392763 387266 726 1502 0 391256 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1571052

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25218
/proc/meminfo: memFree=26922368/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1601204 CPUtime=1542.33
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 923781 0 0 0 154116 117 0 0 25 0 1 0 25867959 1639632896 394831 4089446400 4194304 10345943 140733350217120 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 400301 394831 726 1502 0 398794 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1601204

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 25218
/proc/meminfo: memFree=26875224/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1623208 CPUtime=1602.33
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 1021273 0 0 0 160104 129 0 0 25 0 1 0 25867959 1662164992 399889 4089446400 4194304 10345943 140733350217120 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 405802 399889 726 1502 0 404295 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1623208

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 25220
/proc/meminfo: memFree=26820640/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1651248 CPUtime=1662.33
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 1028170 0 0 0 166103 130 0 0 25 0 1 0 25867959 1690877952 406786 4089446400 4194304 10345943 140733350217120 18446744073709551615 4471855 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 412812 406786 726 1502 0 411305 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1651248

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 25222
/proc/meminfo: memFree=26767300/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1676760 CPUtime=1722.33
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 1034936 0 0 0 172102 131 0 0 25 0 1 0 25867959 1717002240 413552 4089446400 4194304 10345943 140733350217120 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 419190 413552 726 1502 0 417683 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1676760

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 25224
/proc/meminfo: memFree=26719772/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1704276 CPUtime=1782.34
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 1041790 0 0 0 178102 132 0 0 25 0 1 0 25867959 1745178624 420406 4089446400 4194304 10345943 140733350217120 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25162/statm: 426069 420406 726 1502 0 424562 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1704276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 25224
/proc/meminfo: memFree=26706620/32951124 swapFree=67111528/67111528
[pid=25162] ppid=25160 vsize=1707220 CPUtime=1800.04
/proc/25162/stat : 25162 (pbscip.linux.x8) R 25160 25162 24698 0 -1 4202496 1042639 0 0 0 179872 132 0 0 25 0 1 0 25867959 1748193280 421255 4089446400 4194304 10345943 140733350217120 18446744073709551615 9138611 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25162/statm: 426805 421255 726 1502 0 425298 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1707220

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.1
CPU user time (s): 1798.72
CPU system time (s): 1.37879
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1966072

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

runsolver used 3.19351 second user time and 6.593 second system time

The end

Launcher Data 

Begin job on node144 at 2010-07-08 10:09:10
IDJOB=2705378
IDBENCH=79123
IDSOLVER=1214
FILE ID=node144/2705378-1278576550
PBS_JOBID= 11240167
Free space on /tmp= 73740 MiB

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

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

MD5SUM BENCH= 14c1785b94a37a1f4c31a89d52f68595
RANDOM SEED=2178817

node144.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.825
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.65
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.825
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.825
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.74
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.825
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.825
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.75
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.825
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.78
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.825
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.825
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	: 5269.01
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29712708 kB
Buffers:        168228 kB
Cached:        2844864 kB
SwapCached:          0 kB
Active:         857520 kB
Inactive:      2217840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29712708 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           15936 kB
Writeback:           0 kB
AnonPages:       62464 kB
Mapped:          14408 kB
Slab:            98200 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   182776 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= 73712 MiB
End job on node144 at 2010-07-08 10:39:12