Trace number 2655789

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.11 1800.59

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
MD5SUMd869c2ae266497675d66f161576eaac8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark255.362
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables11729
Total number of constraints36747
Number of constraints which are clauses36747
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 5750
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 5750
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 5750
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655789-1276635152.opb.
0.00/0.00	c Instance file HOME/instance-2655789-1276635152.opb
0.00/0.00	c File size is 1092591 bytes.
0.09/0.17	c Highest Coefficient sum: 128
0.09/0.17	c ============================[ Problem Statistics ]=============================
0.09/0.17	c |                                                                             |
0.09/0.17	c |  Parsing time:          0.16         s                                      |
0.09/0.17	c |  Number Variables:      11729                                               |
0.09/0.17	c |  Number Clauses:        36747                                               |
0.09/0.17	c |  Number Cardinality:    0                                                   |
0.09/0.17	c |  Number PB Constraints: 0                                                   |
0.29/0.32	c ============================[ Search Statistics ]==============================
0.29/0.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.32	c ===============================================================================
0.29/0.32	c |         0 |    9465    36756    86299 |    12249        0    nan |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 35
0.29/0.34	o 35
0.29/0.34	c Elapsed CPU time: 0.321951 s	Remaining CPU time: 179.678 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |    9465    36757    92049 |    12252        0    nan |  0.000 % |
0.38/0.44	c |       101 |    9465    36757    92049 |    13477      101     67 | 19.303 % |
0.49/0.53	c |       251 |    9465    36757    92049 |    14825      251     44 | 19.303 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: 34
0.49/0.54	o 34
0.49/0.54	c Elapsed CPU time: 0.508922 s	Remaining CPU time: 179.491 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |       278 |    9465    36758    97799 |    12252      278     40 | 19.303 % |
0.59/0.65	c |       378 |    9465    36758    97799 |    13477      378     50 | 19.303 % |
0.69/0.76	c ===============================================================================
0.69/0.76	c New solution: 33
0.69/0.76	o 33
0.69/0.76	c Elapsed CPU time: 0.715891 s	Remaining CPU time: 179.284 s
0.69/0.76	c ===============================================================================
0.69/0.76	c |       493 |    9465    36759   103549 |    12253      493     46 | 19.303 % |
0.79/0.83	c |       593 |    9465    36759   103549 |    13478      593     42 | 19.303 % |
0.89/0.95	c |       743 |    9465    36759   103549 |    14826      743     40 | 19.303 % |
1.09/1.13	c |       968 |    9465    36759   103549 |    16308      968     36 | 19.303 % |
1.09/1.18	c ===============================================================================
1.09/1.18	c New solution: 31
1.09/1.18	o 31
1.09/1.18	c Elapsed CPU time: 1.11183 s	Remaining CPU time: 178.888 s
1.09/1.18	c ===============================================================================
1.09/1.18	c |      1028 |    9465    36760   109299 |    12253     1028     35 | 19.303 % |
1.19/1.27	c |      1129 |    9465    36760   109299 |    13478     1129     34 | 19.303 % |
1.29/1.39	c |      1281 |    9465    36760   109299 |    14826     1281     35 | 19.303 % |
1.58/1.61	c |      1506 |    9465    36760   109299 |    16309     1506     38 | 19.303 % |
1.89/1.99	c |      1844 |    9465    36760   109299 |    17940     1844     44 | 19.303 % |
2.38/2.49	c |      2351 |    9465    36760   109299 |    19734     2351     50 | 19.303 % |
3.19/3.22	c |      3111 |    9465    36760   109299 |    21707     3111     70 | 19.303 % |
4.18/4.29	c |      4250 |    9465    36760   109299 |    23878     4250     77 | 19.303 % |
6.08/6.10	c |      5959 |    9465    36760   109299 |    26266     5959     83 | 19.303 % |
8.59/8.60	c |      8521 |    9465    36760   109299 |    28892     8521     89 | 19.303 % |
12.58/12.69	c |     12365 |    9465    36760   109299 |    31781    12365    102 | 19.303 % |
18.48/18.50	c |     18131 |    9465    36760   109299 |    34960    18131    100 | 19.303 % |
26.48/26.54	c |     26780 |    9465    36760   109299 |    38456    26780     98 | 19.303 % |
48.07/48.18	c |     39754 |    9465    36760   109299 |    42301    39754    103 | 19.303 % |
67.76/67.84	c |     59215 |    9465    36760   109299 |    46532    22621    102 | 19.303 % |
100.96/101.01	c |     88407 |    9465    36760   109299 |    51185    12554    124 | 19.303 % |
149.56/149.62	c |    132197 |    9465    36760   109299 |    56303    56344    145 | 19.303 % |
167.54/167.66	c ===============================================================================
167.54/167.66	c New solution: 30
167.54/167.66	o 30
167.54/167.66	c Elapsed CPU time: 166.502 s	Remaining CPU time: 13.4983 s
167.54/167.66	c ===============================================================================
167.54/167.66	c |    149649 |    9465    36761   115049 |    12253    25239    140 | 19.303 % |
167.74/167.87	c |    149749 |    9465    36761   115049 |    13479    11160    132 | 19.303 % |
167.85/167.97	c |    149901 |    9465    36761   115049 |    14826    11312    131 | 19.303 % |
168.04/168.16	c |    150126 |    9465    36761   115049 |    16309    11537    129 | 19.303 % |
168.34/168.46	c |    150463 |    9465    36761   115049 |    17940    11874    126 | 19.303 % |
168.84/168.96	c |    150969 |    9465    36761   115049 |    19734    12380    123 | 19.303 % |
169.64/169.74	c |    151728 |    9465    36761   115049 |    21708    13139    121 | 19.303 % |
170.74/170.87	c |    152868 |    9465    36761   115049 |    23878    14279    118 | 19.303 % |
172.55/172.62	c |    154576 |    9465    36761   115049 |    26266    15987    116 | 19.303 % |
174.84/174.93	c |    157138 |    9465    36761   115049 |    28893    18549    116 | 19.303 % |
178.93/179.02	c |    160982 |    9465    36761   115049 |    31782    22393    111 | 19.303 % |
181.14/181.28	c There are 2264 assigned variables. 1140 in cost function.
182.64/182.75	c core #1
182.64/182.75	c core #2
182.64/182.75	c core #3
182.64/182.75	c core #4
182.64/182.75	c core #5
182.64/182.75	c core #6
182.64/182.75	c core #7
182.64/182.75	c core #8
182.64/182.75	c core #9
182.64/182.75	c core #10
182.64/182.75	c core #11
182.64/182.75	c core #12
182.64/182.75	c core #13
182.64/182.75	c core #14
182.64/182.75	c core #15
182.64/182.75	c core #16
182.64/182.75	c core #17
182.64/182.75	c core #18
182.64/182.75	c core #19
182.64/182.75	c ============================[ Search Statistics ]==============================
182.64/182.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.75	c ===============================================================================
182.64/182.75	c |         0 |    1259    37812    62677 |    12604        0    nan |  0.000 % |
182.64/182.76	c ===============================================================================
182.74/182.85	c core #20
182.74/182.85	c ============================[ Search Statistics ]==============================
182.74/182.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.74/182.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.74/182.85	c ===============================================================================
182.74/182.85	c |         0 |    2275    37817    65650 |    12605        0    nan |  0.000 % |
182.74/182.87	c ===============================================================================
182.84/182.95	c core #21
182.84/182.95	c ============================[ Search Statistics ]==============================
182.84/182.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.84/182.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.84/182.95	c ===============================================================================
182.84/182.95	c |         0 |    2712    37867    67152 |    12622        0    nan |  0.000 % |
182.94/183.01	c |       102 |    2712    37867    67152 |    13884      102     37 | 78.612 % |
182.94/183.06	c ===============================================================================
183.03/183.15	c core #22
183.03/183.15	c ============================[ Search Statistics ]==============================
183.03/183.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.03/183.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.03/183.15	c ===============================================================================
183.03/183.15	c |         0 |    3904    38234    70720 |    12744        0    nan |  0.000 % |
183.13/183.21	c |       100 |    3904    38234    70720 |    14019      100     96 | 71.355 % |
183.24/183.30	c |       250 |    3904    38234    70720 |    15421      250     73 | 71.355 % |
183.34/183.48	c |       476 |    3904    38234    70720 |    16963      476     84 | 71.355 % |
183.55/183.67	c |       816 |    3904    38234    70720 |    18659      816     75 | 71.355 % |
183.94/184.09	c |      1322 |    3904    38234    70720 |    20525     1322     79 | 71.355 % |
184.53/184.62	c |      2083 |    3904    38234    70720 |    22577     2083     74 | 71.355 % |
185.64/185.70	c |      3222 |    3904    38234    70720 |    24835     3222     83 | 71.355 % |
187.14/187.26	c ===============================================================================
187.34/187.43	c core #23
187.34/187.43	c ============================[ Search Statistics ]==============================
187.34/187.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.34/187.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.34/187.43	c ===============================================================================
187.34/187.43	c |         0 |    5115    38781    74330 |    12927        0    nan |  0.000 % |
187.34/187.49	c |       100 |    5115    38781    74330 |    14219      100    103 | 65.411 % |
187.53/187.62	c |       250 |    5115    38781    74330 |    15641      250     86 | 65.411 % |
187.64/187.74	c |       475 |    5115    38781    74330 |    17205      475     68 | 65.411 % |
188.04/188.14	c |       812 |    5115    38781    74330 |    18926      812     95 | 65.411 % |
188.24/188.39	c |      1320 |    5115    38781    74330 |    20819     1320     78 | 65.411 % |
188.84/188.96	c |      2079 |    5115    38781    74330 |    22900     2079     77 | 65.411 % |
190.14/190.28	c |      3219 |    5115    38781    74330 |    25191     3219    108 | 65.411 % |
191.64/191.79	c |      4927 |    5115    38781    74330 |    27710     4927    110 | 65.411 % |
194.04/194.10	c |      7489 |    5115    38781    74330 |    30481     7489    118 | 65.411 % |
198.84/198.95	c |     11334 |    5115    38781    74330 |    33529    11334    130 | 65.411 % |
205.43/205.58	c |     17101 |    5115    38781    74330 |    36882    17101    127 | 65.411 % |
217.43/217.50	c |     25752 |    5115    38781    74330 |    40570    25752    137 | 65.411 % |
237.62/237.76	c |     38728 |    5115    38781    74330 |    44627    38728    148 | 65.411 % |
275.42/275.51	c |     58189 |    5115    38781    74330 |    49090    17601    148 | 65.411 % |
321.20/321.37	c |     87382 |    5114    38781    74330 |    53999    42212    147 | 65.418 % |
394.89/395.00	c ===============================================================================
397.69/397.85	c core #24
397.69/397.85	c ============================[ Search Statistics ]==============================
397.69/397.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
397.69/397.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
397.69/397.85	c ===============================================================================
397.69/397.85	c |         0 |    6440    39364    78153 |    13121        0    nan |  0.000 % |
397.78/397.93	c |       100 |    6440    39364    78153 |    14433      100    243 | 60.032 % |
397.88/398.01	c |       250 |    6440    39364    78153 |    15876      250    162 | 60.032 % |
397.99/398.15	c |       475 |    6440    39364    78153 |    17464      475    160 | 60.032 % |
398.19/398.37	c |       816 |    6440    39364    78153 |    19210      816    150 | 60.032 % |
398.59/398.79	c |      1324 |    6440    39364    78153 |    21132     1324    146 | 60.032 % |
399.09/399.21	c |      2083 |    6440    39364    78153 |    23245     2083    113 | 60.032 % |
399.98/400.12	c |      3223 |    6440    39364    78153 |    25569     3223     99 | 60.032 % |
401.88/402.05	c |      4931 |    6440    39364    78153 |    28126     4931    127 | 60.032 % |
403.88/404.03	c |      7493 |    6440    39364    78153 |    30939     7493    116 | 60.032 % |
408.28/408.49	c |     11337 |    6440    39364    78153 |    34033    11337    122 | 60.032 % |
414.68/414.88	c |     17103 |    6440    39364    78153 |    37436    17103    146 | 60.032 % |
426.59/426.70	c |     25752 |    6440    39364    78153 |    41180    25752    148 | 60.032 % |
439.28/439.47	c |     38726 |    6440    39364    78153 |    45298    38726    132 | 60.032 % |
467.97/468.15	c |     58187 |    6440    39364    78153 |    49828    15457    130 | 60.032 % |
509.24/509.48	c |     87380 |    6440    39364    78153 |    54811    44650    159 | 60.032 % |
580.92/581.16	c |    131172 |    6440    39364    78153 |    60292    36381    180 | 60.032 % |
700.50/700.73	c |    196856 |    6440    39364    78153 |    66321    46045    240 | 60.032 % |
897.45/897.77	c |    295384 |    6440    39364    78153 |    72953    21330    177 | 60.032 % |
1198.07/1198.41	c |    443175 |    6440    39364    78153 |    80248    36563    194 | 60.032 % |
1666.15/1666.64	c |    664858 |    6440    39364    78153 |    88273    34214    208 | 60.032 % |

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-2655789-1276635152/watcher-2655789-1276635152 -o /tmp/evaluation-result-2655789-1276635152/solver-2655789-1276635152 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655789-1276635152.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: 2.08 1.95 1.61 3/106 11650
/proc/meminfo: memFree=1794128/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=3816 CPUtime=0
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 336 0 0 0 0 0 0 0 19 0 1 0 39119197 3907584 254 1992294400 134512640 135751879 4290140928 18446744073709551615 134613632 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 954 254 135 303 0 382 0

