Trace number 2656068

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.04 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
MD5SUM6e5141f298d85d1f18641c02d22506a9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark226
Best CPU time to get the best result obtained on this benchmark1800.4
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 222
Optimality of the best value was proved NO
Number of variables5570
Total number of constraints10896
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 constraints10895
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 9
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 375
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 1908
Number of bits of the biggest sum of numbers11
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-2656068-1276619290.opb.
0.00/0.00	c Instance file HOME/instance-2656068-1276619290.opb
0.00/0.00	c File size is 2715806 bytes.
0.39/0.46	c Highest Coefficient sum: 1908
0.39/0.46	c ============================[ Problem Statistics ]=============================
0.39/0.46	c |                                                                             |
0.39/0.46	c |  Parsing time:          0.44         s                                      |
0.39/0.46	c |  Number Variables:      5570                                                |
0.39/0.46	c |  Number Clauses:        1                                                   |
0.39/0.46	c |  Number Cardinality:    0                                                   |
0.39/0.46	c |  Number PB Constraints: 10895                                               |
0.39/0.47	c ============================[ Search Statistics ]==============================
0.39/0.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.47	c ===============================================================================
0.39/0.47	c |         0 |    5568    10896   331041 |     5000        0    nan |  0.000 % |
1.49/1.60	c |       100 |    5568    10896   331041 |     5500      100     36 |  0.036 % |
2.09/2.18	c |       250 |    5568    10896   331041 |     6050      250     38 |  0.036 % |
3.59/3.65	c |       475 |    5568    10896   331041 |     6655      475     32 |  0.036 % |
4.40/4.49	c |       812 |    5568    10896   331041 |     7320      812     34 |  0.036 % |
6.19/6.22	c |      1319 |    5568    10896   331041 |     8052     1319     35 |  0.036 % |
9.19/9.25	c |      2078 |    5568    10896   331041 |     8857     2078     34 |  0.036 % |
14.49/14.51	c |      3218 |    5568    10896   331041 |     9743     3218     39 |  0.036 % |
25.19/25.26	c |      4928 |    5568    10896   331041 |    10717     4928     39 |  0.036 % |
32.98/33.00	c |      7492 |    5568    10896   331041 |    11789     7492     35 |  0.036 % |
54.46/54.51	c |     11337 |    5568    10896   331041 |    12968    11337     34 |  0.036 % |
78.66/78.79	c |     17103 |    5568    10896   331041 |    14265    10169     34 |  0.036 % |
122.55/122.61	c |     25752 |    5568    10896   331041 |    15692    10636     41 |  0.036 % |
180.23/180.36	c There are 2 assigned variables. 1 in cost function.
180.53/180.60	c ============================[ Search Statistics ]==============================
180.53/180.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.53/180.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.53/180.60	c ===============================================================================
180.53/180.60	c |         0 |    5480    10909   327651 |     5000        0    nan |  0.000 % |
181.54/181.63	c |       100 |    5480    10909   327651 |     5500      100     32 |  1.616 % |
182.33/182.42	c |       251 |    5480    10909   327651 |     6050      251     38 |  1.616 % |
183.53/183.62	c |       477 |    5480    10909   327651 |     6655      477     40 |  1.616 % |
185.12/185.26	c |       814 |    5480    10909   327651 |     7320      814     39 |  1.616 % |
187.23/187.35	c |      1321 |    5480    10909   327651 |     8052     1321     40 |  1.616 % |
190.52/190.64	c |      2080 |    5480    10909   327651 |     8857     2080     38 |  1.616 % |
195.63/195.79	c |      3219 |    5480    10909   327651 |     9743     3219     38 |  1.616 % |
203.53/203.65	c |      4927 |    5480    10909   327651 |    10717     4927     38 |  1.616 % |
214.02/214.14	c |      7494 |    5477    10909   327651 |    11789     7492     38 |  1.670 % |
230.52/230.68	c |     11338 |    5477    10909   327651 |    12968    11336     37 |  1.670 % |
254.81/254.94	c |     17105 |    5477    10909   327651 |    14265     9841     33 |  1.670 % |
295.39/295.51	c |     25754 |    5477    10909   327651 |    15692    10015     37 |  1.670 % |
344.67/344.86	c |     38728 |    5475    10909   327651 |    17261    14435     36 |  1.706 % |
432.16/432.40	c |     58190 |    5475    10909   327651 |    18987    15423     38 |  1.706 % |
577.91/578.13	c |     87382 |    5475    10909   327651 |    20886    13128     39 |  1.706 % |
818.53/818.85	c |    131172 |    5475    10909   327651 |    22974    12768     43 |  1.706 % |
1164.21/1164.67	c |    196856 |    5475    10909   327651 |    25272    15701     35 |  1.706 % |
1587.47/1588.04	c |    295383 |    5475    10909   327651 |    27799    22333     32 |  1.706 % |

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-2656068-1276619290/watcher-2656068-1276619290 -o /tmp/evaluation-result-2656068-1276619290/solver-2656068-1276619290 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656068-1276619290.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/105 13253
/proc/meminfo: memFree=1790232/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=5228 CPUtime=0
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 3220412 5353472 219 1992294400 134512640 135751879 4287560416 18446744073709551615 134564342 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 1307 219 145 303 0 338 0

