Trace number 3461735

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.6? (TO) 1800.09 1800.04

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12060_5.std.opb
MD5SUMa5005fc9f27cd5643854e7c3033a2662
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark107
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints256266
Number of constraints which are clauses255066
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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 wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3461735-1307121309.opb.
0.00/0.00	c Instance file HOME/instance-3461735-1307121309.opb
0.00/0.00	c File size is 8621137 bytes.
0.59/0.68	c Highest Coefficient sum: 733
0.59/0.68	c ============================[ Problem Statistics ]=============================
0.59/0.68	c |                                                                             |
0.59/0.68	c |  Parsing time:          0.67         s                                      |
0.59/0.68	c |  Number Variables:      72842                                               |
0.59/0.68	c |  Number Clauses:        255066                                              |
0.59/0.68	c |  Number Cardinality:    0                                                   |
0.59/0.68	c |  Number PB Constraints: 1200                                                |
0.78/0.81	c ============================[ Search Statistics ]==============================
0.78/0.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.78/0.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.78/0.81	c ===============================================================================
0.78/0.81	c |         0 |   53674   256266   566609 |    85422        0   -nan |  0.000 % |
1.01/1.03	c core #1
1.01/1.03	c 
1.01/1.03	c 
1.01/1.03	c Core size: 408	Core Weight: 96	Total Weight: 96
1.01/1.03	c Current CPU time: 0.886865 s
1.01/1.03	c
1.01/1.03	c ============================[ Search Statistics ]==============================
1.01/1.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.01/1.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.01/1.03	c ===============================================================================
1.01/1.03	c |         0 |    4942   198059   403447 |    66019        0   -nan |  0.000 % |
1.01/1.04	c |       100 |    4942   198059   403447 |    72621      100     38 | 93.234 % |
1.01/1.06	c |       250 |    4942   198059   403447 |    79883      250     46 | 93.234 % |
1.01/1.08	c |       475 |    4942   198059   403447 |    87872      475     47 | 93.234 % |
1.11/1.13	c |       812 |    4942   198059   403447 |    96659      812     51 | 93.234 % |
1.19/1.20	c |      1323 |    4942   198059   403447 |   106325     1323     49 | 93.234 % |
1.29/1.31	c |      2082 |    4942   198059   403447 |   116957     2082     51 | 93.234 % |
1.39/1.46	c |      3221 |    4942   198059   403447 |   128653     3221     55 | 93.234 % |
1.69/1.71	c |      4929 |    4942   198059   403447 |   141519     4929     53 | 93.234 % |
2.10/2.13	c |      7491 |    4942   198059   403447 |   155670     7491     58 | 93.234 % |
2.78/2.82	c |     11335 |    4942   198059   403447 |   171238    11335     59 | 93.234 % |
3.78/3.81	c |     17101 |    4942   198059   403447 |   188361    17101     61 | 93.234 % |
5.50/5.57	c |     25751 |    4942   198059   403447 |   207197    25751     64 | 93.234 % |
8.80/8.86	c |     38726 |    4942   198059   403447 |   227917    38726     64 | 93.234 % |
14.20/14.24	c |     58188 |    4942   198059   403447 |   250709    58188     68 | 93.234 % |
26.19/26.20	c |     87380 |    4932   198059   403447 |   275780    87380     72 | 93.248 % |
49.09/49.14	c |    131169 |    4916   198059   403447 |   303358   131169     76 | 93.323 % |
101.59/101.68	c |    196853 |    4762   198059   403447 |   333694   196853     81 | 93.481 % |
109.29/109.39	c ===============================================================================
109.59/109.61	c core #2
109.59/109.61	c 
109.59/109.61	c 
109.59/109.61	c Core size: 976	Core Weight: 1	Total Weight: 97
109.59/109.61	c Current CPU time: 109.119 s
109.59/109.61	c
109.59/109.61	c ============================[ Search Statistics ]==============================
109.59/109.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
109.59/109.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
109.59/109.61	c ===============================================================================
109.59/109.61	c |         0 |    5593   198294   404704 |    66098        0   -nan |  0.000 % |
109.59/109.63	c |       101 |    5593   198294   404704 |    72707      101     41 | 92.365 % |
109.59/109.65	c |       251 |    5593   198294   404704 |    79978      251     51 | 92.365 % |
109.59/109.68	c |       476 |    5593   198294   404704 |    87976      476     48 | 92.365 % |
109.69/109.72	c |       813 |    5593   198294   404704 |    96774      813     52 | 92.365 % |
109.69/109.79	c |      1319 |    5593   198294   404704 |   106451     1319     58 | 92.365 % |
109.78/109.88	c |      2078 |    5593   198294   404704 |   117096     2078     54 | 92.365 % |
110.01/110.04	c |      3217 |    5593   198294   404704 |   128806     3217     58 | 92.365 % |
110.29/110.31	c |      4925 |    5593   198294   404704 |   141686     4925     59 | 92.365 % |
110.69/110.74	c |      7487 |    5593   198294   404704 |   155855     7487     64 | 92.365 % |
111.39/111.45	c |     11331 |    5593   198294   404704 |   171441    11331     62 | 92.365 % |
112.39/112.49	c |     17097 |    5593   198294   404704 |   188585    17097     65 | 92.365 % |
114.40/114.46	c |     25746 |    5593   198294   404704 |   207443    25746     73 | 92.365 % |
117.49/117.55	c |     38720 |    5593   198294   404704 |   228188    38720     69 | 92.365 % |
123.21/123.22	c |     58182 |    5593   198294   404704 |   251007    58182     75 | 92.365 % |
133.11/133.19	c |     87374 |    5593   198294   404704 |   276107    87374     73 | 92.365 % |
153.90/153.95	c |    131163 |    5593   198294   404704 |   303718   131163     76 | 92.365 % |
197.69/197.74	c |    196848 |    5593   198294   404704 |   334090   196848     74 | 92.365 % |
279.80/279.85	c |    295374 |    5593   198294   404704 |   367499   295374     78 | 92.365 % |
484.40/484.48	c |    443163 |    5593   198294   404704 |   404249    35315     76 | 92.365 % |
655.01/655.01	c |    664848 |    5593   198294   404704 |   444674   257000     85 | 92.365 % |
1055.02/1055.00	c |    997374 |    5593   198294   404704 |   489141   102169    109 | 92.365 % |
1670.96/1670.97	c |   1496163 |    5556   198294   404704 |   538055    66133     92 | 92.415 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461735-1307121309/watcher-3461735-1307121309 -o /tmp/evaluation-result-3461735-1307121309/solver-3461735-1307121309 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461735-1307121309.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.03 2.00 2/436 24480
/proc/meminfo: memFree=20654644/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=12740 CPUtime=0.01 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 861 0 0 0 1 0 0 0 25 0 1 0 823728838 13045760 814 33554432000 4194304 5714214 140734369273104 18446744073709551615 4232592 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24480/statm: 3185 816 200 372 0 705 0

