Trace number 1875451

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.18 1800.84

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
MD5SUMf1fcceba4d2ff597685b8a775178b9b4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark331.234
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
Optimality of the best value was proved NO
Number of variables11321
Total number of constraints36630
Number of constraints which are clauses36630
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5515
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5515
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5515
Number of bits of the biggest sum of numbers13
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875451-1245181141.opb.
0.00/0.00	c Instance file HOME/instance-1875451-1245181141.opb
0.00/0.00	c File size is 1088812 bytes.
0.09/0.16	c Highest Coefficient sum: 128
0.09/0.16	c ============================[ Problem Statistics ]=============================
0.09/0.16	c |                                                                             |
0.09/0.16	c |  Parsing time:          0.16         s                                      |
0.09/0.16	c |  Number Variables:      11321                                               |
0.09/0.16	c |  Number Clauses:        42145                                               |
0.09/0.16	c |  Number Cardinality:    0                                                   |
0.09/0.16	c |  Number PB Constraints: 0                                                   |
0.09/0.16	c core #1
0.09/0.16	c Core size: 255	Core Weight: 1	Total Weight: 1
0.09/0.16	c Elapsed CPU time: 0.158975 s	Remaining CPU time: 1799.84 s
0.09/0.19	c core #2
0.09/0.19	c Core size: 63	Core Weight: 1	Total Weight: 2
0.09/0.19	c Elapsed CPU time: 0.188971 s	Remaining CPU time: 1799.81 s
0.19/0.22	c core #3
0.19/0.22	c Core size: 63	Core Weight: 1	Total Weight: 3
0.19/0.22	c Elapsed CPU time: 0.219966 s	Remaining CPU time: 1799.78 s
0.19/0.25	c core #4
0.19/0.25	c Core size: 63	Core Weight: 1	Total Weight: 4
0.19/0.25	c Elapsed CPU time: 0.250961 s	Remaining CPU time: 1799.75 s
0.19/0.29	c core #5
0.19/0.29	c Core size: 255	Core Weight: 1	Total Weight: 5
0.19/0.29	c Elapsed CPU time: 0.281957 s	Remaining CPU time: 1799.72 s
0.29/0.32	c core #6
0.29/0.32	c Core size: 63	Core Weight: 1	Total Weight: 6
0.29/0.32	c Elapsed CPU time: 0.314952 s	Remaining CPU time: 1799.69 s
0.29/0.35	c core #7
0.29/0.35	c Core size: 61	Core Weight: 1	Total Weight: 7
0.29/0.35	c Elapsed CPU time: 0.345947 s	Remaining CPU time: 1799.65 s
0.29/0.38	c core #8
0.29/0.38	c Core size: 31	Core Weight: 1	Total Weight: 8
0.29/0.38	c Elapsed CPU time: 0.378942 s	Remaining CPU time: 1799.62 s
0.39/0.42	c core #9
0.39/0.42	c Core size: 63	Core Weight: 1	Total Weight: 9
0.39/0.42	c Elapsed CPU time: 0.411937 s	Remaining CPU time: 1799.59 s
0.39/0.45	c core #10
0.39/0.45	c Core size: 63	Core Weight: 1	Total Weight: 10
0.39/0.45	c Elapsed CPU time: 0.443932 s	Remaining CPU time: 1799.56 s
0.39/0.48	c core #11
0.39/0.48	c Core size: 15	Core Weight: 1	Total Weight: 11
0.39/0.48	c Elapsed CPU time: 0.475927 s	Remaining CPU time: 1799.52 s
0.49/0.52	c core #12
0.49/0.52	c Core size: 31	Core Weight: 1	Total Weight: 12
0.49/0.52	c Elapsed CPU time: 0.509922 s	Remaining CPU time: 1799.49 s
0.49/0.55	c core #13
0.49/0.55	c Core size: 31	Core Weight: 1	Total Weight: 13
0.49/0.55	c Elapsed CPU time: 0.543917 s	Remaining CPU time: 1799.46 s
0.49/0.58	c core #14
0.49/0.58	c Core size: 127	Core Weight: 1	Total Weight: 14
0.49/0.58	c Elapsed CPU time: 0.578911 s	Remaining CPU time: 1799.42 s
0.59/0.62	c core #15
0.59/0.62	c Core size: 31	Core Weight: 1	Total Weight: 15
0.59/0.62	c Elapsed CPU time: 0.612906 s	Remaining CPU time: 1799.39 s
0.59/0.65	c core #16
0.59/0.65	c Core size: 5	Core Weight: 1	Total Weight: 16
0.59/0.65	c Elapsed CPU time: 0.648901 s	Remaining CPU time: 1799.35 s
0.59/0.69	c core #17
0.59/0.69	c Core size: 31	Core Weight: 1	Total Weight: 17
0.59/0.69	c Elapsed CPU time: 0.682896 s	Remaining CPU time: 1799.32 s
0.69/0.72	c core #18
0.69/0.72	c Core size: 31	Core Weight: 1	Total Weight: 18
0.69/0.72	c Elapsed CPU time: 0.71989 s	Remaining CPU time: 1799.28 s
0.79/0.89	c core #19
0.79/0.89	c Core size: 4693	Core Weight: 1	Total Weight: 19
0.79/0.89	c Elapsed CPU time: 0.886865 s	Remaining CPU time: 1799.11 s
0.89/0.93	c core #20
0.89/0.93	c Core size: 15	Core Weight: 1	Total Weight: 20
0.89/0.93	c Elapsed CPU time: 0.927858 s	Remaining CPU time: 1799.07 s
0.89/0.97	c core #21
0.89/0.97	c Core size: 13	Core Weight: 1	Total Weight: 21
0.89/0.97	c Elapsed CPU time: 0.964853 s	Remaining CPU time: 1799.04 s
1.00/1.01	c core #22
1.00/1.01	c Core size: 153	Core Weight: 1	Total Weight: 22
1.00/1.01	c Elapsed CPU time: 1.00685 s	Remaining CPU time: 1798.99 s
1.00/1.05	c core #23
1.00/1.05	c Core size: 38	Core Weight: 1	Total Weight: 23
1.00/1.05	c Elapsed CPU time: 1.04584 s	Remaining CPU time: 1798.95 s
1.00/1.10	c ============================[ Search Statistics ]==============================
1.00/1.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.00/1.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.00/1.10	c ===============================================================================
1.00/1.10	c |         0 |    6831    42168    69757 |    14056        0    nan |  0.000 % |
1.10/1.10	c ===============================================================================
1.10/1.10	c core #24
1.10/1.10	c Core size: 677	Core Weight: 1	Total Weight: 24
1.10/1.10	c Elapsed CPU time: 1.09583 s	Remaining CPU time: 1798.9 s
1.10/1.15	c ============================[ Search Statistics ]==============================
1.10/1.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.15	c ===============================================================================
1.10/1.15	c |         0 |    8029    42169    73159 |    14056        0    nan |  0.000 % |
1.10/1.19	c |       100 |    8029    42169    73159 |    15461      100     33 | 44.725 % |
1.19/1.25	c ===============================================================================
1.19/1.25	c core #25
1.19/1.25	c Core size: 2033	Core Weight: 1	Total Weight: 25
1.19/1.25	c Elapsed CPU time: 1.23781 s	Remaining CPU time: 1798.76 s
1.19/1.29	c Learning 15 hard constraints
1.19/1.29	c ============================[ Search Statistics ]==============================
1.19/1.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.29	c ===============================================================================
1.19/1.29	c |         0 |    9639    42185    78894 |    14061        0    nan |  0.000 % |
1.29/1.32	c |       100 |    9639    42185    78894 |    15467      100     95 | 36.271 % |
1.39/1.45	c |       251 |    9639    42185    78894 |    17014      251    154 | 36.271 % |
1.59/1.65	c |       482 |    9639    42185    78894 |    18716      482    167 | 36.271 % |
2.09/2.17	c |       819 |    9637    42185    78894 |    20587      817    153 | 36.284 % |
2.59/2.61	c |      1325 |    9637    42185    78894 |    22646     1323    155 | 36.284 % |
3.59/3.62	c |      2084 |    9635    42185    78894 |    24911     2080    165 | 36.298 % |
5.29/5.39	c |      3224 |    9167    42185    78894 |    27402     1187    179 | 39.392 % |
6.38/6.45	c ===============================================================================
6.49/6.53	c core #26
6.49/6.53	c Core size: 7271	Core Weight: 1	Total Weight: 26
6.49/6.53	c Elapsed CPU time: 6.49801 s	Remaining CPU time: 1793.5 s
6.49/6.58	c Learning 41 hard constraints
6.49/6.58	c ============================[ Search Statistics ]==============================
6.49/6.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.49/6.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.49/6.58	c ===============================================================================
6.49/6.58	c |         0 |   15551    42227   106107 |    14075        0    nan |  0.000 % |
6.59/6.63	c |       100 |   15551    42227   106107 |    15483      100     63 | 12.231 % |
6.79/6.82	c |       250 |   15551    42227   106107 |    17031      250     79 | 12.231 % |
6.98/7.08	c |       475 |   15551    42227   106107 |    18734      475     89 | 12.231 % |
7.59/7.69	c |       812 |   15551    42227   106107 |    20608      812    120 | 12.231 % |
8.29/8.36	c |      1318 |   15551    42227   106107 |    22669     1318    139 | 12.231 % |
9.29/9.33	c |      2077 |   15551    42227   106107 |    24935     2077    177 | 12.231 % |
11.19/11.22	c |      3220 |   15551    42227   106107 |    27429     3220    208 | 12.231 % |
16.09/16.13	c |      4928 |   15551    42227   106107 |    30172     4928    210 | 12.231 % |
21.78/21.80	c |      7491 |   15551    42227   106107 |    33189     7491    204 | 12.231 % |
30.57/30.63	c |     11335 |   15550    42227   106107 |    36508    11334    188 | 12.236 % |
44.28/44.33	c |     17102 |   15550    42227   106107 |    40159    17101    199 | 12.236 % |
67.56/67.65	c |     25751 |   15550    42227   106107 |    44175    25750    219 | 12.236 % |
115.65/115.75	c |     38727 |   15550    42227   106107 |    48593    38726    245 | 12.236 % |
197.02/197.19	c |     58188 |   15550    42227   106107 |    53452    21653    276 | 12.236 % |
309.37/309.57	c |     87382 |   15550    42227   106107 |    58797    50847    291 | 12.236 % |
379.25/379.50	c ===============================================================================
383.25/383.44	c core #27
383.25/383.44	c Core size: 4573	Core Weight: 1	Total Weight: 27
383.25/383.44	c Elapsed CPU time: 382.405 s	Remaining CPU time: 1417.6 s
383.45/383.62	c Learning 400 hard constraints
383.45/383.62	c ============================[ Search Statistics ]==============================
383.45/383.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
383.45/383.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
383.45/383.62	c ===============================================================================
383.45/383.62	c |         0 |   16387    42628   119525 |    14209        0    nan |  0.000 % |
383.55/383.71	c |       102 |   16387    42628   119525 |    15630      102     69 | 11.679 % |
383.76/383.95	c |       252 |   16387    42628   119525 |    17193      252     82 | 11.679 % |
384.15/384.30	c |       478 |   16387    42628   119525 |    18912      478     78 | 11.680 % |
384.65/384.81	c |       816 |   16387    42628   119525 |    20803      816     71 | 11.680 % |
385.35/385.56	c |      1322 |   16387    42628   119525 |    22884     1322    100 | 11.679 % |
386.95/387.15	c |      2083 |   16387    42628   119525 |    25172     2083    151 | 11.680 % |
389.05/389.21	c |      3223 |   16387    42628   119525 |    27689     3223    162 | 11.680 % |
392.05/392.27	c |      4932 |   16387    42628   119525 |    30458     4932    169 | 11.679 % |
395.75/395.99	c |      7498 |   16387    42628   119525 |    33504     7498    161 | 11.679 % |
403.35/403.52	c |     11342 |   16387    42628   119525 |    36855    11342    179 | 11.680 % |
413.64/413.81	c |     17108 |   16387    42628   119525 |    40540    17108    185 | 11.680 % |
435.03/435.22	c |     25757 |   16387    42628   119525 |    44594    25757    198 | 11.679 % |
462.72/462.93	c |     38732 |   16387    42628   119525 |    49054    38732    208 | 11.679 % |
524.80/525.02	c |     58194 |   16387    42628   119525 |    53959    18481    239 | 11.679 % |
617.17/617.43	c |     87387 |   16387    42628   119525 |    59355    47674    257 | 11.679 % |
744.82/745.14	c |    131176 |   16387    42628   119525 |    65291    42641    307 | 11.680 % |
977.83/978.21	c |    196860 |   16387    42628   119525 |    71820    52570    329 | 11.680 % |
1318.91/1319.46	c |    295386 |   16387    42628   119525 |    79002    30453    305 | 11.679 % |

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-1875451-1245181141/watcher-1875451-1245181141 -o /tmp/evaluation-result-1875451-1245181141/solver-1875451-1245181141 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875451-1245181141.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 10262
/proc/meminfo: memFree=1857720/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=3916 CPUtime=0
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 185714965 4009984 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134541683 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 979 248 122 292 0 418 0

