Trace number 3461728

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-j12048_7.std.opb
MD5SUM58f861b2885c3bb19bb4f63a6571dc89
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark106
Best CPU time to get the best result obtained on this benchmark1192.46
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 constraints256260
Number of constraints which are clauses255060
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 constraint63
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-3461728-1307121218.opb.
0.00/0.00	c Instance file HOME/instance-3461728-1307121218.opb
0.00/0.00	c File size is 7898359 bytes.
0.59/0.60	c Highest Coefficient sum: 387
0.59/0.60	c ============================[ Problem Statistics ]=============================
0.59/0.60	c |                                                                             |
0.59/0.60	c |  Parsing time:          0.59         s                                      |
0.59/0.60	c |  Number Variables:      72842                                               |
0.59/0.60	c |  Number Clauses:        255060                                              |
0.59/0.60	c |  Number Cardinality:    0                                                   |
0.59/0.60	c |  Number PB Constraints: 1200                                                |
0.69/0.72	c ============================[ Search Statistics ]==============================
0.69/0.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.72	c ===============================================================================
0.69/0.72	c |         0 |   53337   256260   496276 |    85420        0   -nan |  0.000 % |
0.89/0.92	c core #1
0.89/0.92	c 
0.89/0.92	c 
0.89/0.92	c Core size: 396	Core Weight: 102	Total Weight: 102
0.89/0.92	c Current CPU time: 0.792879 s
0.89/0.92	c
0.89/0.92	c ============================[ Search Statistics ]==============================
0.89/0.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.92	c ===============================================================================
0.89/0.92	c |         0 |    6064   196006   387535 |    65335        0   -nan |  0.000 % |
0.89/0.93	c |       101 |    6064   196006   387535 |    71868      101     22 | 91.698 % |
0.89/0.95	c |       251 |    6064   196006   387535 |    79055      251     27 | 91.698 % |
0.89/0.98	c |       477 |    6064   196006   387535 |    86961      477     31 | 91.698 % |
1.01/1.03	c |       814 |    6064   196006   387535 |    95657      814     34 | 91.698 % |
1.01/1.11	c |      1320 |    6064   196006   387535 |   105223     1320     39 | 91.698 % |
1.19/1.24	c |      2081 |    5902   196006   387535 |   115745     2081     44 | 91.920 % |
1.19/1.28	c ===============================================================================
1.29/1.38	c core #2
1.29/1.38	c 
1.29/1.38	c 
1.29/1.38	c Core size: 864	Core Weight: 1	Total Weight: 103
1.29/1.38	c Current CPU time: 1.24881 s
1.29/1.38	c
1.29/1.38	c ============================[ Search Statistics ]==============================
1.29/1.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.38	c ===============================================================================
1.29/1.38	c |         0 |    6703   196204   387978 |    65401        0   -nan |  0.000 % |
1.39/1.40	c |       100 |    6703   196204   387978 |    71941      100     25 | 90.848 % |
1.39/1.42	c |       250 |    6703   196204   387978 |    79135      250     32 | 90.848 % |
1.39/1.46	c |       475 |    6703   196204   387978 |    87049      475     35 | 90.848 % |
1.49/1.51	c |       813 |    6703   196204   387978 |    95754      813     37 | 90.848 % |
1.49/1.58	c |      1320 |    6703   196204   387978 |   105329     1320     38 | 90.848 % |
1.69/1.71	c |      2080 |    6703   196204   387978 |   115862     2080     40 | 90.848 % |
1.89/1.92	c |      3219 |    6703   196204   387978 |   127448     3219     44 | 90.848 % |
2.21/2.23	c |      4927 |    6703   196204   387978 |   140193     4927     44 | 90.848 % |
2.69/2.72	c |      7489 |    6703   196204   387978 |   154212     7489     47 | 90.848 % |
3.59/3.61	c |     11334 |    6703   196204   387978 |   169634    11334     51 | 90.848 % |
4.99/5.08	c |     17100 |    6598   196204   387978 |   186597    17100     54 | 90.991 % |
5.99/6.01	c ===============================================================================
6.09/6.12	c core #3
6.09/6.12	c 
6.09/6.12	c 
6.09/6.12	c Core size: 830	Core Weight: 1	Total Weight: 104
6.09/6.12	c Current CPU time: 5.9461 s
6.09/6.12	c
6.09/6.12	c ============================[ Search Statistics ]==============================
6.09/6.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.09/6.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.09/6.12	c ===============================================================================
6.09/6.12	c |         0 |    7142   196404   388432 |    65468        0   -nan |  0.000 % |
6.09/6.14	c |       101 |    7142   196404   388432 |    72014      101     25 | 90.275 % |
6.09/6.16	c |       251 |    7142   196404   388432 |    79216      251     36 | 90.275 % |
6.09/6.19	c |       476 |    7142   196404   388432 |    87137      476     35 | 90.275 % |
6.19/6.24	c |       813 |    7142   196404   388432 |    95851      813     38 | 90.275 % |
6.29/6.32	c |      1320 |    7142   196404   388432 |   105436     1320     38 | 90.275 % |
6.39/6.44	c |      2080 |    7140   196404   388432 |   115980     2080     41 | 90.277 % |
6.61/6.64	c |      3219 |    7140   196404   388432 |   127578     3219     46 | 90.277 % |
6.89/6.92	c |      4927 |    7140   196404   388432 |   140336     4927     46 | 90.277 % |
7.39/7.44	c |      7490 |    7140   196404   388432 |   154370     7490     50 | 90.277 % |
8.19/8.26	c |     11336 |    7140   196404   388432 |   169807    11336     53 | 90.277 % |
9.49/9.53	c |     17103 |    7140   196404   388432 |   186787    17103     54 | 90.277 % |
11.70/11.78	c |     25753 |    7140   196404   388432 |   205466    25753     58 | 90.277 % |
15.49/15.59	c |     38727 |    7140   196404   388432 |   226013    38727     61 | 90.277 % |
22.90/23.00	c |     58188 |    7140   196404   388432 |   248614    58188     64 | 90.277 % |
37.69/37.72	c |     87380 |    7140   196404   388432 |   273476    87380     68 | 90.277 % |
65.92/66.01	c |    131172 |    7140   196404   388432 |   300823   131172     72 | 90.277 % |
104.20/104.29	c ===============================================================================
104.42/104.48	c core #4
104.42/104.48	c 
104.42/104.48	c 
104.42/104.48	c Core size: 1190	Core Weight: 1	Total Weight: 105
104.42/104.48	c Current CPU time: 103.825 s
104.42/104.48	c
104.42/104.48	c ============================[ Search Statistics ]==============================
104.42/104.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
104.42/104.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
104.42/104.48	c ===============================================================================
104.42/104.48	c |         0 |    7580   196640   389061 |    65546        0   -nan |  0.000 % |
104.42/104.50	c |       100 |    7580   196640   389061 |    72101      100     32 | 89.706 % |
104.52/104.52	c |       250 |    7580   196640   389061 |    79311      250     37 | 89.706 % |
104.52/104.56	c |       475 |    7580   196640   389061 |    87242      475     44 | 89.706 % |
104.60/104.61	c |       816 |    7580   196640   389061 |    95966      816     42 | 89.706 % |
104.70/104.70	c |      1322 |    7580   196640   389061 |   105563     1322     45 | 89.706 % |
104.80/104.82	c |      2081 |    7580   196640   389061 |   116119     2081     48 | 89.706 % |
105.00/105.03	c |      3220 |    7580   196640   389061 |   127731     3220     53 | 89.706 % |
105.29/105.34	c |      4928 |    7580   196640   389061 |   140505     4928     53 | 89.706 % |
105.80/105.81	c |      7491 |    7580   196640   389061 |   154555     7491     59 | 89.706 % |
106.61/106.65	c |     11336 |    7580   196640   389061 |   170011    11336     63 | 89.706 % |
107.89/107.91	c |     17103 |    7580   196640   389061 |   187012    17103     60 | 89.706 % |
109.92/110.00	c |     25752 |    7580   196640   389061 |   205713    25752     60 | 89.706 % |
113.59/113.68	c |     38726 |    7580   196640   389061 |   226284    38726     60 | 89.706 % |
119.99/120.03	c |     58187 |    7580   196640   389061 |   248913    58187     63 | 89.706 % |
130.99/131.06	c |     87379 |    7580   196640   389061 |   273804    87379     69 | 89.706 % |
155.69/155.77	c |    131168 |    7548   196640   389061 |   301185   131168     69 | 89.749 % |
207.19/207.28	c |    196852 |    7548   196640   389061 |   331303   196852     73 | 89.749 % |
307.80/307.86	c |    295380 |    7548   196640   389061 |   364434   295380     77 | 89.749 % |
559.11/559.14	c |    443171 |    7548   196640   389061 |   400877    37541     66 | 89.749 % |
748.03/748.04	c |    664855 |    7548   196640   389061 |   440965   259225     87 | 89.749 % |
1231.03/1231.04	c |    997381 |    7548   196640   389061 |   485061   115612     89 | 89.749 % |

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-3461728-1307121218/watcher-3461728-1307121218 -o /tmp/evaluation-result-3461728-1307121218/solver-3461728-1307121218 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461728-1307121218.opb 

