Trace number 1875656

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.1 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
MD5SUMd262db503fd284bdfe2b43790fda8490
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark97
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 91
Optimality of the best value was proved NO
Number of variables1807
Total number of constraints3444
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 constraints3443
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 66
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 193
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1320
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875656-1245179671.opb.
0.00/0.00	c Instance file HOME/instance-1875656-1245179671.opb
0.00/0.00	c File size is 746274 bytes.
0.09/0.12	c Highest Coefficient sum: 1320
0.09/0.12	c ============================[ Problem Statistics ]=============================
0.09/0.12	c |                                                                             |
0.09/0.12	c |  Parsing time:          0.12         s                                      |
0.09/0.12	c |  Number Variables:      1807                                                |
0.09/0.12	c |  Number Clauses:        9                                                   |
0.09/0.12	c |  Number Cardinality:    0                                                   |
0.09/0.12	c |  Number PB Constraints: 3443                                                |
0.09/0.12	c core #1
0.09/0.12	c Core size: 2	Core Weight: 66	Total Weight: 66
0.09/0.12	c Elapsed CPU time: 0.121981 s	Remaining CPU time: 1799.88 s
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |    1762     3453    94324 |     5000        0    nan |  0.000 % |
0.39/0.47	c |       103 |    1762     3453    94324 |     5500      103     44 |  2.544 % |
0.69/0.75	c |       253 |    1762     3453    94324 |     6050      253     40 |  2.544 % |
0.99/1.02	c |       479 |    1762     3453    94324 |     6655      479     41 |  2.544 % |
1.29/1.39	c |       817 |    1760     3453    94324 |     7320      817     44 |  2.655 % |
1.98/2.06	c |      1324 |    1760     3453    94324 |     8052     1324     45 |  2.655 % |
2.99/3.00	c |      2084 |    1760     3453    94324 |     8857     2083     45 |  2.655 % |
4.39/4.45	c |      3225 |    1760     3453    94324 |     9743     3224     45 |  2.655 % |
6.29/6.33	c |      4933 |    1760     3453    94324 |    10717     4932     44 |  2.655 % |
9.79/9.86	c |      7499 |    1760     3453    94324 |    11789     7498     44 |  2.655 % |
15.98/16.03	c |     11343 |    1760     3453    94324 |    12968    11342     45 |  2.655 % |
24.48/24.59	c |     17111 |    1760     3453    94324 |    14265    10544     44 |  2.655 % |
37.87/37.97	c |     25761 |    1760     3453    94324 |    15692    11930     44 |  2.655 % |
57.66/57.75	c |     38735 |    1760     3453    94324 |    17261     8959     44 |  2.655 % |
87.86/87.96	c |     58199 |    1760     3453    94324 |    18987    10594     44 |  2.655 % |
130.45/130.58	c |     87392 |    1759     3453    94324 |    20886    10820     44 |  2.710 % |
203.22/203.34	c |    131182 |    1759     3453    94324 |    22974    11837     46 |  2.710 % |
317.59/317.77	c |    196866 |    1759     3453    94324 |    25272    17437     45 |  2.710 % |
472.54/472.76	c |    295392 |    1759     3453    94324 |    27799    18975     43 |  2.710 % |
728.06/728.35	c |    443181 |    1759     3453    94324 |    30579    22618     45 |  2.710 % |
1123.34/1123.74	c |    664864 |    1759     3453    94324 |    33637    18210     45 |  2.710 % |
1727.66/1728.24	c |    997389 |    1759     3453    94324 |    37001    26430     48 |  2.710 % |

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-1875656-1245179671/watcher-1875656-1245179671 -o /tmp/evaluation-result-1875656-1245179671/solver-1875656-1245179671 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875656-1245179671.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.91 3/66 14167
/proc/meminfo: memFree=1853632/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=3256 CPUtime=0
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 198 0 0 0 0 0 0 0 18 0 1 0 70690565 3334144 182 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 814 182 127 292 0 336 0

[startup+0.0146739 s]
/proc/loadavg: 0.99 0.98 0.91 3/66 14167
/proc/meminfo: memFree=1853632/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=3520 CPUtime=0.01
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 273 0 0 0 1 0 0 0 18 0 1 0 70690565 3604480 257 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 880 258 141 292 0 402 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3520

[startup+0.101685 s]
/proc/loadavg: 0.99 0.98 0.91 3/66 14167
/proc/meminfo: memFree=1853632/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=5636 CPUtime=0.09
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 935 0 0 0 9 0 0 0 18 0 1 0 70690565 5771264 919 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 1409 919 267 292 0 931 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5636

[startup+0.30171 s]
/proc/loadavg: 0.99 0.98 0.91 3/66 14167
/proc/meminfo: memFree=1853632/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=8804 CPUtime=0.29
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 1964 0 0 0 29 0 0 0 19 0 1 0 70690565 9015296 1765 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 2201 1765 135 292 0 1906 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8804

