Trace number 364563

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.16OPT89 264.973 265.074

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh217.opb
MD5SUM5f8256f2423d7410846942dcc96981a5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark89
Best CPU time to get the best result obtained on this benchmark0.642901
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 89
Optimality of the best value was proved YES
Number of variables200
Total number of constraints900
Number of constraints which are clauses900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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/364563-1177041046/instance-364563-1177041046.opb
0.00/0.00	c File size is 38948 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.006 s
0.00/0.01	c Var: 200 Constr: 900 900/0/0 Lit: 4139 Watch. Lit: 1800
0.00/0.01	c Obj. Vars: 200 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.012 s
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0    200      880     3989    4     1760     293      0      0 0.01
0.09/0.17	c Initial Lower Bound: 67
0.09/0.17	c Initial Path Cost: 0
0.19/0.22	c      102    200      982     6119    6     1964     323    102    579 0.18
0.19/0.22	c      253    200     1133     8927    7     2266     356    253   1324 0.19
0.19/0.22	c      478    200     1158     8486    7     2316     392    278   2254 0.21
0.19/0.22	o 95	0.216
1.18/1.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.18/1.20	c      513    200     1194     9254    7     2493    1293    314   2375 0.22
1.18/1.20	o 93	1.196 * 
2.49/2.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.56	c      531    200     1213     9643    7     2638    1293    333    443 1.20
2.49/2.56	o 92	2.557 * 
2.98/3.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.98/3.08	c      599    200     1291    13682   10     2902    1293    411    234 2.56
2.98/3.08	o 91	3.079 * 
77.74/77.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
77.74/77.87	c      599    200     1292    13882   10     3013    1293    412    194 3.08
77.74/77.87	c      699    200     1397    17306   12     3223    1423    517    130 5.35
77.74/77.87	c      952    200     1656    23668   14     3741    1566    776     85 11.13
77.74/77.87	c     1428    200     2169    41217   19     4767    1723   1289     64 22.16
77.74/77.87	c     2241    200     2150    38039   17     4409    1896   1270     53 41.98
77.74/77.87	c     3561    200     2520    41797   16     5149    2086   1640     49 71.35
77.74/77.87	o 90	77.825 * 
111.63/111.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
111.63/111.75	c     3844    200     2821    51758   18     5861    1293   1941     49 77.83
111.63/111.75	c     3944    200     1628    17184   10     3366    1423    748     48 80.83
111.63/111.75	c     4195    200     1917    30966   16     3944    1566   1037     48 86.19
111.63/111.75	c     4670    200     2412    44306   18     4934    1723   1532     47 97.60
111.63/111.75	o 89	111.696 * 
264.90/265.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
264.90/265.07	c     5384    200     2296    47511   20     4813    1293   1416     48 111.70
264.90/265.07	c     5485    200     1669    29994   17     3449    1423    789     48 113.22
264.90/265.07	c     5735    200     1963    44145   22     4037    1566   1083     48 119.35
264.90/265.07	c     6210    200     1664    20079   12     3439    1723    784     47 129.72
264.90/265.07	c     7023    200     2602    67288   25     5315    1896   1722     48 144.07
264.90/265.07	c     8343    200     2151    48950   22     4413    2086   1271     48 172.57
264.90/265.07	c    10425    196     2171    25608   11     4452    2295   1291     46 223.11
264.90/265.07	v -x1 x2 -x3 x4 -x5 x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 x25 -x26 x27 -x28 x29 -x30 -x31
264.90/265.07	v x32 x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 x50 x51 -x52 x53 -x54 -x55 x56 x57 -x58 x59
264.90/265.07	v -x60 -x61 -x62 x63 -x64 -x65 x66 x67 -x68 -x69 x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 x82 -x83 x84 x85 -x86 -x87 x88
264.90/265.07	v -x89 x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 -x99 x100 -x101 -x102 -x103 x104 x105 -x106 -x107 x108 x109 -x110 x111 -x112 -x113
264.90/265.07	v -x114 -x115 x116 x117 -x118 -x119 x120 x121 -x122 x123 -x124 -x125 x126 -x127 x128 x129 -x130 -x131 -x132 x133 -x134 -x135
264.90/265.07	v x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 x152 -x153 x154 x155 -x156 -x157 x158
264.90/265.07	v x159 -x160 -x161 x162 x163 -x164 x165 -x166 -x167 x168 -x169 x170 x171 -x172 x173 -x174 x175 -x176 -x177 x178 -x179 -x180 x181
264.90/265.07	v -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 -x195 x196 x197 -x198 x199 -x200
264.90/265.07	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
264.90/265.07	c   23    12324   1568    14835     3036    57108   2156     46 264.97
264.90/265.07	c Objective: 89
264.90/265.07	s OPTIMUM FOUND
264.90/265.07	c Total time: 264.97 s