running on 4 cores: 1,3,5,7

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: 1.89 2.02 1.99 2/526 32407
/proc/meminfo: memFree=23005556/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=13512 CPUtime=0.01 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 1210 0 0 0 1 0 0 0 25 0 1 0 804537677 13836288 1163 33554432000 4194304 5714214 140737329855008 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 3378 1165 223 372 0 1074 0

[startup+0.043533 s]
/proc/loadavg: 1.89 2.02 1.99 2/526 32407
/proc/meminfo: memFree=23005556/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=18292 CPUtime=0.04 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 2362 0 0 0 4 0 0 0 25 0 1 0 804537677 18731008 2315 33554432000 4194304 5714214 140737329855008 18446744073709551615 4315409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 4573 2316 305 372 0 2269 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18292

[startup+0.100527 s]
/proc/loadavg: 1.89 2.02 1.99 2/526 32407
/proc/meminfo: memFree=23005556/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=24524 CPUtime=0.09 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 4171 0 0 0 9 0 0 0 25 0 1 0 804537677 25112576 3977 33554432000 4194304 5714214 140737329855008 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 6131 3977 498 372 0 3827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24524

[startup+0.300501 s]
/proc/loadavg: 1.89 2.02 1.99 2/526 32407
/proc/meminfo: memFree=23005556/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=32764 CPUtime=0.29 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 6934 0 0 0 29 0 0 0 25 0 1 0 804537677 33550336 6611 33554432000 4194304 5714214 140737329855008 18446744073709551615 4228183 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 8191 6611 1166 372 0 5887 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32764

