Trace number 2655956

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.4bWrong UNSAT 181.048 181.106

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 benchmarkSAT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark1798.03
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

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-2655956-1276620696.opb.
0.00/0.00	c Instance file HOME/instance-2655956-1276620696.opb
0.00/0.00	c File size is 319495 bytes.
0.02/0.05	c Highest Coefficient sum: 741
0.02/0.05	c ============================[ Problem Statistics ]=============================
0.02/0.05	c |                                                                             |
0.02/0.05	c |  Parsing time:          0.05         s                                      |
0.02/0.05	c |  Number Variables:      895                                                 |
0.02/0.05	c |  Number Clauses:        1                                                   |
0.02/0.05	c |  Number Cardinality:    0                                                   |
0.02/0.05	c |  Number PB Constraints: 1659                                                |
0.02/0.05	c ============================[ Search Statistics ]==============================
0.02/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.05	c ===============================================================================
0.02/0.05	c |         0 |     894     1660    41105 |     5000        0    nan |  0.000 % |
0.09/0.13	c |       100 |     894     1660    41105 |     5500      100     29 |  0.112 % |
0.19/0.22	c |       250 |     894     1660    41105 |     6050      250     33 |  0.112 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: 89
0.19/0.29	o 89
0.19/0.29	c Elapsed CPU time: 0.285956 s	Remaining CPU time: 179.714 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |       369 |     894     1661    41112 |     5000      369     31 |  0.112 % |
0.29/0.32	c |       469 |     894     1661    41112 |     5500      469     30 |  0.112 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: 85
0.29/0.36	o 85
0.29/0.36	c Elapsed CPU time: 0.361944 s	Remaining CPU time: 179.638 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |       541 |     894     1662    41119 |     5000      541     30 |  0.112 % |
0.39/0.42	c |       641 |     894     1662    41119 |     5500      641     29 |  0.112 % |
0.49/0.52	c |       793 |     894     1662    41119 |     6050      793     28 |  0.112 % |
0.59/0.63	c |      1018 |     894     1662    41119 |     6655     1018     27 |  0.112 % |
0.69/0.77	c |      1355 |     894     1662    41119 |     7320     1355     27 |  0.112 % |
0.99/1.02	c |      1861 |     893     1662    41119 |     8052     1858     26 |  0.224 % |
1.29/1.35	c |      2621 |     893     1662    41119 |     8857     2618     26 |  0.224 % |
1.39/1.40	c ===============================================================================
1.39/1.40	c New solution: 80
1.39/1.40	o 80
1.39/1.40	c Elapsed CPU time: 1.39879 s	Remaining CPU time: 178.601 s
1.39/1.40	c ===============================================================================
1.39/1.40	c |      2715 |     893     1663    41126 |     5000     2712     26 |  0.224 % |
1.39/1.46	c |      2816 |     893     1663    41126 |     5500     2813     26 |  0.224 % |
1.49/1.53	c |      2968 |     893     1663    41126 |     6050     2965     26 |  0.224 % |
1.59/1.62	c |      3193 |     893     1663    41126 |     6655     3190     26 |  0.224 % |
1.79/1.80	c |      3531 |     893     1663    41126 |     7320     3528     26 |  0.224 % |
1.99/2.07	c |      4037 |     893     1663    41126 |     8052     4034     27 |  0.224 % |
2.49/2.51	c |      4796 |     893     1663    41126 |     8857     4793     27 |  0.224 % |
2.59/2.60	c ===============================================================================
2.59/2.60	c New solution: 79
2.59/2.60	o 79
2.59/2.60	c Elapsed CPU time: 2.58161 s	Remaining CPU time: 177.418 s
2.59/2.60	c ===============================================================================
2.59/2.60	c |      4908 |     893     1664    41133 |     5000     4905     27 |  0.224 % |
2.59/2.67	c |      5008 |     893     1664    41133 |     5500     5005     27 |  0.224 % |
2.69/2.77	c |      5159 |     893     1664    41133 |     6050     5156     27 |  0.224 % |
2.79/2.89	c |      5384 |     893     1664    41133 |     6655     5381     27 |  0.224 % |
2.99/3.09	c |      5724 |     893     1664    41133 |     7320     5721     27 |  0.224 % |
3.20/3.25	c ===============================================================================
3.20/3.25	c New solution: 78
3.20/3.25	o 78
3.20/3.25	c Elapsed CPU time: 3.23251 s	Remaining CPU time: 176.767 s
3.20/3.25	c ===============================================================================
3.20/3.25	c |      5992 |     893     1665    41140 |     5000     5989     27 |  0.224 % |
3.30/3.32	c |      6095 |     893     1665    41140 |     5500     3098     28 |  0.224 % |
3.39/3.40	c |      6245 |     893     1665    41140 |     6050     3248     28 |  0.224 % |
3.49/3.52	c |      6470 |     893     1665    41140 |     6655     3473     28 |  0.224 % |
3.69/3.73	c |      6807 |     893     1665    41140 |     7320     3810     28 |  0.224 % |
3.89/3.97	c |      7315 |     893     1665    41140 |     8052     4318     28 |  0.224 % |
4.30/4.33	c ===============================================================================
4.30/4.33	c New solution: 74
4.30/4.33	o 74
4.30/4.33	c Elapsed CPU time: 4.31334 s	Remaining CPU time: 175.687 s
4.30/4.33	c ===============================================================================
4.30/4.33	c |      7973 |     893     1666    41147 |     5000     4976     28 |  0.224 % |
4.30/4.40	c |      8073 |     891     1666    41147 |     5500     5006     28 |  0.447 % |
4.49/4.50	c |      8223 |     891     1666    41147 |     6050     5156     28 |  0.448 % |
4.59/4.62	c |      8448 |     891     1666    41147 |     6655     5381     28 |  0.447 % |
4.69/4.70	c ===============================================================================
4.69/4.70	c New solution: 73
4.69/4.70	o 73
4.69/4.70	c Elapsed CPU time: 4.67629 s	Remaining CPU time: 175.324 s
4.69/4.70	c ===============================================================================
4.69/4.70	c |      8582 |     891     1667    41154 |     5000     5515     28 |  0.447 % |
4.69/4.76	c |      8682 |     891     1667    41154 |     5500     2858     28 |  0.447 % |
4.79/4.84	c |      8833 |     891     1667    41154 |     6050     3009     28 |  0.447 % |
4.89/4.98	c |      9058 |     891     1667    41154 |     6655     3234     28 |  0.447 % |
5.09/5.17	c |      9395 |     891     1667    41154 |     7320     3571     29 |  0.447 % |
5.39/5.48	c |      9901 |     891     1667    41154 |     8052     4077     29 |  0.447 % |
5.79/5.89	c |     10661 |     891     1667    41154 |     8857     4837     29 |  0.447 % |
6.39/6.46	c ===============================================================================
6.39/6.46	c New solution: 71
6.39/6.46	o 71
6.39/6.46	c Elapsed CPU time: 6.43402 s	Remaining CPU time: 173.566 s
6.39/6.46	c ===============================================================================
6.39/6.46	c |     11578 |     891     1668    41161 |     5000     5754     30 |  0.447 % |
6.50/6.53	c |     11679 |     891     1668    41161 |     5500     2978     31 |  0.447 % |
6.60/6.64	c |     11829 |     891     1668    41161 |     6050     3128     31 |  0.447 % |
6.69/6.77	c |     12054 |     891     1668    41161 |     6655     3353     31 |  0.447 % |
6.89/6.94	c |     12392 |     891     1668    41161 |     7320     3691     31 |  0.447 % |
7.19/7.24	c |     12899 |     891     1668    41161 |     8052     4198     31 |  0.447 % |
7.60/7.67	c |     13658 |     891     1668    41161 |     8857     4957     30 |  0.447 % |
8.29/8.39	c |     14799 |     891     1668    41161 |     9743     6098     31 |  0.447 % |
9.19/9.29	c |     16507 |     891     1668    41161 |    10717     7806     31 |  0.447 % |
10.89/10.95	c ===============================================================================
10.89/10.95	c New solution: 66
10.89/10.95	o 66
10.89/10.95	c Elapsed CPU time: 10.8883 s	Remaining CPU time: 169.112 s
10.89/10.95	c ===============================================================================
10.89/10.95	c |     18900 |     890     1669    41168 |     5000    10198     31 |  0.447 % |
10.99/11.03	c |     19000 |     889     1669    41168 |     5500     2650     31 |  0.671 % |
11.08/11.12	c |     19151 |     888     1669    41168 |     6050     2801     31 |  0.782 % |
11.18/11.27	c |     19377 |     888     1669    41168 |     6655     3027     31 |  0.782 % |
11.38/11.43	c |     19714 |     888     1669    41168 |     7320     3364     31 |  0.782 % |
11.68/11.70	c |     20220 |     888     1669    41168 |     8052     3870     31 |  0.782 % |
11.99/12.05	c |     20980 |     888     1669    41168 |     8857     4478     30 |  0.782 % |
12.68/12.71	c |     22120 |     888     1669    41168 |     9743     5618     31 |  0.782 % |
13.98/14.04	c |     23829 |     888     1669    41168 |    10717     7327     30 |  0.782 % |
15.39/15.41	c |     26391 |     888     1669    41168 |    11789     9889     30 |  0.782 % |
17.78/17.81	c |     30237 |     888     1669    41168 |    12968     7679     29 |  0.782 % |
19.47/19.57	c ===============================================================================
19.47/19.57	c New solution: 65
19.47/19.57	o 65
19.47/19.57	c Elapsed CPU time: 19.466 s	Remaining CPU time: 160.534 s
19.47/19.57	c ===============================================================================
19.47/19.57	c |     32674 |     888     1670    41175 |     5000    10116     30 |  0.782 % |
19.57/19.64	c |     32775 |     888     1670    41175 |     5500     2630     33 |  0.782 % |
19.69/19.71	c |     32925 |     888     1670    41175 |     6050     2780     32 |  0.782 % |
19.79/19.83	c |     33151 |     888     1670    41175 |     6655     3006     32 |  0.782 % |
19.98/20.00	c |     33488 |     888     1670    41175 |     7320     3343     32 |  0.782 % |
20.18/20.29	c |     33994 |     888     1670    41175 |     8052     3849     31 |  0.782 % |
20.78/20.80	c |     34754 |     888     1670    41175 |     8857     4609     31 |  0.782 % |
21.28/21.36	c |     35893 |     888     1670    41175 |     9743     5748     31 |  0.782 % |
22.18/22.25	c |     37601 |     888     1670    41175 |    10717     7456     30 |  0.782 % |
23.98/24.09	c |     40164 |     888     1670    41175 |    11789    10019     31 |  0.782 % |
26.77/26.81	c |     44009 |     888     1670    41175 |    12968     7782     32 |  0.782 % |
29.78/29.84	c |     49775 |     888     1670    41175 |    14265     6907     30 |  0.782 % |
36.07/36.16	c |     58424 |     888     1670    41175 |    15692     8328     31 |  0.782 % |
45.57/45.65	c |     71399 |     888     1670    41175 |    17261    13334     34 |  0.782 % |
49.97/50.03	c ===============================================================================
49.97/50.03	c New solution: 64
49.97/50.03	o 64
49.97/50.03	c Elapsed CPU time: 49.7534 s	Remaining CPU time: 130.247 s
49.97/50.03	c ===============================================================================
49.97/50.03	c |     76393 |     888     1671    41182 |     5000     9602     35 |  0.782 % |
50.07/50.13	c |     76495 |     888     1671    41182 |     5500     4903     35 |  0.782 % |
50.17/50.23	c |     76645 |     888     1671    41182 |     6050     5053     35 |  0.782 % |
50.27/50.35	c |     76871 |     888     1671    41182 |     6655     5279     35 |  0.782 % |
50.47/50.59	c |     77208 |     888     1671    41182 |     7320     5616     35 |  0.782 % |
50.87/50.92	c |     77715 |     888     1671    41182 |     8052     6123     34 |  0.782 % |
51.27/51.36	c |     78474 |     888     1671    41182 |     8857     6882     34 |  0.782 % |
51.77/51.81	c ===============================================================================
51.77/51.81	c New solution: 62
51.77/51.81	o 62
51.77/51.81	c Elapsed CPU time: 51.5292 s	Remaining CPU time: 128.471 s
51.77/51.81	c ===============================================================================
51.77/51.81	c |     79323 |     888     1672    41189 |     5000     7731     34 |  0.782 % |
51.87/51.90	c |     79423 |     888     1672    41189 |     5500     3966     32 |  0.782 % |
51.87/51.97	c |     79574 |     888     1672    41189 |     6050     4117     32 |  0.782 % |
51.97/52.07	c |     79800 |     888     1672    41189 |     6655     4343     31 |  0.782 % |
52.17/52.28	c |     80138 |     888     1672    41189 |     7320     4681     32 |  0.782 % |
52.57/52.63	c |     80644 |     888     1672    41189 |     8052     5187     31 |  0.783 % |
52.97/53.04	c |     81403 |     888     1672    41189 |     8857     5946     31 |  0.782 % |
53.57/53.69	c |     82542 |     888     1672    41189 |     9743     7085     31 |  0.782 % |
54.77/54.88	c |     84251 |     888     1672    41189 |    10717     8794     32 |  0.782 % |
56.37/56.50	c |     86814 |     888     1672    41189 |    11789     5903     30 |  0.782 % |
59.07/59.15	c |     90660 |     888     1672    41189 |    12968     9749     32 |  0.782 % |
62.57/62.65	c |     96426 |     887     1672    41189 |    14265     8991     31 |  0.894 % |
68.07/68.16	c |    105075 |     887     1672    41189 |    15692    10293     32 |  0.894 % |
77.86/77.91	c |    118050 |     887     1672    41189 |    17261    15331     34 |  0.894 % |
89.76/89.84	c ===============================================================================
89.76/89.84	c New solution: 61
89.76/89.84	o 61
89.76/89.84	c Elapsed CPU time: 89.3524 s	Remaining CPU time: 90.6476 s
89.76/89.84	c ===============================================================================
89.76/89.84	c |    133829 |     887     1673    41196 |     5000    13755     32 |  0.894 % |
89.86/89.96	c |    133930 |     883     1673    41196 |     5500     3154     31 |  1.341 % |
89.96/90.06	c |    134080 |     883     1673    41196 |     6050     3304     31 |  1.341 % |
90.06/90.19	c |    134306 |     883     1673    41196 |     6655     3530     31 |  1.341 % |
90.36/90.41	c |    134643 |     883     1673    41196 |     7320     3867     31 |  1.341 % |
90.66/90.75	c |    135149 |     883     1673    41196 |     8052     4373     31 |  1.341 % |
91.17/91.24	c |    135908 |     883     1673    41196 |     8857     5132     31 |  1.341 % |
91.96/92.04	c |    137048 |     883     1673    41196 |     9743     6272     31 |  1.341 % |
92.86/92.90	c |    138758 |     883     1673    41196 |    10717     7982     30 |  1.341 % |
94.65/94.73	c |    141320 |     883     1673    41196 |    11789    10544     30 |  1.341 % |
97.55/97.62	c |    145165 |     883     1673    41196 |    12968     8239     32 |  1.341 % |
101.66/101.73	c |    150934 |     883     1673    41196 |    14265     7337     34 |  1.341 % |
108.96/109.07	c |    159585 |     883     1673    41196 |    15692     8683     36 |  1.341 % |
117.15/117.29	c |    172560 |     883     1673    41196 |    17261    13675     27 |  1.341 % |
131.45/131.51	c |    192021 |     883     1673    41196 |    18987    15671     33 |  1.341 % |
157.84/157.97	c |    221214 |     882     1673    41196 |    20886    15911     33 |  1.453 % |
180.84/180.91	c There are 13 assigned variables. 3 in cost function.
181.04/181.10	c core #1
181.04/181.10	c Memory used           : 54.56 MB
181.04/181.10	c CPU time              : 180.192 s
181.04/181.10	c 
181.04/181.10	s UNSATISFIABLE
181.04/181.10	c Total CPU time: 180.192 s

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-2655956-1276620696/watcher-2655956-1276620696 -o /tmp/evaluation-result-2655956-1276620696/solver-2655956-1276620696 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655956-1276620696.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 10845
/proc/meminfo: memFree=1761740/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=2888 CPUtime=0
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 300 0 0 0 0 0 0 0 20 0 1 0 3361642 2957312 219 1992294400 134512640 135751879 4291121216 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 722 219 144 303 0 338 0