[startup+0.0973279 s]
/proc/loadavg: 2.08 1.95 1.61 3/106 11650
/proc/meminfo: memFree=1794128/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=6316 CPUtime=0.09
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 1065 0 0 0 9 0 0 0 19 0 1 0 39119197 6467584 983 1992294400 134512640 135751879 4290140928 18446744073709551615 135188042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 1579 983 276 303 0 1007 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6316

[startup+0.101327 s]
/proc/loadavg: 2.08 1.95 1.61 3/106 11650
/proc/meminfo: memFree=1794128/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=6504 CPUtime=0.09
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 1094 0 0 0 9 0 0 0 19 0 1 0 39119197 6660096 1012 1992294400 134512640 135751879 4290140928 18446744073709551615 135204425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 1626 1013 283 303 0 1054 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6504

[startup+0.301348 s]
/proc/loadavg: 2.08 1.95 1.61 3/106 11650
/proc/meminfo: memFree=1794128/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=9932 CPUtime=0.29
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 2368 0 0 0 28 1 0 0 20 0 1 0 39119197 10170368 1987 1992294400 134512640 135751879 4290140928 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 2483 1987 145 303 0 2178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9932

[startup+0.701388 s]
/proc/loadavg: 2.08 1.95 1.61 3/106 11650
/proc/meminfo: memFree=1794128/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=9932 CPUtime=0.69
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 2387 0 0 0 65 4 0 0 21 0 1 0 39119197 10170368 2006 1992294400 134512640 135751879 4290140928 18446744073709551615 134616467 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 2483 2006 147 303 0 2178 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9932