[startup+0.0927569 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 10262
/proc/meminfo: memFree=1857720/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=6288 CPUtime=0.08
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 965 0 0 0 8 0 0 0 18 0 1 0 185714965 6438912 949 1992294400 134512640 135709839 4294956240 18446744073709551615 134557197 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 1572 949 265 292 0 1011 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6288

[startup+0.102759 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 10262
/proc/meminfo: memFree=1857720/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=6288 CPUtime=0.09
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 1005 0 0 0 9 0 0 0 18 0 1 0 185714965 6438912 989 1992294400 134512640 135709839 4294956240 18446744073709551615 135166130 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 1572 989 281 292 0 1011 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6288

[startup+0.301797 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 10262
/proc/meminfo: memFree=1857720/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=9724 CPUtime=0.29
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 2573 0 0 0 29 0 0 0 19 0 1 0 185714965 9957376 1904 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 2431 1904 133 292 0 2136 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9724

[startup+0.701871 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 10262
/proc/meminfo: memFree=1857720/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=9724 CPUtime=0.69
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 2622 0 0 0 69 0 0 0 22 0 1 0 185714965 9957376 1953 1992294400 134512640 135709839 4294956240 18446744073709551615 134607516 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 2431 1953 133 292 0 2136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9724

[startup+1.50202 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1848944/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=12608 CPUtime=1.49
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 3619 0 0 0 148 1 0 0 25 0 1 0 185714965 12910592 2614 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 3152 2614 136 292 0 2857 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12608

[startup+3.10131 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1847600/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=12608 CPUtime=3.09
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 3619 0 0 0 308 1 0 0 25 0 1 0 185714965 12910592 2614 1992294400 134512640 135709839 4294956240 18446744073709551615 134572287 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 3152 2614 136 292 0 2857 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12608

[startup+6.30191 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1847216/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=13828 CPUtime=6.28
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 3946 0 0 0 626 2 0 0 25 0 1 0 185714965 14159872 2941 1992294400 134512640 135709839 4294956240 18446744073709551615 134599684 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 3457 2941 136 292 0 3162 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13828

[startup+12.7011 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1842032/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=17884 CPUtime=12.69
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 4959 0 0 0 1264 5 0 0 25 0 1 0 185714965 18313216 3954 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 4471 3954 136 292 0 4176 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17884

[startup+25.5015 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1836912/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=23048 CPUtime=25.48
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 6275 0 0 0 2540 8 0 0 25 0 1 0 185714965 23601152 5270 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 5762 5270 136 292 0 5467 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23048

[startup+51.1012 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1822960/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=37228 CPUtime=51.07
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 9802 0 0 0 5091 16 0 0 25 0 1 0 185714965 38121472 8797 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 9307 8797 136 292 0 9012 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37228

[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1796528/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=63388 CPUtime=102.25
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 16350 0 0 0 10195 30 0 0 25 0 1 0 185714965 64909312 15345 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 15847 15345 136 292 0 15552 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 63388

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1774256/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=85872 CPUtime=162.23
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 21949 0 0 0 16181 42 0 0 25 0 1 0 185714965 87932928 20944 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 21468 20944 136 292 0 21173 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 85872

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1742192/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=117748 CPUtime=222.21
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 29936 0 0 0 22163 58 0 0 25 0 1 0 185714965 120573952 28931 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 29437 28931 136 292 0 29142 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 117748

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1716336/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=143660 CPUtime=282.19
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 36397 0 0 0 28148 71 0 0 25 0 1 0 185714965 147107840 35392 1992294400 134512640 135709839 4294956240 18446744073709551615 134574138 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 35915 35392 136 292 0 35620 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 143660

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1693488/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=166248 CPUtime=342.16
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 42054 0 0 0 34135 81 0 0 25 0 1 0 185714965 170237952 41049 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 41562 41049 136 292 0 41267 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 166248

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1667184/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=192444 CPUtime=402.14
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 48576 0 0 0 40120 94 0 0 25 0 1 0 185714965 197062656 47571 1992294400 134512640 135709839 4294956240 18446744073709551615 134572768 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 48111 47571 136 292 0 47816 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 192444

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1667184/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=192444 CPUtime=462.12
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 48582 0 0 0 46109 103 0 0 25 0 1 0 185714965 197062656 47577 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 48111 47577 136 292 0 47816 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 192444

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1660720/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=199048 CPUtime=522.09
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 50282 0 0 0 52099 110 0 0 25 0 1 0 185714965 203825152 49277 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 49762 49277 136 292 0 49467 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 199048

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1632944/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=226656 CPUtime=582.07
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 57165 0 0 0 58084 123 0 0 25 0 1 0 185714965 232095744 56160 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 56664 56160 136 292 0 56369 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 226656

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10263
/proc/meminfo: memFree=1603888/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=255504 CPUtime=642.05
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 64370 0 0 0 64070 135 0 0 25 0 1 0 185714965 261636096 63365 1992294400 134512640 135709839 4294956240 18446744073709551615 134518529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 63876 63365 136 292 0 63581 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 255504

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10265
/proc/meminfo: memFree=1470832/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=388320 CPUtime=881.97
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 97542 0 0 0 88006 191 0 0 25 0 1 0 185714965 397639680 96537 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 97080 96537 136 292 0 96785 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 388320

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10265
/proc/meminfo: memFree=1443952/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=415560 CPUtime=941.95
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 104302 0 0 0 93993 202 0 0 25 0 1 0 185714965 425533440 103297 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 103890 103297 136 292 0 103595 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 415560

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10265
/proc/meminfo: memFree=1419248/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=440148 CPUtime=1001.93
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 110442 0 0 0 99979 214 0 0 25 0 1 0 185714965 450711552 109437 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 110037 109437 136 292 0 109742 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 440148

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10265
/proc/meminfo: memFree=1393968/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=465492 CPUtime=1061.9
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 116802 0 0 0 105960 230 0 0 25 0 1 0 185714965 476663808 115797 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 116373 115797 136 292 0 116078 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 465492

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10265
/proc/meminfo: memFree=1356144/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=503032 CPUtime=1121.88
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 126172 0 0 0 111942 246 0 0 25 0 1 0 185714965 515104768 125167 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 125758 125167 136 292 0 125463 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 503032

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10265
/proc/meminfo: memFree=1333680/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=525856 CPUtime=1181.86
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 131852 0 0 0 117929 257 0 0 25 0 1 0 185714965 538476544 130847 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 131464 130847 136 292 0 131169 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 525856

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10265
/proc/meminfo: memFree=1306736/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=552388 CPUtime=1241.84
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 138475 0 0 0 123913 271 0 0 25 0 1 0 185714965 565645312 137470 1992294400 134512640 135709839 4294956240 18446744073709551615 134572339 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 138097 137470 136 292 0 137802 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 552388

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10265
/proc/meminfo: memFree=1274032/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=585012 CPUtime=1301.82
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 146585 0 0 0 129898 284 0 0 25 0 1 0 185714965 599052288 145580 1992294400 134512640 135709839 4294956240 18446744073709551615 134577399 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 146253 145580 136 292 0 145958 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 585012

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10271
/proc/meminfo: memFree=1240304/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=619068 CPUtime=1361.8
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 155105 0 0 0 135879 301 0 0 25 0 1 0 185714965 633925632 154100 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 154767 154100 136 292 0 154472 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 619068

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10271
/proc/meminfo: memFree=1211312/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=647568 CPUtime=1421.78
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 162201 0 0 0 141863 315 0 0 25 0 1 0 185714965 663109632 161196 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 161892 161196 136 292 0 161597 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 647568

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10271
/proc/meminfo: memFree=1192496/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=666464 CPUtime=1481.75
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 166918 0 0 0 147852 323 0 0 25 0 1 0 185714965 682459136 165913 1992294400 134512640 135709839 4294956240 18446744073709551615 134572512 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 166616 165913 136 292 0 166321 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 666464

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10271
/proc/meminfo: memFree=1174256/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=684744 CPUtime=1541.73
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 171494 0 0 0 153838 335 0 0 25 0 1 0 185714965 701177856 170489 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 171186 170489 136 292 0 170891 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 684744

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10271
/proc/meminfo: memFree=1144688/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=714472 CPUtime=1601.71
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 178926 0 0 0 159820 351 0 0 25 0 1 0 185714965 731619328 177921 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 178618 177921 136 292 0 178323 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 714472

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10271
/proc/meminfo: memFree=1117808/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=741124 CPUtime=1661.68
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 185566 0 0 0 165804 364 0 0 25 0 1 0 185714965 758910976 184561 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 185281 184561 136 292 0 184986 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 741124

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10271
/proc/meminfo: memFree=1094896/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=764108 CPUtime=1721.66
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 191323 0 0 0 171789 377 0 0 25 0 1 0 185714965 782446592 190318 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 191027 190318 136 292 0 190732 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 764108

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10271
/proc/meminfo: memFree=1066928/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=792004 CPUtime=1781.64
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 198277 0 0 0 177773 391 0 0 25 0 1 0 185714965 811012096 197272 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 198001 197272 136 292 0 197706 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 792004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10271
/proc/meminfo: memFree=1057136/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=801524 CPUtime=1800.04
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4194304 200661 0 0 0 179608 396 0 0 25 0 1 0 185714965 820760576 199656 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 200381 199656 136 292 0 200086 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 801524

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 10271
/proc/meminfo: memFree=1057136/2055920 swapFree=4191904/4192956
[pid=10262] ppid=10260 vsize=0 CPUtime=1800.14
/proc/10262/stat : 10262 (wbo) R 10260 10262 10101 0 -1 4195332 200661 0 0 0 179608 406 0 0 25 0 1 0 185714965 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/10262/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.84
CPU time (s): 1800.18
CPU user time (s): 1796.08
CPU system time (s): 4.09238
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 801524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.08
system time used= 4.09238
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200661
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= 2
involuntary context switches= 2579

runsolver used 1.37379 second user time and 3.65144 second system time

The end

Launcher Data 

Begin job on node7 at 2009-06-16 21:39:01
IDJOB=1875451
IDBENCH=24973
IDSOLVER=698
FILE ID=node7/1875451-1245181141
PBS_JOBID= 9363944
Free space on /tmp= 66272 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875451-1245181141/watcher-1875451-1245181141 -o /tmp/evaluation-result-1875451-1245181141/solver-1875451-1245181141 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875451-1245181141.opb

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

MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4
RANDOM SEED=1908202990

node7.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.274
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.274
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1858136 kB
Buffers:         45676 kB
Cached:          83516 kB
SwapCached:        416 kB
Active:          24756 kB
Inactive:       117896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858136 kB
SwapTotal:     4192956 kB
SwapFree:      4191904 kB
Dirty:            3436 kB
Writeback:           0 kB
Mapped:          21784 kB
Slab:            41084 kB
Committed_AS:   166884 kB
PageTables:       1444 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875451-1245181141.opb

Free space on /tmp at the end= 66268 MiB
End job on node7 at 2009-06-16 22:09:04