Trace number 2656526

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
bsolo 3.2 Card? 1798.04 1798.48

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_20.opb
MD5SUM601a73d2c5752739e04dd0126b5500f0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 398
Optimality of the best value was proved NO
Number of variables13478
Total number of constraints26620
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 constraints26619
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 190
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 445
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 589
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2977
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656526-1276621188.opb
0.00/0.00	c File size is 7672173 bytes.
1.09/1.18	c Highest Coefficient sum: 2977
1.09/1.18	c Parsing was ok!!
1.09/1.18	c Total parsing time: 1.186 s
1.19/1.22	c Var: 13478 Constr: 26620 1/0/26619 Lit: 901318 Watch. Lit: 141864
1.19/1.22	c Obj. Vars: 9 (0.0667755 % of total variables)
6.89/6.93	c Pre-processing Time: 6.926 s
6.89/6.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.93	c        0  13477    26619   901317   33   214682  500000      0      0 6.93
6.89/6.93	c Switching off lower bounding mode.
1797.95/1798.45	c      100  13477    26810   909394   33   496866  550001    191     11 8.99
1797.95/1798.45	c      251  13477    27107   919771   33   504028  605002    488     23 10.58
1797.95/1798.45	c      476  13477    27552   940976   34   510315  665503    933     40 11.61
1797.95/1798.45	c      814  13477    28222   965249   34   521302  732054   1603     60 13.41
1797.95/1798.45	c     1323  13477    29209  1015371   34   500838  805260   2590     73 18.05
1797.95/1798.45	c     2089  13477    30711  1103343   35   514005  885787   4092     89 23.34
1797.95/1798.45	c     3235  13477    32987  1197695   36   512111  974366   6368    106 30.28
1797.95/1798.45	c     4956  13477    36386  1418918   38   524089  500000   9767    116 42.47
1797.95/1798.45	c     7542  13477    41441  1730882   41   533345  550001  14822    127 58.95
1797.95/1798.45	c    11421  13477    49145  2123022   43   571102  605002  22526    124 91.56
1797.95/1798.45	c    17243  13477    60697  2606446   42   549066  665503  34078    136 125.96
1797.95/1798.45	c    25980  13477    78068  3709014   47   637984  732054  51449    124 208.04
1797.95/1798.45	c    39092  13477   104092  5551344   53   670618  805260  77473    129 302.74
1797.95/1798.45	c    58763  13477   143239  7223193   50   790094  885787 116620    127 462.67
1797.95/1798.45	c    88274  13477   201854 11304154   56   907468  974366 175235    109 805.05
1797.95/1798.45	c   132544  13477   290075 15523238   53  1085813  500000 263456     96 1377.40
1797.95/1798.45	c Resources Exceeded
1797.95/1798.45	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.45	c   16   161803  22183   210932   348210 20779401 321591     89 1798.01
1797.95/1798.45	s UNKNOWN
1797.95/1798.45	c Total time: 1798.01 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656526-1276621188/watcher-2656526-1276621188 -o /tmp/evaluation-result-2656526-1276621188/solver-2656526-1276621188 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656526-1276621188.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 10359
/proc/meminfo: memFree=1772280/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=18284 CPUtime=0
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 313 0 0 0 0 0 0 0 18 0 1 0 3411216 18722816 231 1992294400 134512640 137138936 4291029296 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 4571 231 175 642 0 2053 0

