Trace number 2692440

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.09 1802.03

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-33-100-0.wbo
MD5SUM0f4cdf827473fd69202dfaa2ec82572c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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.32295
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6832
Total number of constraints19477
Number of soft constraints13064
Number of constraints which are clauses18953
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints524
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 665815
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 665814
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
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: SoPlex 1.4.2] [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-2692440-1277915290.wbo>
0.19/0.21	c original problem has 32960 variables (19896 bin, 0 int, 0 impl, 13064 cont) and 32542 constraints
0.19/0.21	c problem read
0.19/0.21	c presolving settings loaded
0.39/0.41	c presolving:
0.39/0.48	c (round 1) 43 del vars, 3 del conss, 0 chg bounds, 262 chg sides, 524 chg coeffs, 0 upgd conss, 29376 impls, 0 clqs
0.49/0.50	c (round 2) 44 del vars, 88 del conss, 0 chg bounds, 262 chg sides, 524 chg coeffs, 0 upgd conss, 29376 impls, 0 clqs
0.49/0.54	c (round 3) 45 del vars, 88 del conss, 13063 chg bounds, 262 chg sides, 524 chg coeffs, 0 upgd conss, 29376 impls, 0 clqs
0.59/0.64	c (round 4) 45 del vars, 88 del conss, 13063 chg bounds, 262 chg sides, 524 chg coeffs, 6329 upgd conss, 29376 impls, 0 clqs
1.39/1.45	c    (1.2s) probing: 215/19852 (1.1%) - 0 fixings, 1 aggregations, 4 implications, 0 bound changes
1.39/1.45	c    (1.2s) probing aborted: 100/100 successive totally useless probings
1.39/1.46	c presolving (5 rounds):
1.39/1.46	c  46 deleted vars, 88 deleted constraints, 13063 tightened bounds, 0 added holes, 262 changed sides, 524 changed coefficients
1.39/1.46	c  29419 implications, 0 cliques
1.39/1.46	c presolved problem has 32914 variables (19851 bin, 0 int, 0 impl, 13063 cont) and 32454 constraints
1.39/1.46	c   13063 constraints of type <indicator>
1.39/1.46	c       1 constraints of type <varbound>
1.39/1.46	c     179 constraints of type <knapsack>
1.39/1.46	c   13062 constraints of type <linear>
1.39/1.46	c    6149 constraints of type <logicor>
1.39/1.46	c transformed objective value is always integral (scale: 1)
1.39/1.46	c Presolving Time: 1.09
1.39/1.46	c - non default parameters ----------------------------------------------------------------------
1.39/1.46	c # SCIP version 1.2.1.2
1.39/1.46	c 
1.39/1.46	c # frequency for displaying node information lines
1.39/1.46	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.46	c display/freq = 10000
1.39/1.46	c 
1.39/1.46	c # maximal time in seconds to run
1.39/1.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.46	c limits/time = 1799.8
1.39/1.46	c 
1.39/1.46	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.46	c limits/memory = 3420
1.39/1.46	c 
1.39/1.46	c # should presolving try to simplify inequalities
1.39/1.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46	c constraints/linear/simplifyinequalities = TRUE
1.39/1.46	c 
1.39/1.46	c # should presolving try to simplify knapsacks
1.39/1.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46	c constraints/knapsack/simplifyinequalities = TRUE
1.39/1.46	c 
1.39/1.46	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.39/1.46	c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.46	c separating/rapidlearning/freq = 0
1.39/1.46	c 
1.39/1.46	c -----------------------------------------------------------------------------------------------
1.39/1.46	c start solving
1.39/1.47	c 
1.59/1.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.59/1.60	c   1.3s|     1 |     0 |   237 |     - | 111M|   0 |  96 |  32k|  32k|  32k|6326 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.20/3.30	c   3.0s|     1 |     0 |   839 |     - | 112M|   0 | 183 |  32k|  32k|  32k|6564 | 238 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.29/3.33	o 665768
3.29/3.33	c y 3.0s|     1 |     0 |   839 |     - | 113M|   0 | 183 |  32k|  32k|  32k|6564 | 238 |   0 |   0 | 0.000000e+00 | 6.657680e+05 |    Inf 
4.19/4.20	c   3.9s|     1 |     0 |  1376 |     - | 113M|   0 | 319 |  32k|  32k|  32k|6961 | 635 |   0 |   0 | 0.000000e+00 | 6.657680e+05 |    Inf 
5.50/5.56	c   5.2s|     1 |     0 |  2585 |     - | 114M|   0 | 405 |  32k|  32k|  32k|7379 |1053 |   0 |   0 | 0.000000e+00 | 6.657680e+05 |    Inf 
7.19/7.20	c   6.9s|     1 |     0 |  3413 |     - | 115M|   0 | 366 |  32k|  32k|  32k|7793 |1467 |   0 |   0 | 0.000000e+00 | 6.657680e+05 |    Inf 
8.49/8.58	c   8.2s|     1 |     0 |  4564 |     - | 116M|   0 | 685 |  32k|  32k|  32k|8169 |1843 |   0 |   0 | 0.000000e+00 | 6.657680e+05 |    Inf 
10.79/10.81	c  10.5s|     1 |     0 |  5792 |     - | 116M|   0 | 502 |  32k|  32k|  32k|8524 |2198 |   0 |   0 | 0.000000e+00 | 6.657680e+05 |    Inf 
11.70/11.79	c  11.4s|     1 |     2 |  5792 |     - | 117M|   0 | 502 |  32k|  32k|  32k|8524 |2198 |   0 |  17 | 0.000000e+00 | 6.657680e+05 |    Inf 
556.41/556.43	c   545s| 10000 |  9987 |267741 |  26.2 | 272M| 313 |  18 |  32k|  32k|  32k|8986 |  63k|  94 |  10k| 0.000000e+00 | 6.657680e+05 |    Inf 
923.01/923.03	c   905s| 20000 | 19983 |437258 |  21.6 | 384M| 369 | 263 |  32k|  32k|  32k|8193 | 138k|  98 |  15k| 0.000000e+00 | 6.657680e+05 |    Inf 
1275.93/1275.99	c  1251s| 30000 | 29983 |597122 |  19.7 | 496M| 375 |   0 |  32k|  32k|  32k|9282 | 213k|  98 |  20k| 0.000000e+00 | 6.657680e+05 |    Inf 
1622.04/1622.07	c  1591s| 40000 | 39983 |749079 |  18.6 | 608M| 375 |  56 |  32k|  32k|  32k|9144 | 284k|  98 |  24k| 0.000000e+00 | 6.657680e+05 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time (sec) : 1765.40
1800.04/1800.01	c Solving Nodes      : 44554
1800.04/1800.01	c Primal Bound       : +6.65768000000000e+05 (100 solutions)
1800.04/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.04/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-2692440-1277915290/watcher-2692440-1277915290 -o /tmp/evaluation-result-2692440-1277915290/solver-2692440-1277915290 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692440-1277915290.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 12731
/proc/meminfo: memFree=30586892/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=9308 CPUtime=0
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 1647 0 0 0 0 0 0 0 25 0 1 0 132826713 9531392 1566 4089446400 4194304 8223781 140737426406208 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12731/statm: 2327 1566 369 984 0 1340 0

[startup+0.0538049 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12731
/proc/meminfo: memFree=30586892/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=21504 CPUtime=0.04
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 4669 0 0 0 4 0 0 0 25 0 1 0 132826713 22020096 4588 4089446400 4194304 8223781 140737426406208 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12731/statm: 5376 4588 369 984 0 4389 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21504

[startup+0.100806 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12731
/proc/meminfo: memFree=30586892/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=31604 CPUtime=0.09
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 7191 0 0 0 9 0 0 0 25 0 1 0 132826713 32362496 7110 4089446400 4194304 8223781 140737426406208 18446744073709551615 4240582 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12731/statm: 7901 7110 369 984 0 6914 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31604

[startup+0.300759 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12731
/proc/meminfo: memFree=30586892/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=104932 CPUtime=0.29
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 25819 0 0 0 27 2 0 0 25 0 1 0 132826713 107450368 25278 4089446400 4194304 8223781 140737426406208 18446744073709551615 7256661 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 26233 25278 387 984 0 25246 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 104932

[startup+0.700697 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 12731
/proc/meminfo: memFree=30586892/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=134596 CPUtime=0.69
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 35813 0 0 0 62 7 0 0 25 0 1 0 132826713 137826304 31851 4089446400 4194304 8223781 140737426406208 18446744073709551615 5500824 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 33649 31851 501 984 0 32662 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134596

[startup+1.50054 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12732
/proc/meminfo: memFree=30459784/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=137872 CPUtime=1.49
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 36932 0 0 0 142 7 0 0 25 0 1 0 132826713 141180928 32412 4089446400 4194304 8223781 140737426406208 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 34468 32412 510 984 0 33481 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 137872

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12732
/proc/meminfo: memFree=30432504/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=166576 CPUtime=3.09
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 48146 0 0 0 300 9 0 0 25 0 1 0 132826713 170573824 38760 4089446400 4194304 8223781 140737426406208 18446744073709551615 5744321 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 41644 38760 576 984 0 40657 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 166576

[startup+6.30067 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12732
/proc/meminfo: memFree=30425588/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=170168 CPUtime=6.29
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 51092 0 0 0 617 12 0 0 25 0 1 0 132826713 174252032 39666 4089446400 4194304 8223781 140737426406208 18446744073709551615 4424295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 42542 39666 589 984 0 41555 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 170168

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12733
/proc/meminfo: memFree=30404404/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=186604 CPUtime=12.69
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 81041 0 0 0 1250 19 0 0 25 0 1 0 132826713 191082496 43778 4089446400 4194304 8223781 140737426406208 18446744073709551615 6599108 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 46651 43778 604 984 0 45664 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 186604

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12733
/proc/meminfo: memFree=30395512/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=186604 CPUtime=25.49
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 81041 0 0 0 2527 22 0 0 25 0 1 0 132826713 191082496 43778 4089446400 4194304 8223781 140737426406208 18446744073709551615 6502726 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 46651 43778 604 984 0 45664 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 186604

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12733
/proc/meminfo: memFree=30378148/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=188512 CPUtime=51.09
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 157034 0 0 0 5072 37 0 0 25 0 1 0 132826713 193036288 44069 4089446400 4194304 8223781 140737426406208 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 47128 44069 607 984 0 46141 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 188512

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12735
/proc/meminfo: memFree=30330624/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=199264 CPUtime=102.29
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 286691 0 0 0 10160 69 0 0 25 0 1 0 132826713 204046336 46758 4089446400 4194304 8223781 140737426406208 18446744073709551615 6446940 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 49816 46758 608 984 0 48829 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 199264

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12737
/proc/meminfo: memFree=30251676/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=236612 CPUtime=162.3
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 558853 0 0 0 16114 116 0 0 25 0 1 0 132826713 242290688 56222 4089446400 4194304 8223781 140737426406208 18446744073709551615 6559794 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 59153 56222 608 984 0 58166 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 236612

[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12741
/proc/meminfo: memFree=30195912/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=253924 CPUtime=222.29
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 1333901 0 0 0 22014 215 0 0 25 0 1 0 132826713 260018176 60225 4089446400 4194304 8223781 140737426406208 18446744073709551615 6440115 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 63481 60225 609 984 0 62494 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 253924

[startup+282.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 12742
/proc/meminfo: memFree=30139120/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=270156 CPUtime=282.3
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 2553557 0 0 0 27863 367 0 0 25 0 1 0 132826713 276639744 64336 4089446400 4194304 8223781 140737426406208 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 67539 64353 609 984 0 66552 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 270156

[startup+342.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12744
/proc/meminfo: memFree=30081008/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=285856 CPUtime=342.3
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 3835589 0 0 0 33714 516 0 0 25 0 1 0 132826713 292716544 68313 4089446400 4194304 8223781 140737426406208 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 71464 68313 609 984 0 70477 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 285856

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12746
/proc/meminfo: memFree=30021680/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=303444 CPUtime=402.31
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 5085351 0 0 0 39558 673 0 0 25 0 1 0 132826713 310726656 72717 4089446400 4194304 8223781 140737426406208 18446744073709551615 4827092 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 75861 72717 609 984 0 74874 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 303444

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12748
/proc/meminfo: memFree=29966932/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=316064 CPUtime=462.3
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 6516669 0 0 0 45384 846 0 0 25 0 1 0 132826713 323649536 76021 4089446400 4194304 8223781 140737426406208 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 79016 76021 609 984 0 78029 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 316064

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12749
/proc/meminfo: memFree=29910444/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=329772 CPUtime=522.31
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 7851831 0 0 0 51216 1015 0 0 25 0 1 0 132826713 337686528 79407 4089446400 4194304 8223781 140737426406208 18446744073709551615 6328711 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 82443 79407 609 984 0 81456 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 329772

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12750
/proc/meminfo: memFree=29846788/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=353824 CPUtime=582.31
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 8804529 0 0 0 57096 1135 0 0 25 0 1 0 132826713 362315776 85191 4089446400 4194304 8223781 140737426406208 18446744073709551615 6455718 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 88456 85191 609 984 0 87469 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 353824

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12752
/proc/meminfo: memFree=29785452/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=372344 CPUtime=642.32
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 9570932 0 0 0 62994 1238 0 0 25 0 1 0 132826713 381280256 89875 4089446400 4194304 8223781 140737426406208 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 93086 89875 609 984 0 92099 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 372344

[startup+702.3 s]

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

/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 15172750 0 0 0 98273 1959 0 0 25 0 1 0 132826713 495583232 117815 4089446400 4194304 8223781 140737426406208 18446744073709551615 4965350 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 120992 117815 609 984 0 120005 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 483968

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12792
/proc/meminfo: memFree=30543132/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=497128 CPUtime=1062.32
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 16330565 0 0 0 104125 2107 0 0 25 0 1 0 132826713 509059072 121112 4089446400 4194304 8223781 140737426406208 18446744073709551615 6445638 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 124282 121112 609 984 0 123295 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 497128

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12793
/proc/meminfo: memFree=30455392/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=518100 CPUtime=1122.32
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 17254851 0 0 0 110007 2225 0 0 25 0 1 0 132826713 530534400 126272 4089446400 4194304 8223781 140737426406208 18446744073709551615 6445101 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 129525 126272 609 984 0 128538 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 518100

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12794
/proc/meminfo: memFree=30372612/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=538580 CPUtime=1182.33
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 18068087 0 0 0 115898 2335 0 0 25 0 1 0 132826713 551505920 131543 4089446400 4194304 8223781 140737426406208 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 134645 131543 609 984 0 133658 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 538580

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 12796
/proc/meminfo: memFree=30286716/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=562644 CPUtime=1242.32
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 18777755 0 0 0 121800 2432 0 0 25 0 1 0 132826713 576147456 137509 4089446400 4194304 8223781 140737426406208 18446744073709551615 6450711 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 140661 137509 609 984 0 139674 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 562644

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12798
/proc/meminfo: memFree=30202460/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=581984 CPUtime=1302.34
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 19533540 0 0 0 127701 2533 0 0 25 0 1 0 132826713 595951616 142310 4089446400 4194304 8223781 140737426406208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 145496 142310 609 984 0 144509 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 581984

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12800
/proc/meminfo: memFree=30120432/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=600044 CPUtime=1362.33
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 20566407 0 0 0 133571 2662 0 0 25 0 1 0 132826713 614445056 146922 4089446400 4194304 8223781 140737426406208 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 150011 146922 609 984 0 149024 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 600044

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 12801
/proc/meminfo: memFree=30038020/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=617920 CPUtime=1422.34
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 21658411 0 0 0 139440 2794 0 0 25 0 1 0 132826713 632750080 151326 4089446400 4194304 8223781 140737426406208 18446744073709551615 5813664 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 154480 151326 609 984 0 153493 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 617920

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12802
/proc/meminfo: memFree=29954344/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=635592 CPUtime=1482.33
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 22462022 0 0 0 145335 2898 0 0 25 0 1 0 132826713 650846208 155770 4089446400 4194304 8223781 140737426406208 18446744073709551615 5813326 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 158898 155770 609 984 0 157911 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 635592

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12804
/proc/meminfo: memFree=29868228/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=655792 CPUtime=1542.34
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 23126328 0 0 0 151248 2986 0 0 25 0 1 0 132826713 671531008 160900 4089446400 4194304 8223781 140737426406208 18446744073709551615 6329659 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 163948 160900 609 984 0 162961 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 655792

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12806
/proc/meminfo: memFree=29774916/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=682172 CPUtime=1602.34
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 23702193 0 0 0 157168 3066 0 0 25 0 1 0 132826713 698544128 167526 4089446400 4194304 8223781 140737426406208 18446744073709551615 6568087 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 170543 167526 609 984 0 169556 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 682172

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12808
/proc/meminfo: memFree=29695964/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=698436 CPUtime=1662.33
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 24510862 0 0 0 163068 3165 0 0 25 0 1 0 132826713 715198464 171514 4089446400 4194304 8223781 140737426406208 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 174609 171514 609 984 0 173622 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 698436

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12809
/proc/meminfo: memFree=29616024/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=716052 CPUtime=1722.34
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 25565416 0 0 0 168939 3295 0 0 25 0 1 0 132826713 733237248 175914 4089446400 4194304 8223781 140737426406208 18446744073709551615 5813901 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 179013 175914 609 984 0 178026 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 716052

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12810
/proc/meminfo: memFree=29532624/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=730472 CPUtime=1782.34
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 26516833 0 0 0 174818 3416 0 0 25 0 1 0 132826713 748003328 179516 4089446400 4194304 8223781 140737426406208 18446744073709551615 5813706 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 182618 179516 609 984 0 181631 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 730472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12811
/proc/meminfo: memFree=29505932/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=736916 CPUtime=1800.04
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 26761921 0 0 0 176558 3446 0 0 25 0 1 0 132826713 754601984 181120 4089446400 4194304 8223781 140737426406208 18446744073709551615 7257391 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12731/statm: 184229 181120 609 984 0 183242 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 736916

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -12731

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12812
/proc/meminfo: memFree=29505552/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=735676 CPUtime=1801.44
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 26762084 0 0 0 176698 3446 0 0 25 0 1 0 132826713 753332224 181006 4089446400 4194304 8223781 140737426406208 18446744073709551615 7257348 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12731/statm: 183919 181006 609 984 0 182932 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 735676

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12812
/proc/meminfo: memFree=29505428/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=735676 CPUtime=1801.84
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 26762084 0 0 0 176738 3446 0 0 25 0 1 0 132826713 753332224 181006 4089446400 4194304 8223781 140737426406208 18446744073709551615 7257502 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12731/statm: 183919 181006 609 984 0 182932 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 735676

[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12812
/proc/meminfo: memFree=29505428/32951124 swapFree=67111528/67111528
[pid=12731] ppid=12729 vsize=735676 CPUtime=1802.04
/proc/12731/stat : 12731 (pbscip.linux.x8) R 12729 12731 12286 0 -1 4202496 26762084 0 0 0 176758 3446 0 0 25 0 1 0 132826713 753332224 181006 4089446400 4194304 8223781 140737426406208 18446744073709551615 7257399 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12731/statm: 183919 181006 609 984 0 182932 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 735676

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.09
CPU user time (s): 1767.59
CPU system time (s): 34.4968
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 736980

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

runsolver used 2.79657 second user time and 6.27205 second system time

The end

Launcher Data 

Begin job on node106 at 2010-06-30 18:28:10
IDJOB=2692440
IDBENCH=79050
IDSOLVER=1204
FILE ID=node106/2692440-1277915290
PBS_JOBID= 11197256
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692440-1277915290/watcher-2692440-1277915290 -o /tmp/evaluation-result-2692440-1277915290/solver-2692440-1277915290 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692440-1277915290.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 0f4cdf827473fd69202dfaa2ec82572c
RANDOM SEED=1782097594

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:      30587420 kB
Buffers:        197512 kB
Cached:        1278652 kB
SwapCached:          0 kB
Active:        1187668 kB
Inactive:      1031632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30587420 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5392 kB
Writeback:           0 kB
AnonPages:      743096 kB
Mapped:          17744 kB
Slab:            79112 kB
PageTables:       6112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   891652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node106 at 2010-06-30 18:58:13