Trace number 355129

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, and are wall clock time (not CPU 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.0.16? 1800.05 1800.67

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 (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/355129-1176772526/instance-355129-1176772526.opb
0.00/0.00	c File size is 7672173 bytes.
1.29/1.35	c Highest Coefficient sum: 2977
1.29/1.35	c Parsing was ok!!
1.29/1.35	c Total parsing time: 1.347 s
1.29/1.38	c Var: 13478 Constr: 26620 1/0/26619 Lit: 901318 Watch. Lit: 141864
1.29/1.38	c Obj. Vars: 9 (0.0667755 % of total variables)
6.88/7.00	c Pre-processing Time: 6.988 s
6.98/7.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.98/7.00	c        0  13477    26619   901317   33   214291  500000      0      0 6.99
6.98/7.00	c Switching off LPR mode.
1799.98/1800.63	c      101  13477    26720   905801   33   509129  550001    101     11 8.93
1799.98/1800.63	c      252  13477    26871   912746   33   518053  605002    252     26 9.43
1799.98/1800.63	c      477  13477    27096   926141   34   518659  665503    477     41 11.36
1799.98/1800.63	c      816  13477    27435   940685   34   513418  732054    816     65 12.38
1799.98/1800.63	c     1326  13477    27945   966129   34   492031  805260   1326     91 14.49
1799.98/1800.63	c     2090  13477    28709  1009130   35   504839  885787   2090    115 18.11
1799.98/1800.63	c     3237  13477    29856  1067124   35   484272  974366   3237    144 22.37
1799.98/1800.63	c     4959  13477    31578  1188505   37   502885  500000   4959    168 29.44
1799.98/1800.63	c     7543  13477    34162  1351617   39   511803  550001   7543    170 44.29
1799.98/1800.63	c    11422  13477    38041  1612230   42   496074  605002  11422    170 67.07
1799.98/1800.63	c    17245  13477    43864  2051872   46   522404  665503  17245    178 96.65
1799.98/1800.63	c    25983  13477    52602  2667457   50   544696  732054  25983    143 181.03
1799.98/1800.63	c    39094  13477    65713  3405607   51   547476  805260  39094    161 241.77
1799.98/1800.63	c    58766  13477    85385  5101413   59   617193  885787  58766    122 479.66
1799.98/1800.63	c    88279  13477   114898  6554844   57   689737  974366  88279    125 702.14
1799.98/1800.63	c   132551  13477   159170 10627488   66   755803  500000 132551    120 1098.36
1799.98/1800.63	c   198961  13477   225580 14164341   62   865565  550001 198961    114 1736.23
1799.98/1800.63	c Resources Exceeded
1799.98/1800.63	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.98/1800.63	c   17   204231  22406   251674   230850 14509380 204231    113 1800.01
1799.98/1800.63	s UNKNOWN
1799.98/1800.63	c Total time: 1800.01 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node22/watcher-355129-1176772526 -o ROOT/results/node22/solver-355129-1176772526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355129-1176772526/instance-355129-1176772526.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18417
/proc/meminfo: memFree=1738240/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=27044 CPUtime=0
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 125170244 27693056 334 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 6761 334 281 324 0 3956 0

[startup+0.0638611 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18417
/proc/meminfo: memFree=1738240/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=12068 CPUtime=0.05
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 609 0 0 0 5 0 0 0 18 0 1 0 125170244 12357632 577 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 3017 577 370 324 0 212 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12068

[startup+0.101867 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18417
/proc/meminfo: memFree=1738240/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=12460 CPUtime=0.09
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 763 0 0 0 9 0 0 0 18 0 1 0 125170244 12759040 731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 3115 731 425 324 0 310 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12460

[startup+0.301897 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18417
/proc/meminfo: memFree=1738240/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=14552 CPUtime=0.29
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 1568 0 0 0 29 0 0 0 19 0 1 0 125170244 14901248 1536 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 3638 1536 710 324 0 833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14552

[startup+0.702958 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18417
/proc/meminfo: memFree=1738240/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=18592 CPUtime=0.69
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 3146 0 0 0 69 0 0 0 23 0 1 0 125170244 19038208 3114 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 4648 3114 1260 324 0 1843 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18592

[startup+1.50108 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1727544/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=23596 CPUtime=1.49
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 7138 0 0 0 147 2 0 0 25 0 1 0 125170244 24162304 5232 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 5899 5233 305 324 0 4968 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23596

[startup+3.10133 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1703288/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=38640 CPUtime=3.09
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 10882 0 0 0 305 4 0 0 25 0 1 0 125170244 39567360 8976 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 9660 8976 307 324 0 8729 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38640

[startup+6.30181 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1703104/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=38640 CPUtime=6.28
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 10882 0 0 0 623 5 0 0 25 0 1 0 125170244 39567360 8976 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 9660 8976 307 324 0 8729 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38640

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1709248/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=32680 CPUtime=12.68
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 13035 0 0 0 1260 8 0 0 25 0 1 0 125170244 33464320 7534 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 8170 7534 312 324 0 7239 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32680

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1707200/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=34860 CPUtime=25.47
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 13558 0 0 0 2537 10 0 0 25 0 1 0 125170244 35696640 8057 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 8715 8057 312 324 0 7784 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 34860

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1702784/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=39256 CPUtime=51.06
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 14675 0 0 0 5093 13 0 0 25 0 1 0 125170244 40198144 9174 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 9814 9174 312 324 0 8883 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 39256

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1692992/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=49044 CPUtime=102.24
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 17118 0 0 0 10206 18 0 0 25 0 1 0 125170244 50221056 11617 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 12261 11617 312 324 0 11330 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 49044

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1686336/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=55752 CPUtime=162.22
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 18774 0 0 0 16202 20 0 0 25 0 1 0 125170244 57090048 13273 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 13938 13273 312 324 0 13007 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 55752

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1678336/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=63680 CPUtime=222.2
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 20756 0 0 0 22194 26 0 0 25 0 1 0 125170244 65208320 15255 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 15920 15255 312 324 0 14989 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 63680

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1669952/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=71928 CPUtime=282.18
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 22839 0 0 0 28187 31 0 0 25 0 1 0 125170244 73654272 17338 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134573104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 17982 17338 312 324 0 17051 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 71928

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1663488/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=78444 CPUtime=342.16
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 24452 0 0 0 34181 35 0 0 25 0 1 0 125170244 80326656 18951 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5111649 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 19611 18951 312 324 0 18680 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 78444

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1657792/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=84108 CPUtime=402.14
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 25882 0 0 0 40176 38 0 0 25 0 1 0 125170244 86126592 20381 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5111958 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 21027 20381 312 324 0 20096 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 84108

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1651456/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=90496 CPUtime=462.12
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 27464 0 0 0 46171 41 0 0 25 0 1 0 125170244 92667904 21963 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 22624 21963 312 324 0 21693 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 90496

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1645120/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=96772 CPUtime=522.1
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 29053 0 0 0 52165 45 0 0 25 0 1 0 125170244 99094528 23552 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 24193 23552 312 324 0 23262 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 96772

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1639488/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=102436 CPUtime=582.09
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 30443 0 0 0 58160 49 0 0 25 0 1 0 125170244 104894464 24942 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5111560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 25609 24942 312 324 0 24678 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 102436

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1633856/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=107980 CPUtime=642.06
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 31837 0 0 0 64154 52 0 0 25 0 1 0 125170244 110571520 26336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 26995 26336 312 324 0 26064 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 107980


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

/proc/meminfo: memFree=1569152/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=172460 CPUtime=1121.9
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 47979 0 0 0 112104 86 0 0 25 0 1 0 125170244 176599040 42478 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 43115 42478 312 324 0 42184 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 172460

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1564032/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=177808 CPUtime=1181.88
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 49291 0 0 0 118098 90 0 0 25 0 1 0 125170244 182075392 43790 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134573104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 44452 43790 312 324 0 43521 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 177808

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18418
/proc/meminfo: memFree=1558016/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=183704 CPUtime=1241.86
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 50761 0 0 0 124092 94 0 0 25 0 1 0 125170244 188112896 45260 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5111336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 45926 45260 312 324 0 44995 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 183704

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1552896/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=188716 CPUtime=1301.84
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 52026 0 0 0 130087 97 0 0 25 0 1 0 125170244 193245184 46525 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 47179 46525 312 324 0 46248 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 188716

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1547840/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=193836 CPUtime=1361.82
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 53299 0 0 0 136082 100 0 0 25 0 1 0 125170244 198488064 47798 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 48459 47798 312 324 0 47528 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 193836

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1542976/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=198576 CPUtime=1421.81
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 54503 0 0 0 142078 103 0 0 25 0 1 0 125170244 203341824 49002 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 49644 49002 312 324 0 48713 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 198576

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1538496/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=203184 CPUtime=1481.78
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 55637 0 0 0 148073 105 0 0 25 0 1 0 125170244 208060416 50136 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 50796 50136 312 324 0 49865 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 203184

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1533632/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=208056 CPUtime=1541.76
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 56872 0 0 0 154068 108 0 0 25 0 1 0 125170244 213049344 51371 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 5111649 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 52014 51371 312 324 0 51083 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 208056

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1529024/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=212680 CPUtime=1601.74
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 58033 0 0 0 160064 110 0 0 25 0 1 0 125170244 217784320 52532 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 53170 52532 312 324 0 52239 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 212680

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1524608/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=217144 CPUtime=1661.72
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 59135 0 0 0 166058 114 0 0 25 0 1 0 125170244 222355456 53634 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 54286 53634 312 324 0 53355 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 217144

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1519936/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=221756 CPUtime=1721.7
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 60297 0 0 0 172054 116 0 0 25 0 1 0 125170244 227078144 54796 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 55439 54796 312 324 0 54508 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 221756

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1514880/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=226704 CPUtime=1781.69
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 61541 0 0 0 178050 119 0 0 25 0 1 0 125170244 232144896 56040 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 56676 56040 312 324 0 55745 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 226704

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1513152/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=228536 CPUtime=1791.28
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 61978 0 0 0 179009 119 0 0 25 0 1 0 125170244 234020864 56477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 57134 56477 312 324 0 56203 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 228536

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1512832/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=228800 CPUtime=1794.48
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 62045 0 0 0 179329 119 0 0 25 0 1 0 125170244 234291200 56544 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134574878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 57200 56544 312 324 0 56269 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 228800

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1512640/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=229056 CPUtime=1797.68
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 62111 0 0 0 179648 120 0 0 25 0 1 0 125170244 234553344 56610 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 57264 56610 312 324 0 56333 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 229056

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1512448/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=229184 CPUtime=1799.28
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 62148 0 0 0 179808 120 0 0 25 0 1 0 125170244 234684416 56647 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 57296 56647 312 324 0 56365 0
Current children cumulated CPU time (s) 1799.28
Current children cumulated vsize (KiB) 229184

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1512448/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=229184 CPUtime=1799.68
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 62155 0 0 0 179848 120 0 0 25 0 1 0 125170244 234684416 56654 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 57296 56654 312 324 0 56365 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (KiB) 229184

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1512448/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=229184 CPUtime=1799.88
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 62159 0 0 0 179868 120 0 0 25 0 1 0 125170244 234684416 56658 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 57296 56658 312 324 0 56365 0
Current children cumulated CPU time (s) 1799.88
Current children cumulated vsize (KiB) 229184

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18420
/proc/meminfo: memFree=1512384/2055920 swapFree=4168688/4192956
[pid=18417] ppid=18415 vsize=229312 CPUtime=1799.98
/proc/18417/stat : 18417 (bsolo3.0.16) R 18415 18417 17624 0 -1 4194304 62162 0 0 0 179878 120 0 0 25 0 1 0 125170244 234815488 56661 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18417/statm: 57328 56661 312 324 0 56397 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 229312

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.05
CPU user time (s): 1798.81
CPU system time (s): 1.23981
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 229312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.23981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62163
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= 12
involuntary context switches= 38723

runsolver used 1.9657 second user time and 4.09238 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Tue Apr 17 01:15:26 UTC 2007

IDJOB= 355129
IDBENCH= 2947
IDSOLVER= 163
FILE ID= node22/355129-1176772526

PBS_JOBID= 4580767

Free space on /tmp= 66544 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_20.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355129-1176772526/instance-355129-1176772526.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-355129-1176772526 -o ROOT/results/node22/solver-355129-1176772526 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355129-1176772526/instance-355129-1176772526.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  601a73d2c5752739e04dd0126b5500f0

RANDOM SEED= 634951533

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.265
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.265
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:       1738648 kB
Buffers:         62436 kB
Cached:         161456 kB
SwapCached:       2412 kB
Active:          91624 kB
Inactive:       157364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1738648 kB
SwapTotal:     4192956 kB
SwapFree:      4168688 kB
Dirty:           11900 kB
Writeback:           0 kB
Mapped:          31108 kB
Slab:            53900 kB
Committed_AS:  1697960 kB
PageTables:       1680 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66544 MiB

End job on node22 on Tue Apr 17 01:45:27 UTC 2007