Trace number 1875511

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.09 1800.85

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir10_area_opers.opb
MD5SUMcca2bc3212eb56e1c6b2ae84ca292ee3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark51
Best CPU time to get the best result obtained on this benchmark519.357
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51
Optimality of the best value was proved YES
Number of variables79024
Total number of constraints176988
Number of constraints which are clauses176988
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 constraint511
Number of terms in the objective function 39323
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 39323
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 39323
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 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-1875511-1245185563.opb.
0.00/0.00	c Instance file HOME/instance-1875511-1245185563.opb
0.00/0.00	c File size is 5891890 bytes.
0.89/0.90	c Highest Coefficient sum: 512
0.89/0.90	c ============================[ Problem Statistics ]=============================
0.89/0.90	c |                                                                             |
0.89/0.90	c |  Parsing time:          0.88         s                                      |
0.89/0.90	c |  Number Variables:      79024                                               |
0.89/0.90	c |  Number Clauses:        216311                                              |
0.89/0.90	c |  Number Cardinality:    0                                                   |
0.89/0.90	c |  Number PB Constraints: 0                                                   |
0.89/0.91	c core #1
0.89/0.91	c Core size: 2	Core Weight: 1	Total Weight: 1
0.89/0.91	c Elapsed CPU time: 0.876866 s	Remaining CPU time: 1799.12 s
0.99/1.08	c core #2
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 2
0.99/1.08	c Elapsed CPU time: 1.03384 s	Remaining CPU time: 1798.97 s
1.19/1.25	c core #3
1.19/1.25	c Core size: 2	Core Weight: 1	Total Weight: 3
1.19/1.25	c Elapsed CPU time: 1.19782 s	Remaining CPU time: 1798.8 s
1.39/1.43	c core #4
1.39/1.43	c Core size: 2	Core Weight: 1	Total Weight: 4
1.39/1.43	c Elapsed CPU time: 1.36779 s	Remaining CPU time: 1798.63 s
1.60/1.60	c core #5
1.60/1.60	c Core size: 1017	Core Weight: 1	Total Weight: 5
1.60/1.60	c Elapsed CPU time: 1.53677 s	Remaining CPU time: 1798.46 s
1.69/1.80	c core #6
1.69/1.80	c Core size: 127	Core Weight: 1	Total Weight: 6
1.69/1.80	c Elapsed CPU time: 1.72174 s	Remaining CPU time: 1798.28 s
1.89/1.99	c core #7
1.89/1.99	c Core size: 127	Core Weight: 1	Total Weight: 7
1.89/1.99	c Elapsed CPU time: 1.90871 s	Remaining CPU time: 1798.09 s
2.09/2.19	c core #8
2.09/2.19	c Core size: 63	Core Weight: 1	Total Weight: 8
2.09/2.19	c Elapsed CPU time: 2.10668 s	Remaining CPU time: 1797.89 s
2.29/2.39	c core #9
2.29/2.39	c Core size: 30	Core Weight: 1	Total Weight: 9
2.29/2.39	c Elapsed CPU time: 2.30365 s	Remaining CPU time: 1797.7 s
2.49/2.59	c core #10
2.49/2.59	c Core size: 127	Core Weight: 1	Total Weight: 10
2.49/2.59	c Elapsed CPU time: 2.50462 s	Remaining CPU time: 1797.5 s
2.79/2.80	c core #11
2.79/2.80	c Core size: 127	Core Weight: 1	Total Weight: 11
2.79/2.80	c Elapsed CPU time: 2.70459 s	Remaining CPU time: 1797.3 s
2.99/3.01	c core #12
2.99/3.01	c Core size: 14	Core Weight: 1	Total Weight: 12
2.99/3.01	c Elapsed CPU time: 2.90856 s	Remaining CPU time: 1797.09 s
3.19/3.22	c core #13
3.19/3.22	c Core size: 62	Core Weight: 1	Total Weight: 13
3.19/3.22	c Elapsed CPU time: 3.10953 s	Remaining CPU time: 1796.89 s
3.39/3.43	c core #14
3.39/3.43	c Core size: 255	Core Weight: 1	Total Weight: 14
3.39/3.43	c Elapsed CPU time: 3.31949 s	Remaining CPU time: 1796.68 s
3.60/3.64	c core #15
3.60/3.64	c Core size: 126	Core Weight: 1	Total Weight: 15
3.60/3.64	c Elapsed CPU time: 3.52646 s	Remaining CPU time: 1796.47 s
3.79/3.87	c core #16
3.79/3.87	c Core size: 506	Core Weight: 1	Total Weight: 16
3.79/3.87	c Elapsed CPU time: 3.74843 s	Remaining CPU time: 1796.25 s
3.99/4.08	c core #17
3.99/4.08	c Core size: 31	Core Weight: 1	Total Weight: 17
3.99/4.08	c Elapsed CPU time: 3.9564 s	Remaining CPU time: 1796.04 s
4.29/4.30	c core #18
4.29/4.30	c Core size: 30	Core Weight: 1	Total Weight: 18
4.29/4.30	c Elapsed CPU time: 4.17237 s	Remaining CPU time: 1795.83 s
4.49/4.52	c core #19
4.49/4.52	c Core size: 125	Core Weight: 1	Total Weight: 19
4.49/4.52	c Elapsed CPU time: 4.38433 s	Remaining CPU time: 1795.62 s
4.69/4.74	c core #20
4.69/4.74	c Core size: 63	Core Weight: 1	Total Weight: 20
4.69/4.74	c Elapsed CPU time: 4.6023 s	Remaining CPU time: 1795.4 s
4.89/4.96	c core #21
4.89/4.96	c Core size: 30	Core Weight: 1	Total Weight: 21
4.89/4.96	c Elapsed CPU time: 4.81927 s	Remaining CPU time: 1795.18 s
5.09/5.19	c core #22
5.09/5.19	c Core size: 63	Core Weight: 1	Total Weight: 22
5.09/5.19	c Elapsed CPU time: 5.04023 s	Remaining CPU time: 1794.96 s
5.39/5.41	c core #23
5.39/5.41	c Core size: 62	Core Weight: 1	Total Weight: 23
5.39/5.41	c Elapsed CPU time: 5.2572 s	Remaining CPU time: 1794.74 s
5.60/5.64	c core #24
5.60/5.64	c Core size: 250	Core Weight: 1	Total Weight: 24
5.60/5.64	c Elapsed CPU time: 5.47917 s	Remaining CPU time: 1794.52 s
5.78/5.86	c core #25
5.78/5.86	c Core size: 30	Core Weight: 1	Total Weight: 25
5.78/5.86	c Elapsed CPU time: 5.69613 s	Remaining CPU time: 1794.3 s
5.99/6.09	c core #26
5.99/6.09	c Core size: 62	Core Weight: 1	Total Weight: 26
5.99/6.09	c Elapsed CPU time: 5.9191 s	Remaining CPU time: 1794.08 s
6.29/6.32	c core #27
6.29/6.32	c Core size: 6	Core Weight: 1	Total Weight: 27
6.29/6.32	c Elapsed CPU time: 6.14107 s	Remaining CPU time: 1793.86 s
6.49/6.55	c core #28
6.49/6.55	c Core size: 123	Core Weight: 1	Total Weight: 28
6.49/6.55	c Elapsed CPU time: 6.36703 s	Remaining CPU time: 1793.63 s
6.69/6.78	c core #29
6.69/6.78	c Core size: 57	Core Weight: 1	Total Weight: 29
6.69/6.78	c Elapsed CPU time: 6.594 s	Remaining CPU time: 1793.41 s
6.99/7.01	c core #30
6.99/7.01	c Core size: 62	Core Weight: 1	Total Weight: 30
6.99/7.01	c Elapsed CPU time: 6.82096 s	Remaining CPU time: 1793.18 s
7.19/7.24	c core #31
7.19/7.24	c Core size: 30	Core Weight: 1	Total Weight: 31
7.19/7.24	c Elapsed CPU time: 7.04393 s	Remaining CPU time: 1792.96 s
7.39/7.48	c core #32
7.39/7.48	c Core size: 62	Core Weight: 1	Total Weight: 32
7.39/7.48	c Elapsed CPU time: 7.27389 s	Remaining CPU time: 1792.73 s
7.70/7.71	c core #33
7.70/7.71	c Core size: 29	Core Weight: 1	Total Weight: 33
7.70/7.71	c Elapsed CPU time: 7.50086 s	Remaining CPU time: 1792.5 s
7.89/7.95	c core #34
7.89/7.95	c Core size: 6	Core Weight: 1	Total Weight: 34
7.89/7.95	c Elapsed CPU time: 7.73382 s	Remaining CPU time: 1792.27 s
8.09/8.18	c core #35
8.09/8.18	c Core size: 27	Core Weight: 1	Total Weight: 35
8.09/8.18	c Elapsed CPU time: 7.96479 s	Remaining CPU time: 1792.04 s
8.39/8.42	c core #36
8.39/8.42	c Core size: 12	Core Weight: 1	Total Weight: 36
8.39/8.42	c Elapsed CPU time: 8.19375 s	Remaining CPU time: 1791.81 s
8.59/8.67	c core #37
8.59/8.67	c Core size: 1548	Core Weight: 1	Total Weight: 37
8.59/8.67	c Elapsed CPU time: 8.44372 s	Remaining CPU time: 1791.56 s
8.89/8.92	c core #38
8.89/8.92	c Core size: 25	Core Weight: 1	Total Weight: 38
8.89/8.92	c Elapsed CPU time: 8.68468 s	Remaining CPU time: 1791.32 s
9.08/9.16	c core #39
9.08/9.16	c Core size: 12	Core Weight: 1	Total Weight: 39
9.08/9.16	c Elapsed CPU time: 8.91864 s	Remaining CPU time: 1791.08 s
9.39/9.40	c core #40
9.39/9.40	c Core size: 4	Core Weight: 1	Total Weight: 40
9.39/9.40	c Elapsed CPU time: 9.15461 s	Remaining CPU time: 1790.85 s
9.59/9.64	c core #41
9.59/9.64	c Core size: 13	Core Weight: 1	Total Weight: 41
9.59/9.64	c Elapsed CPU time: 9.38557 s	Remaining CPU time: 1790.61 s
9.79/9.88	c core #42
9.79/9.88	c Core size: 6	Core Weight: 1	Total Weight: 42
9.79/9.88	c Elapsed CPU time: 9.62254 s	Remaining CPU time: 1790.38 s
10.09/10.12	c core #43
10.09/10.12	c Core size: 54	Core Weight: 1	Total Weight: 43
10.09/10.12	c Elapsed CPU time: 9.8615 s	Remaining CPU time: 1790.14 s
10.29/10.37	c core #44
10.29/10.37	c Core size: 24	Core Weight: 1	Total Weight: 44
10.29/10.37	c Elapsed CPU time: 10.1025 s	Remaining CPU time: 1789.9 s
10.59/10.62	c core #45
10.59/10.62	c Core size: 1487	Core Weight: 1	Total Weight: 45
10.59/10.62	c Elapsed CPU time: 10.3464 s	Remaining CPU time: 1789.65 s
10.79/10.87	c core #46
10.79/10.87	c Core size: 4	Core Weight: 1	Total Weight: 46
10.79/10.87	c Elapsed CPU time: 10.5904 s	Remaining CPU time: 1789.41 s
11.10/11.10	c core #47
11.10/11.10	c Core size: 5	Core Weight: 1	Total Weight: 47
11.10/11.10	c Elapsed CPU time: 10.8234 s	Remaining CPU time: 1789.18 s
11.39/11.49	c core #48
11.39/11.49	c Core size: 5025	Core Weight: 1	Total Weight: 48
11.39/11.49	c Elapsed CPU time: 11.2003 s	Remaining CPU time: 1788.8 s
11.69/11.74	c ============================[ Search Statistics ]==============================
11.69/11.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.69/11.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.69/11.74	c ===============================================================================
11.69/11.74	c |         0 |   15051   216359   284697 |    72119        0    nan |  0.000 % |
11.99/12.07	c |       100 |   15048   216359   284697 |    79331      100    408 | 82.259 % |
33.08/33.17	c ===============================================================================
33.18/33.20	c core #49
33.18/33.20	c Core size: 41627	Core Weight: 1	Total Weight: 49
33.18/33.20	c Elapsed CPU time: 32.894 s	Remaining CPU time: 1767.11 s
33.38/33.48	c Learning 1 hard constraints
33.38/33.48	c ============================[ Search Statistics ]==============================
33.38/33.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
33.38/33.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
33.38/33.48	c ===============================================================================
33.38/33.48	c |         0 |   71089   216361   452388 |    72120        0    nan |  0.000 % |
33.78/33.87	c |       101 |   71089   216361   452388 |    79332      101    524 | 32.132 % |
48.27/48.32	c |       253 |   71089   216361   452388 |    87265      253    631 | 32.132 % |
52.77/52.87	c |       480 |   71089   216361   452388 |    95992      480    492 | 32.132 % |
197.91/198.03	c |       817 |   71088   216361   452388 |   105591      816    850 | 32.133 % |
222.40/222.56	c |      1323 |   71084   216361   452388 |   116150     1318   1015 | 32.137 % |
243.00/243.15	c |      2085 |   71082   216361   452388 |   127765     2079   1073 | 32.139 % |
272.88/273.08	c |      3226 |   71081   216361   452388 |   140542     3218   1267 | 32.140 % |
1148.21/1148.78	c |      4937 |   71071   216361   452388 |   154596     4921   1692 | 32.149 % |
1217.88/1218.41	c |      7499 |   71029   216361   452388 |   170055     7457   1718 | 32.189 % |
1416.11/1416.72	c |     11345 |   70745   216361   452388 |   187061    10920   2097 | 32.460 % |

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-1875511-1245185563/watcher-1875511-1245185563 -o /tmp/evaluation-result-1875511-1245185563/solver-1875511-1245185563 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875511-1245185563.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.98 0.99 3/64 9035
/proc/meminfo: memFree=1842696/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=8812 CPUtime=0
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 306 0 0 0 0 0 0 0 18 0 1 0 186153505 9023488 290 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 2203 290 123 292 0 469 0

