Trace number 2693943

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1802.07 1802.02

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j602_7-unsat--soft-0-100-0.wbo
MD5SUMc93eadfd598977d622635d98b523c998
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.051992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6466
Total number of constraints19939
Number of soft constraints19939
Number of constraints which are clauses19731
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints208
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 1003722
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1003721
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 112
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693943-1277932982.wbo>
0.19/0.21	c original problem has 46344 variables (26405 bin, 0 int, 0 impl, 19939 cont) and 39879 constraints
0.19/0.21	c problem read
0.19/0.21	c presolving settings loaded
0.19/0.22	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
5.50/5.52	o 1003721
5.50/5.52	c feasible solution found by trivial heuristic, objective value  1.003721e+06
5.50/5.52	c presolving:
10.39/10.41	c    (10.2s) probing: 1000/26405 (3.8%) - 0 fixings, 0 aggregations, 280 implications, 0 bound changes
15.09/15.19	c    (14.9s) probing: 2000/26405 (7.6%) - 0 fixings, 0 aggregations, 454 implications, 0 bound changes
15.09/15.19	c    (14.9s) probing: 2001/26405 (7.6%) - 0 fixings, 0 aggregations, 454 implications, 0 bound changes
15.09/15.19	c    (14.9s) probing aborted: 2000/2000 successive useless probings
15.09/15.19	c (round 1) 0 del vars, 1 del conss, 19939 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20620 impls, 0 clqs
15.19/15.28	c (round 2) 0 del vars, 1 del conss, 19939 chg bounds, 0 chg sides, 0 chg coeffs, 356 upgd conss, 20620 impls, 0 clqs
15.99/16.00	c    (15.7s) probing: 2144/26405 (8.1%) - 0 fixings, 0 aggregations, 517 implications, 0 bound changes
15.99/16.00	c    (15.7s) probing aborted: 100/100 successive totally useless probings
15.99/16.00	c presolving (3 rounds):
15.99/16.00	c  0 deleted vars, 1 deleted constraints, 19939 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
15.99/16.00	c  20875 implications, 0 cliques
15.99/16.00	c presolved problem has 46344 variables (26405 bin, 0 int, 0 impl, 19939 cont) and 39878 constraints
15.99/16.00	c   19939 constraints of type <indicator>
15.99/16.00	c     356 constraints of type <varbound>
15.99/16.00	c   19583 constraints of type <linear>
15.99/16.00	c transformed objective value is always integral (scale: 1)
15.99/16.00	c Presolving Time: 15.60
15.99/16.00	c - non default parameters ----------------------------------------------------------------------
15.99/16.00	c # SCIP version 1.2.1.2
15.99/16.00	c 
15.99/16.00	c # frequency for displaying node information lines
15.99/16.00	c # [type: int, range: [-1,2147483647], default: 100]
15.99/16.00	c display/freq = 10000
15.99/16.00	c 
15.99/16.00	c # maximal time in seconds to run
15.99/16.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.99/16.00	c limits/time = 1799.79
15.99/16.00	c 
15.99/16.00	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.99/16.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.99/16.00	c limits/memory = 3420
15.99/16.00	c 
15.99/16.00	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
15.99/16.00	c # [type: int, range: [-1,2147483647], default: 1]
15.99/16.00	c lp/solvefreq = -1
15.99/16.00	c 
15.99/16.00	c # should presolving try to simplify inequalities
15.99/16.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.99/16.00	c constraints/linear/simplifyinequalities = TRUE
15.99/16.00	c 
15.99/16.00	c # should presolving try to simplify knapsacks
15.99/16.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.99/16.00	c constraints/knapsack/simplifyinequalities = TRUE
15.99/16.00	c 
15.99/16.00	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
15.99/16.00	c # [type: int, range: [-1,2147483647], default: -1]
15.99/16.00	c separating/rapidlearning/freq = 0
15.99/16.00	c 
15.99/16.00	c -----------------------------------------------------------------------------------------------
15.99/16.00	c start solving
15.99/16.01	c 
16.09/16.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.09/16.13	c t15.8s|     1 |     2 |     0 |     - | 135M|   0 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
86.49/86.57	c  86.1s| 10000 | 10001 |     0 |   0.0 | 140M|1009 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
156.79/156.82	c   156s| 20000 | 20001 |     0 |   0.0 | 144M|2371 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
227.40/227.40	c   227s| 30000 | 30001 |     0 |   0.0 | 148M|2371 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
298.60/298.64	c   298s| 40000 | 40001 |     0 |   0.0 | 152M|2371 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
375.00/375.04	c   374s| 50000 | 50001 |     0 |   0.0 | 156M|2377 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
454.41/454.40	c   453s| 60000 | 60001 |     0 |   0.0 | 160M|2377 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
531.51/531.58	c   530s| 70000 | 70001 |     0 |   0.0 | 164M|2377 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
609.50/609.53	c   608s| 80000 | 80001 |     0 |   0.0 | 168M|2377 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
686.21/686.25	c   685s| 90000 | 90001 |     0 |   0.0 | 172M|3503 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
763.81/763.82	c   762s|100000 |100001 |     0 |   0.0 | 176M|3629 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
840.32/840.37	c   839s|110000 |110001 |     0 |   0.0 | 180M|3629 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
918.02/918.00	c   916s|120000 |120001 |     0 |   0.0 | 184M|3631 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
995.81/995.84	c   994s|130000 |130001 |     0 |   0.0 | 187M|3631 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
1073.32/1073.31	c  1071s|140000 |140001 |     0 |   0.0 | 191M|3631 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
1148.73/1148.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1148.73/1148.75	c  1147s|150000 |150001 |     0 |   0.0 | 195M|3631 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
1225.92/1225.95	c  1224s|160000 |160001 |     0 |   0.0 | 199M|3631 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
1305.63/1305.63	c  1303s|170000 |170001 |     0 |   0.0 | 202M|3631 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
1387.93/1387.97	c  1385s|180000 |180001 |     0 |   0.0 | 206M|3631 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
1468.73/1468.78	c  1466s|190000 |190001 |     0 |   0.0 | 210M|3631 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
1545.13/1545.10	c  1542s|200000 |200001 |     0 |   0.0 | 214M|3631 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
1623.84/1623.87	c  1621s|210000 |210001 |     0 |   0.0 | 217M|3631 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
1704.84/1704.82	c  1702s|220000 |220001 |     0 |   0.0 | 221M|3631 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
1783.64/1783.60	c  1780s|230000 |230001 |     0 |   0.0 | 225M|3631 |   - |  46k|  39k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.003721e+06 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01	c 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time (sec) : 1796.86
1800.05/1800.01	c Solving Nodes      : 232106
1800.05/1800.01	c Primal Bound       : +1.00372100000000e+06 (2 solutions)
1800.05/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.01	c Gap                : infinite

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693943-1277932982/watcher-2693943-1277932982 -o /tmp/evaluation-result-2693943-1277932982/solver-2693943-1277932982 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693943-1277932982.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15567
/proc/meminfo: memFree=29462532/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=8408 CPUtime=0
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 1579 0 0 0 0 0 0 0 25 0 1 0 134595859 8609792 1501 4089446400 4194304 7136930 140734428542944 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15567/statm: 2102 1501 275 719 0 1381 0