[startup+0.060822 s]
/proc/loadavg: 2.08 2.03 2.00 2/436 24480
/proc/meminfo: memFree=20654644/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=22604 CPUtime=0.05 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 3207 0 0 0 5 0 0 0 25 0 1 0 823728838 23146496 3111 33554432000 4194304 5714214 140734369273104 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24480/statm: 5651 3115 358 372 0 3171 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 22604

[startup+0.100847 s]
/proc/loadavg: 2.08 2.03 2.00 2/436 24480
/proc/meminfo: memFree=20654644/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=25228 CPUtime=0.09 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 4181 0 0 0 9 0 0 0 25 0 1 0 823728838 25833472 3987 33554432000 4194304 5714214 140734369273104 18446744073709551615 4361249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24480/statm: 6307 3988 497 372 0 3827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25228

[startup+0.300807 s]
/proc/loadavg: 2.08 2.03 2.00 2/436 24480
/proc/meminfo: memFree=20654644/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=33468 CPUtime=0.29 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 6924 0 0 0 29 0 0 0 25 0 1 0 823728838 34271232 6601 33554432000 4194304 5714214 140734369273104 18446744073709551615 4228372 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24480/statm: 8367 6603 1167 372 0 5887 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33468

[startup+0.700734 s]
/proc/loadavg: 2.08 2.03 2.00 2/436 24480
/proc/meminfo: memFree=20654644/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=64420 CPUtime=0.69 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 17164 0 0 0 67 2 0 0 18 0 1 0 823728838 65966080 14470 33554432000 4194304 5714214 140734369273104 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24480/statm: 16105 14496 172 372 0 15730 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64420