[startup+0.10463 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9035
/proc/meminfo: memFree=1842696/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=17328 CPUtime=0.1
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 2485 0 0 0 9 1 0 0 18 0 1 0 186153505 17743872 2390 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 4332 2391 261 292 0 2598 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17328

[startup+0.201641 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9035
/proc/meminfo: memFree=1842696/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=21460 CPUtime=0.19
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 3524 0 0 0 18 1 0 0 18 0 1 0 186153505 21975040 3380 1992294400 134512640 135709839 4294956240 18446744073709551615 135166738 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 5365 3380 407 292 0 3631 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21460

[startup+0.301653 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9035
/proc/meminfo: memFree=1842696/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=24784 CPUtime=0.29
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 4492 0 0 0 27 2 0 0 19 0 1 0 186153505 25378816 4283 1992294400 134512640 135709839 4294956240 18446744073709551615 135190401 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 6196 4283 566 292 0 4462 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24784

[startup+0.701696 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 9035
/proc/meminfo: memFree=1842696/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=28600 CPUtime=0.69
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 6048 0 0 0 66 3 0 0 23 0 1 0 186153505 29286400 5839 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 7150 5840 1221 292 0 5416 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28600

[startup+1.50178 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9036
/proc/meminfo: memFree=1809024/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=44216 CPUtime=1.49
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 16400 0 0 0 143 6 0 0 25 0 1 0 186153505 45277184 9788 1992294400 134512640 135709839 4294956240 18446744073709551615 135183512 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 11054 9788 133 292 0 10759 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44216

[startup+3.10295 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9036
/proc/meminfo: memFree=1805248/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=48668 CPUtime=3.09
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 24443 0 0 0 298 11 0 0 25 0 1 0 186153505 49836032 11065 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 12167 11065 133 292 0 11872 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48668

[startup+6.3013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9036
/proc/meminfo: memFree=1798592/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=48668 CPUtime=6.29
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 37641 0 0 0 612 17 0 0 25 0 1 0 186153505 49836032 11085 1992294400 134512640 135709839 4294956240 18446744073709551615 135162139 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 12167 11085 133 292 0 11872 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48668

[startup+12.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9036
/proc/meminfo: memFree=1801984/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=43804 CPUtime=12.69
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 58998 0 0 0 1240 29 0 0 25 0 1 0 186153505 44855296 10192 1992294400 134512640 135709839 4294956240 18446744073709551615 134599091 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 10951 10192 136 292 0 10656 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43804

[startup+25.5014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9036
/proc/meminfo: memFree=1802176/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=43804 CPUtime=25.48
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 58998 0 0 0 2519 29 0 0 25 0 1 0 186153505 44855296 10192 1992294400 134512640 135709839 4294956240 18446744073709551615 134599684 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 10951 10192 136 292 0 10656 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43804

[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9036
/proc/meminfo: memFree=1797952/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=50424 CPUtime=51.07
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 61049 0 0 0 5074 33 0 0 25 0 1 0 186153505 51634176 11247 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 12606 11247 136 292 0 12311 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 50424

[startup+102.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9036
/proc/meminfo: memFree=1797952/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=50424 CPUtime=102.26
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 61049 0 0 0 10192 34 0 0 25 0 1 0 186153505 51634176 11247 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 12606 11247 136 292 0 12311 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50424

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9036
/proc/meminfo: memFree=1797952/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=50424 CPUtime=162.23
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 61049 0 0 0 16189 34 0 0 25 0 1 0 186153505 51634176 11247 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 12606 11247 136 292 0 12311 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 50424

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9036
/proc/meminfo: memFree=1796864/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=51644 CPUtime=222.2
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 61365 0 0 0 22185 35 0 0 25 0 1 0 186153505 52883456 11563 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 12911 11563 136 292 0 12616 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 51644

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9036
/proc/meminfo: memFree=1783808/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=64760 CPUtime=282.17
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 64648 0 0 0 28174 43 0 0 25 0 1 0 186153505 66314240 14846 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 16190 14846 136 292 0 15895 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 64760

[startup+342.302 s]
/proc/loadavg: 1.03 1.00 0.99 2/65 9036
/proc/meminfo: memFree=1777920/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=70604 CPUtime=342.15
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 66088 0 0 0 34170 45 0 0 25 0 1 0 186153505 72298496 16286 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 17651 16286 136 292 0 17356 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 70604

[startup+402.301 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 9036
/proc/meminfo: memFree=1775680/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=72796 CPUtime=402.13
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 66641 0 0 0 40167 46 0 0 25 0 1 0 186153505 74543104 16839 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 18199 16839 136 292 0 17904 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 72796

[startup+462.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 9036
/proc/meminfo: memFree=1773312/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=75204 CPUtime=462.11
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 67243 0 0 0 46165 46 0 0 25 0 1 0 186153505 77008896 17441 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 18801 17441 136 292 0 18506 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 75204

[startup+522.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 9042
/proc/meminfo: memFree=1770552/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=77740 CPUtime=522.07
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 67900 0 0 0 52160 47 0 0 25 0 1 0 186153505 79605760 18098 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 19435 18098 136 292 0 19140 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 77740

[startup+582.302 s]
/proc/loadavg: 1.09 1.04 1.00 2/65 9042
/proc/meminfo: memFree=1768504/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=79864 CPUtime=582.04
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 68401 0 0 0 58157 47 0 0 25 0 1 0 186153505 81780736 18599 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 19966 18599 136 292 0 19671 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 79864

[startup+642.301 s]
/proc/loadavg: 1.08 1.04 1.00 2/65 9042
/proc/meminfo: memFree=1766840/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=81532 CPUtime=642.02
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 68818 0 0 0 64154 48 0 0 25 0 1 0 186153505 83488768 19016 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 20383 19016 136 292 0 20088 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 81532

[startup+702.302 s]

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

[startup+882.305 s]
/proc/loadavg: 1.08 1.07 1.01 2/65 9042
/proc/meminfo: memFree=1759168/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=89140 CPUtime=881.92
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 70731 0 0 0 88143 49 0 0 25 0 1 0 186153505 91279360 20929 1992294400 134512640 135709839 4294956240 18446744073709551615 134577667 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 22285 20929 136 292 0 21990 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 89140

[startup+942.302 s]
/proc/loadavg: 1.06 1.07 1.01 2/65 9042
/proc/meminfo: memFree=1757376/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=90904 CPUtime=941.89
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 71167 0 0 0 94140 49 0 0 25 0 1 0 186153505 93085696 21365 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 22726 21365 136 292 0 22431 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 90904

[startup+1002.3 s]
/proc/loadavg: 1.02 1.05 1.00 2/65 9042
/proc/meminfo: memFree=1755456/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=92796 CPUtime=1001.86
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 71635 0 0 0 100137 49 0 0 25 0 1 0 186153505 95023104 21833 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 23199 21833 136 292 0 22904 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 92796

[startup+1062.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 9042
/proc/meminfo: memFree=1753664/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=94592 CPUtime=1061.85
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 72095 0 0 0 106135 50 0 0 25 0 1 0 186153505 96862208 22293 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 23648 22293 136 292 0 23353 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 94592

[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 9042
/proc/meminfo: memFree=1751360/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=96892 CPUtime=1121.82
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 72659 0 0 0 112128 54 0 0 25 0 1 0 186153505 99217408 22857 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 24223 22857 136 292 0 23928 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 96892

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 9042
/proc/meminfo: memFree=1739904/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=108356 CPUtime=1181.8
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 75537 0 0 0 118118 62 0 0 25 0 1 0 186153505 110956544 25735 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 27089 25735 136 292 0 26794 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 108356

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 9042
/proc/meminfo: memFree=1724288/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=123836 CPUtime=1241.77
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 79396 0 0 0 124095 82 0 0 25 0 1 0 186153505 126808064 29594 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 30959 29594 136 292 0 30664 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 123836

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9042
/proc/meminfo: memFree=1718720/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=129400 CPUtime=1301.75
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 80788 0 0 0 130083 92 0 0 25 0 1 0 186153505 132505600 30986 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 32350 30986 136 292 0 32055 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 129400

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9042
/proc/meminfo: memFree=1696704/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=151412 CPUtime=1361.72
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 86297 0 0 0 136061 111 0 0 25 0 1 0 186153505 155045888 36495 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 37853 36495 136 292 0 37558 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 151412

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9042
/proc/meminfo: memFree=1672832/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=175040 CPUtime=1421.71
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 92227 0 0 0 142047 124 0 0 25 0 1 0 186153505 179240960 42425 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 43760 42425 136 292 0 43465 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 175040

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9042
/proc/meminfo: memFree=1645952/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=202024 CPUtime=1481.68
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 98966 0 0 0 148035 133 0 0 25 0 1 0 186153505 206872576 49164 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 50506 49164 136 292 0 50211 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 202024

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9042
/proc/meminfo: memFree=1637632/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=210320 CPUtime=1541.67
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 101013 0 0 0 154032 135 0 0 25 0 1 0 186153505 215367680 51211 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 52580 51211 136 292 0 52285 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 210320

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9042
/proc/meminfo: memFree=1627200/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=220924 CPUtime=1601.63
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 103664 0 0 0 160025 138 0 0 25 0 1 0 186153505 226226176 53862 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 55231 53862 136 292 0 54936 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 220924

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9042
/proc/meminfo: memFree=1625216/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=222664 CPUtime=1661.6
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 104099 0 0 0 166022 138 0 0 25 0 1 0 186153505 228007936 54297 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 55666 54297 136 292 0 55371 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 222664

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9042
/proc/meminfo: memFree=1623296/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=224600 CPUtime=1721.57
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 104583 0 0 0 172019 138 0 0 25 0 1 0 186153505 229990400 54781 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 56150 54781 136 292 0 55855 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 224600

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9042
/proc/meminfo: memFree=1621696/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=226076 CPUtime=1781.55
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 104952 0 0 0 178016 139 0 0 25 0 1 0 186153505 231501824 55150 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 56519 55150 136 292 0 56224 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 226076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9042
/proc/meminfo: memFree=1621248/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=226476 CPUtime=1800.05
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 105052 0 0 0 179866 139 0 0 25 0 1 0 186153505 231911424 55250 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 56619 55250 136 292 0 56324 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 226476

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: 1.00 1.00 1.00 2/65 9042
/proc/meminfo: memFree=1621248/2055920 swapFree=4191900/4192956
[pid=9035] ppid=9033 vsize=226476 CPUtime=1800.05
/proc/9035/stat : 9035 (wbo) R 9033 9035 8666 0 -1 4194304 105052 0 0 0 179866 139 0 0 25 0 1 0 186153505 231911424 55250 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0
/proc/9035/statm: 56619 55250 136 292 0 56324 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 226476

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.85
CPU time (s): 1800.09
CPU user time (s): 1798.66
CPU system time (s): 1.42878
CPU usage (%): 99.9581
Max. virtual memory (cumulated for all children) (KiB): 226476

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

runsolver used 1.62975 second user time and 4.93825 second system time

The end

Launcher Data 

Begin job on node37 at 2009-06-16 22:52:43
IDJOB=1875511
IDBENCH=25033
IDSOLVER=698
FILE ID=node37/1875511-1245185563
PBS_JOBID= 9363943
Free space on /tmp= 66160 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir10_area_opers.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-1875511-1245185563/watcher-1875511-1245185563 -o /tmp/evaluation-result-1875511-1245185563/solver-1875511-1245185563 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875511-1245185563.opb

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

MD5SUM BENCH= cca2bc3212eb56e1c6b2ae84ca292ee3
RANDOM SEED=2121091069

node37.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.232
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.232
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:       1843184 kB
Buffers:         42428 kB
Cached:          92972 kB
SwapCached:        260 kB
Active:          50044 kB
Inactive:        98708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843184 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            8176 kB
Writeback:           0 kB
Mapped:          21812 kB
Slab:            50024 kB
Committed_AS:   168540 kB
PageTables:       1384 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-1875511-1245185563.opb

Free space on /tmp at the end= 66160 MiB
End job on node37 at 2009-06-16 23:22:46