Verifier Data (download as text)

OK	89

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node71/watcher-364563-1177041046 -o ROOT/results/node71/solver-364563-1177041046 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/364563-1177041046/instance-364563-1177041046.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: 0.85 0.98 0.99 3/64 9815
/proc/meminfo: memFree=1122536/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=11776 CPUtime=0
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 180093943 12058624 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 2944 336 282 324 0 2003 0

[startup+0.05293 s]
/proc/loadavg: 0.85 0.98 0.99 3/64 9815
/proc/meminfo: memFree=1122536/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=6092 CPUtime=0.04
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 811 0 0 0 4 0 0 0 18 0 1 0 180093943 6238208 756 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1523 756 390 324 0 592 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6092

[startup+0.101935 s]
/proc/loadavg: 0.85 0.98 0.99 3/64 9815
/proc/meminfo: memFree=1122536/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=6280 CPUtime=0.09
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 901 0 0 0 9 0 0 0 18 0 1 0 180093943 6430720 845 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134948647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1570 845 390 324 0 639 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6280

[startup+0.301962 s]
/proc/loadavg: 0.85 0.98 0.99 3/64 9815
/proc/meminfo: memFree=1122536/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=6616 CPUtime=0.28
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 1454 0 0 0 28 0 0 0 19 0 1 0 180093943 6774784 842 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134948437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1654 842 393 324 0 723 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6616

[startup+0.702017 s]
/proc/loadavg: 0.85 0.98 0.99 3/64 9815
/proc/meminfo: memFree=1122536/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=4712 CPUtime=0.69
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 3165 0 0 0 68 1 0 0 22 0 1 0 180093943 4825088 653 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1178 653 393 324 0 247 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4712

[startup+1.50112 s]
/proc/loadavg: 0.85 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1120992/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=6748 CPUtime=1.49
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 7013 0 0 0 147 2 0 0 25 0 1 0 180093943 6909952 762 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135333401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1687 762 393 324 0 756 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6748

[startup+3.10134 s]
/proc/loadavg: 0.86 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1120800/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=6516 CPUtime=3.08
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 17885 0 0 0 303 5 0 0 25 0 1 0 180093943 6672384 766 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331917 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1629 766 393 324 0 698 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6516

[startup+6.30179 s]
/proc/loadavg: 0.86 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1120288/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=6924 CPUtime=6.28
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 33863 0 0 0 617 11 0 0 25 0 1 0 180093943 7090176 826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1731 826 393 324 0 800 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 6924

[startup+12.7017 s]
/proc/loadavg: 0.88 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1120616/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=6832 CPUtime=12.68
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 68562 0 0 0 1243 25 0 0 25 0 1 0 180093943 6995968 906 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135324479 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1708 906 393 324 0 777 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6832

[startup+25.5014 s]
/proc/loadavg: 0.90 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1120040/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7292 CPUtime=25.48
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 124404 0 0 0 2498 50 0 0 25 0 1 0 180093943 7467008 903 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1823 903 393 324 0 892 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7292