[startup+1.50147 s]
/proc/loadavg: 2.08 1.95 1.61 2/107 11651
/proc/meminfo: memFree=1786680/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=9932 CPUtime=1.49
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 2387 0 0 0 140 9 0 0 23 0 1 0 39119197 10170368 2006 1992294400 134512640 135751879 4290140928 18446744073709551615 134616276 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 2483 2006 147 303 0 2178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9932

[startup+3.10163 s]
/proc/loadavg: 2.08 1.95 1.61 2/107 11651
/proc/meminfo: memFree=1786432/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=9932 CPUtime=3.08
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 2387 0 0 0 297 11 0 0 25 0 1 0 39119197 10170368 2006 1992294400 134512640 135751879 4290140928 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 2483 2006 147 303 0 2178 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9932

[startup+6.30196 s]
/proc/loadavg: 2.00 1.94 1.60 2/107 11651
/proc/meminfo: memFree=1786308/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=10192 CPUtime=6.28
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 2425 0 0 0 615 13 0 0 25 0 1 0 39119197 10436608 2044 1992294400 134512640 135751879 4290140928 18446744073709551615 134610989 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 2548 2044 147 303 0 2243 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10192

[startup+12.7016 s]
/proc/loadavg: 1.92 1.92 1.60 2/107 11651
/proc/meminfo: memFree=1782960/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=13944 CPUtime=12.68
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 3360 0 0 0 1251 17 0 0 25 0 1 0 39119197 14278656 2979 1992294400 134512640 135751879 4290140928 18446744073709551615 134616285 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 3486 2979 147 303 0 3181 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13944

