Trace number 1875654

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.93

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_10.opb
MD5SUMdd415565c40b70127defa3137ccd18d3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark1053.61
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 55
Optimality of the best value was proved YES
Number of variables895
Total number of constraints1660
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1659
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 45
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 108
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 144
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 741
Number of bits of the biggest sum of numbers10
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-1875654-1245179513.opb.
0.00/0.00	c Instance file HOME/instance-1875654-1245179513.opb
0.00/0.00	c File size is 319495 bytes.
0.01/0.05	c Highest Coefficient sum: 741
0.01/0.05	c ============================[ Problem Statistics ]=============================
0.01/0.05	c |                                                                             |
0.01/0.05	c |  Parsing time:          0.05         s                                      |
0.01/0.05	c |  Number Variables:      895                                                 |
0.01/0.05	c |  Number Clauses:        8                                                   |
0.01/0.05	c |  Number Cardinality:    0                                                   |
0.01/0.05	c |  Number PB Constraints: 1659                                                |
0.01/0.05	c core #1
0.01/0.05	c Core size: 2	Core Weight: 45	Total Weight: 45
0.01/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.01/0.06	c ============================[ Search Statistics ]==============================
0.01/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |     867     1668    40869 |     5000        0    nan |  0.000 % |
0.09/0.16	c |       101 |     867     1668    40869 |     5500      101     33 |  3.237 % |
0.19/0.24	c |       252 |     867     1668    40869 |     6050      252     37 |  3.237 % |
0.29/0.35	c |       477 |     867     1668    40869 |     6655      477     34 |  3.237 % |
0.49/0.55	c |       814 |     867     1668    40869 |     7320      814     37 |  3.237 % |
0.79/0.85	c |      1321 |     867     1668    40869 |     8052     1321     35 |  3.237 % |
1.19/1.22	c |      2080 |     867     1668    40869 |     8857     2080     35 |  3.237 % |
1.79/1.81	c |      3219 |     865     1668    40869 |     9743     3218     35 |  3.460 % |
2.69/2.75	c |      4928 |     865     1668    40869 |    10717     4927     36 |  3.461 % |
4.40/4.44	c |      7491 |     864     1668    40869 |    11789     7489     38 |  3.572 % |
6.98/7.05	c |     11335 |     864     1668    40869 |    12968    11333     38 |  3.572 % |
11.08/11.13	c |     17101 |     864     1668    40869 |    14265    10582     39 |  3.572 % |
17.38/17.47	c |     25752 |     864     1668    40869 |    15692    11904     39 |  3.572 % |
26.68/26.71	c |     38726 |     853     1668    40869 |    17261     9333     37 |  4.800 % |
35.08/35.19	c ===============================================================================
35.47/35.57	c core #2
35.47/35.57	c Core size: 785	Core Weight: 1	Total Weight: 46
35.47/35.57	c Elapsed CPU time: 35.4146 s	Remaining CPU time: 1764.59 s
35.67/35.71	c Learning 13112 hard constraints
35.67/35.71	c ============================[ Search Statistics ]==============================
35.67/35.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.67/35.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.67/35.71	c ===============================================================================
35.67/35.71	c |         0 |     874    14786   525174 |     5000        0    nan |  0.000 % |
35.77/35.83	c |       103 |     874    14786   525174 |     5500      103     34 |  3.104 % |
35.87/35.95	c |       253 |     873    14786   525174 |     6050      253     37 |  3.215 % |
36.07/36.18	c |       478 |     873    14786   525174 |     6655      478     37 |  3.215 % |
36.27/36.39	c |       815 |     873    14786   525174 |     7320      815     37 |  3.215 % |
36.66/36.79	c |      1326 |     873    14786   525174 |     8052     1326     37 |  3.215 % |
37.28/37.35	c |      2085 |     873    14786   525174 |     8857     2085     38 |  3.215 % |
38.17/38.23	c |      3224 |     873    14786   525174 |     9743     3224     37 |  3.215 % |
39.76/39.80	c |      4932 |     873    14786   525174 |    10717     4932     38 |  3.215 % |
42.47/42.53	c |      7494 |     873    14786   525174 |    11789     7494     38 |  3.215 % |
46.27/46.37	c |     11339 |     871    14786   525174 |    12968    11338     38 |  3.437 % |
51.96/52.02	c |     17106 |     871    14786   525174 |    14265    10433     38 |  3.437 % |
60.76/60.84	c |     25755 |     871    14786   525174 |    15692    11891     38 |  3.437 % |
75.25/75.35	c |     38731 |     871    14786   525174 |    17261     8994     39 |  3.437 % |
97.44/97.50	c |     58192 |     871    14786   525174 |    18987    10946     40 |  3.437 % |
121.13/121.22	c ===============================================================================
121.84/121.96	c core #3
121.84/121.96	c Core size: 4157	Core Weight: 1	Total Weight: 47
121.84/121.96	c Elapsed CPU time: 121.546 s	Remaining CPU time: 1678.45 s
122.14/122.20	c Learning 13240 hard constraints
122.14/122.20	c ============================[ Search Statistics ]==============================
122.14/122.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
122.14/122.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
122.14/122.20	c ===============================================================================
122.14/122.20	c |         0 |     882    28031  1038440 |     9343        0    nan |  0.000 % |
122.24/122.38	c |       100 |     882    28031  1038440 |    10278      100     34 |  2.756 % |
122.54/122.61	c |       250 |     882    28031  1038440 |    11305      250     40 |  2.757 % |
122.74/122.82	c |       476 |     882    28031  1038440 |    12436      476     38 |  2.757 % |
123.04/123.16	c |       813 |     882    28031  1038440 |    13680      813     38 |  2.756 % |
123.73/123.83	c |      1320 |     882    28031  1038440 |    15048     1320     38 |  2.756 % |
124.53/124.64	c |      2080 |     882    28031  1038440 |    16552     2080     37 |  2.757 % |
125.62/125.79	c |      3219 |     882    28031  1038440 |    18208     3219     37 |  2.756 % |
127.93/128.04	c |      4928 |     881    28031  1038440 |    20028     4928     38 |  2.867 % |
131.02/131.15	c |      7490 |     881    28031  1038440 |    22031     7490     38 |  2.867 % |
136.82/136.96	c |     11335 |     881    28031  1038440 |    24235    11335     39 |  2.867 % |
145.02/145.11	c |     17101 |     881    28031  1038440 |    26658    17101     40 |  2.867 % |
157.92/158.02	c |     25750 |     881    28031  1038440 |    29324    25749     40 |  2.867 % |
180.00/180.11	c |     38726 |     881    28031  1038440 |    32256    20951     40 |  2.867 % |
212.09/212.24	c |     58189 |     880    28031  1038440 |    35482    20066     40 |  2.977 % |
259.77/259.97	c |     87382 |     880    28031  1038440 |    39030    26387     40 |  2.983 % |
320.35/320.50	c ===============================================================================
321.65/321.86	c core #4
321.65/321.86	c Core size: 5448	Core Weight: 1	Total Weight: 48
321.65/321.86	c Elapsed CPU time: 321.007 s	Remaining CPU time: 1478.99 s
322.05/322.21	c Learning 8114 hard constraints
322.05/322.21	c ============================[ Search Statistics ]==============================
322.05/322.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
322.05/322.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
322.05/322.21	c ===============================================================================
322.05/322.21	c |         0 |     888    36150  1311897 |    12050        0    nan |  0.000 % |
322.25/322.49	c |       101 |     888    36150  1311897 |    13255      101     35 |  2.738 % |
322.55/322.70	c |       251 |     888    36150  1311897 |    14580      251     39 |  2.739 % |
322.95/323.12	c |       476 |     888    36150  1311897 |    16038      476     39 |  2.738 % |
323.55/323.75	c |       813 |     888    36150  1311897 |    17642      813     39 |  2.738 % |
324.25/324.42	c |      1320 |     888    36150  1311897 |    19406     1320     40 |  2.738 % |
325.55/325.71	c |      2080 |     888    36150  1311897 |    21347     2080     40 |  2.738 % |
327.14/327.33	c |      3220 |     888    36150  1311897 |    23482     3220     39 |  2.738 % |
329.75/329.94	c |      4928 |     888    36150  1311897 |    25830     4928     40 |  2.738 % |
332.35/332.58	c |      7490 |     887    36150  1311897 |    28413     7490     38 |  2.848 % |
339.14/339.34	c |     11334 |     887    36150  1311897 |    31254    11334     40 |  2.848 % |
349.73/349.98	c |     17102 |     887    36150  1311897 |    34380    17102     40 |  2.848 % |
368.13/368.33	c |     25753 |     887    36150  1311897 |    37818    25753     40 |  2.848 % |
397.71/397.94	c |     38727 |     887    36150  1311897 |    41599    12895     39 |  2.848 % |
433.29/433.50	c |     58189 |     886    36150  1311897 |    45759    32357     40 |  2.958 % |
496.07/496.37	c |     87381 |     886    36150  1311897 |    50335    27771     41 |  2.958 % |
575.33/575.60	c |    131170 |     880    36150  1311897 |    55369    16334     38 |  3.617 % |
675.79/676.15	c ===============================================================================
677.98/678.38	c core #5
677.98/678.38	c Core size: 9772	Core Weight: 1	Total Weight: 49
677.98/678.38	c Elapsed CPU time: 676.796 s	Remaining CPU time: 1123.2 s
678.58/678.90	c Learning 19434 hard constraints
678.58/678.90	c ============================[ Search Statistics ]==============================
678.58/678.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
678.58/678.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
678.58/678.90	c ===============================================================================
678.58/678.90	c |         0 |     898    55588  2019154 |    18529        0    nan |  0.000 % |
678.88/679.22	c |       100 |     898    55588  2019154 |    20382      100     30 |  2.072 % |
679.18/679.52	c |       250 |     898    55588  2019154 |    22420      250     38 |  2.072 % |
679.49/679.82	c |       477 |     898    55588  2019154 |    24662      477     39 |  2.072 % |
679.89/680.27	c |       814 |     898    55588  2019154 |    27128      814     39 |  2.072 % |
681.19/681.54	c |      1320 |     898    55588  2019154 |    29841     1320     39 |  2.072 % |
682.19/682.50	c |      2080 |     898    55588  2019154 |    32825     2080     38 |  2.072 % |
684.78/685.12	c |      3219 |     897    55588  2019154 |    36108     3219     38 |  2.181 % |
688.49/688.85	c |      4927 |     897    55588  2019154 |    39719     4927     37 |  2.181 % |
692.28/692.65	c |      7489 |     897    55588  2019154 |    43691     7489     38 |  2.181 % |
702.08/702.40	c |     11333 |     897    55588  2019154 |    48060    11333     40 |  2.181 % |
714.27/714.70	c |     17100 |     897    55588  2019154 |    52866    17100     40 |  2.181 % |
735.06/735.49	c |     25750 |     897    55588  2019154 |    58152    25750     40 |  2.181 % |
770.54/770.90	c |     38725 |     897    55588  2019154 |    63968    38724     40 |  2.181 % |
832.12/832.60	c |     58186 |     897    55588  2019154 |    70365    58185     41 |  2.183 % |
914.49/914.94	c |     87378 |     897    55588  2019154 |    77401    30423     41 |  2.181 % |
1024.73/1025.27	c |    131168 |     897    55588  2019154 |    85141    74213     41 |  2.181 % |
1159.57/1160.11	c ===============================================================================
1161.97/1162.57	c core #6
1161.97/1162.57	c Core size: 13193	Core Weight: 1	Total Weight: 50
1161.97/1162.57	c Elapsed CPU time: 1160.2 s	Remaining CPU time: 639.804 s
1162.66/1163.21	c Learning 26018 hard constraints
1162.66/1163.21	c ============================[ Search Statistics ]==============================
1162.66/1163.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1162.66/1163.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1162.66/1163.21	c ===============================================================================
1162.66/1163.21	c |         0 |     907    81610  2943399 |    27203        0    nan |  0.000 % |
1162.96/1163.57	c |       100 |     907    81610  2943399 |    29923      100     40 |  2.052 % |
1163.27/1163.84	c |       250 |     907    81610  2943399 |    32916      250     40 |  2.052 % |
1163.66/1164.29	c |       476 |     907    81610  2943399 |    36207      476     39 |  2.052 % |
1164.06/1164.66	c |       813 |     907    81610  2943399 |    39828      813     38 |  2.052 % |
1164.86/1165.41	c |      1319 |     906    81610  2943399 |    43811     1319     37 |  2.160 % |
1165.66/1166.20	c |      2080 |     906    81610  2943399 |    48192     2080     37 |  2.160 % |
1168.16/1168.71	c |      3220 |     906    81610  2943399 |    53011     3220     38 |  2.160 % |
1171.16/1171.79	c |      4928 |     906    81610  2943399 |    58312     4928     39 |  2.160 % |
1177.96/1178.53	c |      7492 |     906    81610  2943399 |    64144     7492     39 |  2.160 % |
1185.86/1186.49	c |     11336 |     906    81610  2943399 |    70558    11336     40 |  2.160 % |
1200.85/1201.46	c |     17103 |     906    81610  2943399 |    77614    17103     41 |  2.160 % |
1216.33/1216.98	c |     25752 |     906    81610  2943399 |    85375    25752     40 |  2.160 % |
1260.62/1261.28	c |     38727 |     906    81610  2943399 |    93913    38727     40 |  2.160 % |
1326.89/1327.54	c |     58188 |     906    81610  2943399 |   103304    58187     41 |  2.160 % |
1447.44/1448.11	c |     87382 |     906    81610  2943399 |   113635    87381     41 |  2.160 % |
1625.63/1626.49	c |    131172 |     906    81610  2943399 |   124998    31018     40 |  2.160 % |

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-1875654-1245179513/watcher-1875654-1245179513 -o /tmp/evaluation-result-1875654-1245179513/solver-1875654-1245179513 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875654-1245179513.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.00 1.02 1.00 3/64 1962
/proc/meminfo: memFree=1877592/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=2840 CPUtime=0
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 185551704 2908160 185 1992294400 134512640 135709839 4294956240 18446744073709551615 134556733 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 710 185 127 292 0 336 0