[startup+1.50052 s]
/proc/loadavg: 2.08 2.03 2.00 3/437 24481
/proc/meminfo: memFree=20544896/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=105664 CPUtime=1.49 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 32464 0 0 0 145 4 0 0 18 0 1 0 823728838 108199936 25540 33554432000 4194304 5714214 140734369273104 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/24480/statm: 26416 25540 180 372 0 26041 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105664

[startup+3.10029 s]
/proc/loadavg: 2.07 2.03 2.00 3/437 24481
/proc/meminfo: memFree=20549732/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=105664 CPUtime=3.08 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 32464 0 0 0 304 4 0 0 22 0 1 0 823728838 108199936 25540 33554432000 4194304 5714214 140734369273104 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 26416 25540 180 372 0 26041 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 105664

[startup+6.3007 s]
/proc/loadavg: 2.07 2.03 2.00 3/437 24481
/proc/meminfo: memFree=20550320/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=105664 CPUtime=6.28 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 32481 0 0 0 623 5 0 0 25 0 1 0 823728838 108199936 25557 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 26416 25557 180 372 0 26041 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 105664

[startup+12.7005 s]
/proc/loadavg: 2.14 2.04 2.01 3/437 24481
/proc/meminfo: memFree=20549588/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=105664 CPUtime=12.68 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 32481 0 0 0 1261 7 0 0 25 0 1 0 823728838 108199936 25557 33554432000 4194304 5714214 140734369273104 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 26416 25557 180 372 0 26041 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 105664

[startup+25.5011 s]
/proc/loadavg: 2.12 2.04 2.00 3/437 24481
/proc/meminfo: memFree=20536320/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=120228 CPUtime=25.49 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 36097 0 0 0 2538 11 0 0 25 0 1 0 823728838 123113472 29173 33554432000 4194304 5714214 140734369273104 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 30057 29173 180 372 0 29682 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 120228

[startup+51.1004 s]
/proc/loadavg: 2.08 2.04 2.00 3/437 24482
/proc/meminfo: memFree=20507380/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=144112 CPUtime=51.09 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 42058 0 0 0 5091 18 0 0 25 0 1 0 823728838 147570688 35134 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 36028 35134 180 372 0 35653 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 144112

[startup+102.317 s]
/proc/loadavg: 2.13 2.06 2.01 3/437 24483
/proc/meminfo: memFree=20452332/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=178664 CPUtime=102.31 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 50620 0 0 0 10204 27 0 0 25 0 1 0 823728838 182951936 43696 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319852 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 44666 43696 180 372 0 44291 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 178664