[startup+25.5009 s]
/proc/loadavg: 1.71 1.88 1.59 2/107 11651
/proc/meminfo: memFree=1776140/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=20356 CPUtime=25.48
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 4976 0 0 0 2524 24 0 0 25 0 1 0 39119197 20844544 4595 1992294400 134512640 135751879 4290140928 18446744073709551615 134611144 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 5089 4595 147 303 0 4784 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20356

[startup+51.1005 s]
/proc/loadavg: 1.47 1.80 1.57 2/107 11651
/proc/meminfo: memFree=1766716/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=29792 CPUtime=51.07
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 7331 0 0 0 5070 37 0 0 25 0 1 0 39119197 30507008 6950 1992294400 134512640 135751879 4290140928 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 7448 6950 147 303 0 7143 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29792

[startup+102.309 s]
/proc/loadavg: 1.20 1.68 1.54 2/107 11653
/proc/meminfo: memFree=1739932/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=56176 CPUtime=102.26
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 13930 0 0 0 10156 70 0 0 25 0 1 0 39119197 57524224 13549 1992294400 134512640 135751879 4290140928 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 14044 13549 148 303 0 13739 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 56176

[startup+162.301 s]
/proc/loadavg: 1.07 1.55 1.50 2/107 11655
/proc/meminfo: memFree=1702484/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=94104 CPUtime=162.25
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 23372 0 0 0 16118 107 0 0 25 0 1 0 39119197 96362496 22991 1992294400 134512640 135751879 4290140928 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 23526 22991 148 303 0 23221 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 94104