[startup+0.015689 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 1962
/proc/meminfo: memFree=1877592/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=3108 CPUtime=0.01
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 291 0 0 0 1 0 0 0 18 0 1 0 185551704 3182592 275 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 777 275 143 292 0 403 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3108

[startup+0.101703 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 1962
/proc/meminfo: memFree=1877592/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=5196 CPUtime=0.09
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 945 0 0 0 9 0 0 0 18 0 1 0 185551704 5320704 850 1992294400 134512640 135709839 4294956240 18446744073709551615 134572756 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 1299 850 135 292 0 1004 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5196

[startup+0.301736 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 1962
/proc/meminfo: memFree=1877592/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=5196 CPUtime=0.29
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 946 0 0 0 29 0 0 0 19 0 1 0 185551704 5320704 851 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 1299 851 136 292 0 1004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5196

[startup+0.701802 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 1962
/proc/meminfo: memFree=1877592/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=5196 CPUtime=0.69
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 946 0 0 0 69 0 0 0 23 0 1 0 185551704 5320704 851 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 1299 851 136 292 0 1004 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5196

[startup+1.50294 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1964
/proc/meminfo: memFree=1874704/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=5456 CPUtime=1.49
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 1014 0 0 0 149 0 0 0 25 0 1 0 185551704 5586944 919 1992294400 134512640 135709839 4294956240 18446744073709551615 134572752 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 1364 919 136 292 0 1069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5456

[startup+3.1012 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1964
/proc/meminfo: memFree=1874000/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=6244 CPUtime=3.09
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 1232 0 0 0 308 1 0 0 25 0 1 0 185551704 6393856 1137 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 1561 1137 136 292 0 1266 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6244

[startup+6.30173 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1964
/proc/meminfo: memFree=1872272/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=7736 CPUtime=6.28
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 1589 0 0 0 626 2 0 0 25 0 1 0 185551704 7921664 1494 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 1934 1494 136 292 0 1639 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7736

[startup+12.7018 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1964
/proc/meminfo: memFree=1869456/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=10428 CPUtime=12.68
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 2253 0 0 0 1263 5 0 0 25 0 1 0 185551704 10678272 2158 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 2607 2158 136 292 0 2312 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10428

[startup+25.5019 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1964
/proc/meminfo: memFree=1864336/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=15444 CPUtime=25.48
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 3516 0 0 0 2538 10 0 0 25 0 1 0 185551704 15814656 3421 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 3861 3421 136 292 0 3566 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15444

[startup+51.1012 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1964
/proc/meminfo: memFree=1855056/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=24504 CPUtime=51.06
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 5784 0 0 0 5089 17 0 0 25 0 1 0 185551704 25092096 5689 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 6126 5689 136 292 0 5831 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 24504

[startup+102.307 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 1964
/proc/meminfo: memFree=1846352/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=33116 CPUtime=102.25
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 7943 0 0 0 10195 30 0 0 25 0 1 0 185551704 33910784 7848 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 8279 7848 136 292 0 7984 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 33116

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 1964
/proc/meminfo: memFree=1832016/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=47528 CPUtime=162.21
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 11501 0 0 0 16179 42 0 0 25 0 1 0 185551704 48668672 11406 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 11882 11406 136 292 0 11587 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 47528

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1829072/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=50432 CPUtime=222.19
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 12244 0 0 0 22165 54 0 0 25 0 1 0 185551704 51642368 12149 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 12608 12149 136 292 0 12313 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 50432

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1819024/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=60600 CPUtime=282.16
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 14766 0 0 0 28152 64 0 0 25 0 1 0 185551704 62054400 14671 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 15150 14671 136 292 0 14855 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 60600

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1799952/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=79476 CPUtime=342.14
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 19519 0 0 0 34139 75 0 0 25 0 1 0 185551704 81383424 19363 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 19869 19363 136 292 0 19574 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 79476

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1799888/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=79476 CPUtime=402.11
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 19531 0 0 0 40127 84 0 0 25 0 1 0 185551704 81383424 19375 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 19869 19375 136 292 0 19574 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 79476

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1799824/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=79476 CPUtime=462.08
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 19540 0 0 0 46115 93 0 0 25 0 1 0 185551704 81383424 19384 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 19869 19384 136 292 0 19574 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 79476

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1794000/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=85592 CPUtime=522.06
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 21053 0 0 0 52102 104 0 0 25 0 1 0 185551704 87646208 20897 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 21398 20897 136 292 0 21103 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 85592

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1784976/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=94436 CPUtime=582.03
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 23284 0 0 0 58089 114 0 0 25 0 1 0 185551704 96702464 23128 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 23609 23128 136 292 0 23314 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 94436

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1775824/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=103544 CPUtime=642.02
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 25535 0 0 0 64078 124 0 0 25 0 1 0 185551704 106029056 25379 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 25886 25379 136 292 0 25591 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 103544

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1753808/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=125176 CPUtime=881.9
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 30998 0 0 0 88038 152 0 0 25 0 1 0 185551704 128180224 30806 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 31294 30806 136 292 0 30999 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 125176

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1753808/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=125176 CPUtime=941.87
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 31009 0 0 0 94029 158 0 0 25 0 1 0 185551704 128180224 30817 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 31294 30817 136 292 0 30999 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 125176

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1749712/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=129284 CPUtime=1001.84
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 32031 0 0 0 100020 164 0 0 25 0 1 0 185551704 132386816 31839 1992294400 134512640 135709839 4294956240 18446744073709551615 134588003 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 32321 31839 136 292 0 32026 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 129284

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1745424/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=133684 CPUtime=1061.81
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 33096 0 0 0 106012 169 0 0 25 0 1 0 185551704 136892416 32904 1992294400 134512640 135709839 4294956240 18446744073709551615 134572752 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 33421 32904 136 292 0 33126 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 133684

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1739344/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=139592 CPUtime=1121.79
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 34594 0 0 0 112000 179 0 0 25 0 1 0 185551704 142942208 34402 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 34898 34402 136 292 0 34603 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 139592

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1712400/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=166708 CPUtime=1181.75
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 41415 0 0 0 117987 188 0 0 25 0 1 0 185551704 170708992 41103 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 41677 41103 136 292 0 41382 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 166708

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1712208/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=166708 CPUtime=1241.73
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 41423 0 0 0 123978 195 0 0 25 0 1 0 185551704 170708992 41111 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 41677 41111 136 292 0 41382 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 166708

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1712080/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=166708 CPUtime=1301.7
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 41425 0 0 0 129970 200 0 0 25 0 1 0 185551704 170708992 41113 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 41677 41113 136 292 0 41382 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 166708

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1712080/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=166708 CPUtime=1361.67
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 41426 0 0 0 135962 205 0 0 25 0 1 0 185551704 170708992 41114 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 41677 41114 136 292 0 41382 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 166708

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1712080/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=166708 CPUtime=1421.65
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 41427 0 0 0 141955 210 0 0 25 0 1 0 185551704 170708992 41115 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 41677 41115 136 292 0 41382 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 166708

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1712080/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=166708 CPUtime=1481.62
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 41429 0 0 0 147947 215 0 0 25 0 1 0 185551704 170708992 41117 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 41677 41117 136 292 0 41382 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 166708

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1712016/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=166708 CPUtime=1541.6
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 41442 0 0 0 153940 220 0 0 25 0 1 0 185551704 170708992 41130 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 41677 41130 136 292 0 41382 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 166708

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1711952/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=166708 CPUtime=1601.54
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 41461 0 0 0 159929 225 0 0 25 0 1 0 185551704 170708992 41149 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 41677 41149 136 292 0 41382 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 166708

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1711632/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=166972 CPUtime=1661.5
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 41524 0 0 0 165919 231 0 0 25 0 1 0 185551704 170979328 41212 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 41743 41212 136 292 0 41448 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 166972

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1708432/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=170224 CPUtime=1721.49
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 42330 0 0 0 171911 238 0 0 25 0 1 0 185551704 174309376 42018 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 42556 42018 136 292 0 42261 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 170224

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1704976/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=173548 CPUtime=1781.46
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 43162 0 0 0 177903 243 0 0 25 0 1 0 185551704 177713152 42850 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 43387 42850 136 292 0 43092 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (KiB) 173548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1703824/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=174776 CPUtime=1800.05
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 43434 0 0 0 179761 244 0 0 25 0 1 0 185551704 178970624 43122 1992294400 134512640 135709839 4294956240 18446744073709551615 134572756 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 43694 43122 136 292 0 43399 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 174776

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

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1964
/proc/meminfo: memFree=1703824/2055920 swapFree=4192812/4192956
[pid=1962] ppid=1960 vsize=174776 CPUtime=1800.05
/proc/1962/stat : 1962 (wbo) R 1960 1962 1691 0 -1 4194304 43434 0 0 0 179761 244 0 0 25 0 1 0 185551704 178970624 43122 1992294400 134512640 135709839 4294956240 18446744073709551615 134572756 0 0 4096 3 0 0 0 17 0 0 0
/proc/1962/statm: 43694 43122 136 292 0 43399 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 174776

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.93
CPU time (s): 1800.09
CPU user time (s): 1797.61
CPU system time (s): 2.47662
CPU usage (%): 99.9533
Max. virtual memory (cumulated for all children) (KiB): 174776

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

runsolver used 1.69574 second user time and 4.87226 second system time

The end

Launcher Data 

Begin job on node15 at 2009-06-16 21:11:53
IDJOB=1875654
IDBENCH=2944
IDSOLVER=698
FILE ID=node15/1875654-1245179513
PBS_JOBID= 9363890
Free space on /tmp= 66304 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_10.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-1875654-1245179513/watcher-1875654-1245179513 -o /tmp/evaluation-result-1875654-1245179513/solver-1875654-1245179513 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875654-1245179513.opb

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

MD5SUM BENCH= dd415565c40b70127defa3137ccd18d3
RANDOM SEED=1113486847

node15.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.261
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	: 5931.00
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.261
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:       1878072 kB
Buffers:         38816 kB
Cached:          68216 kB
SwapCached:          0 kB
Active:          64340 kB
Inactive:        56112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1878072 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2696 kB
Writeback:           0 kB
Mapped:          23248 kB
Slab:            43316 kB
Committed_AS:   183696 kB
PageTables:       1460 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-1875654-1245179513.opb

Free space on /tmp at the end= 66300 MiB
End job on node15 at 2009-06-16 21:41:56