Trace number 1875477

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.21 1801.19

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
MD5SUM525408a019e1cf8f47f95fb4bdf20c0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark74.1707
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables5256
Total number of constraints15614
Number of constraints which are clauses15614
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 constraint63
Number of terms in the objective function 2531
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 2531
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2531
Number of bits of the biggest sum of numbers12
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-1875477-1245182970.opb.
0.00/0.00	c Instance file HOME/instance-1875477-1245182970.opb
0.00/0.00	c File size is 462714 bytes.
0.00/0.06	c Highest Coefficient sum: 64
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Parsing time:          0.06         s                                      |
0.00/0.06	c |  Number Variables:      5256                                                |
0.00/0.06	c |  Number Clauses:        18145                                               |
0.00/0.06	c |  Number Cardinality:    0                                                   |
0.00/0.06	c |  Number PB Constraints: 0                                                   |
0.00/0.06	c core #1
0.00/0.06	c Core size: 63	Core Weight: 1	Total Weight: 1
0.00/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.00/0.07	c core #2
0.00/0.07	c Core size: 63	Core Weight: 1	Total Weight: 2
0.00/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.00/0.09	c core #3
0.00/0.09	c Core size: 127	Core Weight: 1	Total Weight: 3
0.00/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 1799.91 s
0.09/0.10	c core #4
0.09/0.10	c Core size: 31	Core Weight: 1	Total Weight: 4
0.09/0.10	c Elapsed CPU time: 0.099984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #5
0.09/0.11	c Core size: 63	Core Weight: 1	Total Weight: 5
0.09/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #6
0.09/0.12	c Core size: 7	Core Weight: 1	Total Weight: 6
0.09/0.12	c Elapsed CPU time: 0.124981 s	Remaining CPU time: 1799.88 s
0.09/0.14	c core #7
0.09/0.14	c Core size: 31	Core Weight: 1	Total Weight: 7
0.09/0.14	c Elapsed CPU time: 0.137979 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #8
0.09/0.15	c Core size: 127	Core Weight: 1	Total Weight: 8
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #9
0.09/0.16	c Core size: 15	Core Weight: 1	Total Weight: 9
0.09/0.16	c Elapsed CPU time: 0.162975 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #10
0.09/0.17	c Core size: 127	Core Weight: 1	Total Weight: 10
0.09/0.17	c Elapsed CPU time: 0.175973 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #11
0.09/0.19	c Core size: 63	Core Weight: 1	Total Weight: 11
0.09/0.19	c Elapsed CPU time: 0.188971 s	Remaining CPU time: 1799.81 s
0.19/0.20	c core #12
0.19/0.20	c Core size: 63	Core Weight: 1	Total Weight: 12
0.19/0.20	c Elapsed CPU time: 0.201969 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #13
0.19/0.21	c Core size: 31	Core Weight: 1	Total Weight: 13
0.19/0.21	c Elapsed CPU time: 0.214967 s	Remaining CPU time: 1799.79 s
0.19/0.23	c core #14
0.19/0.23	c Core size: 31	Core Weight: 1	Total Weight: 14
0.19/0.23	c Elapsed CPU time: 0.228965 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #15
0.19/0.24	c Core size: 15	Core Weight: 1	Total Weight: 15
0.19/0.24	c Elapsed CPU time: 0.241963 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #16
0.19/0.25	c Core size: 15	Core Weight: 1	Total Weight: 16
0.19/0.25	c Elapsed CPU time: 0.255961 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #17
0.19/0.27	c Core size: 31	Core Weight: 1	Total Weight: 17
0.19/0.27	c Elapsed CPU time: 0.268959 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #18
0.19/0.28	c Core size: 15	Core Weight: 1	Total Weight: 18
0.19/0.28	c Elapsed CPU time: 0.282956 s	Remaining CPU time: 1799.72 s
0.19/0.30	c core #19
0.19/0.30	c Core size: 15	Core Weight: 1	Total Weight: 19
0.19/0.30	c Elapsed CPU time: 0.296954 s	Remaining CPU time: 1799.7 s
0.29/0.32	c core #20
0.29/0.32	c Core size: 1487	Core Weight: 1	Total Weight: 20
0.29/0.32	c Elapsed CPU time: 0.32395 s	Remaining CPU time: 1799.68 s
0.29/0.34	c core #21
0.29/0.34	c Core size: 43	Core Weight: 1	Total Weight: 21
0.29/0.34	c Elapsed CPU time: 0.339948 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #22
0.29/0.35	c Core size: 459	Core Weight: 1	Total Weight: 22
0.29/0.35	c Elapsed CPU time: 0.355945 s	Remaining CPU time: 1799.64 s
0.29/0.37	c ============================[ Search Statistics ]==============================
0.29/0.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.37	c ===============================================================================
0.29/0.37	c |         0 |    3552    18167    31366 |     6055        0    nan |  0.000 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c core #23
0.29/0.39	c Core size: 1501	Core Weight: 1	Total Weight: 23
0.29/0.39	c Elapsed CPU time: 0.39194 s	Remaining CPU time: 1799.61 s
0.39/0.41	c ============================[ Search Statistics ]==============================
0.39/0.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.41	c ===============================================================================
0.39/0.41	c |         0 |    5357    18168    37703 |     6056        0    nan |  0.000 % |
0.39/0.45	c |       101 |    5354    18168    37703 |     6661       98     54 | 25.793 % |
0.49/0.54	c |       253 |    5352    18168    37703 |     7327      249     53 | 25.821 % |
0.59/0.68	c ===============================================================================
0.59/0.69	c core #24
0.59/0.69	c Core size: 2620	Core Weight: 1	Total Weight: 24
0.59/0.69	c Elapsed CPU time: 0.687895 s	Remaining CPU time: 1799.31 s
0.69/0.71	c Learning 20 hard constraints
0.69/0.71	c ============================[ Search Statistics ]==============================
0.69/0.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.71	c ===============================================================================
0.69/0.71	c |         0 |    6853    18189    42590 |     6063        0    nan |  0.000 % |
0.69/0.78	c |       108 |    6853    18189    42590 |     6669      108     99 | 14.015 % |
0.79/0.86	c |       258 |    6853    18189    42590 |     7336      258     92 | 14.015 % |
1.00/1.01	c |       487 |    6853    18189    42590 |     8069      487     90 | 14.015 % |
1.29/1.30	c |       824 |    6853    18189    42590 |     8876      824    103 | 14.015 % |
1.59/1.66	c |      1332 |    6853    18189    42590 |     9764     1332    109 | 14.015 % |
2.29/2.33	c |      2094 |    6853    18189    42590 |    10740     2094    111 | 14.015 % |
3.30/3.32	c |      3233 |    6853    18189    42590 |    11815     3233    113 | 14.015 % |
5.03/5.26	c |      4941 |    6853    18189    42590 |    12996     4941    130 | 14.015 % |
6.13/9.89	c |      7505 |    6853    18189    42590 |    14296     7505    151 | 14.015 % |
6.13/9.89	c ===============================================================================
6.13/9.89	c core #25
6.13/9.89	c Core size: 3483	Core Weight: 1	Total Weight: 25
6.13/9.89	c Elapsed CPU time: 9.45356 s	Remaining CPU time: 1790.55 s
6.13/9.89	c Learning 289 hard constraints
6.13/9.89	c ============================[ Search Statistics ]==============================
6.13/9.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.13/9.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.13/9.89	c ===============================================================================
6.13/9.89	c |         0 |    7707    18479    48147 |     6159        0    nan |  0.000 % |
6.13/9.89	c |       108 |    7707    18479    48147 |     6775      108    180 | 11.251 % |
6.13/9.89	c |       260 |    7707    18479    48147 |     7453      260    106 | 11.251 % |
6.13/9.99	c |       488 |    7707    18479    48147 |     8198      488    100 | 11.251 % |
10.12/10.31	c |       825 |    7707    18479    48147 |     9018      825    114 | 11.251 % |
10.43/10.65	c |      1332 |    7707    18479    48147 |     9920     1332    114 | 11.251 % |
10.93/11.16	c |      2091 |    7707    18479    48147 |    10912     2091    113 | 11.251 % |
11.83/12.00	c |      3230 |    7707    18479    48147 |    12003     3230    142 | 11.251 % |
13.23/13.42	c |      4939 |    7707    18479    48147 |    13203     4939    143 | 11.251 % |
15.33/15.56	c |      7506 |    7707    18479    48147 |    14524     7506    149 | 11.251 % |
18.91/19.10	c |     11350 |    7707    18479    48147 |    15976    11350    162 | 11.251 % |
26.41/26.67	c |     17116 |    7707    18479    48147 |    17574    17116    191 | 11.251 % |
34.59/34.84	c |     25767 |    7707    18479    48147 |    19331    16070    170 | 11.251 % |
52.57/52.86	c |     38743 |    7707    18479    48147 |    21264    18138    170 | 11.251 % |
83.65/83.94	c |     58205 |    7707    18479    48147 |    23391    13828    248 | 11.251 % |
124.33/124.60	c |     87397 |    7707    18479    48147 |    25730    16324    222 | 11.251 % |
198.39/198.78	c |    131186 |    7707    18479    48147 |    28303    17238    237 | 11.251 % |
319.55/319.92	c |    196875 |    7707    18479    48147 |    31133    18253    269 | 11.251 % |
520.26/520.70	c |    295402 |    7703    18479    48147 |    34247    22774    271 | 11.298 % |
548.25/548.80	c ===============================================================================
560.65/561.20	c core #26
560.65/561.20	c Core size: 4721	Core Weight: 1	Total Weight: 26
560.65/561.20	c Elapsed CPU time: 558.74 s	Remaining CPU time: 1241.26 s
561.04/561.56	c Learning 77 hard constraints
561.04/561.56	c ============================[ Search Statistics ]==============================
561.04/561.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
561.04/561.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
561.04/561.56	c ===============================================================================
561.04/561.56	c |         0 |    9308    18557    55627 |     6185        0    nan |  0.000 % |
561.14/561.68	c |       101 |    9308    18557    55627 |     6804      101    157 |  4.553 % |
561.24/561.78	c |       253 |    9308    18557    55627 |     7484      253    135 |  4.553 % |
561.44/561.99	c |       478 |    9308    18557    55627 |     8233      478    166 |  4.553 % |
561.85/562.33	c |       816 |    9308    18557    55627 |     9056      816    146 |  4.553 % |
562.34/562.80	c |      1324 |    9308    18557    55627 |     9962     1324    205 |  4.553 % |
563.04/563.54	c |      2084 |    9308    18557    55627 |    10958     2084    252 |  4.553 % |
564.04/564.53	c |      3223 |    9308    18557    55627 |    12054     3223    244 |  4.553 % |
566.15/566.63	c |      4936 |    9308    18557    55627 |    13259     4936    224 |  4.553 % |
568.84/569.37	c |      7498 |    9308    18557    55627 |    14585     7498    196 |  4.553 % |
572.94/573.42	c |     11346 |    9308    18557    55627 |    16044    11346    191 |  4.553 % |
580.53/581.08	c |     17114 |    9308    18557    55627 |    17648    17114    190 |  4.553 % |
591.43/591.91	c |     25765 |    9308    18557    55627 |    19413    16096    199 |  4.553 % |
604.82/605.35	c |     38742 |    9308    18557    55627 |    21354    18330    190 |  4.553 % |
644.81/645.30	c |     58203 |    9308    18557    55627 |    23490    13619    305 |  4.553 % |
704.18/704.77	c |     87400 |    9308    18557    55627 |    25839    17229    211 |  4.553 % |
783.24/783.84	c |    131198 |    9308    18557    55627 |    28422    15438    280 |  4.553 % |
934.28/934.90	c |    196882 |    9308    18557    55627 |    31265    16286    295 |  4.553 % |
1127.61/1128.31	c |    295408 |    9308    18557    55627 |    34391    15328    268 |  4.553 % |
1495.45/1496.31	c |    443200 |    9308    18557    55627 |    37830    28814    272 |  4.553 % |

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-1875477-1245182970/watcher-1875477-1245182970 -o /tmp/evaluation-result-1875477-1245182970/solver-1875477-1245182970 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875477-1245182970.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: 1.24 1.11 1.04 3/64 6831
/proc/meminfo: memFree=1576644/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=3304 CPUtime=0
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 274 0 0 0 0 0 0 0 20 0 1 0 185894948 3383296 258 1992294400 134512640 135709839 4294956240 18446744073709551615 134574099 0 0 4096 3 0 0 0 17 1 0 0
/proc/6831/statm: 826 258 126 292 0 418 0