[startup+0.0264111 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10359
/proc/meminfo: memFree=1772280/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=18416 CPUtime=0.02
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 388 0 0 0 2 0 0 0 18 0 1 0 3411216 18857984 306 1992294400 134512640 137138936 4291029296 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 4604 306 202 642 0 2086 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18416

[startup+0.101418 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10359
/proc/meminfo: memFree=1772280/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=19328 CPUtime=0.1
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 708 0 0 0 10 0 0 0 18 0 1 0 3411216 19791872 626 1992294400 134512640 137138936 4291029296 18446744073709551615 134599724 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 4832 626 317 642 0 2314 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19328

[startup+0.300435 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10359
/proc/meminfo: memFree=1772280/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=21536 CPUtime=0.29
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 1574 0 0 0 29 0 0 0 18 0 1 0 3411216 22052864 1492 1992294400 134512640 137138936 4291029296 18446744073709551615 134516226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 5384 1493 622 642 0 2866 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21536

[startup+0.700471 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10359
/proc/meminfo: memFree=1772280/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=26204 CPUtime=0.69
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 3392 0 0 0 68 1 0 0 18 0 1 0 3411216 26832896 3310 1992294400 134512640 137138936 4291029296 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 6551 3310 1258 642 0 4033 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26204

[startup+1.50054 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10360
/proc/meminfo: memFree=1760244/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=40000 CPUtime=1.49
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 9467 0 0 0 145 4 0 0 19 0 1 0 3411216 40960000 7511 1992294400 134512640 137138936 4291029296 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 10000 7513 185 642 0 9356 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40000

[startup+3.10068 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10360
/proc/meminfo: memFree=1737056/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=45412 CPUtime=3.09
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 10825 0 0 0 304 5 0 0 24 0 1 0 3411216 46501888 8869 1992294400 134512640 137138936 4291029296 18446744073709551615 134540073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 11353 8869 185 642 0 10709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45412

[startup+6.30097 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10360
/proc/meminfo: memFree=1736684/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=45412 CPUtime=6.29
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 10825 0 0 0 623 6 0 0 25 0 1 0 3411216 46501888 8869 1992294400 134512640 137138936 4291029296 18446744073709551615 134558340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 11353 8869 185 642 0 10709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45412

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10360
/proc/meminfo: memFree=1742388/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=39712 CPUtime=12.69
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 13041 0 0 0 1259 10 0 0 25 0 1 0 3411216 40665088 7487 1992294400 134512640 137138936 4291029296 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 9928 7487 192 642 0 9284 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39712

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10360
/proc/meminfo: memFree=1739536/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=42628 CPUtime=25.49
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 13768 0 0 0 2537 12 0 0 25 0 1 0 3411216 43651072 8214 1992294400 134512640 137138936 4291029296 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 10657 8214 192 642 0 10013 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42628

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10362
/proc/meminfo: memFree=1733584/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=48816 CPUtime=51.08
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 15318 0 0 0 5093 15 0 0 25 0 1 0 3411216 49987584 9764 1992294400 134512640 137138936 4291029296 18446744073709551615 136504370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 12204 9764 192 642 0 11560 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48816

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10371
/proc/meminfo: memFree=1722672/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=59480 CPUtime=102.25
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 17955 0 0 0 10205 20 0 0 25 0 1 0 3411216 60907520 12401 1992294400 134512640 137138936 4291029296 18446744073709551615 136500286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 14870 12401 192 642 0 14226 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 59480

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10373
/proc/meminfo: memFree=1710148/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=72036 CPUtime=162.24
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 21122 0 0 0 16198 26 0 0 25 0 1 0 3411216 73764864 15568 1992294400 134512640 137138936 4291029296 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 18009 15568 192 642 0 17365 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 72036

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10375
/proc/meminfo: memFree=1697872/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=84312 CPUtime=222.22
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 24163 0 0 0 22190 32 0 0 25 0 1 0 3411216 86335488 18609 1992294400 134512640 137138936 4291029296 18446744073709551615 134578144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 21078 18609 192 642 0 20434 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 84312

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10377
/proc/meminfo: memFree=1681876/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=100428 CPUtime=282.21
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 28224 0 0 0 28183 38 0 0 25 0 1 0 3411216 102838272 22670 1992294400 134512640 137138936 4291029296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 25107 22670 192 642 0 24463 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 100428

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10379
/proc/meminfo: memFree=1668484/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=113532 CPUtime=342.19
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 31495 0 0 0 34175 44 0 0 25 0 1 0 3411216 116256768 25941 1992294400 134512640 137138936 4291029296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 28383 25941 192 642 0 27739 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 113532

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10379
/proc/meminfo: memFree=1659556/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=122732 CPUtime=402.18
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 33768 0 0 0 40167 51 0 0 25 0 1 0 3411216 125677568 28214 1992294400 134512640 137138936 4291029296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 30683 28214 192 642 0 30039 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 122732

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10381
/proc/meminfo: memFree=1648396/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=133576 CPUtime=462.17
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 36507 0 0 0 46158 59 0 0 25 0 1 0 3411216 136781824 30953 1992294400 134512640 137138936 4291029296 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 33394 30953 192 642 0 32750 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 133576

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10383
/proc/meminfo: memFree=1636492/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=145604 CPUtime=522.15
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 39486 0 0 0 52150 65 0 0 25 0 1 0 3411216 149098496 33932 1992294400 134512640 137138936 4291029296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 36401 33932 192 642 0 35757 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 145604

[startup+582.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 10385
/proc/meminfo: memFree=1626324/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=155656 CPUtime=582.13
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 41999 0 0 0 58145 68 0 0 25 0 1 0 3411216 159391744 36445 1992294400 134512640 137138936 4291029296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 38914 36445 192 642 0 38270 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 155656

[startup+642.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 10387
/proc/meminfo: memFree=1615908/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=165792 CPUtime=642.13
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 44560 0 0 0 64140 73 0 0 25 0 1 0 3411216 169771008 39006 1992294400 134512640 137138936 4291029296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 41448 39006 192 642 0 40804 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 165792

[startup+702.301 s]

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

/proc/meminfo: memFree=1551428/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=229852 CPUtime=1122.01
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 60575 0 0 0 112095 106 0 0 25 0 1 0 3411216 235368448 55021 1992294400 134512640 137138936 4291029296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 57463 55021 192 642 0 56819 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 229852

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10401
/proc/meminfo: memFree=1545476/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=236128 CPUtime=1181.99
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 62117 0 0 0 118090 109 0 0 25 0 1 0 3411216 241795072 56563 1992294400 134512640 137138936 4291029296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 59032 56563 192 642 0 58388 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 236128

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10403
/proc/meminfo: memFree=1538780/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=242264 CPUtime=1241.98
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 63679 0 0 0 124084 114 0 0 25 0 1 0 3411216 248078336 58125 1992294400 134512640 137138936 4291029296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 60566 58125 192 642 0 59922 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 242264

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10403
/proc/meminfo: memFree=1532580/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=248444 CPUtime=1301.97
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 65196 0 0 0 130079 118 0 0 25 0 1 0 3411216 254406656 59642 1992294400 134512640 137138936 4291029296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 62111 59642 192 642 0 61467 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 248444

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10405
/proc/meminfo: memFree=1526752/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=254400 CPUtime=1361.95
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 66685 0 0 0 136074 121 0 0 25 0 1 0 3411216 260505600 61131 1992294400 134512640 137138936 4291029296 18446744073709551615 134576573 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 63600 61131 192 642 0 62956 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 254400

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10407
/proc/meminfo: memFree=1521668/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=259504 CPUtime=1421.94
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 67961 0 0 0 142070 124 0 0 25 0 1 0 3411216 265732096 62407 1992294400 134512640 137138936 4291029296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 64876 62407 192 642 0 64232 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 259504

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10409
/proc/meminfo: memFree=1507656/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=273460 CPUtime=1481.92
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 71476 0 0 0 148062 130 0 0 25 0 1 0 3411216 280023040 65922 1992294400 134512640 137138936 4291029296 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 68365 65922 192 642 0 67721 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 273460

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10411
/proc/meminfo: memFree=1494636/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=286320 CPUtime=1541.9
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 74692 0 0 0 154056 134 0 0 25 0 1 0 3411216 293191680 69138 1992294400 134512640 137138936 4291029296 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 71580 69138 192 642 0 70936 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 286320

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10411
/proc/meminfo: memFree=1482732/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=298316 CPUtime=1601.89
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 77693 0 0 0 160051 138 0 0 25 0 1 0 3411216 305475584 72139 1992294400 134512640 137138936 4291029296 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 74579 72139 192 642 0 73935 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 298316

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10413
/proc/meminfo: memFree=1472316/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=308516 CPUtime=1661.88
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 80240 0 0 0 166046 142 0 0 25 0 1 0 3411216 315920384 74686 1992294400 134512640 137138936 4291029296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 77129 74686 192 642 0 76485 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 308516

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10415
/proc/meminfo: memFree=1462272/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=318668 CPUtime=1721.86
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 82755 0 0 0 172041 145 0 0 25 0 1 0 3411216 326316032 77201 1992294400 134512640 137138936 4291029296 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 79667 77201 192 642 0 79023 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 318668

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10417
/proc/meminfo: memFree=1451856/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=328888 CPUtime=1781.85
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 85307 0 0 0 178036 149 0 0 25 0 1 0 3411216 336781312 79753 1992294400 134512640 137138936 4291029296 18446744073709551615 134542402 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 82222 79753 192 642 0 81578 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 328888

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10417
/proc/meminfo: memFree=1450616/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=330040 CPUtime=1791.45
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 85626 0 0 0 178996 149 0 0 25 0 1 0 3411216 337960960 80072 1992294400 134512640 137138936 4291029296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 82510 80072 192 642 0 81866 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 330040

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10417
/proc/meminfo: memFree=1449996/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=330604 CPUtime=1794.65
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 85736 0 0 0 179316 149 0 0 25 0 1 0 3411216 338538496 80182 1992294400 134512640 137138936 4291029296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 82651 80182 192 642 0 82007 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 330604

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10417
/proc/meminfo: memFree=1449872/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=330736 CPUtime=1796.24
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 85774 0 0 0 179475 149 0 0 25 0 1 0 3411216 338673664 80220 1992294400 134512640 137138936 4291029296 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 82684 80220 192 642 0 82040 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 330736

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10417
/proc/meminfo: memFree=1449748/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=330876 CPUtime=1797.04
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 85832 0 0 0 179555 149 0 0 25 0 1 0 3411216 338817024 80278 1992294400 134512640 137138936 4291029296 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 82719 80278 192 642 0 82075 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 330876

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10417
/proc/meminfo: memFree=1449748/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=330876 CPUtime=1797.44
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 85832 0 0 0 179595 149 0 0 25 0 1 0 3411216 338817024 80278 1992294400 134512640 137138936 4291029296 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 82719 80278 192 642 0 82075 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 330876

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10417
/proc/meminfo: memFree=1449748/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=331008 CPUtime=1797.84
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 85863 0 0 0 179635 149 0 0 25 0 1 0 3411216 338952192 80309 1992294400 134512640 137138936 4291029296 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 82752 80309 192 642 0 82108 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 331008

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10417
/proc/meminfo: memFree=1449500/2059040 swapFree=4165000/4192956
[pid=10359] ppid=10357 vsize=331008 CPUtime=1797.95
/proc/10359/stat : 10359 (bsolo_pb10) R 10357 10359 10112 0 -1 4202496 85863 0 0 0 179646 149 0 0 25 0 1 0 3411216 338952192 80309 1992294400 134512640 137138936 4291029296 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10359/statm: 82752 80309 192 642 0 82108 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 331008

Child status: 0
Real time (s): 1798.48
CPU time (s): 1798.04
CPU user time (s): 1796.51
CPU system time (s): 1.52977
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 331008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.51
system time used= 1.52977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85863
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= 1
involuntary context switches= 21799

runsolver used 2.99554 second user time and 8.46171 second system time

The end

Launcher Data 

Begin job on node043 at 2010-06-15 18:59:48
IDJOB=2656526
IDBENCH=2947
IDSOLVER=1162
FILE ID=node043/2656526-1276621188
PBS_JOBID= 11172324
Free space on /tmp= 62288 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_20.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656526-1276621188/watcher-2656526-1276621188 -o /tmp/evaluation-result-2656526-1276621188/solver-2656526-1276621188 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656526-1276621188.opb

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

MD5SUM BENCH= 601a73d2c5752739e04dd0126b5500f0
RANDOM SEED=2061511773

node043.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.241
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
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.37
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1772684 kB
Buffers:         49740 kB
Cached:         138980 kB
SwapCached:       1408 kB
Active:          89376 kB
Inactive:       132180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1772684 kB
SwapTotal:     4192956 kB
SwapFree:      4165000 kB
Dirty:           11452 kB
Writeback:           0 kB
AnonPages:       31440 kB
Mapped:          15352 kB
Slab:            43052 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183360 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= 62284 MiB
End job on node043 at 2010-06-15 19:29:47