[startup+0.00865708 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15567
/proc/meminfo: memFree=29462532/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=9572 CPUtime=0
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 1875 0 0 0 0 0 0 0 25 0 1 0 134595859 9801728 1797 4089446400 4194304 7136930 140734428542944 18446744073709551615 6269851 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15567/statm: 2393 1797 275 719 0 1672 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9572

[startup+0.10061 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15567
/proc/meminfo: memFree=29462532/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=36888 CPUtime=0.09
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 8727 0 0 0 9 0 0 0 25 0 1 0 134595859 37773312 8649 4089446400 4194304 7136930 140734428542944 18446744073709551615 6176955 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15567/statm: 9222 8649 275 719 0 8501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36888

[startup+0.300584 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15567
/proc/meminfo: memFree=29462532/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=126976 CPUtime=0.29
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 31475 0 0 0 27 2 0 0 25 0 1 0 134595859 130023424 30985 4089446400 4194304 7136930 140734428542944 18446744073709551615 4668784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15567/statm: 31744 30985 289 719 0 31023 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 126976

[startup+0.700498 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 15567
/proc/meminfo: memFree=29462532/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=163052 CPUtime=0.69
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 39234 0 0 0 66 3 0 0 25 0 1 0 134595859 166965248 38744 4089446400 4194304 7136930 140734428542944 18446744073709551615 4241136 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15567/statm: 40763 38744 323 719 0 40042 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 163052

[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15568
/proc/meminfo: memFree=29308020/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=163052 CPUtime=1.49
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 39234 0 0 0 146 3 0 0 25 0 1 0 134595859 166965248 38744 4089446400 4194304 7136930 140734428542944 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15567/statm: 40763 38744 323 719 0 40042 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 163052

[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15568
/proc/meminfo: memFree=29305912/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=163052 CPUtime=3.09
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 39234 0 0 0 306 3 0 0 25 0 1 0 134595859 166965248 38744 4089446400 4194304 7136930 140734428542944 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 40763 38744 323 719 0 40042 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 163052

[startup+6.3005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15568
/proc/meminfo: memFree=29301696/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=171888 CPUtime=6.29
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 42379 0 0 0 624 5 0 0 25 0 1 0 134595859 176013312 41079 4089446400 4194304 7136930 140734428542944 18446744073709551615 5500400 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 42972 41079 385 719 0 42251 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 171888

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15568
/proc/meminfo: memFree=29281860/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=172664 CPUtime=12.69
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 42577 0 0 0 1263 6 0 0 25 0 1 0 134595859 176807936 41271 4089446400 4194304 7136930 140734428542944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 43166 41271 379 719 0 42445 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 172664

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15569
/proc/meminfo: memFree=29261236/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=177336 CPUtime=25.49
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 45521 0 0 0 2538 11 0 0 25 0 1 0 134595859 181592064 42172 4089446400 4194304 7136930 140734428542944 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 44334 42172 389 719 0 43613 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 177336

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15569
/proc/meminfo: memFree=29226436/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=178544 CPUtime=51.09
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 45820 0 0 0 5093 16 0 0 25 0 1 0 134595859 182829056 42471 4089446400 4194304 7136930 140734428542944 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 44636 42471 389 719 0 43915 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 178544

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15571
/proc/meminfo: memFree=29151756/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=183440 CPUtime=102.3
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 47091 0 0 0 10205 25 0 0 25 0 1 0 134595859 187842560 43742 4089446400 4194304 7136930 140734428542944 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 45860 43742 389 719 0 45139 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 183440

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15572
/proc/meminfo: memFree=29069872/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=186156 CPUtime=162.29
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 47802 0 0 0 16194 35 0 0 25 0 1 0 134595859 190623744 44453 4089446400 4194304 7136930 140734428542944 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 46539 44453 389 719 0 45818 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 186156

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15573
/proc/meminfo: memFree=28982532/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=189132 CPUtime=222.29
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 48587 0 0 0 22182 47 0 0 25 0 1 0 134595859 193671168 45238 4089446400 4194304 7136930 140734428542944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 47283 45238 389 719 0 46562 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 189132

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15575
/proc/meminfo: memFree=28897912/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=191336 CPUtime=282.3
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 49170 0 0 0 28173 57 0 0 25 0 1 0 134595859 195928064 45821 4089446400 4194304 7136930 140734428542944 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 47834 45821 389 719 0 47113 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 191336

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15577
/proc/meminfo: memFree=28813900/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=195372 CPUtime=342.3
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 50216 0 0 0 34163 67 0 0 25 0 1 0 134595859 200060928 46867 4089446400 4194304 7136930 140734428542944 18446744073709551615 4827090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 48843 46867 389 719 0 48122 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 195372

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15579
/proc/meminfo: memFree=28730028/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=198348 CPUtime=402.3
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 50991 0 0 0 40153 77 0 0 25 0 1 0 134595859 203108352 47642 4089446400 4194304 7136930 140734428542944 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 49587 47642 389 719 0 48866 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 198348

[startup+462.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15580
/proc/meminfo: memFree=28643296/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=201324 CPUtime=462.3
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 51764 0 0 0 46144 86 0 0 25 0 1 0 134595859 206155776 48415 4089446400 4194304 7136930 140734428542944 18446744073709551615 5892296 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 50331 48415 389 719 0 49610 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 201324

[startup+522.301 s]
/proc/loadavg: 1.52 1.88 1.96 2/171 15606
/proc/meminfo: memFree=31054456/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=206604 CPUtime=522.31
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 52603 0 0 0 52134 97 0 0 25 0 1 0 134595859 211562496 49254 4089446400 4194304 7136930 140734428542944 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 51651 49254 389 719 0 50930 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 206604

[startup+582.301 s]
/proc/loadavg: 1.19 1.72 1.89 2/171 15608
/proc/meminfo: memFree=31051268/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=209580 CPUtime=582.3
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 53376 0 0 0 58124 106 0 0 25 0 1 0 134595859 214609920 50027 4089446400 4194304 7136930 140734428542944 18446744073709551615 5892296 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 52395 50027 389 719 0 51674 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 209580

[startup+642.3 s]
/proc/loadavg: 1.07 1.58 1.84 2/171 15610
/proc/meminfo: memFree=31048988/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=211780 CPUtime=642.31
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 53925 0 0 0 64116 115 0 0 25 0 1 0 134595859 216862720 50576 4089446400 4194304 7136930 140734428542944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 52945 50576 389 719 0 52224 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 211780

[startup+702.3 s]

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

/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 58686 0 0 0 100059 172 0 0 25 0 1 0 134595859 235499520 55337 4089446400 4194304 7136930 140734428542944 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 57495 55337 389 719 0 56774 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 229980

[startup+1062.3 s]
/proc/loadavg: 1.00 1.15 1.52 2/171 15621
/proc/meminfo: memFree=31026736/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=232956 CPUtime=1062.32
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 59461 0 0 0 106049 183 0 0 25 0 1 0 134595859 238546944 56112 4089446400 4194304 7136930 140734428542944 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 58239 56112 389 719 0 57518 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 232956

[startup+1122.3 s]
/proc/loadavg: 1.00 1.12 1.49 2/171 15622
/proc/meminfo: memFree=31023716/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=235932 CPUtime=1122.32
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 60237 0 0 0 112040 192 0 0 25 0 1 0 134595859 241594368 56888 4089446400 4194304 7136930 140734428542944 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 58983 56888 389 719 0 58262 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 235932

[startup+1182.3 s]
/proc/loadavg: 1.00 1.10 1.45 2/171 15624
/proc/meminfo: memFree=31019584/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=239932 CPUtime=1182.32
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 61266 0 0 0 118031 201 0 0 25 0 1 0 134595859 245690368 57917 4089446400 4194304 7136930 140734428542944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 59983 57917 389 719 0 59262 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 239932

[startup+1242.3 s]
/proc/loadavg: 1.00 1.08 1.42 2/171 15626
/proc/meminfo: memFree=31016564/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=242776 CPUtime=1242.33
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 62008 0 0 0 124022 211 0 0 25 0 1 0 134595859 248602624 58659 4089446400 4194304 7136930 140734428542944 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 60694 58659 389 719 0 59973 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 242776

[startup+1302.3 s]
/proc/loadavg: 1.00 1.06 1.39 2/171 15628
/proc/meminfo: memFree=31014916/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=244332 CPUtime=1302.33
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 62426 0 0 0 130013 220 0 0 25 0 1 0 134595859 250195968 59077 4089446400 4194304 7136930 140734428542944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 61083 59077 389 719 0 60362 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 244332

[startup+1362.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/171 15629
/proc/meminfo: memFree=31012144/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=246792 CPUtime=1362.33
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 63069 0 0 0 136005 228 0 0 25 0 1 0 134595859 252715008 59720 4089446400 4194304 7136930 140734428542944 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 61698 59720 389 719 0 60977 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 246792

[startup+1422.31 s]
/proc/loadavg: 1.00 1.04 1.34 2/171 15630
/proc/meminfo: memFree=31009112/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=249768 CPUtime=1422.33
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 63841 0 0 0 141994 239 0 0 25 0 1 0 134595859 255762432 60492 4089446400 4194304 7136930 140734428542944 18446744073709551615 4834562 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 62442 60492 389 719 0 61721 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 249768

[startup+1482.3 s]
/proc/loadavg: 1.03 1.04 1.32 2/171 15632
/proc/meminfo: memFree=31006348/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=252484 CPUtime=1482.34
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 64551 0 0 0 147985 249 0 0 25 0 1 0 134595859 258543616 61202 4089446400 4194304 7136930 140734428542944 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 63121 61202 389 719 0 62400 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 252484

[startup+1542.3 s]
/proc/loadavg: 1.01 1.03 1.30 2/171 15634
/proc/meminfo: memFree=31002824/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=259816 CPUtime=1542.33
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 65389 0 0 0 153976 257 0 0 25 0 1 0 134595859 266051584 62040 4089446400 4194304 7136930 140734428542944 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 64954 62040 389 719 0 64233 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 259816

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/171 15636
/proc/meminfo: memFree=31000676/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=262660 CPUtime=1602.34
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 66131 0 0 0 159967 267 0 0 25 0 1 0 134595859 268963840 62782 4089446400 4194304 7136930 140734428542944 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 65665 62782 389 719 0 64944 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 262660

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/171 15637
/proc/meminfo: memFree=30997784/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=264604 CPUtime=1662.34
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 66646 0 0 0 165958 276 0 0 25 0 1 0 134595859 270954496 63297 4089446400 4194304 7136930 140734428542944 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 66151 63297 389 719 0 65430 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 264604

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/171 15638
/proc/meminfo: memFree=30994380/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=268088 CPUtime=1722.33
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 67545 0 0 0 171948 285 0 0 25 0 1 0 134595859 274522112 64196 4089446400 4194304 7136930 140734428542944 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 67022 64196 389 719 0 66301 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 268088

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/171 15640
/proc/meminfo: memFree=30990852/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=271064 CPUtime=1782.34
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 68320 0 0 0 177938 296 0 0 25 0 1 0 134595859 277569536 64971 4089446400 4194304 7136930 140734428542944 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 67766 64971 389 719 0 67045 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 271064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.22 2/171 15641
/proc/meminfo: memFree=30990436/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=271712 CPUtime=1800.05
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 68491 0 0 0 179706 299 0 0 25 0 1 0 134595859 278233088 65142 4089446400 4194304 7136930 140734428542944 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15567/statm: 67928 65142 389 719 0 67207 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 271712

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -15567

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.22 2/172 15642
/proc/meminfo: memFree=30990428/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=271712 CPUtime=1801.44
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 68491 0 0 0 179845 299 0 0 25 0 1 0 134595859 278233088 65142 4089446400 4194304 7136930 140734428542944 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15567/statm: 67928 65142 389 719 0 67207 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 271712

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.22 2/172 15642
/proc/meminfo: memFree=30990428/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=271712 CPUtime=1801.85
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 68491 0 0 0 179886 299 0 0 25 0 1 0 134595859 278233088 65142 4089446400 4194304 7136930 140734428542944 18446744073709551615 4241136 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15567/statm: 67928 65142 389 719 0 67207 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 271712

[startup+1802 s]
/proc/loadavg: 1.00 1.00 1.22 2/172 15642
/proc/meminfo: memFree=30990428/32951124 swapFree=67111528/67111528
[pid=15567] ppid=15565 vsize=271712 CPUtime=1802.04
/proc/15567/stat : 15567 (pbscip.linux.x8) R 15565 15567 14567 0 -1 4202496 68491 0 0 0 179905 299 0 0 25 0 1 0 134595859 278233088 65142 4089446400 4194304 7136930 140734428542944 18446744073709551615 6350638 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15567/statm: 67928 65142 389 719 0 67207 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 271712

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.02
CPU time (s): 1802.07
CPU user time (s): 1799.06
CPU system time (s): 3.00254
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 271712

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

runsolver used 3.02454 second user time and 5.15721 second system time

The end

Launcher Data 

Begin job on node106 at 2010-06-30 23:23:02
IDJOB=2693943
IDBENCH=79347
IDSOLVER=1206
FILE ID=node106/2693943-1277932982
PBS_JOBID= 11197405
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB10/oliveras/j60/normalized-j602_7-unsat--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693943-1277932982/watcher-2693943-1277932982 -o /tmp/evaluation-result-2693943-1277932982/solver-2693943-1277932982 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693943-1277932982.wbo -t 1800 -m 3800

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

MD5SUM BENCH= c93eadfd598977d622635d98b523c998
RANDOM SEED=2019783046

node106.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.82
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.76
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.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.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.73
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.83
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	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29463060 kB
Buffers:        218920 kB
Cached:        1280176 kB
SwapCached:          0 kB
Active:        2287068 kB
Inactive:      1054172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29463060 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3916 kB
Writeback:           0 kB
AnonPages:     1842188 kB
Mapped:          16892 kB
Slab:            80508 kB
PageTables:       8240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1992612 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= 74208 MiB
End job on node106 at 2010-06-30 23:53:04