Trace number 2655955

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.03 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_17.opb
MD5SUM25ee8feec785b6a4be71df8acc9d82db
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark261
Best CPU time to get the best result obtained on this benchmark1800.44
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 263
Optimality of the best value was proved NO
Number of variables7081
Total number of constraints13889
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 constraints13888
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 136
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 391
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2647
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655955-1276619641.opb.
0.00/0.00	c Instance file HOME/instance-2655955-1276619641.opb
0.00/0.00	c File size is 3707830 bytes.
0.59/0.67	c Highest Coefficient sum: 2647
0.59/0.67	c ============================[ Problem Statistics ]=============================
0.59/0.67	c |                                                                             |
0.59/0.67	c |  Parsing time:          0.66         s                                      |
0.59/0.67	c |  Number Variables:      7081                                                |
0.59/0.67	c |  Number Clauses:        1                                                   |
0.59/0.67	c |  Number Cardinality:    0                                                   |
0.59/0.67	c |  Number PB Constraints: 13888                                               |
0.59/0.68	c ============================[ Search Statistics ]==============================
0.59/0.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.68	c ===============================================================================
0.59/0.68	c |         0 |    7080    13889   444991 |     5000        0    nan |  0.000 % |
2.39/2.43	c |       102 |    7080    13889   444991 |     5500      102     38 |  0.014 % |
3.69/3.74	c |       254 |    7080    13889   444991 |     6050      254     35 |  0.014 % |
5.19/5.22	c |       479 |    7080    13889   444991 |     6655      479     37 |  0.014 % |
6.60/6.66	c |       816 |    7080    13889   444991 |     7320      816     37 |  0.014 % |
9.19/9.21	c |      1323 |    7080    13889   444991 |     8052     1323     34 |  0.014 % |
12.78/12.81	c |      2082 |    7080    13889   444991 |     8857     2082     34 |  0.014 % |
17.78/17.86	c |      3222 |    7080    13889   444991 |     9743     3222     33 |  0.014 % |
36.18/36.24	c |      4931 |    7080    13889   444991 |    10717     4931     30 |  0.014 % |
63.16/63.23	c |      7494 |    7080    13889   444991 |    11789     7494     32 |  0.014 % |
82.75/82.80	c |     11339 |    7080    13889   444991 |    12968    11339     35 |  0.014 % |
112.74/112.85	c |     17105 |    7080    13889   444991 |    14265     9413     43 |  0.014 % |
154.83/154.95	c |     25754 |    7080    13889   444991 |    15692     9919     43 |  0.014 % |
180.22/180.37	c There are 1 assigned variables. 1 in cost function.
180.52/180.68	c ============================[ Search Statistics ]==============================
180.52/180.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.52/180.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.52/180.68	c ===============================================================================
180.52/180.68	c |         0 |    6971    13901   443969 |     5000        0    nan |  0.000 % |
182.42/182.56	c |       100 |    6971    13901   443969 |     5500      100     35 |  1.553 % |
183.41/183.58	c |       254 |    6971    13901   443969 |     6050      254     42 |  1.553 % |
185.11/185.25	c |       480 |    6971    13901   443969 |     6655      480     43 |  1.553 % |
187.52/187.62	c |       817 |    6971    13901   443969 |     7320      817     46 |  1.553 % |
190.61/190.72	c |      1323 |    6971    13901   443969 |     8052     1323     44 |  1.553 % |
196.02/196.19	c |      2084 |    6971    13901   443969 |     8857     2084     44 |  1.553 % |
204.11/204.29	c |      3223 |    6971    13901   443969 |     9743     3223     44 |  1.553 % |
213.21/213.38	c |      4931 |    6971    13901   443969 |    10717     4931     43 |  1.553 % |
230.20/230.36	c |      7493 |    6970    13901   443969 |    11789     7492     43 |  1.568 % |
252.49/252.65	c |     11338 |    6970    13901   443969 |    12968    11337     40 |  1.568 % |
284.48/284.63	c |     17105 |    6970    13901   443969 |    14265     9726     34 |  1.568 % |
339.05/339.20	c |     25755 |    6967    13901   443969 |    15692     9250     39 |  1.610 % |
407.94/408.17	c |     38730 |    6967    13901   443969 |    17261    13070     42 |  1.610 % |
527.99/528.30	c |     58195 |    6967    13901   443969 |    18987    12739     45 |  1.610 % |
771.99/772.35	c |     87387 |    6967    13901   443969 |    20886    21059     43 |  1.610 % |
1037.90/1038.31	c |    131176 |    6966    13901   443969 |    22974    18326     47 |  1.624 % |
1481.72/1482.33	c |    196861 |    6966    13901   443969 |    25272    16202     45 |  1.624 % |

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-2655955-1276619641/watcher-2655955-1276619641 -o /tmp/evaluation-result-2655955-1276619641/solver-2655955-1276619641 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655955-1276619641.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.00 1.00 3/106 7018
/proc/meminfo: memFree=1777264/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=6196 CPUtime=0
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 300 0 0 0 0 0 0 0 20 0 1 0 37565682 6344704 218 1992294400 134512640 135751879 4290762752 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 1549 219 145 303 0 338 0