[startup+222.301 s]
/proc/loadavg: 1.02 1.45 1.47 2/107 11657
/proc/meminfo: memFree=1688224/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=107784 CPUtime=222.23
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 27256 0 0 0 22081 142 0 0 25 0 1 0 39119197 110370816 26465 1992294400 134512640 135751879 4290140928 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 26946 26465 151 303 0 26641 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 107784

[startup+282.301 s]
/proc/loadavg: 1.01 1.36 1.44 2/107 11657
/proc/meminfo: memFree=1663052/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=133072 CPUtime=282.22
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 33591 0 0 0 28057 165 0 0 25 0 1 0 39119197 136265728 32800 1992294400 134512640 135751879 4290140928 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 33268 32800 151 303 0 32963 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 133072

[startup+342.301 s]
/proc/loadavg: 1.00 1.30 1.41 2/107 11659
/proc/meminfo: memFree=1632052/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=163596 CPUtime=342.2
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 41218 0 0 0 34028 192 0 0 25 0 1 0 39119197 167522304 40427 1992294400 134512640 135751879 4290140928 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 40899 40427 151 303 0 40594 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 163596

[startup+402.3 s]
/proc/loadavg: 1.00 1.24 1.38 2/107 11661
/proc/meminfo: memFree=1592868/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=202928 CPUtime=402.19
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 51107 0 0 0 39996 223 0 0 25 0 1 0 39119197 207798272 50173 1992294400 134512640 135751879 4290140928 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 50732 50173 151 303 0 50427 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 202928

[startup+462.301 s]
/proc/loadavg: 1.00 1.19 1.35 2/107 11663
/proc/meminfo: memFree=1581336/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=214476 CPUtime=462.17
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 54028 0 0 0 45970 247 0 0 25 0 1 0 39119197 219623424 53094 1992294400 134512640 135751879 4290140928 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 53619 53094 151 303 0 53314 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 214476

[startup+522.301 s]
/proc/loadavg: 1.06 1.17 1.33 2/107 11674
/proc/meminfo: memFree=1551948/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=243508 CPUtime=522.14
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 61284 0 0 0 51940 274 0 0 25 0 1 0 39119197 249352192 60350 1992294400 134512640 135751879 4290140928 18446744073709551615 134620436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 60877 60350 151 303 0 60572 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 243508