[startup+0.70042 s]
/proc/loadavg: 1.89 2.02 1.99 2/526 32407
/proc/meminfo: memFree=23005556/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=82228 CPUtime=0.69 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 21884 0 0 0 67 2 0 0 25 0 1 0 804537677 84201472 19366 33554432000 4194304 5714214 140737329855008 18446744073709551615 4207531 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 20557 19366 172 372 0 20182 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82228

[startup+1.50027 s]
/proc/loadavg: 1.89 2.02 1.99 3/527 32408
/proc/meminfo: memFree=22817440/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=105972 CPUtime=1.49 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 32153 0 0 0 146 3 0 0 18 0 1 0 804537677 108515328 25613 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 26493 25613 180 372 0 26118 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105972

[startup+3.10098 s]
/proc/loadavg: 1.89 2.02 1.99 3/527 32408
/proc/meminfo: memFree=22804216/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=105972 CPUtime=3.09 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 32153 0 0 0 305 4 0 0 18 0 1 0 804537677 108515328 25613 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 26493 25613 180 372 0 26118 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105972

[startup+6.30041 s]
/proc/loadavg: 1.90 2.02 1.99 3/527 32408
/proc/meminfo: memFree=22807788/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=113640 CPUtime=6.29 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 34153 0 0 0 622 7 0 0 25 0 1 0 804537677 116367360 27613 33554432000 4194304 5714214 140737329855008 18446744073709551615 4309240 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 28410 27613 180 372 0 28035 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113640

[startup+12.7003 s]
/proc/loadavg: 1.91 2.01 1.99 3/527 32408
/proc/meminfo: memFree=22789508/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=113640 CPUtime=12.69 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 34154 0 0 0 1256 13 0 0 25 0 1 0 804537677 116367360 27614 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 28410 27614 180 372 0 28035 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113640

[startup+25.501 s]
/proc/loadavg: 1.93 2.01 1.99 3/527 32408
/proc/meminfo: memFree=22781636/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=113640 CPUtime=25.49 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 34195 0 0 0 2528 21 0 0 25 0 1 0 804537677 116367360 27655 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 28410 27655 180 372 0 28035 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 113640