[startup+0.091688 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7018
/proc/meminfo: memFree=1777264/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=8192 CPUtime=0.08
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 890 0 0 0 8 0 0 0 20 0 1 0 37565682 8388608 808 1992294400 134512640 135751879 4290762752 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 2048 812 263 303 0 837 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8192

[startup+0.10169 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7018
/proc/meminfo: memFree=1777264/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=8324 CPUtime=0.09
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 965 0 0 0 9 0 0 0 20 0 1 0 37565682 8523776 883 1992294400 134512640 135751879 4290762752 18446744073709551615 135225281 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 2081 883 278 303 0 870 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8324

[startup+0.301726 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7018
/proc/meminfo: memFree=1777264/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=12664 CPUtime=0.3
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 2302 0 0 0 29 1 0 0 20 0 1 0 37565682 12967936 2220 1992294400 134512640 135751879 4290762752 18446744073709551615 135225271 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 3166 2220 542 303 0 1955 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 12664

[startup+0.701916 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 7018
/proc/meminfo: memFree=1777264/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=17012 CPUtime=0.69
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 4997 0 0 0 68 1 0 0 21 0 1 0 37565682 17420288 3803 1992294400 134512640 135751879 4290762752 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 4253 3803 146 303 0 3948 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17012

[startup+1.50094 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7019
/proc/meminfo: memFree=1761880/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=17012 CPUtime=1.49
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 4997 0 0 0 147 2 0 0 23 0 1 0 37565682 17420288 3803 1992294400 134512640 135751879 4290762752 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 4253 3803 146 303 0 3948 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17012

[startup+3.10123 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7019
/proc/meminfo: memFree=1761632/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=17012 CPUtime=3.09
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 4998 0 0 0 307 2 0 0 25 0 1 0 37565682 17420288 3804 1992294400 134512640 135751879 4290762752 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 4253 3804 147 303 0 3948 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17012

[startup+6.3008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7019
/proc/meminfo: memFree=1761384/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=17144 CPUtime=6.29
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 5023 0 0 0 627 2 0 0 25 0 1 0 37565682 17555456 3829 1992294400 134512640 135751879 4290762752 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 4286 3829 147 303 0 3981 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17144

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7019
/proc/meminfo: memFree=1761384/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=17540 CPUtime=12.68
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 5098 0 0 0 1265 3 0 0 25 0 1 0 37565682 17960960 3904 1992294400 134512640 135751879 4290762752 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 4385 3904 147 303 0 4080 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17540

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7019
/proc/meminfo: memFree=1761260/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=17804 CPUtime=25.48
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 5192 0 0 0 2543 5 0 0 25 0 1 0 37565682 18231296 3998 1992294400 134512640 135751879 4290762752 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 4451 3998 147 303 0 4146 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17804

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7019
/proc/meminfo: memFree=1760516/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=18464 CPUtime=51.07
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 5346 0 0 0 5100 7 0 0 25 0 1 0 37565682 18907136 4152 1992294400 134512640 135751879 4290762752 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 4616 4152 147 303 0 4311 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18464

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7021
/proc/meminfo: memFree=1758160/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=20712 CPUtime=102.25
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 5915 0 0 0 10211 14 0 0 25 0 1 0 37565682 21209088 4721 1992294400 134512640 135751879 4290762752 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 5178 4721 147 303 0 4873 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 20712

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7023
/proc/meminfo: memFree=1755184/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=23748 CPUtime=162.22
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 6681 0 0 0 16199 23 0 0 25 0 1 0 37565682 24317952 5487 1992294400 134512640 135751879 4290762752 18446744073709551615 134604765 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 5937 5487 148 303 0 5632 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 23748

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7025
/proc/meminfo: memFree=1740304/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=38376 CPUtime=222.2
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 10390 0 0 0 22188 32 0 0 25 0 1 0 37565682 39297024 9112 1992294400 134512640 135751879 4290762752 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 9594 9112 150 303 0 9289 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 38376

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7027
/proc/meminfo: memFree=1740304/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=38376 CPUtime=282.19
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 10390 0 0 0 28179 40 0 0 25 0 1 0 37565682 39297024 9112 1992294400 134512640 135751879 4290762752 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 9594 9112 150 303 0 9289 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 38376

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7027
/proc/meminfo: memFree=1740304/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=38376 CPUtime=342.16
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 10391 0 0 0 34169 47 0 0 25 0 1 0 37565682 39297024 9113 1992294400 134512640 135751879 4290762752 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 9594 9113 150 303 0 9289 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 38376

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7029
/proc/meminfo: memFree=1740304/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=38376 CPUtime=402.13
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 10391 0 0 0 40156 57 0 0 25 0 1 0 37565682 39297024 9113 1992294400 134512640 135751879 4290762752 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 9594 9113 150 303 0 9289 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 38376

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7031
/proc/meminfo: memFree=1740304/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=38376 CPUtime=462.11
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 10397 0 0 0 46147 64 0 0 25 0 1 0 37565682 39297024 9119 1992294400 134512640 135751879 4290762752 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 9594 9119 150 303 0 9289 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 38376

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7033
/proc/meminfo: memFree=1740180/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=38376 CPUtime=522.09
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 10398 0 0 0 52136 73 0 0 25 0 1 0 37565682 39297024 9120 1992294400 134512640 135751879 4290762752 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 9594 9120 150 303 0 9289 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 38376

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7035
/proc/meminfo: memFree=1739932/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=38640 CPUtime=582.07
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 10466 0 0 0 58126 81 0 0 25 0 1 0 37565682 39567360 9188 1992294400 134512640 135751879 4290762752 18446744073709551615 134611210 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 9660 9188 150 303 0 9355 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 38640

[startup+642.3 s]
/proc/loadavg: 1.13 1.03 1.01 2/107 7035
/proc/meminfo: memFree=1738444/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=39960 CPUtime=642.05
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 10825 0 0 0 64117 88 0 0 25 0 1 0 37565682 40919040 9547 1992294400 134512640 135751879 4290762752 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 9990 9547 150 303 0 9685 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 39960

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 1.08 1.05 1.01 2/107 7043
/proc/meminfo: memFree=1730012/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=48216 CPUtime=881.96
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 12881 0 0 0 88078 118 0 0 25 0 1 0 37565682 49373184 11603 1992294400 134512640 135751879 4290762752 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 12054 11603 150 303 0 11749 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 48216

[startup+942.301 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 7043
/proc/meminfo: memFree=1727532/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=50592 CPUtime=941.93
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 13478 0 0 0 94068 125 0 0 25 0 1 0 37565682 51806208 12200 1992294400 134512640 135751879 4290762752 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 12648 12200 150 303 0 12343 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 50592

[startup+1002.3 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 7045
/proc/meminfo: memFree=1725300/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=52848 CPUtime=1001.9
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 14028 0 0 0 100058 132 0 0 25 0 1 0 37565682 54116352 12750 1992294400 134512640 135751879 4290762752 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 13212 12750 150 303 0 12907 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 52848

[startup+1062.3 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 7047
/proc/meminfo: memFree=1722820/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=55228 CPUtime=1061.88
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 14623 0 0 0 106048 140 0 0 25 0 1 0 37565682 56553472 13345 1992294400 134512640 135751879 4290762752 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 13807 13345 150 303 0 13502 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 55228

[startup+1122.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 7049
/proc/meminfo: memFree=1720216/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=57868 CPUtime=1121.86
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 15267 0 0 0 112036 150 0 0 25 0 1 0 37565682 59256832 13989 1992294400 134512640 135751879 4290762752 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 14467 13989 150 303 0 14162 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 57868

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 7051
/proc/meminfo: memFree=1717984/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=59980 CPUtime=1181.84
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 15817 0 0 0 118024 160 0 0 25 0 1 0 37565682 61419520 14539 1992294400 134512640 135751879 4290762752 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 14995 14539 150 303 0 14690 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 59980

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 7051
/proc/meminfo: memFree=1716000/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=61960 CPUtime=1241.81
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 16299 0 0 0 124014 167 0 0 25 0 1 0 37565682 63447040 15021 1992294400 134512640 135751879 4290762752 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 15490 15021 150 303 0 15185 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 61960

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 7053
/proc/meminfo: memFree=1713768/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=64076 CPUtime=1301.79
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 16844 0 0 0 130005 174 0 0 25 0 1 0 37565682 65613824 15566 1992294400 134512640 135751879 4290762752 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 16019 15566 150 303 0 15714 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 64076

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 7055
/proc/meminfo: memFree=1711784/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=66188 CPUtime=1361.76
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 17349 0 0 0 135996 180 0 0 25 0 1 0 37565682 67776512 16071 1992294400 134512640 135751879 4290762752 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 16547 16071 150 303 0 16242 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 66188

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7057
/proc/meminfo: memFree=1709428/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=68432 CPUtime=1421.75
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 17917 0 0 0 141986 189 0 0 25 0 1 0 37565682 70074368 16639 1992294400 134512640 135751879 4290762752 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 17108 16639 150 303 0 16803 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 68432

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7059
/proc/meminfo: memFree=1706948/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=70808 CPUtime=1481.72
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 18529 0 0 0 147975 197 0 0 25 0 1 0 37565682 72507392 17251 1992294400 134512640 135751879 4290762752 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 17702 17251 150 303 0 17397 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 70808

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7059
/proc/meminfo: memFree=1704220/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=73448 CPUtime=1541.69
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 19167 0 0 0 153963 206 0 0 25 0 1 0 37565682 75210752 17889 1992294400 134512640 135751879 4290762752 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 18362 17889 150 303 0 18057 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 73448

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7061
/proc/meminfo: memFree=1701988/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=75712 CPUtime=1601.67
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 19749 0 0 0 159953 214 0 0 25 0 1 0 37565682 77529088 18471 1992294400 134512640 135751879 4290762752 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 18928 18471 150 303 0 18623 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 75712

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7072
/proc/meminfo: memFree=1699508/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=77956 CPUtime=1661.63
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 20316 0 0 0 165938 225 0 0 25 0 1 0 37565682 79826944 19038 1992294400 134512640 135751879 4290762752 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 19489 19038 150 303 0 19184 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 77956

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7074
/proc/meminfo: memFree=1697276/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=80332 CPUtime=1721.62
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 20884 0 0 0 171929 233 0 0 25 0 1 0 37565682 82259968 19606 1992294400 134512640 135751879 4290762752 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 20083 19606 150 303 0 19778 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 80332

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7076
/proc/meminfo: memFree=1695044/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=82448 CPUtime=1781.6
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 21407 0 0 0 177920 240 0 0 25 0 1 0 37565682 84426752 20129 1992294400 134512640 135751879 4290762752 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 20612 20129 150 303 0 20307 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 82448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7076
/proc/meminfo: memFree=1694300/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=83112 CPUtime=1800.01
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 21582 0 0 0 179758 243 0 0 25 0 1 0 37565682 85106688 20304 1992294400 134512640 135751879 4290762752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 20778 20304 150 303 0 20473 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 83112

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 7076
/proc/meminfo: memFree=1694300/2059040 swapFree=4136752/4192956
[pid=7018] ppid=7016 vsize=83112 CPUtime=1800.01
/proc/7018/stat : 7018 (wbo1.4b) R 7016 7018 6557 0 -1 4202496 21582 0 0 0 179758 243 0 0 25 0 1 0 37565682 85106688 20304 1992294400 134512640 135751879 4290762752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/7018/statm: 20778 20304 150 303 0 20473 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 83112

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.73
CPU time (s): 1800.03
CPU user time (s): 1797.58
CPU system time (s): 2.44463
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 83112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.58
system time used= 2.44463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21582
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= 3
involuntary context switches= 4054

runsolver used 2.80557 second user time and 8.67468 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-15 18:34:01
IDJOB=2655955
IDBENCH=2939
IDSOLVER=1161
FILE ID=node012/2655955-1276619641
PBS_JOBID= 11172289
Free space on /tmp= 62584 MiB

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

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

MD5SUM BENCH= 25ee8feec785b6a4be71df8acc9d82db
RANDOM SEED=1950191643

node012.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.258
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.51
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.258
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1777792 kB
Buffers:         87204 kB
Cached:         112320 kB
SwapCached:       9788 kB
Active:         108412 kB
Inactive:       104660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1777792 kB
SwapTotal:     4192956 kB
SwapFree:      4136752 kB
Dirty:            6212 kB
Writeback:           0 kB
AnonPages:       11800 kB
Mapped:           9488 kB
Slab:            46188 kB
PageTables:       3968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181104 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= 62584 MiB
End job on node012 at 2010-06-15 19:04:04