[startup+582.301 s]
/proc/loadavg: 1.02 1.14 1.31 2/107 11674
/proc/meminfo: memFree=1520328/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=275008 CPUtime=582.13
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 69146 0 0 0 57916 297 0 0 25 0 1 0 39119197 281608192 68212 1992294400 134512640 135751879 4290140928 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 68752 68212 151 303 0 68447 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 275008

[startup+642.301 s]
/proc/loadavg: 1.00 1.11 1.28 2/107 11676
/proc/meminfo: memFree=1486600/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=308448 CPUtime=642.12
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 77490 0 0 0 63890 322 0 0 25 0 1 0 39119197 315850752 76556 1992294400 134512640 135751879 4290140928 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 77112 76556 151 303 0 76807 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 308448

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.04 1.21 2/107 11682
/proc/meminfo: memFree=1360492/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=434460 CPUtime=882.05
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 108981 0 0 0 87799 406 0 0 25 0 1 0 39119197 444887040 108047 1992294400 134512640 135751879 4290140928 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 108615 108047 151 303 0 108310 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 434460

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.19 2/107 11684
/proc/meminfo: memFree=1324904/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=470516 CPUtime=942.03
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 117989 0 0 0 93775 428 0 0 25 0 1 0 39119197 481808384 117055 1992294400 134512640 135751879 4290140928 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 117629 117055 151 303 0 117324 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 470516

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.18 2/107 11686
/proc/meminfo: memFree=1296384/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=498668 CPUtime=1002.02
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 124996 0 0 0 99754 448 0 0 25 0 1 0 39119197 510636032 124062 1992294400 134512640 135751879 4290140928 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 124667 124062 151 303 0 124362 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 498668

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.17 2/107 11688
/proc/meminfo: memFree=1264888/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=530492 CPUtime=1062
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 132967 0 0 0 105731 469 0 0 25 0 1 0 39119197 543223808 132033 1992294400 134512640 135751879 4290140928 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 132623 132033 151 303 0 132318 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 530492

[startup+1122.3 s]
/proc/loadavg: 1.03 1.03 1.16 2/107 11690
/proc/meminfo: memFree=1235500/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=559428 CPUtime=1121.99
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 140167 0 0 0 111709 490 0 0 25 0 1 0 39119197 572854272 139233 1992294400 134512640 135751879 4290140928 18446744073709551615 134607945 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 139857 139233 151 303 0 139552 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 559428

[startup+1182.3 s]
/proc/loadavg: 1.01 1.02 1.15 2/107 11690
/proc/meminfo: memFree=1207228/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=588252 CPUtime=1181.97
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 147367 0 0 0 117684 513 0 0 25 0 1 0 39119197 602370048 146433 1992294400 134512640 135751879 4290140928 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 147063 146433 151 303 0 146758 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 588252

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/107 11692
/proc/meminfo: memFree=1177716/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=617164 CPUtime=1241.96
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 154598 0 0 0 123661 535 0 0 25 0 1 0 39119197 631975936 153664 1992294400 134512640 135751879 4290140928 18446744073709551615 134606465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 154291 153664 151 303 0 153986 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 617164

[startup+1302.3 s]
/proc/loadavg: 1.04 1.02 1.13 2/107 11697
/proc/meminfo: memFree=1154404/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=639416 CPUtime=1301.95
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 160162 0 0 0 129638 557 0 0 25 0 1 0 39119197 654761984 159228 1992294400 134512640 135751879 4290140928 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 159854 159228 151 303 0 159549 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 639416

[startup+1362.3 s]
/proc/loadavg: 1.01 1.02 1.12 2/107 11699
/proc/meminfo: memFree=1120676/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=673532 CPUtime=1361.93
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 168694 0 0 0 135614 579 0 0 25 0 1 0 39119197 689696768 167760 1992294400 134512640 135751879 4290140928 18446744073709551615 134616276 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 168383 167760 151 303 0 168078 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 673532

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.11 2/107 11701
/proc/meminfo: memFree=1088932/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=705024 CPUtime=1421.92
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 176538 0 0 0 141595 597 0 0 25 0 1 0 39119197 721944576 175604 1992294400 134512640 135751879 4290140928 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 176256 175604 151 303 0 175951 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 705024

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/107 11701
/proc/meminfo: memFree=1060164/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=734304 CPUtime=1481.89
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 183875 0 0 0 147571 618 0 0 25 0 1 0 39119197 751927296 182941 1992294400 134512640 135751879 4290140928 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 183576 182941 151 303 0 183271 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 734304

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 11703
/proc/meminfo: memFree=1025320/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=768680 CPUtime=1541.88
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 192457 0 0 0 153547 641 0 0 25 0 1 0 39119197 787128320 191523 1992294400 134512640 135751879 4290140928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 192170 191523 151 303 0 191865 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 768680