[startup+51.1004 s]
/proc/loadavg: 1.95 2.01 1.99 3/527 32409
/proc/meminfo: memFree=22764180/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=128808 CPUtime=51.09 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 37912 0 0 0 5079 30 0 0 25 0 1 0 804537677 131899392 31372 33554432000 4194304 5714214 140737329855008 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 32202 31372 180 372 0 31827 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 128808

[startup+102.32 s]
/proc/loadavg: 1.98 2.01 1.99 3/527 32410
/proc/meminfo: memFree=22715172/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=159264 CPUtime=102.31 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 45458 0 0 0 10185 46 0 0 25 0 1 0 804537677 163086336 38918 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 39816 38918 180 372 0 39441 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 159264

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32412
/proc/meminfo: memFree=22649544/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=187924 CPUtime=162.29 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 52509 0 0 0 16154 75 0 0 25 0 1 0 804537677 192434176 45969 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 46981 45969 180 372 0 46606 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 187924

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32414
/proc/meminfo: memFree=22649720/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=187924 CPUtime=222.29 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 52625 0 0 0 22142 87 0 0 25 0 1 0 804537677 192434176 46085 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 46981 46085 180 372 0 46606 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 187924

[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32415
/proc/meminfo: memFree=22629728/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=208528 CPUtime=282.3 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 57736 0 0 0 28128 102 0 0 25 0 1 0 804537677 213532672 51196 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 52132 51196 180 372 0 51757 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 208528

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.99 4/527 32417
/proc/meminfo: memFree=22598192/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=234144 CPUtime=342.3 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 63789 0 0 0 34114 116 0 0 25 0 1 0 804537677 239763456 57249 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 58536 57249 180 372 0 58161 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 234144

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32418
/proc/meminfo: memFree=22561824/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=251984 CPUtime=402.31 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 68307 0 0 0 40105 126 0 0 25 0 1 0 804537677 258031616 61767 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 62996 61767 180 372 0 62621 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 251984

[startup+462.301 s]
/proc/loadavg: 2.14 2.03 2.00 3/527 32420
/proc/meminfo: memFree=22510576/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=268184 CPUtime=462.3 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 72400 0 0 0 46093 137 0 0 25 0 1 0 804537677 274620416 65860 33554432000 4194304 5714214 140737329855008 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 67046 65860 180 372 0 66671 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 268184

[startup+522.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/527 32422
/proc/meminfo: memFree=22493812/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=284912 CPUtime=522.31 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 76565 0 0 0 52085 146 0 0 25 0 1 0 804537677 291749888 70025 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 71228 70025 180 372 0 70853 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 284912

[startup+582.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/527 32423
/proc/meminfo: memFree=22485328/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=293344 CPUtime=582.31 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 78663 0 0 0 58068 163 0 0 25 0 1 0 804537677 300384256 72123 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 73336 72123 180 372 0 72961 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 293344

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 32433
/proc/meminfo: memFree=22465528/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=296932 CPUtime=822.31 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 79524 0 0 0 82022 209 0 0 25 0 1 0 804537677 304058368 72984 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 74233 72984 180 372 0 73858 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 296932

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 32434
/proc/meminfo: memFree=22437348/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=311536 CPUtime=882.32 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 83146 0 0 0 88011 221 0 0 25 0 1 0 804537677 319012864 76606 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 77884 76606 180 372 0 77509 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 311536

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 32436
/proc/meminfo: memFree=22406940/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=329480 CPUtime=942.32 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 87578 0 0 0 94003 229 0 0 25 0 1 0 804537677 337387520 81038 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 82370 81038 180 372 0 81995 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 329480

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/527 32437
/proc/meminfo: memFree=22383348/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=348384 CPUtime=1002.31 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 92313 0 0 0 99989 242 0 0 25 0 1 0 804537677 356745216 85773 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 87096 85773 180 372 0 86721 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 348384

[startup+1062.3 s]
/proc/loadavg: 2.18 2.06 2.02 3/527 32439
/proc/meminfo: memFree=22366700/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=365200 CPUtime=1062.32 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 96543 0 0 0 105980 252 0 0 25 0 1 0 804537677 373964800 90003 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 91300 90003 180 372 0 90925 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 365200

[startup+1122.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/527 32441
/proc/meminfo: memFree=22338880/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=383232 CPUtime=1122.32 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 100631 0 0 0 111971 261 0 0 25 0 1 0 804537677 392429568 94091 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 95808 94091 180 372 0 95433 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 383232

[startup+1182.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/527 32442
/proc/meminfo: memFree=22324800/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=396812 CPUtime=1182.32 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104040 0 0 0 117961 271 0 0 25 0 1 0 804537677 406335488 97500 33554432000 4194304 5714214 140737329855008 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99203 97500 180 372 0 98828 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 396812

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/527 32444
/proc/meminfo: memFree=22324600/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=397124 CPUtime=1242.32 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104113 0 0 0 123941 291 0 0 25 0 1 0 804537677 406654976 97573 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99281 97573 180 372 0 98906 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 397124

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 32445
/proc/meminfo: memFree=22322816/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=397284 CPUtime=1302.34 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104150 0 0 0 129931 303 0 0 25 0 1 0 804537677 406818816 97610 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99321 97610 180 372 0 98946 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 397284

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 32447
/proc/meminfo: memFree=22324752/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=397716 CPUtime=1362.33 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104271 0 0 0 135921 312 0 0 25 0 1 0 804537677 407261184 97731 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99429 97731 180 372 0 99054 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 397716

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 32449
/proc/meminfo: memFree=22324208/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=398240 CPUtime=1422.35 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104358 0 0 0 141913 322 0 0 25 0 1 0 804537677 407797760 97818 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99560 97818 180 372 0 99185 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 398240

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 32450
/proc/meminfo: memFree=22323676/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=398380 CPUtime=1482.33 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104398 0 0 0 147901 332 0 0 25 0 1 0 804537677 407941120 97858 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99595 97858 180 372 0 99220 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 398380

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 32452
/proc/meminfo: memFree=22323880/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=398664 CPUtime=1542.34 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104465 0 0 0 153893 341 0 0 25 0 1 0 804537677 408231936 97925 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99666 97925 180 372 0 99291 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 398664

[startup+1602.3 s]
/proc/loadavg: 2.25 2.06 2.02 3/527 32453
/proc/meminfo: memFree=22323332/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=398984 CPUtime=1602.33 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104542 0 0 0 159885 348 0 0 25 0 1 0 804537677 408559616 98002 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99746 98002 180 372 0 99371 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 398984

[startup+1662.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/527 32455
/proc/meminfo: memFree=22315612/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=406396 CPUtime=1662.34 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 106357 0 0 0 165875 359 0 0 25 0 1 0 804537677 416149504 99817 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 101599 99817 180 372 0 101224 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 406396

[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/527 32457
/proc/meminfo: memFree=22303680/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=418584 CPUtime=1722.34 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 109428 0 0 0 171866 368 0 0 25 0 1 0 804537677 428630016 102888 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 104646 102888 180 372 0 104271 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 418584

[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/527 32458
/proc/meminfo: memFree=22287032/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=432888 CPUtime=1782.34 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 112936 0 0 0 177856 378 0 0 25 0 1 0 804537677 443277312 106396 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 108222 106396 180 372 0 107847 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 432888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.05 2.01 2/525 32460
/proc/meminfo: memFree=22585260/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=437276 CPUtime=1800.06 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 114057 0 0 0 179625 381 0 0 25 0 1 0 804537677 447770624 107517 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 109319 107517 180 372 0 108944 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 437276

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): 1796.25
CPU system time (s): 3.83942
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 437276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.25
system time used= 3.83942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114057
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= 9
involuntary context switches= 2011

runsolver used 8.78566 second user time and 22.3366 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-03 19:13:38
IDJOB=3461728
IDBENCH=77428
IDSOLVER=1953
FILE ID=node145/3461728-1307121218
RUNJOBID= node145-1307117613-32168
PBS_JOBID= 13498004
Free space on /tmp= 73936 MiB

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

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

MD5SUM BENCH= 58f861b2885c3bb19bb4f63a6571dc89
RANDOM SEED=617340118

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
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.83
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.786
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23006084 kB
Buffers:        240352 kB
Cached:         432476 kB
SwapCached:        944 kB
Active:        9369408 kB
Inactive:       306744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23006084 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:           24448 kB
Writeback:           0 kB
AnonPages:     9002124 kB
Mapped:          37236 kB
Slab:           134736 kB
PageTables:      65816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 153242032 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= 73944 MiB
End job on node145 at 2011-06-03 19:43:40