[startup+0.0937929 s]
/proc/loadavg: 1.24 1.11 1.04 3/64 6831
/proc/meminfo: memFree=1576644/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=5128 CPUtime=0.08
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 1072 0 0 0 8 0 0 0 20 0 1 0 185894948 5251072 819 1992294400 134512640 135709839 4294956240 18446744073709551615 135165993 0 0 4096 3 0 0 0 17 1 0 0
/proc/6831/statm: 1282 819 133 292 0 987 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5128

[startup+0.101794 s]
/proc/loadavg: 1.24 1.11 1.04 3/64 6831
/proc/meminfo: memFree=1576644/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=5420 CPUtime=0.09
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 1142 0 0 0 9 0 0 0 20 0 1 0 185894948 5550080 889 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/6831/statm: 1355 889 133 292 0 1060 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5420

[startup+0.301814 s]
/proc/loadavg: 1.24 1.11 1.04 3/64 6831
/proc/meminfo: memFree=1576644/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=5884 CPUtime=0.29
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 1259 0 0 0 29 0 0 0 22 0 1 0 185894948 6025216 1006 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/6831/statm: 1471 1006 133 292 0 1176 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5884

[startup+0.701855 s]
/proc/loadavg: 1.24 1.11 1.04 3/64 6831
/proc/meminfo: memFree=1576644/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=6740 CPUtime=0.69
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 1558 0 0 0 69 0 0 0 25 0 1 0 185894948 6901760 1191 1992294400 134512640 135709839 4294956240 18446744073709551615 135183302 0 0 4096 3 0 0 0 17 1 0 0
/proc/6831/statm: 1685 1191 136 292 0 1390 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6740