[startup+0.102602 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13253
/proc/meminfo: memFree=1790232/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=7520 CPUtime=0.09
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 1007 0 0 0 9 0 0 0 20 0 1 0 3220412 7700480 925 1992294400 134512640 135751879 4287560416 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 1880 925 283 303 0 911 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7520

[startup+0.201614 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13253
/proc/meminfo: memFree=1790232/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=9924 CPUtime=0.19
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 1726 0 0 0 19 0 0 0 20 0 1 0 3220412 10162176 1644 1992294400 134512640 135751879 4287560416 18446744073709551615 134560534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 2481 1644 427 303 0 1512 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9924

[startup+0.301627 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13253
/proc/meminfo: memFree=1790232/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=12248 CPUtime=0.3
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 2457 0 0 0 29 1 0 0 20 0 1 0 3220412 12541952 2375 1992294400 134512640 135751879 4287560416 18446744073709551615 135390065 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 3062 2375 569 303 0 2093 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 12248

[startup+0.701677 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 13253
/proc/meminfo: memFree=1790232/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=13708 CPUtime=0.69
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 3894 0 0 0 67 2 0 0 21 0 1 0 3220412 14036992 2996 1992294400 134512640 135751879 4287560416 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 3427 2996 146 303 0 3122 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13708

[startup+1.50078 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13254
/proc/meminfo: memFree=1778072/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=13708 CPUtime=1.49
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 3894 0 0 0 147 2 0 0 23 0 1 0 3220412 14036992 2996 1992294400 134512640 135751879 4287560416 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 3427 2996 146 303 0 3122 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13708

[startup+3.10098 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13254
/proc/meminfo: memFree=1777824/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=13708 CPUtime=3.09
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 3895 0 0 0 307 2 0 0 25 0 1 0 3220412 14036992 2997 1992294400 134512640 135751879 4287560416 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 3427 2997 147 303 0 3122 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13708

[startup+6.30138 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13254
/proc/meminfo: memFree=1777824/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=13972 CPUtime=6.29
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 3950 0 0 0 626 3 0 0 25 0 1 0 3220412 14307328 3052 1992294400 134512640 135751879 4287560416 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 3493 3052 147 303 0 3188 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13972

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13254
/proc/meminfo: memFree=1777700/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=14368 CPUtime=12.68
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 4044 0 0 0 1264 4 0 0 25 0 1 0 3220412 14712832 3146 1992294400 134512640 135751879 4287560416 18446744073709551615 134519014 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 3592 3146 147 303 0 3287 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14368

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13254
/proc/meminfo: memFree=1777328/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=14896 CPUtime=25.49
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 4184 0 0 0 2543 6 0 0 25 0 1 0 3220412 15253504 3286 1992294400 134512640 135751879 4287560416 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 3724 3286 147 303 0 3419 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14896

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13256
/proc/meminfo: memFree=1775840/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=16260 CPUtime=51.07
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 4507 0 0 0 5098 9 0 0 25 0 1 0 3220412 16650240 3609 1992294400 134512640 135751879 4287560416 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 4065 3609 147 303 0 3760 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16260

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13256
/proc/meminfo: memFree=1772988/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=18944 CPUtime=102.26
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 5183 0 0 0 10210 16 0 0 25 0 1 0 3220412 19398656 4285 1992294400 134512640 135751879 4287560416 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 4736 4285 148 303 0 4431 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 18944

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13258
/proc/meminfo: memFree=1769640/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=22244 CPUtime=162.24
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 5997 0 0 0 16198 26 0 0 25 0 1 0 3220412 22777856 5099 1992294400 134512640 135751879 4287560416 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 5561 5099 148 303 0 5256 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 22244

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13260
/proc/meminfo: memFree=1758232/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=33484 CPUtime=222.22
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 8876 0 0 0 22184 38 0 0 25 0 1 0 3220412 34287616 7912 1992294400 134512640 135751879 4287560416 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 8371 7912 150 303 0 8066 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 33484

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13265
/proc/meminfo: memFree=1757488/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=33484 CPUtime=282.2
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 8876 0 0 0 28171 49 0 0 25 0 1 0 3220412 34287616 7912 1992294400 134512640 135751879 4287560416 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 8371 7912 150 303 0 8066 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 33484

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13267
/proc/meminfo: memFree=1757488/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=33484 CPUtime=342.18
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 8876 0 0 0 34156 62 0 0 25 0 1 0 3220412 34287616 7912 1992294400 134512640 135751879 4287560416 18446744073709551615 134604765 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 8371 7912 150 303 0 8066 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 33484

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13267
/proc/meminfo: memFree=1757488/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=33484 CPUtime=402.16
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 8882 0 0 0 40142 74 0 0 25 0 1 0 3220412 34287616 7918 1992294400 134512640 135751879 4287560416 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 8371 7918 150 303 0 8066 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 33484

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13269
/proc/meminfo: memFree=1756868/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=34276 CPUtime=462.14
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 9110 0 0 0 46128 86 0 0 25 0 1 0 3220412 35098624 8146 1992294400 134512640 135751879 4287560416 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 8569 8146 150 303 0 8264 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 34276

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13271
/proc/meminfo: memFree=1754512/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=36668 CPUtime=522.12
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 9706 0 0 0 52116 96 0 0 25 0 1 0 3220412 37548032 8742 1992294400 134512640 135751879 4287560416 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 9167 8742 150 303 0 8862 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 36668

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13273
/proc/meminfo: memFree=1751784/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=39580 CPUtime=582.11
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 10409 0 0 0 58103 108 0 0 25 0 1 0 3220412 40529920 9445 1992294400 134512640 135751879 4287560416 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 9895 9445 150 303 0 9590 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 39580

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13275
/proc/meminfo: memFree=1749056/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=42244 CPUtime=642.09
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 11074 0 0 0 64090 119 0 0 25 0 1 0 3220412 43257856 10110 1992294400 134512640 135751879 4287560416 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 10561 10110 150 303 0 10256 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 42244

[startup+702.302 s]

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

[startup+882.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13281
/proc/meminfo: memFree=1738640/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=52676 CPUtime=882.02
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 13678 0 0 0 88042 160 0 0 25 0 1 0 3220412 53940224 12714 1992294400 134512640 135751879 4287560416 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 13169 12714 150 303 0 12864 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 52676

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13283
/proc/meminfo: memFree=1736284/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=55056 CPUtime=941.99
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 14272 0 0 0 94028 171 0 0 25 0 1 0 3220412 56377344 13308 1992294400 134512640 135751879 4287560416 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 13764 13308 150 303 0 13459 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 55056

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13283
/proc/meminfo: memFree=1733804/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=57448 CPUtime=1001.96
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 14872 0 0 0 100013 183 0 0 25 0 1 0 3220412 58826752 13908 1992294400 134512640 135751879 4287560416 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 14362 13908 150 303 0 14057 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 57448

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13285
/proc/meminfo: memFree=1731448/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=59836 CPUtime=1061.94
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 15472 0 0 0 105999 195 0 0 25 0 1 0 3220412 61272064 14508 1992294400 134512640 135751879 4287560416 18446744073709551615 134620480 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 14959 14508 150 303 0 14654 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 59836

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13287
/proc/meminfo: memFree=1728720/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=62608 CPUtime=1121.93
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 16157 0 0 0 111985 208 0 0 25 0 1 0 3220412 64110592 15193 1992294400 134512640 135751879 4287560416 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 15652 15193 150 303 0 15347 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 62608

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13289
/proc/meminfo: memFree=1725992/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=65124 CPUtime=1181.91
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 16799 0 0 0 117969 222 0 0 25 0 1 0 3220412 66686976 15835 1992294400 134512640 135751879 4287560416 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 16281 15835 150 303 0 15976 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 65124

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13291
/proc/meminfo: memFree=1723140/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=67772 CPUtime=1241.88
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 17454 0 0 0 123955 233 0 0 25 0 1 0 3220412 69398528 16490 1992294400 134512640 135751879 4287560416 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 16943 16490 150 303 0 16638 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 67772

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13291
/proc/meminfo: memFree=1720288/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=70556 CPUtime=1301.86
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 18146 0 0 0 129939 247 0 0 25 0 1 0 3220412 72249344 17182 1992294400 134512640 135751879 4287560416 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 17639 17182 150 303 0 17334 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 70556

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13293
/proc/meminfo: memFree=1717684/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=73072 CPUtime=1361.85
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 18798 0 0 0 135927 258 0 0 25 0 1 0 3220412 74825728 17834 1992294400 134512640 135751879 4287560416 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 18268 17834 150 303 0 17963 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 73072

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13295
/proc/meminfo: memFree=1715080/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=75728 CPUtime=1421.83
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 19450 0 0 0 141913 270 0 0 25 0 1 0 3220412 77545472 18486 1992294400 134512640 135751879 4287560416 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 18932 18486 150 303 0 18627 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 75728

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13297
/proc/meminfo: memFree=1712352/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=78520 CPUtime=1481.81
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 20127 0 0 0 147899 282 0 0 25 0 1 0 3220412 80404480 19163 1992294400 134512640 135751879 4287560416 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 19630 19163 150 303 0 19325 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 78520

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13299
/proc/meminfo: memFree=1709376/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=81556 CPUtime=1541.8
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 20882 0 0 0 153886 294 0 0 25 0 1 0 3220412 83513344 19918 1992294400 134512640 135751879 4287560416 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 20389 19918 150 303 0 20084 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 81556

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13299
/proc/meminfo: memFree=1706028/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=84784 CPUtime=1601.78
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 21678 0 0 0 159871 307 0 0 25 0 1 0 3220412 86818816 20714 1992294400 134512640 135751879 4287560416 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 21196 20714 150 303 0 20891 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 84784

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13301
/proc/meminfo: memFree=1703176/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=87556 CPUtime=1661.76
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 22378 0 0 0 165858 318 0 0 25 0 1 0 3220412 89657344 21414 1992294400 134512640 135751879 4287560416 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 21889 21414 150 303 0 21584 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 87556

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13303
/proc/meminfo: memFree=1700324/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=90328 CPUtime=1721.74
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 23075 0 0 0 171845 329 0 0 25 0 1 0 3220412 92495872 22111 1992294400 134512640 135751879 4287560416 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 22582 22111 150 303 0 22277 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 90328

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13305
/proc/meminfo: memFree=1697472/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=92968 CPUtime=1781.72
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 23735 0 0 0 177833 339 0 0 25 0 1 0 3220412 95199232 22771 1992294400 134512640 135751879 4287560416 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 23242 22771 150 303 0 22937 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 92968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13305
/proc/meminfo: memFree=1696728/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=93760 CPUtime=1800.02
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 23927 0 0 0 179660 342 0 0 25 0 1 0 3220412 96010240 22963 1992294400 134512640 135751879 4287560416 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 23440 22963 150 303 0 23135 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 93760

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

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13305
/proc/meminfo: memFree=1696728/2059040 swapFree=4141204/4192956
[pid=13253] ppid=13251 vsize=93760 CPUtime=1800.02
/proc/13253/stat : 13253 (wbo1.4b) R 13251 13253 13072 0 -1 4202496 23927 0 0 0 179660 342 0 0 25 0 1 0 3220412 96010240 22963 1992294400 134512640 135751879 4287560416 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/13253/statm: 23440 22963 150 303 0 23135 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 93760

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.04
CPU user time (s): 1796.6
CPU system time (s): 3.43648
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 93760

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

runsolver used 3.07853 second user time and 8.40372 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-15 18:28:10
IDJOB=2656068
IDBENCH=2937
IDSOLVER=1161
FILE ID=node054/2656068-1276619290
PBS_JOBID= 11172332
Free space on /tmp= 62476 MiB

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

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

MD5SUM BENCH= 6e5141f298d85d1f18641c02d22506a9
RANDOM SEED=495089075

node054.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.217
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.43
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.217
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1790760 kB
Buffers:         45600 kB
Cached:         143120 kB
SwapCached:       6404 kB
Active:          88200 kB
Inactive:       114548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1790760 kB
SwapTotal:     4192956 kB
SwapFree:      4141204 kB
Dirty:            5424 kB
Writeback:           0 kB
AnonPages:       11660 kB
Mapped:          13152 kB
Slab:            44004 kB
PageTables:       3920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179624 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node054 at 2010-06-15 18:58:13