[startup+1602.3 s]
/proc/loadavg: 1.07 1.02 1.09 2/107 11705
/proc/meminfo: memFree=1005604/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=788528 CPUtime=1601.86
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 197413 0 0 0 159527 659 0 0 25 0 1 0 39119197 807452672 196479 1992294400 134512640 135751879 4290140928 18446744073709551615 134607732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 197132 196479 151 303 0 196827 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 788528

[startup+1662.3 s]
/proc/loadavg: 1.08 1.03 1.09 2/107 11707
/proc/meminfo: memFree=975348/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=818808 CPUtime=1661.84
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 204965 0 0 0 165505 679 0 0 25 0 1 0 39119197 838459392 204031 1992294400 134512640 135751879 4290140928 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 204702 204031 151 303 0 204397 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 818808

[startup+1722.3 s]
/proc/loadavg: 1.09 1.04 1.09 2/107 11709
/proc/meminfo: memFree=945216/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=848932 CPUtime=1721.83
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 212505 0 0 0 171477 706 0 0 25 0 1 0 39119197 869306368 211571 1992294400 134512640 135751879 4290140928 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 212233 211571 151 303 0 211928 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 848932

[startup+1782.3 s]
/proc/loadavg: 1.08 1.04 1.09 2/107 11709
/proc/meminfo: memFree=924632/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=869356 CPUtime=1781.82
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 217596 0 0 0 177457 725 0 0 25 0 1 0 39119197 890220544 216662 1992294400 134512640 135751879 4290140928 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 217339 216662 151 303 0 217034 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 869356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.06 1.04 1.08 2/107 11711
/proc/meminfo: memFree=916448/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=877276 CPUtime=1800.02
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 219600 0 0 0 179273 729 0 0 25 0 1 0 39119197 898330624 218666 1992294400 134512640 135751879 4290140928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 219319 218666 151 303 0 219014 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 877276

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

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

[startup+1800.5 s]
/proc/loadavg: 1.06 1.04 1.08 2/107 11711
/proc/meminfo: memFree=916448/2059040 swapFree=4135684/4192956
[pid=11650] ppid=11648 vsize=877276 CPUtime=1800.02
/proc/11650/stat : 11650 (wbo1.4b) R 11648 11650 11457 0 -1 4202496 219600 0 0 0 179273 729 0 0 25 0 1 0 39119197 898330624 218666 1992294400 134512640 135751879 4290140928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11650/statm: 219319 218666 151 303 0 219014 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 877276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.59
CPU time (s): 1800.11
CPU user time (s): 1792.73
CPU system time (s): 7.38288
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 877276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.73
system time used= 7.38288
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219600
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= 6
involuntary context switches= 22335

runsolver used 2.88356 second user time and 8.60269 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-15 22:52:32
IDJOB=2655789
IDBENCH=24994
IDSOLVER=1161
FILE ID=node002/2655789-1276635152
PBS_JOBID= 11172392
Free space on /tmp= 62572 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655789-1276635152/watcher-2655789-1276635152 -o /tmp/evaluation-result-2655789-1276635152/solver-2655789-1276635152 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655789-1276635152.opb

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

MD5SUM BENCH= d869c2ae266497675d66f161576eaac8
RANDOM SEED=22238027

node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1794780 kB
Buffers:         57084 kB
Cached:         114780 kB
SwapCached:      10752 kB
Active:          93252 kB
Inactive:        91964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1794780 kB
SwapTotal:     4192956 kB
SwapFree:      4135684 kB
Dirty:            3760 kB
Writeback:           0 kB
AnonPages:       11504 kB
Mapped:           9264 kB
Slab:            57252 kB
PageTables:       3936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181960 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62568 MiB
End job on node002 at 2010-06-15 23:22:35