[startup+0.0280211 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 10845
/proc/meminfo: memFree=1761740/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=3420 CPUtime=0.02
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 454 0 0 0 2 0 0 0 20 0 1 0 3361642 3502080 373 1992294400 134512640 135751879 4291121216 18446744073709551615 134564443 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 855 373 172 303 0 471 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3420

[startup+0.102029 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 10845
/proc/meminfo: memFree=1761740/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=4028 CPUtime=0.09
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 723 0 0 0 9 0 0 0 20 0 1 0 3361642 4124672 563 1992294400 134512640 135751879 4291121216 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 1007 563 146 303 0 702 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4028

[startup+0.30205 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 10845
/proc/meminfo: memFree=1761740/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=4028 CPUtime=0.29
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 724 0 0 0 29 0 0 0 20 0 1 0 3361642 4124672 564 1992294400 134512640 135751879 4291121216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 1007 564 147 303 0 702 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4028

[startup+0.701094 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 10845
/proc/meminfo: memFree=1761740/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=4160 CPUtime=0.69
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 756 0 0 0 69 0 0 0 21 0 1 0 3361642 4259840 596 1992294400 134512640 135751879 4291121216 18446744073709551615 134611275 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 1040 596 147 303 0 735 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4160

[startup+1.50118 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10846
/proc/meminfo: memFree=1759748/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=4424 CPUtime=1.49
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 846 0 0 0 148 1 0 0 23 0 1 0 3361642 4530176 686 1992294400 134512640 135751879 4291121216 18446744073709551615 134518730 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 1106 686 147 303 0 801 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4424

[startup+3.10135 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10846
/proc/meminfo: memFree=1759128/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=5120 CPUtime=3.09
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 1001 0 0 0 308 1 0 0 25 0 1 0 3361642 5242880 841 1992294400 134512640 135751879 4291121216 18446744073709551615 134611157 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 1280 841 147 303 0 975 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5120

[startup+6.30169 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10846
/proc/meminfo: memFree=1757640/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=6176 CPUtime=6.29
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 1287 0 0 0 626 3 0 0 25 0 1 0 3361642 6324224 1127 1992294400 134512640 135751879 4291121216 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 1544 1127 148 303 0 1239 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6176

[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10846
/proc/meminfo: memFree=1755408/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=8420 CPUtime=12.68
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 1837 0 0 0 1262 6 0 0 25 0 1 0 3361642 8622080 1677 1992294400 134512640 135751879 4291121216 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 2105 1677 148 303 0 1800 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8420

[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10846
/proc/meminfo: memFree=1751192/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=12520 CPUtime=25.48
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 2844 0 0 0 2535 13 0 0 25 0 1 0 3361642 12820480 2684 1992294400 134512640 135751879 4291121216 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 3130 2684 148 303 0 2825 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12520

[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10848
/proc/meminfo: memFree=1743628/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=20072 CPUtime=51.07
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 4760 0 0 0 5081 26 0 0 25 0 1 0 3361642 20553728 4600 1992294400 134512640 135751879 4291121216 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 5018 4600 148 303 0 4713 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20072

[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10848
/proc/meminfo: memFree=1727880/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=35416 CPUtime=102.26
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 8593 0 0 0 10176 50 0 0 25 0 1 0 3361642 36265984 8433 1992294400 134512640 135751879 4291121216 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 8854 8433 148 303 0 8549 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 35416

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10850
/proc/meminfo: memFree=1712752/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=50700 CPUtime=162.24
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 12399 0 0 0 16147 77 0 0 25 0 1 0 3361642 51916800 12239 1992294400 134512640 135751879 4291121216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 12675 12239 148 303 0 12370 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 50700

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

[startup+166.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10850
/proc/meminfo: memFree=1711512/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=51756 CPUtime=166.24
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 12661 0 0 0 16546 78 0 0 25 0 1 0 3361642 52998144 12501 1992294400 134512640 135751879 4291121216 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 12939 12501 148 303 0 12634 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 51756

[startup+172.708 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10850
/proc/meminfo: memFree=1709900/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=53344 CPUtime=172.64
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 13067 0 0 0 17184 80 0 0 25 0 1 0 3361642 54624256 12907 1992294400 134512640 135751879 4291121216 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 13336 12907 148 303 0 13031 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 53344

[startup+175.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10850
/proc/meminfo: memFree=1709032/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=54268 CPUtime=175.84
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 13282 0 0 0 17502 82 0 0 25 0 1 0 3361642 55570432 13122 1992294400 134512640 135751879 4291121216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 13567 13122 148 303 0 13262 0
Current children cumulated CPU time (s) 175.84
Current children cumulated vsize (KiB) 54268

[startup+179.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10850
/proc/meminfo: memFree=1708536/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=55060 CPUtime=179.04
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 13469 0 0 0 17820 84 0 0 25 0 1 0 3361642 56381440 13309 1992294400 134512640 135751879 4291121216 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 13765 13309 148 303 0 13460 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 55060

[startup+179.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10850
/proc/meminfo: memFree=1708288/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=55192 CPUtime=179.83
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 13514 0 0 0 17899 84 0 0 25 0 1 0 3361642 56516608 13354 1992294400 134512640 135751879 4291121216 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 13798 13354 148 303 0 13493 0
Current children cumulated CPU time (s) 179.83
Current children cumulated vsize (KiB) 55192

[startup+180.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10850
/proc/meminfo: memFree=1708040/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=55324 CPUtime=180.63
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 13558 0 0 0 17979 84 0 0 25 0 1 0 3361642 56651776 13398 1992294400 134512640 135751879 4291121216 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 13831 13398 148 303 0 13526 0
Current children cumulated CPU time (s) 180.63
Current children cumulated vsize (KiB) 55324

[startup+181.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10850
/proc/meminfo: memFree=1708040/2059040 swapFree=4192956/4192956
[pid=10845] ppid=10843 vsize=55864 CPUtime=181.04
/proc/10845/stat : 10845 (wbo1.4b) R 10843 10845 10498 0 -1 4202496 13684 0 0 0 18019 85 0 0 25 0 1 0 3361642 57204736 13524 1992294400 134512640 135751879 4291121216 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10845/statm: 13966 13524 149 303 0 13661 0
Current children cumulated CPU time (s) 181.04
Current children cumulated vsize (KiB) 55864

Child status: 0
Real time (s): 181.106
CPU time (s): 181.048
CPU user time (s): 180.192
CPU system time (s): 0.856869
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 55864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.192
system time used= 0.856869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13687
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= 4
involuntary context switches= 718

runsolver used 0.295955 second user time and 0.867868 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-15 18:51:36
IDJOB=2655956
IDBENCH=2944
IDSOLVER=1161
FILE ID=node047/2655956-1276620696
PBS_JOBID= 11172321
Free space on /tmp= 62540 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_10.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655956-1276620696/watcher-2655956-1276620696 -o /tmp/evaluation-result-2655956-1276620696/solver-2655956-1276620696 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655956-1276620696.opb

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

MD5SUM BENCH= dd415565c40b70127defa3137ccd18d3
RANDOM SEED=1857801663

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1762392 kB
Buffers:         39344 kB
Cached:         133916 kB
SwapCached:          0 kB
Active:         112556 kB
Inactive:       119992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1762392 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2920 kB
Writeback:           0 kB
AnonPages:       59404 kB
Mapped:          15396 kB
Slab:            42388 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181668 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= 62540 MiB
End job on node047 at 2010-06-15 18:54:37