[startup+51.1019 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119784/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7600 CPUtime=51.05
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 215342 0 0 0 5019 86 0 0 25 0 1 0 180093943 7782400 988 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1900 988 393 324 0 969 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 7600

[startup+102.306 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119912/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7688 CPUtime=102.24
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 401677 0 0 0 10063 161 0 0 25 0 1 0 180093943 7872512 954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134802937 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1922 954 393 324 0 991 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 7688

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119400/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7840 CPUtime=162.22
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 592741 0 0 0 15976 246 0 0 25 0 1 0 180093943 8028160 1074 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1960 1074 393 324 0 1029 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 7840

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119400/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7864 CPUtime=222.2
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 763927 0 0 0 21895 325 0 0 25 0 1 0 180093943 8052736 1080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135311605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1966 1080 393 324 0 1035 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 7864

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

[startup+230.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119400/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=8076 CPUtime=230.2
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 786388 0 0 0 22685 335 0 0 25 0 1 0 180093943 8269824 1068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 2019 1068 393 324 0 1088 0
Current children cumulated CPU time (s) 230.2
Current children cumulated vsize (KiB) 8076

[startup+243.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119336/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7800 CPUtime=243
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 823410 0 0 0 23948 352 0 0 25 0 1 0 180093943 7987200 1065 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1950 1065 393 324 0 1019 0
Current children cumulated CPU time (s) 243
Current children cumulated vsize (KiB) 7800

[startup+255.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119208/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7788 CPUtime=255.8
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 860368 0 0 0 25212 368 0 0 25 0 1 0 180093943 7974912 1070 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135222248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1947 1070 393 324 0 1016 0
Current children cumulated CPU time (s) 255.8
Current children cumulated vsize (KiB) 7788

[startup+259.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119336/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7760 CPUtime=259
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 869201 0 0 0 25528 372 0 0 25 0 1 0 180093943 7946240 1114 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1940 1114 393 324 0 1009 0
Current children cumulated CPU time (s) 259
Current children cumulated vsize (KiB) 7760

[startup+262.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119336/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7752 CPUtime=262.2
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 877319 0 0 0 25845 375 0 0 25 0 1 0 180093943 7938048 1102 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135311824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1938 1102 393 324 0 1007 0
Current children cumulated CPU time (s) 262.2
Current children cumulated vsize (KiB) 7752

[startup+263.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119080/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7896 CPUtime=263.8
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 881289 0 0 0 26003 377 0 0 25 0 1 0 180093943 8085504 1145 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1974 1145 393 324 0 1043 0
Current children cumulated CPU time (s) 263.8
Current children cumulated vsize (KiB) 7896

[startup+264.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119080/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7892 CPUtime=264.6
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 883583 0 0 0 26082 378 0 0 25 0 1 0 180093943 8081408 1067 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134948675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1973 1067 393 324 0 1042 0
Current children cumulated CPU time (s) 264.6
Current children cumulated vsize (KiB) 7892

[startup+264.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119080/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7840 CPUtime=264.79
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 884126 0 0 0 26101 378 0 0 25 0 1 0 180093943 8028160 1090 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331993 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1960 1090 393 324 0 1029 0
Current children cumulated CPU time (s) 264.79
Current children cumulated vsize (KiB) 7840

[startup+265.001 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9816
/proc/meminfo: memFree=1119208/2055920 swapFree=4184232/4192956
[pid=9815] ppid=9813 vsize=7816 CPUtime=264.9
/proc/9815/stat : 9815 (bsolo3.0.16) R 9813 9815 9755 0 -1 4194304 884332 0 0 0 26112 378 0 0 25 0 1 0 180093943 8003584 1128 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135324501 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9815/statm: 1954 1128 393 324 0 1023 0
Current children cumulated CPU time (s) 264.9
Current children cumulated vsize (KiB) 7816

Child status: 0
Real time (s): 265.074
CPU time (s): 264.973
CPU user time (s): 261.185
CPU system time (s): 3.78742
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 8240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 261.185
system time used= 3.78742
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 884470
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= 11
involuntary context switches= 493

runsolver used 0.19297 second user time and 0.547916 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Fri Apr 20 03:50:46 UTC 2007

IDJOB= 364563
IDBENCH= 2129
IDSOLVER= 163
FILE ID= node71/364563-1177041046

PBS_JOBID= 4640135

Free space on /tmp= 66443 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh217.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/364563-1177041046/instance-364563-1177041046.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-364563-1177041046 -o ROOT/results/node71/solver-364563-1177041046 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/364563-1177041046/instance-364563-1177041046.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  5f8256f2423d7410846942dcc96981a5

RANDOM SEED= 413081287

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.234
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.234
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:       1122944 kB
Buffers:         56236 kB
Cached:         794748 kB
SwapCached:       2620 kB
Active:         232668 kB
Inactive:       628476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1122944 kB
SwapTotal:     4192956 kB
SwapFree:      4184232 kB
Dirty:            4616 kB
Writeback:           0 kB
Mapped:          15480 kB
Slab:            57856 kB
Committed_AS:  2779560 kB
PageTables:       1448 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= 66443 MiB

End job on node71 on Fri Apr 20 03:55:12 UTC 2007