[startup+1.50194 s]
/proc/loadavg: 1.24 1.11 1.04 2/65 6832
/proc/meminfo: memFree=1572284/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=6872 CPUtime=1.49
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 1610 0 0 0 148 1 0 0 25 0 1 0 185894948 7036928 1243 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6831/statm: 1718 1243 136 292 0 1423 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6872

[startup+3.1011 s]
/proc/loadavg: 1.24 1.11 1.04 2/65 6832
/proc/meminfo: memFree=1572092/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=7796 CPUtime=3.08
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 1868 0 0 0 307 1 0 0 25 0 1 0 185894948 7983104 1501 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6831/statm: 1949 1501 136 292 0 1654 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7796

[startup+6.30143 s]
/proc/loadavg: 1.22 1.10 1.04 2/65 6832
/proc/meminfo: memFree=1568188/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=12152 CPUtime=6.13
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 2946 0 0 0 609 4 0 0 25 0 1 0 185894948 12443648 2579 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6831/statm: 3038 2579 136 292 0 2743 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 12152

[startup+12.7012 s]
/proc/loadavg: 1.53 1.17 1.06 2/65 6832
/proc/meminfo: memFree=1560252/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=18620 CPUtime=12.53
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 4538 0 0 0 1245 8 0 0 25 0 1 0 185894948 19066880 4171 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 4655 4171 136 292 0 4360 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 18620

