Trace number 1877926

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
bsolo 3.1 clOPT3 941.705 942.008

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
MD5SUM947e947c586d02edcb816b66608818b9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark4.73128
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables81
Total number of constraints7
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)243
Sum of products size (including duplicates)486
Number of different products243
Sum of products size486

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning
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 HOME/instance-1877926-1245186194.opb
0.00/0.00	c File size is 17961 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271
0.00/0.00	c Obj. Vars: 9 (2.77778 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    324      496     2070    4     1781    2762      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
41.48/41.52	c      103    324      599    10043   16     1935    3039    103   6058 0.02
41.48/41.52	c      254    324      750    24428   32     2209    3343    254   6864 0.04
41.48/41.52	c      480    324      976    42121   43     2695    3678    480   7058 0.07
41.48/41.52	c      819    324     1315    68624   52     3337    4046    819   6882 0.12
41.48/41.52	c     1327    324     1823   109459   60     4351    4451   1327   6601 0.20
41.48/41.52	c     2091    324     2587   168057   64     5897    4897   2091   5697 0.37
41.48/41.52	c     3238    324     3734   254276   68     8205    5387   3238   4612 0.70
41.48/41.52	c     4960    324     5456   380453   69    11613    5926   4960   3607 1.38
41.48/41.52	c     7545    324     4985   329103   66    10677    6519   4489   3025 2.49
41.48/41.52	c    11424    324     5512   367289   66    11688    7171   5016   2536 4.50
41.48/41.52	c    17246    324     4083   274011   67     8863    7889   3587   2482 6.95
41.48/41.52	c    25984    324     4782   322903   67    10254    8678   4286   2350 11.05
41.48/41.52	c    39094    324     8873   680783   76    18480    9546   8377   2229 17.54
41.48/41.52	c    58764    324     9027   637024   70    18772   10501   8531   2067 28.43
41.48/41.52	o 253
42.88/42.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.88/42.91	c    84134    324     6814   538599   79    14333    2780   6318   2026 41.51
42.88/42.91	c    84234    313     1987   127542   64     4748    3059   1491   2025 41.60
42.88/42.91	c    84486    313     2239   147501   65     5230    3365   1743   2029 41.63
42.88/42.91	c    84961    313     2714   184841   68     6178    3702   2218   2036 41.71
42.88/42.91	c    85774    313     3527   249232   70     7783    4073   3031   2045 41.92
42.88/42.91	c    87097    313     2535   169581   66     5837    4481   2039   2064 42.20
42.88/42.91	c    89178    313     4616   333276   72     9996    4930   4120   2088 42.70
42.88/42.91	o 57
46.68/46.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.68/46.70	c    90006    313     2963   199452   67     6643    2778   2467   2097 42.91
46.68/46.70	c    90110    291     3067   206901   67     6912    3056   2571   2098 42.94
46.68/46.70	c    90361    291     3318   224091   67     7381    3362   2822   2100 43.03
46.68/46.70	c    90836    291     3793   257453   67     8343    3699   3297   2107 43.11
46.68/46.70	c    91650    291     2492   150868   60     5745    4069   1996   2115 43.32
46.68/46.70	c    92970    291     3812   256365   67     8385    4476   3316   2132 43.60
46.68/46.70	c    95052    291     3552   236475   66     7850    4924   3056   2142 44.36
46.68/46.70	c    98276    291     4209   281784   66     9176    5417   3713   2149 45.72
46.68/46.70	o 43
51.77/51.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
51.77/51.82	c   100846    291     3869   236845   61     8510    2774   3373   2159 46.69
51.77/51.82	c   100947    291     1988   103337   51     4722    3052   1492   2160 46.72
51.77/51.82	c   101198    291     2239   121915   54     5240    3358   1743   2164 46.76
51.77/51.82	c   101674    291     2715   158087   58     6191    3694   2219   2169 46.86
51.77/51.82	c   102488    291     3529   221003   62     7822    4064   3033   2178 47.04
51.77/51.82	c   103808    291     2699   169701   62     6158    4471   2203   2187 47.46
51.77/51.82	c   105889    291     4780   329488   68    10321    4919   4284   2202 48.08
51.77/51.82	c   109112    291     5439   374822   68    11637    5411   4943   2215 49.24
51.77/51.82	c   114050    291     4759   310417   65    10283    5953   4263   2226 51.23
51.77/51.82	o 3
941.69/942.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
941.69/942.00	c   115669    291     6379   430207   67    13525    2774   5883   2232 51.81
941.69/942.00	c   115769    291     1987   112941   56     4725    3052   1491   2232 51.86
941.69/942.00	c   116022    291     2240   133262   59     5195    3358   1744   2235 51.91
941.69/942.00	c   116498    291     2716   170392   62     6170    3694   2220   2238 52.03
941.69/942.00	c   117312    291     3530   233248   66     7760    4064   3034   2243 52.29
941.69/942.00	c   118633    291     2723   173443   63     6154    4471   2227   2251 52.69
941.69/942.00	c   120714    291     4804   329558   68    10329    4919   4308   2263 53.34
941.69/942.00	c   123938    291     2960   204923   69     6647    5411   2464   2284 54.25
941.69/942.00	c   128875    291     5020   344336   68    10735    5953   4524   2301 55.99
941.69/942.00	c   136381    291     6350   438286   69    13420    6549   5854   2307 59.10
941.69/942.00	c   147742    291     4174   276162   66     9060    7204   3678   2307 64.02
941.69/942.00	c   164886    281     6421   438348   68    13565    7925   5925   2298 71.74
941.69/942.00	c   190705    281     7794   526613   67    16330    8718   7298   2237 85.24
941.69/942.00	c   229539    270     6339   426813   67    13411    9590   5843   2090 109.80
941.69/942.00	c   287892    235     9780   685300   70    20333   10550   9284   1957 147.08
941.69/942.00	c   375524    235     9558   758306   79    19885   11606   9062   1779 211.07
941.69/942.00	c   507076    235     7798   587058   75    16330   12767   7302   1722 294.42
941.69/942.00	c   704509    235    13185  1031625   78    27100   14044  12689   1531 460.00
941.69/942.00	c  1000762    234    11492   782128   68    23747   15449  10996   1454 688.06
941.69/942.00	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 -x32 -x33 x34 -x35 x36 x82 x83 -x84 -x85 -x86 -x87 -x88 -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 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x37 x38 x39 x40 -x41 -x42 -x43 -x44 -x45 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x163 x164 x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 x183 x184 -x185 -x186 -x187 -x188 -x189 x190 x191 x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 x219 x220 -x221 -x222 -x223 -x224 -x225 x226 x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 
941.69/942.00	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
941.69/942.00	c   57  1214787   8290  1234172    12450   767649  11954   1289 941.70
941.69/942.00	c Objective: 3
941.69/942.00	s OPTIMUM FOUND
941.69/942.00	c Total time: 941.7 s

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877926-1245186194/watcher-1877926-1245186194 -o /tmp/evaluation-result-1877926-1245186194/solver-1877926-1245186194 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877926-1245186194.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/64 1218
/proc/meminfo: memFree=1839092/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=10712 CPUtime=0
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 186216656 10969088 261 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 2678 261 189 640 0 2034 0

[startup+0.0646869 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1218
/proc/meminfo: memFree=1839092/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=11220 CPUtime=0.06
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 421 0 0 0 6 0 0 0 18 0 1 0 186216656 11489280 400 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 2805 400 196 640 0 2161 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11220

[startup+0.101728 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1218
/proc/meminfo: memFree=1839092/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=11600 CPUtime=0.09
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 489 0 0 0 9 0 0 0 18 0 1 0 186216656 11878400 468 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 2900 468 196 640 0 2256 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11600

[startup+0.301727 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1218
/proc/meminfo: memFree=1839092/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=12744 CPUtime=0.29
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 789 0 0 0 29 0 0 0 19 0 1 0 186216656 13049856 768 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 3186 768 196 640 0 2542 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12744

[startup+0.701795 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1218
/proc/meminfo: memFree=1839092/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=14264 CPUtime=0.69
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 1183 0 0 0 69 0 0 0 22 0 1 0 186216656 14606336 1162 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 3566 1162 196 640 0 2922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14264

[startup+1.50193 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1834348/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=16428 CPUtime=1.49
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 1697 0 0 0 148 1 0 0 25 0 1 0 186216656 16822272 1676 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 4107 1676 196 640 0 3463 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16428

[startup+3.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1832108/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=17312 CPUtime=3.09
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 1921 0 0 0 308 1 0 0 25 0 1 0 186216656 17727488 1900 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 4328 1900 196 640 0 3684 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17312

[startup+6.30175 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1831148/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=18460 CPUtime=6.29
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 2222 0 0 0 627 2 0 0 25 0 1 0 186216656 18903040 2201 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 4615 2201 196 640 0 3971 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18460

[startup+12.7028 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1829932/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=19220 CPUtime=12.69
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 2419 0 0 0 1265 4 0 0 25 0 1 0 186216656 19681280 2398 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 4805 2398 196 640 0 4161 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19220

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1827436/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=21752 CPUtime=25.48
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 3054 0 0 0 2541 7 0 0 25 0 1 0 186216656 22274048 3033 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 5438 3033 196 640 0 4794 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21752

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1825580/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=23728 CPUtime=51.07
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 3532 0 0 0 5094 13 0 0 25 0 1 0 186216656 24297472 3511 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 5932 3511 197 640 0 5288 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23728

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1825580/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=23728 CPUtime=102.26
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 3532 0 0 0 10202 24 0 0 25 0 1 0 186216656 24297472 3511 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 5932 3511 197 640 0 5288 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23728

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1825580/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=23728 CPUtime=162.24
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 3532 0 0 0 16186 38 0 0 25 0 1 0 186216656 24297472 3511 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 5932 3511 197 640 0 5288 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 23728

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1824172/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=24988 CPUtime=222.22
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 3860 0 0 0 22172 50 0 0 25 0 1 0 186216656 25587712 3839 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 6247 3839 197 640 0 5603 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 24988

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1824172/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=24888 CPUtime=282.2
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 3860 0 0 0 28159 61 0 0 25 0 1 0 186216656 25485312 3821 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 6222 3821 197 640 0 5578 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 24888

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1822892/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=26264 CPUtime=342.18
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4196 0 0 0 34148 70 0 0 25 0 1 0 186216656 26894336 4156 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 6566 4156 197 640 0 5922 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 26264

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1822828/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=26264 CPUtime=402.16
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4196 0 0 0 40136 80 0 0 25 0 1 0 186216656 26894336 4156 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 6566 4156 197 640 0 5922 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 26264

[startup+462.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 1219
/proc/meminfo: memFree=1821996/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=27124 CPUtime=462.15
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4402 0 0 0 46126 89 0 0 25 0 1 0 186216656 27774976 4362 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 6781 4362 197 640 0 6137 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 27124

[startup+522.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 1219
/proc/meminfo: memFree=1821740/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=27464 CPUtime=522.12
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4489 0 0 0 52115 97 0 0 25 0 1 0 186216656 28123136 4449 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 6866 4449 197 640 0 6222 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 27464

[startup+582.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 1219
/proc/meminfo: memFree=1821612/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=27536 CPUtime=582.11
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4505 0 0 0 58105 106 0 0 25 0 1 0 186216656 28196864 4465 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 6884 4465 197 640 0 6240 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 27536

[startup+642.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 1219
/proc/meminfo: memFree=1821612/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=27524 CPUtime=642.09
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4505 0 0 0 64091 118 0 0 25 0 1 0 186216656 28184576 4465 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 6881 4465 197 640 0 6237 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 27524

[startup+702.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 1219
/proc/meminfo: memFree=1820268/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=28900 CPUtime=702.06
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4847 0 0 0 70077 129 0 0 25 0 1 0 186216656 29593600 4807 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7225 4807 197 640 0 6581 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 28900

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1820076/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=28888 CPUtime=762.05
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4849 0 0 0 76069 136 0 0 25 0 1 0 186216656 29581312 4809 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7222 4809 197 640 0 6578 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 28888

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1820140/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=28888 CPUtime=822.03
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4858 0 0 0 82058 145 0 0 25 0 1 0 186216656 29581312 4818 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7222 4818 197 640 0 6578 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 28888

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1820012/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=29012 CPUtime=882.01
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4879 0 0 0 88048 153 0 0 25 0 1 0 186216656 29708288 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7253 4839 197 640 0 6609 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 29012

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

[startup+895.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1820012/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=29012 CPUtime=895.6
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4879 0 0 0 89405 155 0 0 25 0 1 0 186216656 29708288 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7253 4839 197 640 0 6609 0
Current children cumulated CPU time (s) 895.6
Current children cumulated vsize (KiB) 29012

[startup+921.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1820012/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=29012 CPUtime=921.2
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4879 0 0 0 91960 160 0 0 25 0 1 0 186216656 29708288 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7253 4839 197 640 0 6609 0
Current children cumulated CPU time (s) 921.2
Current children cumulated vsize (KiB) 29012

[startup+934.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1820012/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=28968 CPUtime=933.99
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4879 0 0 0 93237 162 0 0 25 0 1 0 186216656 29663232 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7242 4839 197 640 0 6598 0
Current children cumulated CPU time (s) 933.99
Current children cumulated vsize (KiB) 28968

[startup+937.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1820012/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=28968 CPUtime=937.19
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4879 0 0 0 93556 163 0 0 25 0 1 0 186216656 29663232 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7242 4839 197 640 0 6598 0
Current children cumulated CPU time (s) 937.19
Current children cumulated vsize (KiB) 28968

[startup+939.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1820012/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=28968 CPUtime=938.79
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4879 0 0 0 93716 163 0 0 25 0 1 0 186216656 29663232 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 134540850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7242 4839 197 640 0 6598 0
Current children cumulated CPU time (s) 938.79
Current children cumulated vsize (KiB) 28968

[startup+940.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1820012/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=28968 CPUtime=940.39
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4879 0 0 0 93875 164 0 0 25 0 1 0 186216656 29663232 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7242 4839 197 640 0 6598 0
Current children cumulated CPU time (s) 940.39
Current children cumulated vsize (KiB) 28968

[startup+941.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1820012/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=28968 CPUtime=941.19
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4879 0 0 0 93955 164 0 0 25 0 1 0 186216656 29663232 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7242 4839 197 640 0 6598 0
Current children cumulated CPU time (s) 941.19
Current children cumulated vsize (KiB) 28968

[startup+941.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1820012/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=28968 CPUtime=941.59
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4879 0 0 0 93995 164 0 0 25 0 1 0 186216656 29663232 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7242 4839 197 640 0 6598 0
Current children cumulated CPU time (s) 941.59
Current children cumulated vsize (KiB) 28968

[startup+942.002 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1219
/proc/meminfo: memFree=1820012/2055920 swapFree=4181368/4192956
[pid=1218] ppid=1216 vsize=28968 CPUtime=941.69
/proc/1218/stat : 1218 (bsolo) R 1216 1218 585 0 -1 4194304 4879 0 0 0 94005 164 0 0 25 0 1 0 186216656 29663232 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1218/statm: 7242 4839 197 640 0 6598 0
Current children cumulated CPU time (s) 941.69
Current children cumulated vsize (KiB) 28968

Child status: 0
Real time (s): 942.008
CPU time (s): 941.705
CPU user time (s): 940.055
CPU system time (s): 1.64975
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 29012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 940.055
system time used= 1.64975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1118

runsolver used 0.715891 second user time and 1.92371 second system time

The end

Launcher Data 

Begin job on node43 at 2009-06-16 23:03:14
IDJOB=1877926
IDBENCH=47906
IDSOLVER=700
FILE ID=node43/1877926-1245186194
PBS_JOBID= 9363947
Free space on /tmp= 66192 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877926-1245186194/watcher-1877926-1245186194 -o /tmp/evaluation-result-1877926-1245186194/solver-1877926-1245186194 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1877926-1245186194.opb

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

MD5SUM BENCH= 947e947c586d02edcb816b66608818b9
RANDOM SEED=463355885

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
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.281
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:       1839572 kB
Buffers:         50888 kB
Cached:         104716 kB
SwapCached:       5352 kB
Active:          54004 kB
Inactive:       109392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1839572 kB
SwapTotal:     4192956 kB
SwapFree:      4181368 kB
Dirty:            3952 kB
Writeback:           0 kB
Mapped:          13588 kB
Slab:            38892 kB
Committed_AS:   177248 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877926-1245186194.opb

Free space on /tmp at the end= 66188 MiB
End job on node43 at 2009-06-16 23:18:57