[startup+0.701761 s]
/proc/loadavg: 0.99 0.98 0.91 3/66 14167
/proc/meminfo: memFree=1853632/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=8804 CPUtime=0.69
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 1965 0 0 0 69 0 0 0 22 0 1 0 70690565 9015296 1766 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 2201 1766 136 292 0 1906 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8804

[startup+1.50186 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1847096/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=8804 CPUtime=1.49
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 1965 0 0 0 149 0 0 0 25 0 1 0 70690565 9015296 1766 1992294400 134512640 135709839 4294956240 18446744073709551615 134572719 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 2201 1766 136 292 0 1906 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8804

[startup+3.10107 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1846904/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=8804 CPUtime=3.09
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 1970 0 0 0 308 1 0 0 25 0 1 0 70690565 9015296 1771 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 2201 1771 136 292 0 1906 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8804

[startup+6.30149 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1846584/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=9200 CPUtime=6.29
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 2066 0 0 0 628 1 0 0 25 0 1 0 70690565 9420800 1867 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 2300 1867 136 292 0 2005 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9200

[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1845048/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=10664 CPUtime=12.68
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 2425 0 0 0 1266 2 0 0 25 0 1 0 70690565 10919936 2226 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 2666 2226 136 292 0 2371 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10664

[startup+25.502 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1842360/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=13308 CPUtime=25.49
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 3082 0 0 0 2544 5 0 0 25 0 1 0 70690565 13627392 2883 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 3327 2883 136 292 0 3032 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13308

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1837304/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=18460 CPUtime=51.07
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 4381 0 0 0 5097 10 0 0 25 0 1 0 70690565 18903040 4182 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 4615 4182 136 292 0 4320 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18460

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1826360/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=29128 CPUtime=102.25
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 7036 0 0 0 10202 23 0 0 25 0 1 0 70690565 29827072 6837 1992294400 134512640 135709839 4294956240 18446744073709551615 134572636 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 7282 6837 136 292 0 6987 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 29128

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1814648/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=41012 CPUtime=162.24
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 9998 0 0 0 16186 38 0 0 25 0 1 0 70690565 41996288 9799 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 10253 9799 136 292 0 9958 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 41012

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1803640/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=51836 CPUtime=222.21
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 12711 0 0 0 22172 49 0 0 25 0 1 0 70690565 53080064 12512 1992294400 134512640 135709839 4294956240 18446744073709551615 134578541 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 12959 12512 136 292 0 12664 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 51836

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1792824/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=62692 CPUtime=282.2
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 15426 0 0 0 28157 63 0 0 25 0 1 0 70690565 64196608 15227 1992294400 134512640 135709839 4294956240 18446744073709551615 134572827 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 15673 15227 136 292 0 15378 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 62692

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1781944/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=73416 CPUtime=342.18
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 18117 0 0 0 34143 75 0 0 25 0 1 0 70690565 75177984 17918 1992294400 134512640 135709839 4294956240 18446744073709551615 134572762 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 18354 17918 136 292 0 18059 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 73416

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1770552/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=84888 CPUtime=402.16
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 20966 0 0 0 40125 91 0 0 25 0 1 0 70690565 86925312 20767 1992294400 134512640 135709839 4294956240 18446744073709551615 134573826 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 21222 20767 136 292 0 20927 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 84888

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1759224/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=96136 CPUtime=462.15
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 23775 0 0 0 46111 104 0 0 25 0 1 0 70690565 98443264 23576 1992294400 134512640 135709839 4294956240 18446744073709551615 134568269 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 24034 23576 136 292 0 23739 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 96136

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1748600/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=106856 CPUtime=522.12
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 26446 0 0 0 52096 116 0 0 25 0 1 0 70690565 109420544 26247 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 26714 26247 136 292 0 26419 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 106856

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1738488/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=116908 CPUtime=582.1
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 28949 0 0 0 58084 126 0 0 25 0 1 0 70690565 119713792 28750 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 29227 28750 136 292 0 28932 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 116908

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1727736/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=127488 CPUtime=642.1
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 31602 0 0 0 64073 137 0 0 25 0 1 0 70690565 130547712 31403 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 31872 31403 136 292 0 31577 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 127488

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1694648/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=160532 CPUtime=822.03
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 39858 0 0 0 82029 174 0 0 25 0 1 0 70690565 164384768 39659 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 40133 39659 136 292 0 39838 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 160532

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1683384/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=171608 CPUtime=882.02
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 42631 0 0 0 88013 189 0 0 25 0 1 0 70690565 175726592 42432 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 42902 42432 136 292 0 42607 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 171608

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1673464/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=181668 CPUtime=941.99
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 45126 0 0 0 93997 202 0 0 25 0 1 0 70690565 186028032 44927 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 45417 44927 136 292 0 45122 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 181668

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1663736/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=191348 CPUtime=1001.98
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 47539 0 0 0 99983 215 0 0 25 0 1 0 70690565 195940352 47340 1992294400 134512640 135709839 4294956240 18446744073709551615 134572576 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 47837 47340 136 292 0 47542 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 191348

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1653304/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=201776 CPUtime=1061.96
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 50168 0 0 0 105968 228 0 0 25 0 1 0 70690565 206618624 49969 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 50444 49969 136 292 0 50149 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 201776

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1642744/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=212224 CPUtime=1121.94
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 52760 0 0 0 111955 239 0 0 25 0 1 0 70690565 217317376 52561 1992294400 134512640 135709839 4294956240 18446744073709551615 134572719 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 53056 52561 136 292 0 52761 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 212224

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1631992/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=222912 CPUtime=1181.92
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 55452 0 0 0 117941 251 0 0 25 0 1 0 70690565 228261888 55253 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 55728 55253 136 292 0 55433 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 222912

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1620984/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=233864 CPUtime=1241.9
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 58176 0 0 0 123925 265 0 0 25 0 1 0 70690565 239476736 57977 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 58466 57977 136 292 0 58171 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 233864

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1610680/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=244056 CPUtime=1301.89
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 60713 0 0 0 129911 278 0 0 25 0 1 0 70690565 249913344 60514 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 61014 60514 136 292 0 60719 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 244056

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1600504/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=254352 CPUtime=1361.87
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 63285 0 0 0 135897 290 0 0 25 0 1 0 70690565 260456448 63086 1992294400 134512640 135709839 4294956240 18446744073709551615 134573742 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 63588 63086 136 292 0 63293 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 254352

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1591160/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=263592 CPUtime=1421.85
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 65587 0 0 0 141882 303 0 0 25 0 1 0 70690565 269918208 65388 1992294400 134512640 135709839 4294956240 18446744073709551615 134574170 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 65898 65388 136 292 0 65603 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 263592

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1580408/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=274276 CPUtime=1481.83
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 68281 0 0 0 147868 315 0 0 25 0 1 0 70690565 280858624 68082 1992294400 134512640 135709839 4294956240 18446744073709551615 134572733 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 68569 68082 136 292 0 68274 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 274276

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1570552/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=284044 CPUtime=1541.81
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 70723 0 0 0 153856 325 0 0 25 0 1 0 70690565 290861056 70524 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 71011 70524 136 292 0 70716 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 284044

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1559992/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=294616 CPUtime=1601.8
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 73372 0 0 0 159841 339 0 0 25 0 1 0 70690565 301686784 73173 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 73654 73173 136 292 0 73359 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 294616

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1550712/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=303904 CPUtime=1661.78
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 75691 0 0 0 165827 351 0 0 25 0 1 0 70690565 311197696 75492 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 75976 75492 136 292 0 75681 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 303904

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1541048/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=313672 CPUtime=1721.76
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 78113 0 0 0 171814 362 0 0 25 0 1 0 70690565 321200128 77914 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 78418 77914 136 292 0 78123 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 313672

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1530808/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=323712 CPUtime=1781.73
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 80623 0 0 0 177800 373 0 0 25 0 1 0 70690565 331481088 80424 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 80928 80424 136 292 0 80633 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 323712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.91 2/67 14168
/proc/meminfo: memFree=1527928/2055920 swapFree=4191988/4192956
[pid=14167] ppid=14165 vsize=326484 CPUtime=1800.05
/proc/14167/stat : 14167 (wbo) R 14165 14167 14042 0 -1 4194304 81323 0 0 0 179627 378 0 0 25 0 1 0 70690565 334319616 81124 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14167/statm: 81621 81124 136 292 0 81326 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 326484

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.66
CPU time (s): 1800.1
CPU user time (s): 1796.27
CPU system time (s): 3.83042
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 326484

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

runsolver used 2.48062 second user time and 4.07538 second system time

The end

Launcher Data 

Begin job on node40 at 2009-06-16 21:14:31
IDJOB=1875656
IDBENCH=2946
IDSOLVER=698
FILE ID=node40/1875656-1245179671
PBS_JOBID= 9363948
Free space on /tmp= 66560 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875656-1245179671/watcher-1875656-1245179671 -o /tmp/evaluation-result-1875656-1245179671/solver-1875656-1245179671 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875656-1245179671.opb

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

MD5SUM BENCH= d262db503fd284bdfe2b43790fda8490
RANDOM SEED=749537939

node40.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1854048 kB
Buffers:         21640 kB
Cached:          99832 kB
SwapCached:        384 kB
Active:          16444 kB
Inactive:       119060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1854048 kB
SwapTotal:     4192956 kB
SwapFree:      4191988 kB
Dirty:            3104 kB
Writeback:           0 kB
Mapped:          23408 kB
Slab:            52208 kB
Committed_AS:    59200 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875656-1245179671.opb

Free space on /tmp at the end= 66560 MiB
End job on node40 at 2009-06-16 21:44:34