[startup+25.5056 s]
/proc/loadavg: 1.41 1.16 1.06 2/65 6832
/proc/meminfo: memFree=1549244/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=29724 CPUtime=25.31
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 7346 0 0 0 2517 14 0 0 25 0 1 0 185894948 30437376 6979 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 7431 6979 136 292 0 7136 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 29724

[startup+51.1012 s]
/proc/loadavg: 1.27 1.15 1.05 2/65 6832
/proc/meminfo: memFree=1525948/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=53176 CPUtime=50.86
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 13207 0 0 0 5062 24 0 0 25 0 1 0 185894948 54452224 12840 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 13294 12840 136 292 0 12999 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 53176

[startup+102.301 s]
/proc/loadavg: 1.11 1.12 1.05 2/65 6832
/proc/meminfo: memFree=1477244/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=102432 CPUtime=102.04
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 25514 0 0 0 10161 43 0 0 25 0 1 0 185894948 104890368 25147 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 25608 25147 136 292 0 25313 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 102432

[startup+162.302 s]
/proc/loadavg: 1.04 1.10 1.04 2/65 6832
/proc/meminfo: memFree=1423612/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=155428 CPUtime=162.01
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 38750 0 0 0 16137 64 0 0 25 0 1 0 185894948 159158272 38383 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 38857 38383 136 292 0 38562 0
Current children cumulated CPU time (s) 162.01
Current children cumulated vsize (KiB) 155428

[startup+222.302 s]
/proc/loadavg: 1.01 1.08 1.04 2/65 6833
/proc/meminfo: memFree=1370876/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=207408 CPUtime=221.99
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 51730 0 0 0 22112 87 0 0 25 0 1 0 185894948 212385792 51363 1992294400 134512640 135709839 4294956240 18446744073709551615 134518605 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 51852 51363 136 292 0 51557 0
Current children cumulated CPU time (s) 221.99
Current children cumulated vsize (KiB) 207408