[startup+162.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/437 24485
/proc/meminfo: memFree=20383104/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=210764 CPUtime=162.29 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 58884 0 0 0 16188 41 0 0 25 0 1 0 823728838 215822336 51960 33554432000 4194304 5714214 140734369273104 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 52691 51960 180 372 0 52316 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 210764

[startup+222.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/437 24487
/proc/meminfo: memFree=20384428/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=210764 CPUtime=222.29 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 58945 0 0 0 22176 53 0 0 25 0 1 0 823728838 215822336 52021 33554432000 4194304 5714214 140734369273104 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 52691 52021 180 372 0 52316 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 210764

[startup+282.301 s]
/proc/loadavg: 2.10 2.07 2.01 3/437 24488
/proc/meminfo: memFree=20364560/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=230428 CPUtime=282.29 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 63856 0 0 0 28166 63 0 0 25 0 1 0 823728838 235958272 56932 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 57607 56932 180 372 0 57232 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 230428

[startup+342.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/437 24490
/proc/meminfo: memFree=20340216/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=254192 CPUtime=342.3 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 69493 0 0 0 34159 71 0 0 25 0 1 0 823728838 260292608 62569 33554432000 4194304 5714214 140734369273104 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 63548 62569 180 372 0 63173 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 254192

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 24491
/proc/meminfo: memFree=20319356/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=274648 CPUtime=402.3 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 74593 0 0 0 40151 79 0 0 25 0 1 0 823728838 281239552 67669 33554432000 4194304 5714214 140734369273104 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 68662 67669 180 372 0 68287 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 274648

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 24493
/proc/meminfo: memFree=20286344/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=296416 CPUtime=462.3 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 80099 0 0 0 46144 86 0 0 25 0 1 0 823728838 303529984 73175 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319297 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 74104 73175 180 372 0 73729 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 296416

[startup+522.301 s]
/proc/loadavg: 2.16 2.06 2.01 3/437 24495
/proc/meminfo: memFree=20266452/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=303612 CPUtime=522.31 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 81847 0 0 0 52133 98 0 0 25 0 1 0 823728838 310898688 74923 33554432000 4194304 5714214 140734369273104 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 75903 74923 180 372 0 75528 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 303612

[startup+582.301 s]
/proc/loadavg: 2.16 2.07 2.02 3/437 24496
/proc/meminfo: memFree=20238132/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=304932 CPUtime=582.3 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 82159 0 0 0 58125 105 0 0 25 0 1 0 823728838 312250368 75235 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 76233 75235 180 372 0 75858 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 304932

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 24503
/proc/meminfo: memFree=20191976/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=351076 CPUtime=822.31 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 93629 0 0 0 82094 137 0 0 25 0 1 0 823728838 359501824 86705 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 87769 86705 180 372 0 87394 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 351076

[startup+882.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 24504
/proc/meminfo: memFree=20165516/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=375336 CPUtime=882.31 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 99682 0 0 0 88086 145 0 0 25 0 1 0 823728838 384344064 92758 33554432000 4194304 5714214 140734369273104 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 93834 92758 180 372 0 93459 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 375336

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 24506
/proc/meminfo: memFree=20147860/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=395200 CPUtime=942.32 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 104238 0 0 0 94080 152 0 0 25 0 1 0 823728838 404684800 97314 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 98800 97314 180 372 0 98425 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 395200

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 24507
/proc/meminfo: memFree=20129976/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=412696 CPUtime=1002.32 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 108643 0 0 0 100074 158 0 0 25 0 1 0 823728838 422600704 101719 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 103174 101719 180 372 0 102799 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 412696

[startup+1062.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/437 24509
/proc/meminfo: memFree=20127568/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=414668 CPUtime=1062.32 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 109115 0 0 0 106064 168 0 0 25 0 1 0 823728838 424620032 102191 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319319 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 103667 102191 180 372 0 103292 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 414668

[startup+1122.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/437 24511
/proc/meminfo: memFree=20125932/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=415676 CPUtime=1122.33 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 109314 0 0 0 112057 176 0 0 25 0 1 0 823728838 425652224 102390 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 103919 102390 180 372 0 103544 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 415676

[startup+1182.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/437 24512
/proc/meminfo: memFree=20125032/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=416852 CPUtime=1182.33 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 109561 0 0 0 118050 183 0 0 25 0 1 0 823728838 426856448 102637 33554432000 4194304 5714214 140734369273104 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 104213 102637 180 372 0 103838 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 416852

[startup+1242.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/437 24514
/proc/meminfo: memFree=20125840/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=417064 CPUtime=1242.32 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 109615 0 0 0 124043 189 0 0 25 0 1 0 823728838 427073536 102691 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 104266 102691 180 372 0 103891 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 417064

[startup+1302.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/437 24515
/proc/meminfo: memFree=20123332/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=418760 CPUtime=1302.34 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 109984 0 0 0 130038 196 0 0 25 0 1 0 823728838 428810240 103060 33554432000 4194304 5714214 140734369273104 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 104690 103060 180 372 0 104315 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 418760

[startup+1362.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/437 24517
/proc/meminfo: memFree=20122440/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=419384 CPUtime=1362.33 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 110182 0 0 0 136032 201 0 0 25 0 1 0 823728838 429449216 103258 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 104846 103258 180 372 0 104471 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 419384

[startup+1422.32 s]
/proc/loadavg: 2.06 2.07 2.01 3/437 24519
/proc/meminfo: memFree=20114608/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=427164 CPUtime=1422.35 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 112126 0 0 0 142026 209 0 0 25 0 1 0 823728838 437415936 105202 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 106791 105202 180 372 0 106416 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 427164

[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/437 24520
/proc/meminfo: memFree=20098216/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=444464 CPUtime=1482.34 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 116368 0 0 0 148018 216 0 0 25 0 1 0 823728838 455131136 109444 33554432000 4194304 5714214 140734369273104 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 111116 109444 180 372 0 110741 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 444464

[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 24522
/proc/meminfo: memFree=20081552/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=461992 CPUtime=1542.33 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 120675 0 0 0 154009 224 0 0 25 0 1 0 823728838 473079808 113751 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 115498 113751 180 372 0 115123 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 461992

[startup+1602.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/437 24523
/proc/meminfo: memFree=20061556/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=482220 CPUtime=1602.33 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 125712 0 0 0 160001 232 0 0 25 0 1 0 823728838 493793280 118788 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 120555 118788 180 372 0 120180 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 482220

[startup+1662.3 s]
/proc/loadavg: 1.44 1.88 1.95 2/431 24543
/proc/meminfo: memFree=20333848/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=496576 CPUtime=1662.34 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 129344 0 0 0 165995 239 0 0 25 0 1 0 823728838 508493824 122420 33554432000 4194304 5714214 140734369273104 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 124144 122420 180 372 0 123769 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 496576

[startup+1722.3 s]
/proc/loadavg: 1.20 1.73 1.89 2/431 24545
/proc/meminfo: memFree=20333828/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=496736 CPUtime=1722.34 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 129372 0 0 0 171984 250 0 0 25 0 1 0 823728838 508657664 122448 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 124184 122448 180 372 0 123809 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 496736

[startup+1782.3 s]
/proc/loadavg: 1.07 1.59 1.83 2/431 24546
/proc/meminfo: memFree=20332076/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=497636 CPUtime=1782.35 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 129555 0 0 0 177978 257 0 0 25 0 1 0 823728838 509579264 122631 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 124409 122631 180 372 0 124034 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 497636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.05 1.56 1.82 2/431 24547
/proc/meminfo: memFree=20330928/32951124 swapFree=60787360/67111528
[pid=24480] ppid=24478 vsize=498408 CPUtime=1800.06 cores=0,2,4,6
/proc/24480/stat : 24480 (wbo1.6) R 24478 24480 18464 0 -1 4202496 129742 0 0 0 179747 259 0 0 25 0 1 0 823728838 510369792 122818 33554432000 4194304 5714214 140734369273104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24480/statm: 124602 122818 180 372 0 124227 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 498408

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.04
CPU time (s): 1800.09
CPU user time (s): 1797.48
CPU system time (s): 2.6166
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 498408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.48
system time used= 2.6166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129742
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= 5
involuntary context switches= 1743

runsolver used 8.32873 second user time and 17.5093 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-03 19:15:10
IDJOB=3461735
IDBENCH=77502
IDSOLVER=1953
FILE ID=node135/3461735-1307121309
RUNJOBID= node135-1307116712-23526
PBS_JOBID= 13497982
Free space on /tmp= 73940 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12060_5.std.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461735-1307121309/watcher-3461735-1307121309 -o /tmp/evaluation-result-3461735-1307121309/solver-3461735-1307121309 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461735-1307121309.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a5005fc9f27cd5643854e7c3033a2662
RANDOM SEED=1753237069

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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.74
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.851
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:      20654800 kB
Buffers:        240424 kB
Cached:         537804 kB
SwapCached:       6168 kB
Active:       11589780 kB
Inactive:       447708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20654800 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:           12716 kB
Writeback:           0 kB
AnonPages:    11258440 kB
Mapped:          26760 kB
Slab:           125936 kB
PageTables:      66176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124556712 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73948 MiB
End job on node135 at 2011-06-03 19:45:12