[startup+282.302 s]
/proc/loadavg: 1.00 1.06 1.03 2/65 6833
/proc/meminfo: memFree=1320892/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=258032 CPUtime=281.96
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 64369 0 0 0 28088 108 0 0 25 0 1 0 185894948 264224768 64002 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 64508 64002 136 292 0 64213 0
Current children cumulated CPU time (s) 281.96
Current children cumulated vsize (KiB) 258032

[startup+342.305 s]
/proc/loadavg: 1.00 1.05 1.02 2/65 6833
/proc/meminfo: memFree=1268860/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=309516 CPUtime=341.94
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 77243 0 0 0 34063 131 0 0 25 0 1 0 185894948 316944384 76876 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 77379 76876 136 292 0 77084 0
Current children cumulated CPU time (s) 341.94
Current children cumulated vsize (KiB) 309516

[startup+402.301 s]
/proc/loadavg: 1.00 1.04 1.02 2/65 6833
/proc/meminfo: memFree=1222332/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=356304 CPUtime=401.9
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 88958 0 0 0 40040 150 0 0 25 0 1 0 185894948 364855296 88591 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 89076 88591 136 292 0 88781 0
Current children cumulated CPU time (s) 401.9
Current children cumulated vsize (KiB) 356304

[startup+462.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/65 6833
/proc/meminfo: memFree=1174652/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=403644 CPUtime=461.88
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 100756 0 0 0 46019 169 0 0 25 0 1 0 185894948 413331456 100389 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 100911 100389 136 292 0 100616 0
Current children cumulated CPU time (s) 461.88
Current children cumulated vsize (KiB) 403644

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.01 2/65 6833
/proc/meminfo: memFree=1123516/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=454872 CPUtime=521.85
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 113565 0 0 0 51995 190 0 0 25 0 1 0 185894948 465788928 113198 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 113718 113198 136 292 0 113423 0
Current children cumulated CPU time (s) 521.85
Current children cumulated vsize (KiB) 454872

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 6833
/proc/meminfo: memFree=1094140/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=484020 CPUtime=581.83
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 120793 0 0 0 57977 206 0 0 25 0 1 0 185894948 495636480 120426 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 121005 120426 136 292 0 120710 0
Current children cumulated CPU time (s) 581.83
Current children cumulated vsize (KiB) 484020

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 6833
/proc/meminfo: memFree=1094012/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=484020 CPUtime=641.8
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 120800 0 0 0 63965 215 0 0 25 0 1 0 185894948 495636480 120433 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 121005 120433 136 292 0 120710 0
Current children cumulated CPU time (s) 641.8
Current children cumulated vsize (KiB) 484020

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=993212/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=584300 CPUtime=881.71
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 145892 0 0 0 87902 269 0 0 25 0 1 0 185894948 598323200 145525 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 146075 145525 136 292 0 145780 0
Current children cumulated CPU time (s) 881.71
Current children cumulated vsize (KiB) 584300

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=940668/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=637164 CPUtime=941.68
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 159106 0 0 0 93880 288 0 0 25 0 1 0 185894948 652455936 158739 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 159291 158739 136 292 0 158996 0
Current children cumulated CPU time (s) 941.68
Current children cumulated vsize (KiB) 637164

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=890364/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=686956 CPUtime=1001.66
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 171573 0 0 0 99860 306 0 0 25 0 1 0 185894948 703442944 171206 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 171739 171206 136 292 0 171444 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 686956

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=845180/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=732628 CPUtime=1061.63
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 182996 0 0 0 105841 322 0 0 25 0 1 0 185894948 750211072 182629 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 183157 182629 136 292 0 182862 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 732628

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=798844/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=778504 CPUtime=1121.61
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 194437 0 0 0 111819 342 0 0 25 0 1 0 185894948 797188096 194070 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 194626 194070 136 292 0 194331 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 778504

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=758652/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=819184 CPUtime=1181.58
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 204603 0 0 0 117801 357 0 0 25 0 1 0 185894948 838844416 204236 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 204796 204236 136 292 0 204501 0
Current children cumulated CPU time (s) 1181.58
Current children cumulated vsize (KiB) 819184

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=718780/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=858252 CPUtime=1241.56
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 214353 0 0 0 123783 373 0 0 25 0 1 0 185894948 878850048 213986 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 214563 213986 136 292 0 214268 0
Current children cumulated CPU time (s) 1241.56
Current children cumulated vsize (KiB) 858252

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=683644/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=893808 CPUtime=1301.54
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 223255 0 0 0 129766 388 0 0 25 0 1 0 185894948 915259392 222888 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 223452 222888 136 292 0 223157 0
Current children cumulated CPU time (s) 1301.54
Current children cumulated vsize (KiB) 893808

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=640828/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=936076 CPUtime=1361.5
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 233811 0 0 0 135745 405 0 0 25 0 1 0 185894948 958541824 233444 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 234019 233444 136 292 0 233724 0
Current children cumulated CPU time (s) 1361.5
Current children cumulated vsize (KiB) 936076

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=595452/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=981888 CPUtime=1421.48
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 245261 0 0 0 141727 421 0 0 25 0 1 0 185894948 1005453312 244894 1992294400 134512640 135709839 4294956240 18446744073709551615 134573967 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 245472 244894 136 292 0 245177 0
Current children cumulated CPU time (s) 1421.48
Current children cumulated vsize (KiB) 981888

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=557372/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=1019380 CPUtime=1481.45
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 254653 0 0 0 147711 434 0 0 25 0 1 0 185894948 1043845120 254286 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 254845 254286 136 292 0 254550 0
Current children cumulated CPU time (s) 1481.45
Current children cumulated vsize (KiB) 1019380

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=505660/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=1070860 CPUtime=1541.43
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 267501 0 0 0 153688 455 0 0 25 0 1 0 185894948 1096560640 267134 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 267715 267134 136 292 0 267420 0
Current children cumulated CPU time (s) 1541.43
Current children cumulated vsize (KiB) 1070860

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=458492/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=1118324 CPUtime=1601.4
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 279357 0 0 0 159667 473 0 0 25 0 1 0 185894948 1145163776 278990 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 279581 278990 136 292 0 279286 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 1118324

[startup+1662.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=412028/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=1164264 CPUtime=1661.38
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 290857 0 0 0 165645 493 0 0 25 0 1 0 185894948 1192206336 290490 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 291066 290490 136 292 0 290771 0
Current children cumulated CPU time (s) 1661.38
Current children cumulated vsize (KiB) 1164264

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=368060/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=1208768 CPUtime=1721.35
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 301956 0 0 0 171626 509 0 0 25 0 1 0 185894948 1237778432 301589 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 302192 301589 136 292 0 301897 0
Current children cumulated CPU time (s) 1721.35
Current children cumulated vsize (KiB) 1208768

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=330428/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=1245656 CPUtime=1781.33
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 311159 0 0 0 177608 525 0 0 25 0 1 0 185894948 1275551744 310792 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 311414 310792 136 292 0 311119 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (KiB) 1245656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=319804/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=1256224 CPUtime=1800.02
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4194304 313800 0 0 0 179473 529 0 0 25 0 1 0 185894948 1286373376 313433 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 314056 313433 136 292 0 313761 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1256224

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

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

[startup+1801.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6833
/proc/meminfo: memFree=319804/2055920 swapFree=4178716/4192956
[pid=6831] ppid=6829 vsize=0 CPUtime=1800.12
/proc/6831/stat : 6831 (wbo) R 6829 6831 6718 0 -1 4195332 313800 0 0 0 179473 539 0 0 25 0 1 0 185894948 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/6831/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.21
CPU user time (s): 1794.74
CPU system time (s): 5.47817
CPU usage (%): 99.946
Max. virtual memory (cumulated for all children) (KiB): 1256224

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

runsolver used 1.55276 second user time and 3.71743 second system time

The end

Launcher Data 

Begin job on node90 at 2009-06-16 22:09:30
IDJOB=1875477
IDBENCH=24999
IDSOLVER=698
FILE ID=node90/1875477-1245182970
PBS_JOBID= 9368280
Free space on /tmp= 66528 MiB

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

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=101941815

node90.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.231
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.231
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1577188 kB
Buffers:         28304 kB
Cached:         384008 kB
SwapCached:       8404 kB
Active:          37904 kB
Inactive:       384988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1577188 kB
SwapTotal:     4192956 kB
SwapFree:      4178716 kB
Dirty:            2836 kB
Writeback:           0 kB
Mapped:          16208 kB
Slab:            41840 kB
Committed_AS:    84776 kB
PageTables:       1436 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-1875477-1245182970.opb

Free space on /tmp at the end= 66528 MiB
End job on node90 at 2009-06-16 22:39:33